| Dan Gohman | f17a25c | 2007-07-18 16:29:46 +0000 | [diff] [blame] | 1 | ; With reassociation, constant folding can eliminate the 12 and -12 constants. |
| 2 | ; |
| Tanya Lattner | 028031a | 2008-03-19 04:36:04 +0000 | [diff] [blame^] | 3 | ; RUN: llvm-as < %s | opt -reassociate -constprop -instcombine -die | llvm-dis | not grep add |
| Dan Gohman | f17a25c | 2007-07-18 16:29:46 +0000 | [diff] [blame] | 4 | |
| Tanya Lattner | 028031a | 2008-03-19 04:36:04 +0000 | [diff] [blame^] | 5 | define i32 @test(i32 %arg) { |
| 6 | %tmp1 = sub i32 -12, %arg ; <i32> [#uses=1] |
| 7 | %tmp2 = add i32 %tmp1, 12 ; <i32> [#uses=1] |
| 8 | ret i32 %tmp2 |
| Dan Gohman | f17a25c | 2007-07-18 16:29:46 +0000 | [diff] [blame] | 9 | } |
| Tanya Lattner | 028031a | 2008-03-19 04:36:04 +0000 | [diff] [blame^] | 10 | |