blob: 3f2f4c4f747caa3c79db63334ed5af09a8d2fec0 [file] [log] [blame]
Max Kazantsevb9e65cb2018-12-07 14:39:46 +00001; NOTE: Assertions have been autogenerated by utils/update_test_checks.py
2; RUN: opt -S -make-guards-explicit < %s | FileCheck %s
3; RUN: opt -S -passes=make-guards-explicit < %s | FileCheck %s
4
5declare void @llvm.experimental.guard(i1,...)
6
7; Check that a sole guard can be turned into explicit guards form.
8define void @trivial_guard(i1 %cond) {
9; CHECK-LABEL: @trivial_guard(
10; CHECK-NEXT: entry:
11; CHECK-NEXT: [[WIDENABLE_COND:%.*]] = call i1 @llvm.experimental.widenable.condition()
12; CHECK-NEXT: [[EXIPLICIT_GUARD_COND:%.*]] = and i1 [[COND:%.*]], [[WIDENABLE_COND]]
13; CHECK-NEXT: br i1 [[EXIPLICIT_GUARD_COND]], label [[GUARDED:%.*]], label [[DEOPT:%.*]], !prof !0
14; CHECK: deopt:
15; CHECK-NEXT: call void (...) @llvm.experimental.deoptimize.isVoid() [ "deopt"(i32 123, i64 456) ]
16; CHECK-NEXT: ret void
17; CHECK: guarded:
18; CHECK-NEXT: ret void
19;
20entry:
21 call void(i1, ...) @llvm.experimental.guard(i1 %cond) [ "deopt"(i32 123, i64 456) ]
22 ret void
23}
24
25; Check that a sequence of guards can be turned into explicit guards form.
26define void @trivial_guard_sequence(i1 %cond1, i1 %cond2, i1 %cond3) {
27; CHECK-LABEL: @trivial_guard_sequence(
28; CHECK-NEXT: entry:
29; CHECK-NEXT: [[WIDENABLE_COND:%.*]] = call i1 @llvm.experimental.widenable.condition()
30; CHECK-NEXT: [[EXIPLICIT_GUARD_COND:%.*]] = and i1 [[COND1:%.*]], [[WIDENABLE_COND]]
31; CHECK-NEXT: br i1 [[EXIPLICIT_GUARD_COND]], label [[GUARDED:%.*]], label [[DEOPT:%.*]], !prof !0
32; CHECK: deopt:
33; CHECK-NEXT: call void (...) @llvm.experimental.deoptimize.isVoid() [ "deopt"(i32 123, i64 456) ]
34; CHECK-NEXT: ret void
35; CHECK: guarded:
36; CHECK-NEXT: [[WIDENABLE_COND3:%.*]] = call i1 @llvm.experimental.widenable.condition()
37; CHECK-NEXT: [[EXIPLICIT_GUARD_COND4:%.*]] = and i1 [[COND2:%.*]], [[WIDENABLE_COND3]]
38; CHECK-NEXT: br i1 [[EXIPLICIT_GUARD_COND4]], label [[GUARDED1:%.*]], label [[DEOPT2:%.*]], !prof !0
39; CHECK: deopt2:
40; CHECK-NEXT: call void (...) @llvm.experimental.deoptimize.isVoid() [ "deopt"(i32 789, i64 123) ]
41; CHECK-NEXT: ret void
42; CHECK: guarded1:
43; CHECK-NEXT: [[WIDENABLE_COND7:%.*]] = call i1 @llvm.experimental.widenable.condition()
44; CHECK-NEXT: [[EXIPLICIT_GUARD_COND8:%.*]] = and i1 [[COND3:%.*]], [[WIDENABLE_COND7]]
45; CHECK-NEXT: br i1 [[EXIPLICIT_GUARD_COND8]], label [[GUARDED5:%.*]], label [[DEOPT6:%.*]], !prof !0
46; CHECK: deopt6:
47; CHECK-NEXT: call void (...) @llvm.experimental.deoptimize.isVoid() [ "deopt"(i32 456, i64 789) ]
48; CHECK-NEXT: ret void
49; CHECK: guarded5:
50; CHECK-NEXT: ret void
51;
52entry:
53 call void(i1, ...) @llvm.experimental.guard(i1 %cond1) [ "deopt"(i32 123, i64 456) ]
54 call void(i1, ...) @llvm.experimental.guard(i1 %cond2) [ "deopt"(i32 789, i64 123) ]
55 call void(i1, ...) @llvm.experimental.guard(i1 %cond3) [ "deopt"(i32 456, i64 789) ]
56 ret void
57}
58
59; Check that all instructions between the guards preserve.
60define void @split_block_contents(i1 %cond1, i1 %cond2, i1 %cond3, i32* %p) {
61; CHECK-LABEL: @split_block_contents(
62; CHECK-NEXT: entry:
63; CHECK-NEXT: store i32 0, i32* [[P:%.*]]
64; CHECK-NEXT: [[WIDENABLE_COND:%.*]] = call i1 @llvm.experimental.widenable.condition()
65; CHECK-NEXT: [[EXIPLICIT_GUARD_COND:%.*]] = and i1 [[COND1:%.*]], [[WIDENABLE_COND]]
66; CHECK-NEXT: br i1 [[EXIPLICIT_GUARD_COND]], label [[GUARDED:%.*]], label [[DEOPT:%.*]], !prof !0
67; CHECK: deopt:
68; CHECK-NEXT: call void (...) @llvm.experimental.deoptimize.isVoid() [ "deopt"(i32 123, i64 456) ]
69; CHECK-NEXT: ret void
70; CHECK: guarded:
71; CHECK-NEXT: store i32 1, i32* [[P]]
72; CHECK-NEXT: [[WIDENABLE_COND3:%.*]] = call i1 @llvm.experimental.widenable.condition()
73; CHECK-NEXT: [[EXIPLICIT_GUARD_COND4:%.*]] = and i1 [[COND2:%.*]], [[WIDENABLE_COND3]]
74; CHECK-NEXT: br i1 [[EXIPLICIT_GUARD_COND4]], label [[GUARDED1:%.*]], label [[DEOPT2:%.*]], !prof !0
75; CHECK: deopt2:
76; CHECK-NEXT: call void (...) @llvm.experimental.deoptimize.isVoid() [ "deopt"(i32 789, i64 123) ]
77; CHECK-NEXT: ret void
78; CHECK: guarded1:
79; CHECK-NEXT: store i32 2, i32* [[P]]
80; CHECK-NEXT: [[WIDENABLE_COND7:%.*]] = call i1 @llvm.experimental.widenable.condition()
81; CHECK-NEXT: [[EXIPLICIT_GUARD_COND8:%.*]] = and i1 [[COND3:%.*]], [[WIDENABLE_COND7]]
82; CHECK-NEXT: br i1 [[EXIPLICIT_GUARD_COND8]], label [[GUARDED5:%.*]], label [[DEOPT6:%.*]], !prof !0
83; CHECK: deopt6:
84; CHECK-NEXT: call void (...) @llvm.experimental.deoptimize.isVoid() [ "deopt"(i32 456, i64 789) ]
85; CHECK-NEXT: ret void
86; CHECK: guarded5:
87; CHECK-NEXT: store i32 3, i32* [[P]]
88; CHECK-NEXT: ret void
89;
90entry:
91 store i32 0, i32* %p
92 call void(i1, ...) @llvm.experimental.guard(i1 %cond1) [ "deopt"(i32 123, i64 456) ]
93 store i32 1, i32* %p
94 call void(i1, ...) @llvm.experimental.guard(i1 %cond2) [ "deopt"(i32 789, i64 123) ]
95 store i32 2, i32* %p
96 call void(i1, ...) @llvm.experimental.guard(i1 %cond3) [ "deopt"(i32 456, i64 789) ]
97 store i32 3, i32* %p
98 ret void
99}
100
101; Check that the guard can split a loop properly.
102define void @split_loop(i1 %cond, i32 %N, i32 %M) {
103; CHECK-LABEL: @split_loop(
104; CHECK-NEXT: entry:
105; CHECK-NEXT: br label [[LOOP:%.*]]
106; CHECK: loop:
107; CHECK-NEXT: [[IV:%.*]] = phi i32 [ 0, [[ENTRY:%.*]] ], [ [[IV_NEXT:%.*]], [[GUARDED:%.*]] ]
108; CHECK-NEXT: [[GUARD_COND:%.*]] = icmp slt i32 [[IV]], [[N:%.*]]
109; CHECK-NEXT: [[WIDENABLE_COND:%.*]] = call i1 @llvm.experimental.widenable.condition()
110; CHECK-NEXT: [[EXIPLICIT_GUARD_COND:%.*]] = and i1 [[GUARD_COND]], [[WIDENABLE_COND]]
111; CHECK-NEXT: br i1 [[EXIPLICIT_GUARD_COND]], label [[GUARDED]], label [[DEOPT:%.*]], !prof !0
112; CHECK: deopt:
113; CHECK-NEXT: call void (...) @llvm.experimental.deoptimize.isVoid() [ "deopt"(i32 123, i64 456) ]
114; CHECK-NEXT: ret void
115; CHECK: guarded:
116; CHECK-NEXT: [[LOOP_COND:%.*]] = icmp slt i32 [[IV]], [[M:%.*]]
117; CHECK-NEXT: [[IV_NEXT]] = add i32 [[IV]], 1
118; CHECK-NEXT: br i1 [[LOOP_COND]], label [[LOOP]], label [[EXIT:%.*]]
119; CHECK: exit:
120; CHECK-NEXT: ret void
121;
122entry:
123 br label %loop
124
125loop:
126 %iv = phi i32 [ 0, %entry ], [ %iv.next, %loop ]
127 %guard_cond = icmp slt i32 %iv, %N
128 call void(i1, ...) @llvm.experimental.guard(i1 %guard_cond) [ "deopt"(i32 123, i64 456) ]
129 %loop_cond = icmp slt i32 %iv, %M
130 %iv.next = add i32 %iv, 1
131 br i1 %loop_cond, label %loop, label %exit
132
133exit:
134 ret void
135}