[Bug middle-end/110117] [14 Regression] ICE on valid code at -O1 with "-ftree-vrp -fno-tree-ccp -fno-tree-forwprop": in as_a, at machmode.h:381

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=110117 Andrew Pinski changed: What|Removed |Added CC||19373742 at buaa dot edu.cn ---

[Bug middle-end/110117] [14 Regression] ICE on valid code at -O1 with "-ftree-vrp -fno-tree-ccp -fno-tree-forwprop": in as_a, at machmode.h:381

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=110117 Andrew Pinski changed: What|Removed |Added Status|ASSIGNED|RESOLVED Resolution|---

[Bug middle-end/110117] [14 Regression] ICE on valid code at -O1 with "-ftree-vrp -fno-tree-ccp -fno-tree-forwprop": in as_a, at machmode.h:381

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=110117 --- Comment #9 from CVS Commits --- The trunk branch has been updated by Andrew Pinski : https://gcc.gnu.org/g:3f085e45755643f13d4fa45a12a6ade45be98f95 commit r14-1601-g3f085e45755643f13d4fa45a12a6ade45be98f95 Author: Andrew Pinski Date:

[Bug middle-end/110117] [14 Regression] ICE on valid code at -O1 with "-ftree-vrp -fno-tree-ccp -fno-tree-forwprop": in as_a, at machmode.h:381

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=110117 --- Comment #8 from CVS Commits --- The trunk branch has been updated by Andrew Pinski : https://gcc.gnu.org/g:e60593f3881c72a96a3fa4844d73e8a2cd14f670 commit r14-1600-ge60593f3881c72a96a3fa4844d73e8a2cd14f670 Author: Andrew Pinski Date:

[Bug middle-end/110117] [14 Regression] ICE on valid code at -O1 with "-ftree-vrp -fno-tree-ccp -fno-tree-forwprop": in as_a, at machmode.h:381

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=110117 Andrew Pinski changed: What|Removed |Added Keywords||patch URL|

[Bug middle-end/110117] [14 Regression] ICE on valid code at -O1 with "-ftree-vrp -fno-tree-ccp -fno-tree-forwprop": in as_a, at machmode.h:381

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=110117 --- Comment #6 from Andrew Pinski --- Simplier testcase: ``` int f() { int t = 0; return (t & 1) != 0; } ``` Options are: `-O1 -fno-tree-dominator-opts -fno-tree-vrp -fno-tree-ccp -fno-tree-forwprop -fno-tree-fre -fno-tree-copy-prop` .

[Bug middle-end/110117] [14 Regression] ICE on valid code at -O1 with "-ftree-vrp -fno-tree-ccp -fno-tree-forwprop": in as_a, at machmode.h:381

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=110117 --- Comment #5 from Andrew Pinski --- Created attachment 55255 --> https://gcc.gnu.org/bugzilla/attachment.cgi?id=55255=edit Patch which fixes this I am going to split this patch into 2, one for the do_store_flag change and one for the patch

[Bug middle-end/110117] [14 Regression] ICE on valid code at -O1 with "-ftree-vrp -fno-tree-ccp -fno-tree-forwprop": in as_a, at machmode.h:381

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=110117 --- Comment #4 from Andrew Pinski --- This was "fixed" by r14-1534-g908e5ab5c11c64 as we don't have a nonzero bits on _5 in : # RANGE [irange] int [-2147483647, +INF] _4 = 0; _5 = _4 & 1; _39 = _5 != 0; Since we don't have a non-zero

[Bug middle-end/110117] [14 Regression] ICE on valid code at -O1 with "-ftree-vrp -fno-tree-ccp -fno-tree-forwprop": in as_a, at machmode.h:381

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=110117 --- Comment #3 from Andrew Pinski --- Anyways imode should just be operand_mode really. But that does not solve the issue either because extract_bit_field does not know how to handle const_int :(.

[Bug middle-end/110117] [14 Regression] ICE on valid code at -O1 with "-ftree-vrp -fno-tree-ccp -fno-tree-forwprop": in as_a, at machmode.h:381

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=110117 --- Comment #2 from Andrew Pinski --- _4 = 0; _5 = _4 & 1; _39 = _5 != 0; The reason why it worked before was that when creating trees, it simplify down to 0 and then expand that. Now we are expanding directly to rtl, we get: (const_int