1 ; With sub reassociation, constant folding can eliminate the 12 and -12 constants. 2 ; 3 ; RUN: opt < %s -reassociate -instcombine -S | not grep 12 4 5 define i32 @test(i32 %A, i32 %B) { 6 %X = add i32 -12, %A ; <i32> [#uses=1] 7 %Y = sub i32 %X, %B ; <i32> [#uses=1] 8 %Z = add i32 %Y, 12 ; <i32> [#uses=1] 9 ret i32 %Z 10 } 11 12