https://gcc.gnu.org/bugzilla/show_bug.cgi?id=105163
Richard Biener <rguenth at gcc dot gnu.org> changed: What |Removed |Added ---------------------------------------------------------------------------- Status|NEW |ASSIGNED Assignee|unassigned at gcc dot gnu.org |rguenth at gcc dot gnu.org --- Comment #3 from Richard Biener <rguenth at gcc dot gnu.org> --- It's reassoc: <bb 5> [local count: 1072883005]: _1 = -d_4(ab); d_17(ab) = 8; ... @@ -47,7 +61,7 @@ goto <bb 9>; [50.00%] <bb 8> [local count: 176954885]: - _2 = _1 + 1; + _2 = 1 - d_4(ab); _3 = (int) _2; *z_19(D) = _3; and that via negate propagation I guess.