| Dan Gohman | f17a25c | 2007-07-18 16:29:46 +0000 | [diff] [blame] | 1 | ; With sub reassociation, constant folding can eliminate the 12 and -12 constants. |
| 2 | ; |
| Dan Gohman | 3c7d308 | 2009-09-11 18:01:28 +0000 | [diff] [blame] | 3 | ; RUN: opt < %s -reassociate -instcombine -S | not grep 12 |
| Dan Gohman | f17a25c | 2007-07-18 16:29:46 +0000 | [diff] [blame] | 4 | |
| Chris Lattner | e0afcf2 | 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 |
| Dan Gohman | f17a25c | 2007-07-18 16:29:46 +0000 | [diff] [blame] | 10 | } |
| Chris Lattner | e0afcf2 | 2008-02-17 20:48:43 +0000 | [diff] [blame] | 11 | |