https://gcc.gnu.org/bugzilla/show_bug.cgi?id=63586
kugan at gcc dot gnu.org changed: What |Removed |Added ---------------------------------------------------------------------------- Attachment #36908|0 |1 is obsolete| | --- Comment #6 from kugan at gcc dot gnu.org --- Created attachment 36979 --> https://gcc.gnu.org/bugzilla/attachment.cgi?id=36979&action=edit proposed patch With the updated pach now we have: ;; Function f4 (f4, funcdef_no=3, decl_uid=4162, cgraph_uid=3, symbol_order=3) ;; 1 loops found ;; ;; Loop 0 ;; header 0, latch 1 ;; depth 0, outer -1 ;; nodes: 0 1 2 ;; 2 succs { 1 } f4 (unsigned int x, unsigned int z, unsigned int k) { unsigned int y; unsigned int reassocmul_12; unsigned int reassocmul_13; unsigned int _14; <bb 2>: reassocmul_12 = x_2(D) * 4; reassocmul_13 = z_6(D) * 3; _14 = reassocmul_13 + k_1(D); y_10 = _14 + reassocmul_12; return y_10; } Also, bootstrap and regression testing is clean for x86_64-none-linux-gnu.