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
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
| ; NOTE: Assertions have been autogenerated by utils/update_test_checks.py
;RUN: opt < %s -jump-threading -S | FileCheck %s
declare void @bar(...)
declare void @baz(...)
; Make sure we thread the end of the bar block to the end of the function.
define void @test1(i32 %x) {
; CHECK-LABEL: @test1(
; CHECK-NEXT: entry:
; CHECK-NEXT: [[CMP:%.*]] = icmp sgt i32 [[X:%.*]], 9
; CHECK-NEXT: br i1 [[CMP]], label [[IF_END_THREAD:%.*]], label [[IF_END:%.*]]
; CHECK: if.end.thread:
; CHECK-NEXT: call void (...) @bar()
; CHECK-NEXT: br label [[IF_END4:%.*]]
; CHECK: if.end:
; CHECK-NEXT: [[X_OFF:%.*]] = add i32 [[X]], -3
; CHECK-NEXT: [[TMP0:%.*]] = icmp ult i32 [[X_OFF]], 5
; CHECK-NEXT: br i1 [[TMP0]], label [[IF_THEN3:%.*]], label [[IF_END4]]
; CHECK: if.then3:
; CHECK-NEXT: call void (...) @baz()
; CHECK-NEXT: br label [[IF_END4]]
; CHECK: if.end4:
; CHECK-NEXT: ret void
;
entry:
%cmp = icmp sgt i32 %x, 9
br i1 %cmp, label %if.then, label %if.end
if.then: ; preds = %entry
call void (...) @bar()
br label %if.end
if.end: ; preds = %if.then, %entry
%x.off = add i32 %x, -3
%0 = icmp ult i32 %x.off, 5
br i1 %0, label %if.then3, label %if.end4
if.then3: ; preds = %if.end
call void (...) @baz()
br label %if.end4
if.end4: ; preds = %if.then3, %if.end
ret void
}
; Make sure we thread the false side of the first if to the end of the function.
define void @test2(i32 %x) {
; CHECK-LABEL: @test2(
; CHECK-NEXT: entry:
; CHECK-NEXT: [[CMP:%.*]] = icmp slt i32 [[X:%.*]], 9
; CHECK-NEXT: br i1 [[CMP]], label [[IF_END:%.*]], label [[IF_END4:%.*]]
; CHECK: if.end:
; CHECK-NEXT: call void (...) @bar()
; CHECK-NEXT: [[X_OFF:%.*]] = add i32 [[X]], -3
; CHECK-NEXT: [[TMP0:%.*]] = icmp ult i32 [[X_OFF]], 5
; CHECK-NEXT: br i1 [[TMP0]], label [[IF_THEN3:%.*]], label [[IF_END4]]
; CHECK: if.then3:
; CHECK-NEXT: call void (...) @baz()
; CHECK-NEXT: br label [[IF_END4]]
; CHECK: if.end4:
; CHECK-NEXT: ret void
;
entry:
%cmp = icmp slt i32 %x, 9
br i1 %cmp, label %if.then, label %if.end
if.then: ; preds = %entry
call void (...) @bar()
br label %if.end
if.end: ; preds = %if.then, %entry
%x.off = add i32 %x, -3
%0 = icmp ult i32 %x.off, 5
br i1 %0, label %if.then3, label %if.end4
if.then3: ; preds = %if.end
call void (...) @baz()
br label %if.end4
if.end4: ; preds = %if.then3, %if.end
ret void
}
; Negative test to make sure we don't thread when the ranges overlap.
define void @test3(i32 %x) {
; CHECK-LABEL: @test3(
; CHECK-NEXT: entry:
; CHECK-NEXT: [[CMP:%.*]] = icmp sgt i32 [[X:%.*]], 6
; CHECK-NEXT: br i1 [[CMP]], label [[IF_THEN:%.*]], label [[IF_END:%.*]]
; CHECK: if.then:
; CHECK-NEXT: call void (...) @bar()
; CHECK-NEXT: br label [[IF_END]]
; CHECK: if.end:
; CHECK-NEXT: [[X_OFF:%.*]] = add i32 [[X]], -3
; CHECK-NEXT: [[TMP0:%.*]] = icmp ult i32 [[X_OFF]], 5
; CHECK-NEXT: br i1 [[TMP0]], label [[IF_THEN3:%.*]], label [[IF_END4:%.*]]
; CHECK: if.then3:
; CHECK-NEXT: call void (...) @baz()
; CHECK-NEXT: br label [[IF_END4]]
; CHECK: if.end4:
; CHECK-NEXT: ret void
;
entry:
%cmp = icmp sgt i32 %x, 6
br i1 %cmp, label %if.then, label %if.end
if.then: ; preds = %entry
call void (...) @bar()
br label %if.end
if.end: ; preds = %if.then, %entry
%x.off = add i32 %x, -3
%0 = icmp ult i32 %x.off, 5
br i1 %0, label %if.then3, label %if.end4
if.then3: ; preds = %if.end
call void (...) @baz()
br label %if.end4
if.end4: ; preds = %if.then3, %if.end
ret void
}
|