Skip to content

Commit 2f10deb

Browse files
CamsynCamsyn
committed
Regenerate the tests after commit
1 parent ffea262 commit 2f10deb

File tree

3 files changed

+23
-29
lines changed

3 files changed

+23
-29
lines changed

‎llvm/test/Transforms/SCCP/switch.ll‎

Lines changed: 3 additions & 6 deletions
Original file line numberDiff line numberDiff line change
@@ -391,8 +391,7 @@ define i1 @switch_default_dest(i32 %x) {
391391
; CHECK-NEXT: br label [[PHI]]
392392
; CHECK: phi:
393393
; CHECK-NEXT: [[RES:%.*]] = phi i32 [ 2, [[CASE1]] ], [ 3, [[CASE0:%.*]] ], [ [[X]], [[DEFAULT]] ]
394-
; CHECK-NEXT: [[RET:%.*]] = icmp ult i32 [[RES]], 2
395-
; CHECK-NEXT: ret i1 [[RET]]
394+
; CHECK-NEXT: ret i1 false
396395
;
397396
case0:
398397
switch i32 %x, label %default [
@@ -424,8 +423,7 @@ define i1 @switch_multicases_dest(i32 %x) {
424423
; CHECK-NEXT: br label [[PHI]]
425424
; CHECK: phi:
426425
; CHECK-NEXT: [[RES:%.*]] = phi i32 [ [[X]], [[CASE]] ], [ 0, [[ENTRY:%.*]] ]
427-
; CHECK-NEXT: [[RET:%.*]] = icmp ult i32 [[RES]], 2
428-
; CHECK-NEXT: ret i1 [[RET]]
426+
; CHECK-NEXT: ret i1 true
429427
;
430428
entry:
431429
switch i32 %x, label %phi [
@@ -454,8 +452,7 @@ define i1 @switch_multicases_dest2(i32 %x) {
454452
; CHECK-NEXT: br label [[PHI]]
455453
; CHECK: phi:
456454
; CHECK-NEXT: [[RES:%.*]] = phi i32 [ [[X]], [[ENTRY:%.*]] ], [ [[X]], [[ENTRY]] ], [ 0, [[DEFAULT]] ]
457-
; CHECK-NEXT: [[RET:%.*]] = icmp ult i32 [[RES]], 2
458-
; CHECK-NEXT: ret i1 [[RET]]
455+
; CHECK-NEXT: ret i1 true
459456
;
460457
entry:
461458
switch i32 %x, label %default [

‎llvm/test/Transforms/Util/PredicateInfo/condprop.ll‎

Lines changed: 8 additions & 12 deletions
Original file line numberDiff line numberDiff line change
@@ -133,28 +133,24 @@ define void @test4(i1 %b, i32 %x) {
133133
; CHECK-LABEL: @test4(
134134
; CHECK-NEXT: br i1 [[B:%.*]], label [[SW:%.*]], label [[CASE3:%.*]]
135135
; CHECK: sw:
136-
; CHECK: i32 0, label [[CASE0:%.*]]
136+
; CHECK: [[X_0:%.*]] = bitcast i32 [[X:%.*]] to i32
137+
; CHECK: [[X_1:%.*]] = bitcast i32 [[X]] to i32
138+
; CHECK: [[X_2:%.*]] = bitcast i32 [[X]] to i32
139+
; CHECK-NEXT: switch i32 [[X]], label [[DEFAULT:%.*]] [
140+
; CHECK-NEXT: i32 0, label [[CASE0:%.*]]
137141
; CHECK-NEXT: i32 1, label [[CASE1:%.*]]
138142
; CHECK-NEXT: i32 2, label [[CASE0]]
139143
; CHECK-NEXT: i32 3, label [[CASE3]]
140-
; CHECK-NEXT: i32 4, label [[DEFAULT:%.*]]
141-
; CHECK-NEXT: ] Edge: [label [[SW]],label %case1], RenamedOp: [[X:%.*]] }
142-
; CHECK-NEXT: [[X_0:%.*]] = bitcast i32 [[X]] to i32
143-
; CHECK-NEXT: switch i32 [[X]], label [[DEFAULT]] [
144-
; CHECK-NEXT: i32 0, label [[CASE0]]
145-
; CHECK-NEXT: i32 1, label [[CASE1]]
146-
; CHECK-NEXT: i32 2, label [[CASE0]]
147-
; CHECK-NEXT: i32 3, label [[CASE3]]
148144
; CHECK-NEXT: i32 4, label [[DEFAULT]]
149145
; CHECK-NEXT: ]
150146
; CHECK: default:
151-
; CHECK-NEXT: call void @bar(i32 [[X]])
147+
; CHECK-NEXT: call void @bar(i32 [[X_0]])
152148
; CHECK-NEXT: ret void
153149
; CHECK: case0:
154-
; CHECK-NEXT: call void @bar(i32 [[X]])
150+
; CHECK-NEXT: call void @bar(i32 [[X_1]])
155151
; CHECK-NEXT: ret void
156152
; CHECK: case1:
157-
; CHECK-NEXT: call void @bar(i32 [[X_0]])
153+
; CHECK-NEXT: call void @bar(i32 [[X_2]])
158154
; CHECK-NEXT: ret void
159155
; CHECK: case3:
160156
; CHECK-NEXT: call void @bar(i32 [[X]])

‎llvm/test/Transforms/Util/PredicateInfo/edge.ll‎

Lines changed: 12 additions & 11 deletions
Original file line numberDiff line numberDiff line change
@@ -52,16 +52,14 @@ bb2:
5252
define i32 @f3(i32 %x) {
5353
; CHECK-LABEL: @f3(
5454
; CHECK-NEXT: bb0:
55-
; CHECK: i32 0, label [[BB2:%.*]]
56-
; CHECK-NEXT: ] Edge: [label [[BB0:%.*]],label %bb2], RenamedOp: [[X:%.*]] }
57-
; CHECK-NEXT: [[X_0:%.*]] = bitcast i32 [[X]] to i32
55+
; CHECK: [[X_0:%.*]] = bitcast i32 [[X:%.*]] to i32
5856
; CHECK-NEXT: switch i32 [[X]], label [[BB1:%.*]] [
59-
; CHECK-NEXT: i32 0, label [[BB2]]
57+
; CHECK-NEXT: i32 0, label [[BB2:%.*]]
6058
; CHECK-NEXT: ]
6159
; CHECK: bb1:
6260
; CHECK-NEXT: br label [[BB2]]
6361
; CHECK: bb2:
64-
; CHECK-NEXT: [[COND:%.*]] = phi i32 [ [[X_0]], [[BB0]] ], [ 0, [[BB1]] ]
62+
; CHECK-NEXT: [[COND:%.*]] = phi i32 [ [[X_0]], [[BB0:%.*]] ], [ 0, [[BB1]] ]
6563
; CHECK-NEXT: [[FOO:%.*]] = add i32 [[COND]], [[X]]
6664
; CHECK-NEXT: ret i32 [[FOO]]
6765
;
@@ -246,7 +244,8 @@ return:
246244
define i32 @switch_default_dest(i32 %x) {
247245
; CHECK-LABEL: @switch_default_dest(
248246
; CHECK-NEXT: case0:
249-
; CHECK-NEXT: switch i32 [[X:%.*]], label [[DEFAULT:%.*]] [
247+
; CHECK: [[X_0:%.*]] = bitcast i32 [[X:%.*]] to i32
248+
; CHECK-NEXT: switch i32 [[X]], label [[DEFAULT:%.*]] [
250249
; CHECK-NEXT: i32 0, label [[PHI:%.*]]
251250
; CHECK-NEXT: i32 1, label [[CASE1:%.*]]
252251
; CHECK-NEXT: ]
@@ -255,7 +254,7 @@ define i32 @switch_default_dest(i32 %x) {
255254
; CHECK: default:
256255
; CHECK-NEXT: br label [[PHI]]
257256
; CHECK: phi:
258-
; CHECK-NEXT: [[RES:%.*]] = phi i32 [ 0, [[CASE1]] ], [ 1, [[CASE0:%.*]] ], [ [[X]], [[DEFAULT]] ]
257+
; CHECK-NEXT: [[RES:%.*]] = phi i32 [ 0, [[CASE1]] ], [ 1, [[CASE0:%.*]] ], [ [[X_0]], [[DEFAULT]] ]
259258
; CHECK-NEXT: [[FOO:%.*]] = add i32 [[RES]], [[X]]
260259
; CHECK-NEXT: ret i32 [[FOO]]
261260
;
@@ -280,14 +279,15 @@ phi:
280279
define i32 @switch_multicases_dest(i32 %x) {
281280
; CHECK-LABEL: @switch_multicases_dest(
282281
; CHECK-NEXT: entry:
283-
; CHECK-NEXT: switch i32 [[X:%.*]], label [[PHI:%.*]] [
282+
; CHECK: [[X_0:%.*]] = bitcast i32 [[X:%.*]] to i32
283+
; CHECK-NEXT: switch i32 [[X]], label [[PHI:%.*]] [
284284
; CHECK-NEXT: i32 0, label [[CASE:%.*]]
285285
; CHECK-NEXT: i32 1, label [[CASE]]
286286
; CHECK-NEXT: ]
287287
; CHECK: case:
288288
; CHECK-NEXT: br label [[PHI]]
289289
; CHECK: phi:
290-
; CHECK-NEXT: [[RES:%.*]] = phi i32 [ [[X]], [[CASE]] ], [ 0, [[ENTRY:%.*]] ]
290+
; CHECK-NEXT: [[RES:%.*]] = phi i32 [ [[X_0]], [[CASE]] ], [ 0, [[ENTRY:%.*]] ]
291291
; CHECK-NEXT: [[FOO:%.*]] = add i32 [[RES]], [[X]]
292292
; CHECK-NEXT: ret i32 [[FOO]]
293293
;
@@ -309,14 +309,15 @@ phi:
309309
define i32 @switch_multicases_dest2(i32 %x) {
310310
; CHECK-LABEL: @switch_multicases_dest2(
311311
; CHECK-NEXT: entry:
312-
; CHECK-NEXT: switch i32 [[X:%.*]], label [[DEFAULT:%.*]] [
312+
; CHECK: [[X_0:%.*]] = bitcast i32 [[X:%.*]] to i32
313+
; CHECK-NEXT: switch i32 [[X]], label [[DEFAULT:%.*]] [
313314
; CHECK-NEXT: i32 0, label [[PHI:%.*]]
314315
; CHECK-NEXT: i32 1, label [[PHI]]
315316
; CHECK-NEXT: ]
316317
; CHECK: default:
317318
; CHECK-NEXT: br label [[PHI]]
318319
; CHECK: phi:
319-
; CHECK-NEXT: [[RES:%.*]] = phi i32 [ [[X]], [[ENTRY:%.*]] ], [ [[X]], [[ENTRY]] ], [ 0, [[DEFAULT]] ]
320+
; CHECK-NEXT: [[RES:%.*]] = phi i32 [ [[X_0]], [[ENTRY:%.*]] ], [ [[X_0]], [[ENTRY]] ], [ 0, [[DEFAULT]] ]
320321
; CHECK-NEXT: [[FOO:%.*]] = add i32 [[RES]], [[X]]
321322
; CHECK-NEXT: ret i32 [[FOO]]
322323
;

0 commit comments

Comments
 (0)