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 } 27
