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
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
|
; NOTE: Assertions have been autogenerated by utils/update_test_checks.py
; RUN: opt -S -passes=instcombine < %s | FileCheck %s
;
; Tests to show cases where computeKnownBits should be able to determine
; the known bits of a phi based on limited recursion.
;
declare i64 @llvm.ctpop.i64(i64)
define i32 @single_entry_phi(i64 %x, i1 %c) {
; CHECK-LABEL: @single_entry_phi(
; CHECK-NEXT: entry:
; CHECK-NEXT: br label [[BODY:%.*]]
; CHECK: body:
; CHECK-NEXT: br i1 [[C:%.*]], label [[END:%.*]], label [[BODY]]
; CHECK: end:
; CHECK-NEXT: [[Y:%.*]] = call i64 @llvm.ctpop.i64(i64 [[X:%.*]]), !range [[RNG0:![0-9]+]]
; CHECK-NEXT: [[TRUNC:%.*]] = trunc i64 [[Y]] to i32
; CHECK-NEXT: ret i32 [[TRUNC]]
;
entry:
%y = call i64 @llvm.ctpop.i64(i64 %x)
%trunc = trunc i64 %y to i32
br label %body
body:
br i1 %c, label %end, label %body
end:
%phi = phi i32 [ %trunc, %body ]
%res = and i32 %phi, 127
ret i32 %res
}
define i32 @two_entry_phi_with_constant(i64 %x, i1 %c) {
; CHECK-LABEL: @two_entry_phi_with_constant(
; CHECK-NEXT: entry:
; CHECK-NEXT: [[Y:%.*]] = call i64 @llvm.ctpop.i64(i64 [[X:%.*]]), !range [[RNG0]]
; CHECK-NEXT: [[TRUNC:%.*]] = trunc i64 [[Y]] to i32
; CHECK-NEXT: br i1 [[C:%.*]], label [[END:%.*]], label [[BODY:%.*]]
; CHECK: body:
; CHECK-NEXT: br label [[END]]
; CHECK: end:
; CHECK-NEXT: [[PHI:%.*]] = phi i32 [ [[TRUNC]], [[ENTRY:%.*]] ], [ 255, [[BODY]] ]
; CHECK-NEXT: [[RES:%.*]] = and i32 [[PHI]], 255
; CHECK-NEXT: ret i32 [[RES]]
;
entry:
%y = call i64 @llvm.ctpop.i64(i64 %x)
%trunc = trunc i64 %y to i32
br i1 %c, label %end, label %body
body:
br label %end
end:
%phi = phi i32 [ %trunc, %entry ], [ 255, %body ]
%res = and i32 %phi, 255
ret i32 %res
}
define i32 @two_entry_phi_non_constant(i64 %x, i64 %x2, i1 %c) {
; CHECK-LABEL: @two_entry_phi_non_constant(
; CHECK-NEXT: entry:
; CHECK-NEXT: [[Y:%.*]] = call i64 @llvm.ctpop.i64(i64 [[X:%.*]]), !range [[RNG0]]
; CHECK-NEXT: [[TRUNC:%.*]] = trunc i64 [[Y]] to i32
; CHECK-NEXT: br i1 [[C:%.*]], label [[END:%.*]], label [[BODY:%.*]]
; CHECK: body:
; CHECK-NEXT: [[Y2:%.*]] = call i64 @llvm.ctpop.i64(i64 [[X2:%.*]]), !range [[RNG0]]
; CHECK-NEXT: [[TRUNC2:%.*]] = trunc i64 [[Y2]] to i32
; CHECK-NEXT: br label [[END]]
; CHECK: end:
; CHECK-NEXT: [[PHI:%.*]] = phi i32 [ [[TRUNC]], [[ENTRY:%.*]] ], [ [[TRUNC2]], [[BODY]] ]
; CHECK-NEXT: [[RES:%.*]] = and i32 [[PHI]], 255
; CHECK-NEXT: ret i32 [[RES]]
;
entry:
%y = call i64 @llvm.ctpop.i64(i64 %x)
%trunc = trunc i64 %y to i32
br i1 %c, label %end, label %body
body:
%y2 = call i64 @llvm.ctpop.i64(i64 %x2)
%trunc2 = trunc i64 %y2 to i32
br label %end
end:
%phi = phi i32 [ %trunc, %entry ], [ %trunc2, %body ]
%res = and i32 %phi, 255
ret i32 %res
}
define i32 @neg_many_branches(i64 %x) {
; CHECK-LABEL: @neg_many_branches(
; CHECK-NEXT: entry:
; CHECK-NEXT: [[Y:%.*]] = call i64 @llvm.ctpop.i64(i64 [[X:%.*]]), !range [[RNG0]]
; CHECK-NEXT: [[TRUNC:%.*]] = trunc i64 [[Y]] to i32
; CHECK-NEXT: switch i32 [[TRUNC]], label [[END:%.*]] [
; CHECK-NEXT: i32 1, label [[ONE:%.*]]
; CHECK-NEXT: i32 2, label [[TWO:%.*]]
; CHECK-NEXT: i32 3, label [[THREE:%.*]]
; CHECK-NEXT: i32 4, label [[FOUR:%.*]]
; CHECK-NEXT: ]
; CHECK: one:
; CHECK-NEXT: [[A:%.*]] = add nuw nsw i32 [[TRUNC]], 1
; CHECK-NEXT: br label [[END]]
; CHECK: two:
; CHECK-NEXT: [[B:%.*]] = add nuw nsw i32 [[TRUNC]], 2
; CHECK-NEXT: br label [[END]]
; CHECK: three:
; CHECK-NEXT: [[C:%.*]] = add nuw nsw i32 [[TRUNC]], 3
; CHECK-NEXT: br label [[END]]
; CHECK: four:
; CHECK-NEXT: [[D:%.*]] = add nuw nsw i32 [[TRUNC]], 4
; CHECK-NEXT: br label [[END]]
; CHECK: end:
; CHECK-NEXT: [[PHI:%.*]] = phi i32 [ [[TRUNC]], [[ENTRY:%.*]] ], [ [[A]], [[ONE]] ], [ [[B]], [[TWO]] ], [ [[C]], [[THREE]] ], [ [[D]], [[FOUR]] ]
; CHECK-NEXT: [[RES:%.*]] = and i32 [[PHI]], 255
; CHECK-NEXT: ret i32 [[RES]]
;
entry:
%y = call i64 @llvm.ctpop.i64(i64 %x)
%trunc = trunc i64 %y to i32
switch i32 %trunc, label %end [
i32 1, label %one
i32 2, label %two
i32 3, label %three
i32 4, label %four
]
one:
%a = add i32 %trunc, 1
br label %end
two:
%b = add i32 %trunc, 2
br label %end
three:
%c = add i32 %trunc, 3
br label %end
four:
%d = add i32 %trunc, 4
br label %end
end:
%phi = phi i32 [ %trunc, %entry ], [ %a, %one ], [ %b, %two ], [ %c, %three ], [ %d, %four ]
%res = and i32 %phi, 255
ret i32 %res
}
|
