; RUN: llvm-as < %s | opt -reassociate -instcombine | llvm-dis |\ | |
; RUN: not grep {sub i32 0} | |
define i32 @test(i32 %X, i32 %Y, i32 %Z) { | |
%A = sub i32 0, %X ; <i32> [#uses=1] | |
%B = mul i32 %A, %Y ; <i32> [#uses=1] | |
; (-X)*Y + Z -> Z-X*Y | |
%C = add i32 %B, %Z ; <i32> [#uses=1] | |
ret i32 %C | |
} |