Chris Lattner | 8649898 | 2002-05-14 16:40:43 +0000 | [diff] [blame] | 1 | ; Instcombine was missing a test that caused it to make illegal transformations |
| 2 | ; sometimes. In this case, it transforms the sub into an add: |
Chris Lattner | 4ba1036 | 2007-03-28 01:43:43 +0000 | [diff] [blame] | 3 | ; RUN: llvm-as < %s | opt -instcombine | llvm-dis | grep sub |
Chris Lattner | 8649898 | 2002-05-14 16:40:43 +0000 | [diff] [blame] | 4 | ; |
Chris Lattner | 4ba1036 | 2007-03-28 01:43:43 +0000 | [diff] [blame] | 5 | define i32 @test(i32 %i, i32 %j) { |
| 6 | %A = mul i32 %i, %j |
| 7 | %B = sub i32 2, %A |
| 8 | ret i32 %B |
Chris Lattner | 8649898 | 2002-05-14 16:40:43 +0000 | [diff] [blame] | 9 | } |
Chris Lattner | 4ba1036 | 2007-03-28 01:43:43 +0000 | [diff] [blame] | 10 | |