test/Transforms/Reassociate/mul-neg-add.ll

   1 ; RUN: llvm-as < %s | opt -reassociate -instcombine | llvm-dis | not grep 'sub int 0'
   2
   3 int %test(int %X, int %Y, int %Z) {
   4         %A = sub int 0, %X
   5         %B = mul int %A, %Y
   6         %C = add int %B, %Z   ; (-X)*Y + Z -> Z-X*Y
   7         ret int %C
   8 }