Skip to content

Commit da1beca

Browse files
nikicnikic
committed
[ConstantFolding] Regenerate test checks; NFC
Bring overflow-ops.ll into current format. Remove redundant entry blocks. llvm-svn: 349804
1 parent 41a7b10 commit da1beca

File tree

1 file changed

+58
-78
lines changed

1 file changed

+58
-78
lines changed

‎llvm/test/Transforms/ConstProp/overflow-ops.ll

Lines changed: 58 additions & 78 deletions
Original file line numberDiff line numberDiff line change
@@ -1,6 +1,6 @@
1+
; NOTE: Assertions have been autogenerated by utils/update_test_checks.py
12
; RUN: opt < %s -constprop -S | FileCheck %s
23

3-
44
declare {i8, i1} @llvm.uadd.with.overflow.i8(i8, i8)
55
declare {i8, i1} @llvm.usub.with.overflow.i8(i8, i8)
66
declare {i8, i1} @llvm.umul.with.overflow.i8(i8, i8)
@@ -14,114 +14,103 @@ declare {i8, i1} @llvm.smul.with.overflow.i8(i8, i8)
1414
;;-----------------------------
1515

1616
define {i8, i1} @uadd_1() nounwind {
17-
entry:
17+
; CHECK-LABEL: @uadd_1(
18+
; CHECK-NEXT: ret { i8, i1 } { i8 -114, i1 false }
19+
;
1820
%t = call {i8, i1} @llvm.uadd.with.overflow.i8(i8 42, i8 100)
1921
ret {i8, i1} %t
20-
21-
; CHECK-LABEL: @uadd_1(
22-
; CHECK: ret { i8, i1 } { i8 -114, i1 false }
2322
}
2423

2524
define {i8, i1} @uadd_2() nounwind {
26-
entry:
25+
; CHECK-LABEL: @uadd_2(
26+
; CHECK-NEXT: ret { i8, i1 } { i8 6, i1 true }
27+
;
2728
%t = call {i8, i1} @llvm.uadd.with.overflow.i8(i8 142, i8 120)
2829
ret {i8, i1} %t
29-
30-
; CHECK-LABEL: @uadd_2(
31-
; CHECK: ret { i8, i1 } { i8 6, i1 true }
3230
}
3331

3432
;;-----------------------------
3533
;; usub
3634
;;-----------------------------
3735

3836
define {i8, i1} @usub_1() nounwind {
39-
entry:
37+
; CHECK-LABEL: @usub_1(
38+
; CHECK-NEXT: ret { i8, i1 } { i8 2, i1 false }
39+
;
4040
%t = call {i8, i1} @llvm.usub.with.overflow.i8(i8 4, i8 2)
4141
ret {i8, i1} %t
42-
43-
; CHECK-LABEL: @usub_1(
44-
; CHECK: ret { i8, i1 } { i8 2, i1 false }
4542
}
4643

4744
define {i8, i1} @usub_2() nounwind {
48-
entry:
45+
; CHECK-LABEL: @usub_2(
46+
; CHECK-NEXT: ret { i8, i1 } { i8 -2, i1 true }
47+
;
4948
%t = call {i8, i1} @llvm.usub.with.overflow.i8(i8 4, i8 6)
5049
ret {i8, i1} %t
51-
52-
; CHECK-LABEL: @usub_2(
53-
; CHECK: ret { i8, i1 } { i8 -2, i1 true }
5450
}
5551

5652
;;-----------------------------
5753
;; umul
5854
;;-----------------------------
5955

6056
define {i8, i1} @umul_1() nounwind {
61-
entry:
57+
; CHECK-LABEL: @umul_1(
58+
; CHECK-NEXT: ret { i8, i1 } { i8 44, i1 true }
59+
;
6260
%t = call {i8, i1} @llvm.umul.with.overflow.i8(i8 100, i8 3)
6361
ret {i8, i1} %t
64-
65-
; CHECK-LABEL: @umul_1(
66-
; CHECK: ret { i8, i1 } { i8 44, i1 true }
6762
}
6863

6964
define {i8, i1} @umul_2() nounwind {
70-
entry:
65+
; CHECK-LABEL: @umul_2(
66+
; CHECK-NEXT: ret { i8, i1 } { i8 -56, i1 false }
67+
;
7168
%t = call {i8, i1} @llvm.umul.with.overflow.i8(i8 100, i8 2)
7269
ret {i8, i1} %t
73-
74-
; CHECK-LABEL: @umul_2(
75-
; CHECK: ret { i8, i1 } { i8 -56, i1 false }
7670
}
7771

7872
;;-----------------------------
7973
;; sadd
8074
;;-----------------------------
8175

8276
define {i8, i1} @sadd_1() nounwind {
83-
entry:
77+
; CHECK-LABEL: @sadd_1(
78+
; CHECK-NEXT: ret { i8, i1 } { i8 44, i1 false }
79+
;
8480
%t = call {i8, i1} @llvm.sadd.with.overflow.i8(i8 42, i8 2)
8581
ret {i8, i1} %t
86-
87-
; CHECK-LABEL: @sadd_1(
88-
; CHECK: ret { i8, i1 } { i8 44, i1 false }
8982
}
9083

9184
define {i8, i1} @sadd_2() nounwind {
92-
entry:
85+
; CHECK-LABEL: @sadd_2(
86+
; CHECK-NEXT: ret { i8, i1 } { i8 -126, i1 true }
87+
;
9388
%t = call {i8, i1} @llvm.sadd.with.overflow.i8(i8 120, i8 10)
9489
ret {i8, i1} %t
95-
96-
; CHECK-LABEL: @sadd_2(
97-
; CHECK: ret { i8, i1 } { i8 -126, i1 true }
9890
}
9991

10092
define {i8, i1} @sadd_3() nounwind {
101-
entry:
93+
; CHECK-LABEL: @sadd_3(
94+
; CHECK-NEXT: ret { i8, i1 } { i8 -110, i1 false }
95+
;
10296
%t = call {i8, i1} @llvm.sadd.with.overflow.i8(i8 -120, i8 10)
10397
ret {i8, i1} %t
104-
105-
; CHECK-LABEL: @sadd_3(
106-
; CHECK: ret { i8, i1 } { i8 -110, i1 false }
10798
}
10899

109100
define {i8, i1} @sadd_4() nounwind {
110-
entry:
101+
; CHECK-LABEL: @sadd_4(
102+
; CHECK-NEXT: ret { i8, i1 } { i8 126, i1 true }
103+
;
111104
%t = call {i8, i1} @llvm.sadd.with.overflow.i8(i8 -120, i8 -10)
112105
ret {i8, i1} %t
113-
114-
; CHECK-LABEL: @sadd_4(
115-
; CHECK: ret { i8, i1 } { i8 126, i1 true }
116106
}
117107

118108
define {i8, i1} @sadd_5() nounwind {
119-
entry:
109+
; CHECK-LABEL: @sadd_5(
110+
; CHECK-NEXT: ret { i8, i1 } { i8 -8, i1 false }
111+
;
120112
%t = call {i8, i1} @llvm.sadd.with.overflow.i8(i8 2, i8 -10)
121113
ret {i8, i1} %t
122-
123-
; CHECK-LABEL: @sadd_5(
124-
; CHECK: ret { i8, i1 } { i8 -8, i1 false }
125114
}
126115

127116

@@ -130,78 +119,69 @@ entry:
130119
;;-----------------------------
131120

132121
define {i8, i1} @ssub_1() nounwind {
133-
entry:
122+
; CHECK-LABEL: @ssub_1(
123+
; CHECK-NEXT: ret { i8, i1 } { i8 2, i1 false }
124+
;
134125
%t = call {i8, i1} @llvm.ssub.with.overflow.i8(i8 4, i8 2)
135126
ret {i8, i1} %t
136-
137-
; CHECK-LABEL: @ssub_1(
138-
; CHECK: ret { i8, i1 } { i8 2, i1 false }
139127
}
140128

141129
define {i8, i1} @ssub_2() nounwind {
142-
entry:
130+
; CHECK-LABEL: @ssub_2(
131+
; CHECK-NEXT: ret { i8, i1 } { i8 -2, i1 false }
132+
;
143133
%t = call {i8, i1} @llvm.ssub.with.overflow.i8(i8 4, i8 6)
144134
ret {i8, i1} %t
145-
146-
; CHECK-LABEL: @ssub_2(
147-
; CHECK: ret { i8, i1 } { i8 -2, i1 false }
148135
}
149136

150137
define {i8, i1} @ssub_3() nounwind {
151-
entry:
138+
; CHECK-LABEL: @ssub_3(
139+
; CHECK-NEXT: ret { i8, i1 } { i8 126, i1 true }
140+
;
152141
%t = call {i8, i1} @llvm.ssub.with.overflow.i8(i8 -10, i8 120)
153142
ret {i8, i1} %t
154-
155-
; CHECK-LABEL: @ssub_3(
156-
; CHECK: ret { i8, i1 } { i8 126, i1 true }
157143
}
158144

159145
define {i8, i1} @ssub_3b() nounwind {
160-
entry:
146+
; CHECK-LABEL: @ssub_3b(
147+
; CHECK-NEXT: ret { i8, i1 } { i8 -20, i1 false }
148+
;
161149
%t = call {i8, i1} @llvm.ssub.with.overflow.i8(i8 -10, i8 10)
162150
ret {i8, i1} %t
163-
164-
; CHECK-LABEL: @ssub_3b(
165-
; CHECK: ret { i8, i1 } { i8 -20, i1 false }
166151
}
167152

168153
define {i8, i1} @ssub_4() nounwind {
169-
entry:
154+
; CHECK-LABEL: @ssub_4(
155+
; CHECK-NEXT: ret { i8, i1 } { i8 -126, i1 true }
156+
;
170157
%t = call {i8, i1} @llvm.ssub.with.overflow.i8(i8 120, i8 -10)
171158
ret {i8, i1} %t
172-
173-
; CHECK-LABEL: @ssub_4(
174-
; CHECK: ret { i8, i1 } { i8 -126, i1 true }
175159
}
176160

177161
define {i8, i1} @ssub_4b() nounwind {
178-
entry:
162+
; CHECK-LABEL: @ssub_4b(
163+
; CHECK-NEXT: ret { i8, i1 } { i8 30, i1 false }
164+
;
179165
%t = call {i8, i1} @llvm.ssub.with.overflow.i8(i8 20, i8 -10)
180166
ret {i8, i1} %t
181-
182-
; CHECK-LABEL: @ssub_4b(
183-
; CHECK: ret { i8, i1 } { i8 30, i1 false }
184167
}
185168

186169
define {i8, i1} @ssub_5() nounwind {
187-
entry:
170+
; CHECK-LABEL: @ssub_5(
171+
; CHECK-NEXT: ret { i8, i1 } { i8 -10, i1 false }
172+
;
188173
%t = call {i8, i1} @llvm.ssub.with.overflow.i8(i8 -20, i8 -10)
189174
ret {i8, i1} %t
190-
191-
; CHECK-LABEL: @ssub_5(
192-
; CHECK: ret { i8, i1 } { i8 -10, i1 false }
193175
}
194176

195177
;;-----------------------------
196178
;; smul
197179
;;-----------------------------
198180

199-
; rdar://8501501
200181
define {i8, i1} @smul_1() nounwind {
201-
entry:
182+
; CHECK-LABEL: @smul_1(
183+
; CHECK-NEXT: ret { i8, i1 } { i8 -56, i1 true }
184+
;
202185
%t = call {i8, i1} @llvm.smul.with.overflow.i8(i8 -20, i8 -10)
203186
ret {i8, i1} %t
204-
205-
; CHECK-LABEL: @smul_1(
206-
; CHECK: ret { i8, i1 } { i8 -56, i1 true }
207187
}

0 commit comments

Comments
 (0)