| Chris Lattner | 11d13fb | 2002-05-15 20:30:48 +0000 | [diff] [blame] | 1 | ; With sub reassociation, constant folding can eliminate the 12 and -12 constants. |
| 2 | ; |
| Dan Gohman | 3e054fe | 2009-09-08 22:34:10 +0000 | [diff] [blame^] | 3 | ; RUN: opt %s -reassociate -instcombine -S | not grep 12 |
| Chris Lattner | 11d13fb | 2002-05-15 20:30:48 +0000 | [diff] [blame] | 4 | |
| Chris Lattner | f06c3c2 | 2008-02-17 20:48:43 +0000 | [diff] [blame] | 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 |
| Chris Lattner | 11d13fb | 2002-05-15 20:30:48 +0000 | [diff] [blame] | 10 | } |
| Chris Lattner | f06c3c2 | 2008-02-17 20:48:43 +0000 | [diff] [blame] | 11 | |