1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
| ; RUN: opt -flattencfg -S < %s | FileCheck %s
; This test checks whether the pass completes without a crash.
; The code is not transformed in any way
;
; CHECK-LABEL: @test_not_crash
define void @test_not_crash(i32 %in_a) #0 {
entry:
%cmp0 = icmp eq i32 %in_a, -1
%cmp1 = icmp ne i32 %in_a, 0
%cond0 = and i1 %cmp0, %cmp1
br i1 %cond0, label %b0, label %b1
b0: ; preds = %entry
%cmp2 = icmp eq i32 %in_a, 0
%cmp3 = icmp ne i32 %in_a, 1
%cond1 = or i1 %cmp2, %cmp3
br i1 %cond1, label %exit, label %b1
b1: ; preds = %entry, %b0
br label %exit
exit: ; preds = %entry, %b0, %b1
ret void
}
; CHECK-LABEL: @test_not_crash2
; CHECK-NEXT: entry:
; CHECK-NEXT: %0 = fcmp ult float %a
; CHECK-NEXT: %1 = fcmp ult float %b
; CHECK-NEXT: [[COND:%[a-z0-9]+]] = or i1 %0, %1
; CHECK-NEXT: br i1 [[COND]], label %bb4, label %bb3
; CHECK: bb3:
; CHECK-NEXT: br label %bb4
; CHECK: bb4:
; CHECK-NEXT: ret void
define void @test_not_crash2(float %a, float %b) #0 {
entry:
%0 = fcmp ult float %a, 1.000000e+00
br i1 %0, label %bb0, label %bb1
bb3: ; preds = %bb0
br label %bb4
bb4: ; preds = %bb0, %bb3
ret void
bb1: ; preds = %entry
br label %bb0
bb0: ; preds = %bb1, %entry
%1 = fcmp ult float %b, 1.000000e+00
br i1 %1, label %bb4, label %bb3
}
; CHECK-LABEL: @test_not_crash3
; CHECK-NEXT: entry:
; CHECK-NEXT: %a_eq_0 = icmp eq i32 %a, 0
; CHECK-NEXT: %a_eq_1 = icmp eq i32 %a, 1
; CHECK-NEXT: [[COND:%[a-z0-9]+]] = or i1 %a_eq_0, %a_eq_1
; CHECK-NEXT: br i1 [[COND]], label %bb2, label %bb3
; CHECK: bb2:
; CHECK-NEXT: br label %bb3
; CHECK: bb3:
; CHECK-NEXT: %check_badref = phi i32 [ 17, %entry ], [ 11, %bb2 ]
; CHECK-NEXT: ret void
define void @test_not_crash3(i32 %a) #0 {
entry:
%a_eq_0 = icmp eq i32 %a, 0
br i1 %a_eq_0, label %bb0, label %bb1
bb0: ; preds = %entry
br label %bb1
bb1: ; preds = %bb0, %entry
%a_eq_1 = icmp eq i32 %a, 1
br i1 %a_eq_1, label %bb2, label %bb3
bb2: ; preds = %bb1
br label %bb3
bb3: ; preds = %bb2, %bb1
%check_badref = phi i32 [ 17, %bb1 ], [ 11, %bb2 ]
ret void
}
|