Skip to content

Commit d96295e

Browse files
fhahnfhahn
committed
[SimplifyCFG] Precommit test for preserving !annotation.
1 parent 7c843b0 commit d96295e

File tree

1 file changed

+145
-0
lines changed

1 file changed

+145
-0
lines changed

‎llvm/test/Transforms/SimplifyCFG/annotations.ll

Lines changed: 145 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,145 @@
1+
; RUN: opt -simplifycfg -S %s | FileCheck --match-full-lines %s
2+
3+
; The branch in %cont has !annotation metadata. Make sure generated AND
4+
; has !annotation metadata.
5+
define i32 @test_preserve_and(i8* %a, i8* %b, i8* %c, i8* %d) {
6+
; CHECK-LABEL: define {{.*}} @test_preserve_and({{.*}}
7+
; CHECK-NEXT: entry:
8+
; CHECK-NEXT: [[C_1:%.*]] = icmp ult i8* [[A:%.*]], [[B:%.*]], !annotation !0
9+
; CHECK-NEXT: [[C_2:%.*]] = icmp uge i8* [[C:%.*]], [[D:%.*]]
10+
; CHECK-NEXT: [[OR_COND:%.*]] = and i1 [[C_1]], [[C_2]]
11+
; CHECK-NEXT: br i1 [[OR_COND]], label [[CONT1:%.*]], label [[TRAP:%.*]], !annotation !0
12+
; CHECK: trap: ; preds = %entry
13+
; CHECK-NEXT: call void @fn1()
14+
; CHECK-NEXT: unreachable
15+
; CHECK: cont1: ; preds = %entry
16+
; CHECK-NEXT: call void @fn2()
17+
; CHECK-NEXT: ret i32 0
18+
;
19+
entry:
20+
%c.1 = icmp ult i8* %a, %b, !annotation !0
21+
br i1 %c.1, label %cont, label %trap, !annotation !0
22+
23+
cont: ; preds = %entry
24+
%c.2 = icmp uge i8* %c, %d, !annotation !0
25+
br i1 %c.2, label %cont1, label %trap, !annotation !0
26+
27+
trap: ; preds = %cont, %entry
28+
call void @fn1()
29+
unreachable
30+
31+
cont1: ; preds = %cont
32+
call void @fn2()
33+
ret i32 0
34+
}
35+
36+
; The branch in %cont has !annotation metadata. Make sure generated OR
37+
; has !annotation metadata.
38+
define i32 @test_preserve_or(i8* %a, i8* %b, i8* %c, i8* %d) {
39+
; CHECK-LABEL: define {{.*}} @test_preserve_or({{.*}}
40+
; CHECK-NEXT: entry:
41+
; CHECK-NEXT: [[C_1:%.*]] = icmp uge i8* [[A:%.*]], [[B:%.*]], !annotation !0
42+
; CHECK-NEXT: [[C_2:%.*]] = icmp uge i8* [[C:%.*]], [[D:%.*]]
43+
; CHECK-NEXT: [[OR_COND:%.*]] = or i1 [[C_1]], [[C_2]]
44+
; CHECK-NEXT: br i1 [[OR_COND]], label [[TRAP:%.*]], label [[CONT1:%.*]], !annotation !0
45+
; CHECK: trap: ; preds = %entry
46+
; CHECK-NEXT: call void @fn1()
47+
; CHECK-NEXT: unreachable
48+
; CHECK: cont1: ; preds = %entry
49+
; CHECK-NEXT: call void @fn2()
50+
; CHECK-NEXT: ret i32 0
51+
;
52+
entry:
53+
%c.1 = icmp ult i8* %a, %b, !annotation !0
54+
br i1 %c.1, label %cont, label %trap, !annotation !0
55+
56+
cont: ; preds = %entry
57+
%c.2 = icmp uge i8* %c, %d, !annotation !0
58+
br i1 %c.2, label %trap, label %cont1, !annotation !0
59+
60+
trap: ; preds = %cont, %entry
61+
call void @fn1()
62+
unreachable
63+
64+
cont1: ; preds = %cont
65+
call void @fn2()
66+
ret i32 0
67+
}
68+
69+
; The branch in %cont has !annotation metadata. Make sure generated negation
70+
; and OR have !annotation metadata.
71+
define i32 @test_preserve_or_not(i8* %a, i8* %b, i8* %c, i8* %d) {
72+
; CHECK-LABEL: define {{.*}} @test_preserve_or_not({{.*}}
73+
; CHECK-NEXT: entry:
74+
; CHECK-NEXT: [[C_1:%.*]] = icmp ult i8* [[A:%.*]], [[B:%.*]], !annotation !0
75+
; CHECK-NEXT: [[C_2:%.*]] = xor i1 [[C_1]], true
76+
; CHECK-NEXT: [[C_2_NOT:%.*]] = xor i1 [[C_2]], true
77+
; CHECK-NEXT: [[C_3:%.*]] = icmp uge i8* [[C:%.*]], [[D:%.*]]
78+
; CHECK-NEXT: [[OR_COND:%.*]] = or i1 [[C_2_NOT]], [[C_3]]
79+
; CHECK-NEXT: br i1 [[OR_COND]], label [[TRAP:%.*]], label [[CONT1:%.*]], !annotation !0
80+
; CHECK: trap: ; preds = %entry
81+
; CHECK-NEXT: call void @fn1()
82+
; CHECK-NEXT: unreachable
83+
; CHECK: cont1: ; preds = %entry
84+
; CHECK-NEXT: call void @fn2()
85+
; CHECK-NEXT: ret i32 0
86+
;
87+
entry:
88+
%c.1 = icmp ult i8* %a, %b, !annotation !0
89+
%c.2 = xor i1 %c.1, true
90+
br i1 %c.2, label %cont, label %trap, !annotation !0
91+
92+
cont: ; preds = %entry
93+
%c.3 = icmp uge i8* %c, %d, !annotation !0
94+
br i1 %c.3, label %trap, label %cont1, !annotation !0
95+
96+
trap: ; preds = %cont, %entry
97+
call void @fn1()
98+
unreachable
99+
100+
cont1: ; preds = %cont
101+
call void @fn2()
102+
ret i32 0
103+
}
104+
105+
106+
; The branch in %cont has no !annotation metadata. Make sure generated negation
107+
; and OR do not have !annotation metadata.
108+
define i32 @test_or_not_no_annotation(i8* %a, i8* %b, i8* %c, i8* %d) {
109+
; CHECK-LABEL: define {{.*}} @test_or_not_no_annotation({{.*}}
110+
; CHECK-NEXT: entry:
111+
; CHECK-NEXT: [[C_1:%.*]] = icmp ult i8* [[A:%.*]], [[B:%.*]], !annotation !0
112+
; CHECK-NEXT: [[C_2:%.*]] = xor i1 [[C_1]], true
113+
; CHECK-NEXT: [[C_2_NOT:%.*]] = xor i1 [[C_2]], true
114+
; CHECK-NEXT: [[C_3:%.*]] = icmp uge i8* [[C:%.*]], [[D:%.*]]
115+
; CHECK-NEXT: [[OR_COND:%.*]] = or i1 [[C_2_NOT]], [[C_3]]
116+
; CHECK-NEXT: br i1 [[OR_COND]], label [[TRAP:%.*]], label [[CONT1:%.*]], !annotation !0
117+
; CHECK: trap: ; preds = %entry
118+
; CHECK-NEXT: call void @fn1()
119+
; CHECK-NEXT: unreachable
120+
; CHECK: cont1: ; preds = %entry
121+
; CHECK-NEXT: call void @fn2()
122+
; CHECK-NEXT: ret i32 0
123+
;
124+
entry:
125+
%c.1 = icmp ult i8* %a, %b, !annotation !0
126+
%c.2 = xor i1 %c.1, true
127+
br i1 %c.2, label %cont, label %trap, !annotation !0
128+
129+
cont: ; preds = %entry
130+
%c.3 = icmp uge i8* %c, %d, !annotation !0
131+
br i1 %c.3, label %trap, label %cont1
132+
133+
trap: ; preds = %cont, %entry
134+
call void @fn1()
135+
unreachable
136+
137+
cont1: ; preds = %cont
138+
call void @fn2()
139+
ret i32 0
140+
}
141+
142+
declare void @fn1()
143+
declare void @fn2()
144+
145+
!0 = !{!"foo"}

0 commit comments

Comments
 (0)