| Chris Lattner | e04acca | 2010-01-05 04:55:35 +0000 | [diff] [blame] | 1 | ; RUN: opt -reassociate -disable-output %s |
| 2 | |
| 3 | |
| 4 | ; rdar://7507855 |
| Chris Lattner | 5daeca7 | 2010-01-09 06:01:36 +0000 | [diff] [blame] | 5 | define fastcc i32 @test1() nounwind { |
| Chris Lattner | e04acca | 2010-01-05 04:55:35 +0000 | [diff] [blame] | 6 | entry: |
| 7 | %cond = select i1 undef, i32 1, i32 -1 ; <i32> [#uses=2] |
| 8 | br label %for.cond |
| 9 | |
| 10 | for.cond: ; preds = %for.body, %entry |
| 11 | %sub889 = sub i32 undef, undef ; <i32> [#uses=1] |
| 12 | %sub891 = sub i32 %sub889, %cond ; <i32> [#uses=0] |
| 13 | %add896 = sub i32 0, %cond ; <i32> [#uses=0] |
| 14 | ret i32 undef |
| 15 | } |
| Chris Lattner | 5daeca7 | 2010-01-09 06:01:36 +0000 | [diff] [blame] | 16 | |
| 17 | ; PR5981 |
| 18 | define i32 @test2() nounwind ssp { |
| 19 | entry: |
| 20 | %0 = load i32* undef, align 4 |
| 21 | %1 = mul nsw i32 undef, %0 |
| 22 | %2 = mul nsw i32 undef, %0 |
| 23 | %3 = add nsw i32 undef, %1 |
| 24 | %4 = add nsw i32 %3, %2 |
| 25 | %5 = add nsw i32 %4, 4 |
| 26 | %6 = shl i32 %0, 3 ; <i32> [#uses=1] |
| 27 | %7 = add nsw i32 %5, %6 |
| 28 | br label %bb4.i9 |
| 29 | |
| 30 | bb4.i9: ; preds = %bb3.i7, %bb1.i25.i |
| 31 | %8 = add nsw i32 undef, %1 |
| 32 | ret i32 0 |
| 33 | } |