| Jan Vesely | 0cd3ec6 | 2014-08-13 20:31:53 +0000 | [diff] [blame] | 1 | ; RUN: opt -flattencfg -S < %s | FileCheck %s |
| 2 | |
| 3 | |
| 4 | ; This test checks whether the pass completes without a crash. |
| 5 | ; The code is not transformed in any way |
| 6 | ; |
| 7 | ; CHECK-LABEL: @test_not_crash |
| 8 | define void @test_not_crash(i32 %in_a) #0 { |
| 9 | entry: |
| 10 | %cmp0 = icmp eq i32 %in_a, -1 |
| 11 | %cmp1 = icmp ne i32 %in_a, 0 |
| 12 | %cond0 = and i1 %cmp0, %cmp1 |
| 13 | br i1 %cond0, label %b0, label %b1 |
| 14 | |
| 15 | b0: ; preds = %entry |
| 16 | %cmp2 = icmp eq i32 %in_a, 0 |
| 17 | %cmp3 = icmp ne i32 %in_a, 1 |
| 18 | %cond1 = or i1 %cmp2, %cmp3 |
| 19 | br i1 %cond1, label %exit, label %b1 |
| 20 | |
| 21 | b1: ; preds = %entry, %b0 |
| 22 | br label %exit |
| 23 | |
| 24 | exit: ; preds = %entry, %b0, %b1 |
| 25 | ret void |
| 26 | } |