[Bug tree-optimization/64946] [AArch64] gcc.target/aarch64/vect-abs-compile.c - "abs" vectorization fails for char/short types

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=64946 Bug 64946 depends on bug 22199, which changed state. Bug 22199 Summary: fold does not optimize (int)ABS_EXPR<(long long)(int_var)> https://gcc.gnu.org/bugzilla/show_bug.cgi?id=22199 What|Removed |Added

[Bug tree-optimization/64946] [AArch64] gcc.target/aarch64/vect-abs-compile.c - "abs" vectorization fails for char/short types

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=64946 Ramana Radhakrishnan changed: What|Removed |Added Target Milestone|--- |9.0

[Bug tree-optimization/64946] [AArch64] gcc.target/aarch64/vect-abs-compile.c - "abs" vectorization fails for char/short types

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=64946 Wilco changed: What|Removed |Added Status|ASSIGNED|RESOLVED CC|

[Bug tree-optimization/64946] [AArch64] gcc.target/aarch64/vect-abs-compile.c - "abs" vectorization fails for char/short types

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=64946 --- Comment #26 from Wilco --- Author: wilco Date: Mon Jun 18 11:10:51 2018 New Revision: 261698 URL: https://gcc.gnu.org/viewcvs?rev=261698=gcc=rev Log: [testsuite] Remove xfail from vect-abs-compile.c Since PR64946 has been fixed, we can

[Bug tree-optimization/64946] [AArch64] gcc.target/aarch64/vect-abs-compile.c - "abs" vectorization fails for char/short types

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=64946 --- Comment #25 from Ramana Radhakrishnan --- (In reply to kugan from comment #24) > Author: kugan > Date: Sat Jun 16 21:34:29 2018 > New Revision: 261681 > > URL: https://gcc.gnu.org/viewcvs?rev=261681=gcc=rev > Log: > gcc/ChangeLog: > >

[Bug tree-optimization/64946] [AArch64] gcc.target/aarch64/vect-abs-compile.c - "abs" vectorization fails for char/short types

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=64946 --- Comment #24 from kugan at gcc dot gnu.org --- Author: kugan Date: Sat Jun 16 21:34:29 2018 New Revision: 261681 URL: https://gcc.gnu.org/viewcvs?rev=261681=gcc=rev Log: gcc/ChangeLog: 2018-06-16 Kugan Vivekanandarajah PR

[Bug tree-optimization/64946] [AArch64] gcc.target/aarch64/vect-abs-compile.c - "abs" vectorization fails for char/short types

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=64946 --- Comment #23 from ktkachov at gcc dot gnu.org --- Author: ktkachov Date: Wed Jan 31 10:06:45 2018 New Revision: 257225 URL: https://gcc.gnu.org/viewcvs?rev=257225=gcc=rev Log: [AArch64] PR tree-optimization/64946: XFAIL

[Bug tree-optimization/64946] [AArch64] gcc.target/aarch64/vect-abs-compile.c - "abs" vectorization fails for char/short types

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=64946 --- Comment #22 from rguenther at suse dot de --- On Wed, 8 Jun 2016, shiva0217 at gmail dot com wrote: > https://gcc.gnu.org/bugzilla/show_bug.cgi?id=64946 > > --- Comment #21 from Shiva Chen --- > Hi, Richard > > On following example > >

[Bug tree-optimization/64946] [AArch64] gcc.target/aarch64/vect-abs-compile.c - "abs" vectorization fails for char/short types

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=64946 --- Comment #21 from Shiva Chen --- Hi, Richard On following example int a = ABS_EXPR (b); int c = a - 1; c will get it's range base on a which is ~[INT_MIN+1, -1] Even if we transfer to int a = (int) ABSU_EXPR (b); int c = a - 1;

[Bug tree-optimization/64946] [AArch64] gcc.target/aarch64/vect-abs-compile.c - "abs" vectorization fails for char/short types

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=64946 --- Comment #20 from rguenther at suse dot de --- On Wed, 8 Jun 2016, shiva0217 at gmail dot com wrote: > https://gcc.gnu.org/bugzilla/show_bug.cgi?id=64946 > > --- Comment #19 from Shiva Chen --- > 2016-06-06 15:41 GMT+08:00 rguenther at

[Bug tree-optimization/64946] [AArch64] gcc.target/aarch64/vect-abs-compile.c - "abs" vectorization fails for char/short types

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=64946 --- Comment #19 from Shiva Chen --- 2016-06-06 15:41 GMT+08:00 rguenther at suse dot de : > https://gcc.gnu.org/bugzilla/show_bug.cgi?id=64946 > > --- Comment #18 from rguenther at suse dot de --- > On Mon, 6 Jun 2016,

[Bug tree-optimization/64946] [AArch64] gcc.target/aarch64/vect-abs-compile.c - "abs" vectorization fails for char/short types

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=64946 --- Comment #18 from rguenther at suse dot de --- On Mon, 6 Jun 2016, shiva0217 at gmail dot com wrote: > https://gcc.gnu.org/bugzilla/show_bug.cgi?id=64946 > > --- Comment #17 from Shiva Chen --- > Hi, Richard > > Thanks for the explanation

[Bug tree-optimization/64946] [AArch64] gcc.target/aarch64/vect-abs-compile.c - "abs" vectorization fails for char/short types

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=64946 --- Comment #17 from Shiva Chen --- Hi, Richard Thanks for the explanation :) So the transformation (short)abs((int)short_var) -> abs (short_var) should guard by TYPE_OVERFLOW_WRAPS because when TYPE_OVERFLOW_WRAPS is true, signed operation

[Bug tree-optimization/64946] [AArch64] gcc.target/aarch64/vect-abs-compile.c - "abs" vectorization fails for char/short types

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=64946 --- Comment #16 from rguenther at suse dot de --- On Fri, 3 Jun 2016, shiva0217 at gmail dot com wrote: > https://gcc.gnu.org/bugzilla/show_bug.cgi?id=64946 > > --- Comment #14 from Shiva Chen --- > I'm not sure my understanding was correct.

[Bug tree-optimization/64946] [AArch64] gcc.target/aarch64/vect-abs-compile.c - "abs" vectorization fails for char/short types

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=64946 vekumar at gcc dot gnu.org changed: What|Removed |Added Assignee|vekumar at gcc dot gnu.org |shiva0217 at gmail

[Bug tree-optimization/64946] [AArch64] gcc.target/aarch64/vect-abs-compile.c - "abs" vectorization fails for char/short types

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=64946 --- Comment #14 from Shiva Chen --- I'm not sure my understanding was correct. To my understanding, TYPE_OVERFLOW_UNDEFINED is true imply that signed overflow won't occur. E.g. in tree-scalar-evolution.c simple_iv (...) { ...

[Bug tree-optimization/64946] [AArch64] gcc.target/aarch64/vect-abs-compile.c - "abs" vectorization fails for char/short types

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=64946 --- Comment #13 from rguenther at suse dot de --- On Thu, 2 Jun 2016, shiva0217 at gmail dot com wrote: > https://gcc.gnu.org/bugzilla/show_bug.cgi?id=64946 > > Shiva Chen changed: > >What|Removed |Added >

[Bug tree-optimization/64946] [AArch64] gcc.target/aarch64/vect-abs-compile.c - "abs" vectorization fails for char/short types

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=64946 Shiva Chen changed: What|Removed |Added CC||shiva0217 at gmail dot com --- Comment #12

[Bug tree-optimization/64946] [AArch64] gcc.target/aarch64/vect-abs-compile.c - "abs" vectorization fails for char/short types

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=64946 mwahab at gcc dot gnu.org changed: What|Removed |Added CC||mwahab at gcc dot gnu.org

[Bug tree-optimization/64946] [AArch64] gcc.target/aarch64/vect-abs-compile.c - abs vectorization fails for char/short types

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=64946 Ramana Radhakrishnan ramana at gcc dot gnu.org changed: What|Removed |Added Status|NEW |ASSIGNED

[Bug tree-optimization/64946] [AArch64] gcc.target/aarch64/vect-abs-compile.c - abs vectorization fails for char/short types

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=64946 --- Comment #9 from vekumar at gcc dot gnu.org --- This match.pd pattern vectorizes the PR but works only with -fwrapv. (simplify ( convert (abs (convert@1 @0))) ( if (INTEGRAL_TYPE_P (type) /* We check for type compatibility between @0

[Bug tree-optimization/64946] [AArch64] gcc.target/aarch64/vect-abs-compile.c - abs vectorization fails for char/short types

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=64946 --- Comment #7 from rguenther at suse dot de rguenther at suse dot de --- On Thu, 26 Feb 2015, vekumar at gcc dot gnu.org wrote: https://gcc.gnu.org/bugzilla/show_bug.cgi?id=64946 vekumar at gcc dot gnu.org changed: What

[Bug tree-optimization/64946] [AArch64] gcc.target/aarch64/vect-abs-compile.c - abs vectorization fails for char/short types

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=64946 --- Comment #8 from Andrew Pinski pinskia at gcc dot gnu.org --- (In reply to vekumar from comment #6) (In reply to Andrew Pinski from comment #5) I think you should always use an unsigned type here so it will be defined in the IR. This is

[Bug tree-optimization/64946] [AArch64] gcc.target/aarch64/vect-abs-compile.c - abs vectorization fails for char/short types

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=64946 vekumar at gcc dot gnu.org changed: What|Removed |Added CC||rguenth at gcc dot gnu.org

[Bug tree-optimization/64946] [AArch64] gcc.target/aarch64/vect-abs-compile.c - abs vectorization fails for char/short types

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=64946 --- Comment #5 from Andrew Pinski pinskia at gcc dot gnu.org --- I think you should always use an unsigned type here so it will be defined in the IR. This is mentioned in bug 22199#c3 .

[Bug tree-optimization/64946] [AArch64] gcc.target/aarch64/vect-abs-compile.c - abs vectorization fails for char/short types

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=64946 --- Comment #6 from vekumar at gcc dot gnu.org --- (In reply to Andrew Pinski from comment #5) I think you should always use an unsigned type here so it will be defined in the IR. This is mentioned in bug 22199#c3 . Andrew I missed to include

[Bug tree-optimization/64946] [AArch64] gcc.target/aarch64/vect-abs-compile.c - abs vectorization fails for char/short types

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=64946 --- Comment #4 from Andrew Pinski pinskia at gcc dot gnu.org --- I think this is really a duplicate of bug 22199.

[Bug tree-optimization/64946] [AArch64] gcc.target/aarch64/vect-abs-compile.c - abs vectorization fails for char/short types

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=64946 James Greenhalgh jgreenhalgh at gcc dot gnu.org changed: What|Removed |Added Target|aarch64