https://gcc.gnu.org/bugzilla/show_bug.cgi?id=118915
Richard Biener <rguenth at gcc dot gnu.org> changed:
What |Removed |Added
----------------------------------------------------------------------------
CC| |jakub at gcc dot gnu.org
Priority|P3 |P2
--- Comment #4 from Richard Biener <rguenth at gcc dot gnu.org> ---
Most of the reassoc code was written by Jakub. It doesn't look very profitable
what it does either.
--- a-t.c.141t.isolate-paths 2025-02-18 09:10:08.073670871 +0100
+++ a-t.c.142t.reassoc1 2025-02-18 09:10:08.073670871 +0100
...
<bb 2> [local count: 1073741824]:
a.0_1 = a;
_3 = a.0_1 == -6;
+ _12 = (unsigned int) a.0_1;
+ _13 = _12 + 34;
+ _14 = _13 & 4294967287;
+ _16 = (unsigned int) a.0_1;
+ _17 = _16 <= 4294967261;
+ if (_17 != 0)
+ goto <bb 6>; [50.00%]
+ else
+ goto <bb 5>; [50.00%]
+
+ <bb 5> [local count: 536870912]:
+ _18 = (unsigned int) a.0_1;
+ _19 = _18 + 34;
+ _20 = (int) _19;
+ _21 = 16374563073 >> _20;
+ _22 = _21 & 1;
+ _23 = _22 == 0;
+
+ <bb 6> [local count: 1073741824]:
+ # _24 = PHI <_23(5), 1(2)>
+ _25 = ~_24;
+ _15 = _14 == 0;
_5 = a.0_1 == -34;
- _6 = _3 | _5;
_8 = a.0_1 >= -4;
- _9 = _6 | _8;
_10 = a.0_1 == -26;
- _11 = _9 | _10;
+ _11 = _25;
if (_11 != 0)
