| Dan Gohman | f17a25c | 2007-07-18 16:29:46 +0000 | [diff] [blame] | 1 | ; With sub reassociation, constant folding can eliminate the two 12 constants. |
| 2 | ; |
| Dan Gohman | 3c7d308 | 2009-09-11 18:01:28 +0000 | [diff] [blame] | 3 | ; RUN: opt < %s -reassociate -constprop -dce -S | not grep 12 |
| 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 %A, i32 %B, i32 %C, i32 %D) { |
| 6 | %M = add i32 %A, 12 ; <i32> [#uses=1] |
| 7 | %N = add i32 %M, %B ; <i32> [#uses=1] |
| 8 | %O = add i32 %N, %C ; <i32> [#uses=1] |
| 9 | %P = sub i32 %D, %O ; <i32> [#uses=1] |
| 10 | %Q = add i32 %P, 12 ; <i32> [#uses=1] |
| 11 | ret i32 %Q |
| Dan Gohman | f17a25c | 2007-07-18 16:29:46 +0000 | [diff] [blame] | 12 | } |
| Tanya Lattner | 028031a | 2008-03-19 04:36:04 +0000 | [diff] [blame] | 13 | |