| Matt Arsenault | 80ecd77 | 2013-08-28 23:04:41 +0000 | [diff] [blame] | 1 | ; RUN: opt < %s -instcombine -S | FileCheck %s |
| 2 | |
| 3 | ; CHECK-NOT: add |
| Chris Lattner | b20bdd2 | 2002-12-05 22:25:47 +0000 | [diff] [blame] | 4 | |
| Tanya Lattner | 5640bd1 | 2008-03-01 09:15:35 +0000 | [diff] [blame] | 5 | define i32 @test(i32 %A) { |
| 6 | %A.neg = sub i32 0, %A ; <i32> [#uses=1] |
| 7 | %.neg = sub i32 0, 1 ; <i32> [#uses=1] |
| 8 | %X = add i32 %.neg, 1 ; <i32> [#uses=1] |
| 9 | %Y.neg.ra = add i32 %A, %X ; <i32> [#uses=1] |
| 10 | %r = add i32 %A.neg, %Y.neg.ra ; <i32> [#uses=1] |
| 11 | ret i32 %r |
| Chris Lattner | b20bdd2 | 2002-12-05 22:25:47 +0000 | [diff] [blame] | 12 | } |
| Tanya Lattner | 5640bd1 | 2008-03-01 09:15:35 +0000 | [diff] [blame] | 13 | |