Tanya Lattner | 7f40dea | 2008-03-19 04:36:04 +0000 | [diff] [blame] | 1 | ; RUN: llvm-as < %s | opt -reassociate -instcombine | llvm-dis |\ |
Reid Spencer | 9aafdcf | 2007-04-15 09:21:47 +0000 | [diff] [blame] | 2 | ; RUN: not grep {sub i32 0} |
Chris Lattner | 22d0631 | 2005-05-08 21:41:18 +0000 | [diff] [blame] | 3 | |
Tanya Lattner | 7f40dea | 2008-03-19 04:36:04 +0000 | [diff] [blame] | 4 | define i32 @test(i32 %X, i32 %Y, i32 %Z) { |
| 5 | %A = sub i32 0, %X ; <i32> [#uses=1] |
| 6 | %B = mul i32 %A, %Y ; <i32> [#uses=1] |
| 7 | ; (-X)*Y + Z -> Z-X*Y |
| 8 | %C = add i32 %B, %Z ; <i32> [#uses=1] |
| 9 | ret i32 %C |
Chris Lattner | 22d0631 | 2005-05-08 21:41:18 +0000 | [diff] [blame] | 10 | } |