Skip to content

Commit d9ebb7c

Browse files
CamsynCamsyn
committed
Regenerate tests after rebase
1 parent d890f94 commit d9ebb7c

File tree

7 files changed

+7
-160
lines changed

7 files changed

+7
-160
lines changed

‎llvm/test/Transforms/Util/PredicateInfo/branch-on-same-cond.ll‎

Lines changed: 1 addition & 8 deletions
Original file line numberDiff line numberDiff line change
@@ -1,4 +1,4 @@
1-
; NOTE: Assertions have been autogenerated by utils/update_test_checks.py UTC_ARGS: --check-comments
1+
; NOTE: Assertions have been autogenerated by utils/update_test_checks.py UTC_ARGS: --check-inst-comments
22
; RUN: opt -S -passes=print-predicateinfo < %s 2>&1 >/dev/null | FileCheck %s
33

44
; FIXME: RenamedOp should be %cmp or %x in all cases here,
@@ -9,29 +9,22 @@ define i32 @test(i32 %x) {
99
; CHECK-NEXT: br label [[BB1:%.*]]
1010
; CHECK: bb1:
1111
; CHECK-NEXT: [[CMP:%.*]] = icmp eq i32 [[X:%.*]], 0
12-
; CHECK-NEXT: ; Has predicate info
1312
; CHECK-NEXT: ; branch predicate info { TrueEdge: 1 Comparison: [[CMP]] = icmp eq i32 [[X]], 0 Edge: [label [[BB1]],label %bb2], RenamedOp: [[CMP]] }
1413
; CHECK-NEXT: [[CMP_0:%.*]] = bitcast i1 [[CMP]] to i1
15-
; CHECK-NEXT: ; Has predicate info
1614
; CHECK-NEXT: ; branch predicate info { TrueEdge: 1 Comparison: [[CMP]] = icmp eq i32 [[X]], 0 Edge: [label [[BB1]],label %bb2], RenamedOp: [[X]] }
1715
; CHECK-NEXT: [[X_0:%.*]] = bitcast i32 [[X]] to i32
1816
; CHECK-NEXT: br i1 [[CMP]], label [[BB2:%.*]], label [[EXIT1:%.*]]
1917
; CHECK: bb2:
20-
; CHECK-NEXT: ; Has predicate info
2118
; CHECK-NEXT: ; branch predicate info { TrueEdge: 1 Comparison: [[CMP]] = icmp eq i32 [[X]], 0 Edge: [label [[BB2]],label %bb3], RenamedOp: [[CMP_0]] }
2219
; CHECK-NEXT: [[CMP_0_1:%.*]] = bitcast i1 [[CMP_0]] to i1
23-
; CHECK-NEXT: ; Has predicate info
2420
; CHECK-NEXT: ; branch predicate info { TrueEdge: 1 Comparison: [[CMP]] = icmp eq i32 [[X]], 0 Edge: [label [[BB2]],label %bb3], RenamedOp: [[X]] }
2521
; CHECK-NEXT: [[X_0_1:%.*]] = bitcast i32 [[X_0]] to i32
26-
; CHECK-NEXT: ; Has predicate info
2722
; CHECK-NEXT: ; branch predicate info { TrueEdge: 0 Comparison: [[CMP]] = icmp eq i32 [[X]], 0 Edge: [label [[BB2]],label %exit2], RenamedOp: [[X_0]] }
2823
; CHECK-NEXT: [[X_0_4:%.*]] = bitcast i32 [[X_0]] to i32
2924
; CHECK-NEXT: br i1 [[CMP_0]], label [[BB3:%.*]], label [[EXIT2:%.*]]
3025
; CHECK: bb3:
31-
; CHECK-NEXT: ; Has predicate info
3226
; CHECK-NEXT: ; branch predicate info { TrueEdge: 1 Comparison: [[CMP]] = icmp eq i32 [[X]], 0 Edge: [label [[BB3]],label %exit3], RenamedOp: [[X]] }
3327
; CHECK-NEXT: [[X_0_1_2:%.*]] = bitcast i32 [[X_0_1]] to i32
34-
; CHECK-NEXT: ; Has predicate info
3528
; CHECK-NEXT: ; branch predicate info { TrueEdge: 0 Comparison: [[CMP]] = icmp eq i32 [[X]], 0 Edge: [label [[BB3]],label %exit4], RenamedOp: [[X_0_1]] }
3629
; CHECK-NEXT: [[X_0_1_3:%.*]] = bitcast i32 [[X_0_1]] to i32
3730
; CHECK-NEXT: br i1 [[CMP_0_1]], label [[EXIT3:%.*]], label [[EXIT4:%.*]]

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

Lines changed: 1 addition & 28 deletions
Original file line numberDiff line numberDiff line change
@@ -1,4 +1,4 @@
1-
; NOTE: Assertions have been autogenerated by utils/update_test_checks.py UTC_ARGS: --check-comments
1+
; NOTE: Assertions have been autogenerated by utils/update_test_checks.py UTC_ARGS: --check-inst-comments
22
; RUN: opt -passes=print-predicateinfo -disable-output < %s 2>&1 | FileCheck %s
33

44
@a = external global i32 ; <ptr> [#uses=7]
@@ -98,19 +98,14 @@ define void @test3(i32 %x, i32 %y) {
9898
; CHECK-NEXT: [[XZ:%.*]] = icmp eq i32 [[X:%.*]], 0
9999
; CHECK-NEXT: [[YZ:%.*]] = icmp eq i32 [[Y:%.*]], 0
100100
; CHECK-NEXT: [[Z:%.*]] = and i1 [[XZ]], [[YZ]]
101-
; CHECK-NEXT: ; Has predicate info
102101
; CHECK-NEXT: ; branch predicate info { TrueEdge: 0 Comparison: [[Z]] = and i1 [[XZ]], [[YZ]] Edge: [label [[TMP0:%.*]],label %nope], RenamedOp: [[Z]] }
103102
; CHECK-NEXT: [[Z_0:%.*]] = bitcast i1 [[Z]] to i1
104-
; CHECK-NEXT: ; Has predicate info
105103
; CHECK-NEXT: ; branch predicate info { TrueEdge: 1 Comparison: [[XZ]] = icmp eq i32 [[X]], 0 Edge: [label [[TMP0]],label %both_zero], RenamedOp: [[XZ]] }
106104
; CHECK-NEXT: [[XZ_0:%.*]] = bitcast i1 [[XZ]] to i1
107-
; CHECK-NEXT: ; Has predicate info
108105
; CHECK-NEXT: ; branch predicate info { TrueEdge: 1 Comparison: [[XZ]] = icmp eq i32 [[X]], 0 Edge: [label [[TMP0]],label %both_zero], RenamedOp: [[X]] }
109106
; CHECK-NEXT: [[X_0:%.*]] = bitcast i32 [[X]] to i32
110-
; CHECK-NEXT: ; Has predicate info
111107
; CHECK-NEXT: ; branch predicate info { TrueEdge: 1 Comparison: [[YZ]] = icmp eq i32 [[Y]], 0 Edge: [label [[TMP0]],label %both_zero], RenamedOp: [[YZ]] }
112108
; CHECK-NEXT: [[YZ_0:%.*]] = bitcast i1 [[YZ]] to i1
113-
; CHECK-NEXT: ; Has predicate info
114109
; CHECK-NEXT: ; branch predicate info { TrueEdge: 1 Comparison: [[YZ]] = icmp eq i32 [[Y]], 0 Edge: [label [[TMP0]],label %both_zero], RenamedOp: [[Y]] }
115110
; CHECK-NEXT: [[Y_0:%.*]] = bitcast i32 [[Y]] to i32
116111
; CHECK-NEXT: br i1 [[Z]], label [[BOTH_ZERO:%.*]], label [[NOPE:%.*]]
@@ -143,7 +138,6 @@ define void @test4(i1 %b, i32 %x) {
143138
; CHECK-LABEL: @test4(
144139
; CHECK-NEXT: br i1 [[B:%.*]], label [[SW:%.*]], label [[CASE3:%.*]]
145140
; CHECK: sw:
146-
; CHECK-NEXT: ; Has predicate info
147141
; CHECK-NEXT: ; switch predicate info { CaseValue: i32 1 Edge: [label [[SW]],label %case1], RenamedOp: [[X:%.*]] }
148142
; CHECK-NEXT: [[X_0:%.*]] = bitcast i32 [[X]] to i32
149143
; CHECK-NEXT: switch i32 [[X]], label [[DEFAULT:%.*]] [
@@ -192,16 +186,12 @@ case3:
192186
define i1 @test5(i32 %x, i32 %y) {
193187
; CHECK-LABEL: @test5(
194188
; CHECK-NEXT: [[CMP:%.*]] = icmp eq i32 [[X:%.*]], [[Y:%.*]]
195-
; CHECK-NEXT: ; Has predicate info
196189
; CHECK-NEXT: ; branch predicate info { TrueEdge: 1 Comparison: [[CMP]] = icmp eq i32 [[X]], [[Y]] Edge: [label [[TMP0:%.*]],label %same], RenamedOp: [[X]] }
197190
; CHECK-NEXT: [[X_0:%.*]] = bitcast i32 [[X]] to i32
198-
; CHECK-NEXT: ; Has predicate info
199191
; CHECK-NEXT: ; branch predicate info { TrueEdge: 0 Comparison: [[CMP]] = icmp eq i32 [[X]], [[Y]] Edge: [label [[TMP0]],label %different], RenamedOp: [[X]] }
200192
; CHECK-NEXT: [[X_1:%.*]] = bitcast i32 [[X]] to i32
201-
; CHECK-NEXT: ; Has predicate info
202193
; CHECK-NEXT: ; branch predicate info { TrueEdge: 1 Comparison: [[CMP]] = icmp eq i32 [[X]], [[Y]] Edge: [label [[TMP0]],label %same], RenamedOp: [[Y]] }
203194
; CHECK-NEXT: [[Y_0:%.*]] = bitcast i32 [[Y]] to i32
204-
; CHECK-NEXT: ; Has predicate info
205195
; CHECK-NEXT: ; branch predicate info { TrueEdge: 0 Comparison: [[CMP]] = icmp eq i32 [[X]], [[Y]] Edge: [label [[TMP0]],label %different], RenamedOp: [[Y]] }
206196
; CHECK-NEXT: [[Y_1:%.*]] = bitcast i32 [[Y]] to i32
207197
; CHECK-NEXT: br i1 [[CMP]], label [[SAME:%.*]], label [[DIFFERENT:%.*]]
@@ -273,16 +263,12 @@ different:
273263
define i1 @test7(i32 %x, i32 %y) {
274264
; CHECK-LABEL: @test7(
275265
; CHECK-NEXT: [[CMP:%.*]] = icmp sgt i32 [[X:%.*]], [[Y:%.*]]
276-
; CHECK-NEXT: ; Has predicate info
277266
; CHECK-NEXT: ; branch predicate info { TrueEdge: 1 Comparison: [[CMP]] = icmp sgt i32 [[X]], [[Y]] Edge: [label [[TMP0:%.*]],label %same], RenamedOp: [[X]] }
278267
; CHECK-NEXT: [[X_0:%.*]] = bitcast i32 [[X]] to i32
279-
; CHECK-NEXT: ; Has predicate info
280268
; CHECK-NEXT: ; branch predicate info { TrueEdge: 0 Comparison: [[CMP]] = icmp sgt i32 [[X]], [[Y]] Edge: [label [[TMP0]],label %different], RenamedOp: [[X]] }
281269
; CHECK-NEXT: [[X_1:%.*]] = bitcast i32 [[X]] to i32
282-
; CHECK-NEXT: ; Has predicate info
283270
; CHECK-NEXT: ; branch predicate info { TrueEdge: 1 Comparison: [[CMP]] = icmp sgt i32 [[X]], [[Y]] Edge: [label [[TMP0]],label %same], RenamedOp: [[Y]] }
284271
; CHECK-NEXT: [[Y_0:%.*]] = bitcast i32 [[Y]] to i32
285-
; CHECK-NEXT: ; Has predicate info
286272
; CHECK-NEXT: ; branch predicate info { TrueEdge: 0 Comparison: [[CMP]] = icmp sgt i32 [[X]], [[Y]] Edge: [label [[TMP0]],label %different], RenamedOp: [[Y]] }
287273
; CHECK-NEXT: [[Y_1:%.*]] = bitcast i32 [[Y]] to i32
288274
; CHECK-NEXT: br i1 [[CMP]], label [[SAME:%.*]], label [[DIFFERENT:%.*]]
@@ -308,16 +294,12 @@ different:
308294
define i1 @test7_fp(float %x, float %y) {
309295
; CHECK-LABEL: @test7_fp(
310296
; CHECK-NEXT: [[CMP:%.*]] = fcmp ogt float [[X:%.*]], [[Y:%.*]]
311-
; CHECK-NEXT: ; Has predicate info
312297
; CHECK-NEXT: ; branch predicate info { TrueEdge: 1 Comparison: [[CMP]] = fcmp ogt float [[X]], [[Y]] Edge: [label [[TMP0:%.*]],label %same], RenamedOp: [[X]] }
313298
; CHECK-NEXT: [[X_0:%.*]] = bitcast float [[X]] to float
314-
; CHECK-NEXT: ; Has predicate info
315299
; CHECK-NEXT: ; branch predicate info { TrueEdge: 0 Comparison: [[CMP]] = fcmp ogt float [[X]], [[Y]] Edge: [label [[TMP0]],label %different], RenamedOp: [[X]] }
316300
; CHECK-NEXT: [[X_1:%.*]] = bitcast float [[X]] to float
317-
; CHECK-NEXT: ; Has predicate info
318301
; CHECK-NEXT: ; branch predicate info { TrueEdge: 1 Comparison: [[CMP]] = fcmp ogt float [[X]], [[Y]] Edge: [label [[TMP0]],label %same], RenamedOp: [[Y]] }
319302
; CHECK-NEXT: [[Y_0:%.*]] = bitcast float [[Y]] to float
320-
; CHECK-NEXT: ; Has predicate info
321303
; CHECK-NEXT: ; branch predicate info { TrueEdge: 0 Comparison: [[CMP]] = fcmp ogt float [[X]], [[Y]] Edge: [label [[TMP0]],label %different], RenamedOp: [[Y]] }
322304
; CHECK-NEXT: [[Y_1:%.*]] = bitcast float [[Y]] to float
323305
; CHECK-NEXT: br i1 [[CMP]], label [[SAME:%.*]], label [[DIFFERENT:%.*]]
@@ -389,10 +371,8 @@ different:
389371
define i32 @test9(i32 %i, i32 %j) {
390372
; CHECK-LABEL: @test9(
391373
; CHECK-NEXT: [[CMP:%.*]] = icmp eq i32 [[I:%.*]], [[J:%.*]]
392-
; CHECK-NEXT: ; Has predicate info
393374
; CHECK-NEXT: ; branch predicate info { TrueEdge: 1 Comparison: [[CMP]] = icmp eq i32 [[I]], [[J]] Edge: [label [[TMP0:%.*]],label %cond_true], RenamedOp: [[I]] }
394375
; CHECK-NEXT: [[I_0:%.*]] = bitcast i32 [[I]] to i32
395-
; CHECK-NEXT: ; Has predicate info
396376
; CHECK-NEXT: ; branch predicate info { TrueEdge: 1 Comparison: [[CMP]] = icmp eq i32 [[I]], [[J]] Edge: [label [[TMP0]],label %cond_true], RenamedOp: [[J]] }
397377
; CHECK-NEXT: [[J_0:%.*]] = bitcast i32 [[J]] to i32
398378
; CHECK-NEXT: br i1 [[CMP]], label [[COND_TRUE:%.*]], label [[RET:%.*]]
@@ -416,10 +396,8 @@ ret:
416396
define i32 @test10(i32 %j, i32 %i) {
417397
; CHECK-LABEL: @test10(
418398
; CHECK-NEXT: [[CMP:%.*]] = icmp eq i32 [[I:%.*]], [[J:%.*]]
419-
; CHECK-NEXT: ; Has predicate info
420399
; CHECK-NEXT: ; branch predicate info { TrueEdge: 1 Comparison: [[CMP]] = icmp eq i32 [[I]], [[J]] Edge: [label [[TMP0:%.*]],label %cond_true], RenamedOp: [[I]] }
421400
; CHECK-NEXT: [[I_0:%.*]] = bitcast i32 [[I]] to i32
422-
; CHECK-NEXT: ; Has predicate info
423401
; CHECK-NEXT: ; branch predicate info { TrueEdge: 1 Comparison: [[CMP]] = icmp eq i32 [[I]], [[J]] Edge: [label [[TMP0]],label %cond_true], RenamedOp: [[J]] }
424402
; CHECK-NEXT: [[J_0:%.*]] = bitcast i32 [[J]] to i32
425403
; CHECK-NEXT: br i1 [[CMP]], label [[COND_TRUE:%.*]], label [[RET:%.*]]
@@ -447,18 +425,15 @@ define i32 @test11(i32 %x) {
447425
; CHECK-NEXT: [[V0:%.*]] = call i32 @yogibar()
448426
; CHECK-NEXT: [[V1:%.*]] = call i32 @yogibar()
449427
; CHECK-NEXT: [[CMP:%.*]] = icmp eq i32 [[V0]], [[V1]]
450-
; CHECK-NEXT: ; Has predicate info
451428
; CHECK-NEXT: ; branch predicate info { TrueEdge: 0 Comparison: [[CMP]] = icmp eq i32 [[V0]], [[V1]] Edge: [label [[TMP0:%.*]],label %next], RenamedOp: [[V0]] }
452429
; CHECK-NEXT: [[V0_0:%.*]] = bitcast i32 [[V0]] to i32
453-
; CHECK-NEXT: ; Has predicate info
454430
; CHECK-NEXT: ; branch predicate info { TrueEdge: 1 Comparison: [[CMP]] = icmp eq i32 [[V0]], [[V1]] Edge: [label [[TMP0]],label %cond_true], RenamedOp: [[V1]] }
455431
; CHECK-NEXT: [[V1_0:%.*]] = bitcast i32 [[V1]] to i32
456432
; CHECK-NEXT: br i1 [[CMP]], label [[COND_TRUE:%.*]], label [[NEXT:%.*]]
457433
; CHECK: cond_true:
458434
; CHECK-NEXT: ret i32 [[V1_0]]
459435
; CHECK: next:
460436
; CHECK-NEXT: [[CMP2:%.*]] = icmp eq i32 [[X:%.*]], [[V0_0]]
461-
; CHECK-NEXT: ; Has predicate info
462437
; CHECK-NEXT: ; branch predicate info { TrueEdge: 1 Comparison: [[CMP2]] = icmp eq i32 [[X]], [[V0_0]] Edge: [label [[NEXT]],label %cond_true2], RenamedOp: [[V0_0]] }
463438
; CHECK-NEXT: [[V0_0_1:%.*]] = bitcast i32 [[V0_0]] to i32
464439
; CHECK-NEXT: br i1 [[CMP2]], label [[COND_TRUE2:%.*]], label [[NEXT2:%.*]]
@@ -489,10 +464,8 @@ next2:
489464
define i32 @test12(i32 %x) {
490465
; CHECK-LABEL: @test12(
491466
; CHECK-NEXT: [[CMP:%.*]] = icmp eq i32 [[X:%.*]], 0
492-
; CHECK-NEXT: ; Has predicate info
493467
; CHECK-NEXT: ; branch predicate info { TrueEdge: 1 Comparison: [[CMP]] = icmp eq i32 [[X]], 0 Edge: [label [[TMP0:%.*]],label %cond_true], RenamedOp: [[X]] }
494468
; CHECK-NEXT: [[X_0:%.*]] = bitcast i32 [[X]] to i32
495-
; CHECK-NEXT: ; Has predicate info
496469
; CHECK-NEXT: ; branch predicate info { TrueEdge: 0 Comparison: [[CMP]] = icmp eq i32 [[X]], 0 Edge: [label [[TMP0]],label %cond_false], RenamedOp: [[X]] }
497470
; CHECK-NEXT: [[X_1:%.*]] = bitcast i32 [[X]] to i32
498471
; CHECK-NEXT: br i1 [[CMP]], label [[COND_TRUE:%.*]], label [[COND_FALSE:%.*]]

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

Lines changed: 1 addition & 5 deletions
Original file line numberDiff line numberDiff line change
@@ -1,18 +1,16 @@
1-
; NOTE: Assertions have been autogenerated by utils/update_test_checks.py UTC_ARGS: --check-comments
1+
; NOTE: Assertions have been autogenerated by utils/update_test_checks.py UTC_ARGS: --check-inst-comments
22
; RUN: opt -passes=print-predicateinfo -disable-output < %s 2>&1 | FileCheck %s
33
define i1 @f(i32 %x, i1 %y) {
44
; CHECK-LABEL: @f(
55
; CHECK-NEXT: br i1 [[Y:%.*]], label [[BB0:%.*]], label [[BB1:%.*]]
66
; CHECK: bb0:
77
; CHECK-NEXT: [[CMP:%.*]] = icmp sge i32 [[X:%.*]], 0
8-
; CHECK-NEXT: ; Has predicate info
98
; CHECK-NEXT: ; branch predicate info { TrueEdge: 1 Comparison: [[CMP]] = icmp sge i32 [[X]], 0 Edge: [label [[BB0]],label %bb2], RenamedOp: [[X]] }
109
; CHECK-NEXT: [[X_0:%.*]] = bitcast i32 [[X]] to i32
1110
; CHECK-NEXT: br i1 [[CMP]], label [[BB2:%.*]], label [[BB3:%.*]]
1211
; CHECK: bb1:
1312
; CHECK-NEXT: [[X2:%.*]] = add nuw nsw i32 [[X]], 1
1413
; CHECK-NEXT: [[CMP2:%.*]] = icmp sge i32 [[X2]], 2
15-
; CHECK-NEXT: ; Has predicate info
1614
; CHECK-NEXT: ; branch predicate info { TrueEdge: 1 Comparison: [[CMP2]] = icmp sge i32 [[X2]], 2 Edge: [label [[BB1]],label %bb2], RenamedOp: [[X2]] }
1715
; CHECK-NEXT: [[X2_0:%.*]] = bitcast i32 [[X2]] to i32
1816
; CHECK-NEXT: br i1 [[CMP2]], label [[BB2]], label [[BB3]]
@@ -42,14 +40,12 @@ define i1 @g(i32 %x, i1 %y) {
4240
; CHECK-NEXT: br i1 [[Y:%.*]], label [[BB0:%.*]], label [[BB1:%.*]]
4341
; CHECK: bb0:
4442
; CHECK-NEXT: [[CMP:%.*]] = icmp sge i32 [[X:%.*]], 0
45-
; CHECK-NEXT: ; Has predicate info
4643
; CHECK-NEXT: ; branch predicate info { TrueEdge: 0 Comparison: [[CMP]] = icmp sge i32 [[X]], 0 Edge: [label [[BB0]],label %bb2], RenamedOp: [[X]] }
4744
; CHECK-NEXT: [[X_0:%.*]] = bitcast i32 [[X]] to i32
4845
; CHECK-NEXT: br i1 [[CMP]], label [[BB3:%.*]], label [[BB2:%.*]]
4946
; CHECK: bb1:
5047
; CHECK-NEXT: [[X2:%.*]] = add nuw nsw i32 [[X]], 1
5148
; CHECK-NEXT: [[CMP2:%.*]] = icmp sge i32 [[X2]], 2
52-
; CHECK-NEXT: ; Has predicate info
5349
; CHECK-NEXT: ; branch predicate info { TrueEdge: 0 Comparison: [[CMP2]] = icmp sge i32 [[X2]], 2 Edge: [label [[BB1]],label %bb2], RenamedOp: [[X2]] }
5450
; CHECK-NEXT: [[X2_0:%.*]] = bitcast i32 [[X2]] to i32
5551
; CHECK-NEXT: br i1 [[CMP2]], label [[BB3]], label [[BB2]]

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

Lines changed: 1 addition & 10 deletions
Original file line numberDiff line numberDiff line change
@@ -1,11 +1,10 @@
1-
; NOTE: Assertions have been autogenerated by utils/update_test_checks.py UTC_ARGS: --check-comments
1+
; NOTE: Assertions have been autogenerated by utils/update_test_checks.py UTC_ARGS: --check-inst-comments
22
; RUN: opt -passes=print-predicateinfo -disable-output < %s 2>&1 | FileCheck %s
33

44
define i32 @f1(i32 %x) {
55
; CHECK-LABEL: @f1(
66
; CHECK-NEXT: bb0:
77
; CHECK-NEXT: [[CMP:%.*]] = icmp eq i32 [[X:%.*]], 0
8-
; CHECK-NEXT: ; Has predicate info
98
; CHECK-NEXT: ; branch predicate info { TrueEdge: 1 Comparison: [[CMP]] = icmp eq i32 [[X]], 0 Edge: [label [[BB0:%.*]],label %bb2], RenamedOp: [[X]] }
109
; CHECK-NEXT: [[X_0:%.*]] = bitcast i32 [[X]] to i32
1110
; CHECK-NEXT: br i1 [[CMP]], label [[BB2:%.*]], label [[BB1:%.*]]
@@ -31,7 +30,6 @@ define i32 @f2(i32 %x) {
3130
; CHECK-LABEL: @f2(
3231
; CHECK-NEXT: bb0:
3332
; CHECK-NEXT: [[CMP:%.*]] = icmp ne i32 [[X:%.*]], 0
34-
; CHECK-NEXT: ; Has predicate info
3533
; CHECK-NEXT: ; branch predicate info { TrueEdge: 0 Comparison: [[CMP]] = icmp ne i32 [[X]], 0 Edge: [label [[BB0:%.*]],label %bb2], RenamedOp: [[X]] }
3634
; CHECK-NEXT: [[X_0:%.*]] = bitcast i32 [[X]] to i32
3735
; CHECK-NEXT: br i1 [[CMP]], label [[BB1:%.*]], label [[BB2:%.*]]
@@ -56,7 +54,6 @@ bb2:
5654
define i32 @f3(i32 %x) {
5755
; CHECK-LABEL: @f3(
5856
; CHECK-NEXT: bb0:
59-
; CHECK-NEXT: ; Has predicate info
6057
; CHECK-NEXT: ; switch predicate info { CaseValue: i32 0 Edge: [label [[BB0:%.*]],label %bb2], RenamedOp: [[X:%.*]] }
6158
; CHECK-NEXT: [[X_0:%.*]] = bitcast i32 [[X]] to i32
6259
; CHECK-NEXT: switch i32 [[X]], label [[BB1:%.*]] [
@@ -84,7 +81,6 @@ define double @fcmp_oeq_not_zero(double %x, double %y) {
8481
; CHECK-LABEL: @fcmp_oeq_not_zero(
8582
; CHECK-NEXT: entry:
8683
; CHECK-NEXT: [[CMP:%.*]] = fcmp oeq double [[Y:%.*]], 2.000000e+00
87-
; CHECK-NEXT: ; Has predicate info
8884
; CHECK-NEXT: ; branch predicate info { TrueEdge: 1 Comparison: [[CMP]] = fcmp oeq double [[Y]], 2.000000e+00 Edge: [label [[ENTRY:%.*]],label %if], RenamedOp: [[Y]] }
8985
; CHECK-NEXT: [[Y_0:%.*]] = bitcast double [[Y]] to double
9086
; CHECK-NEXT: br i1 [[CMP]], label [[IF:%.*]], label [[RETURN:%.*]]
@@ -113,7 +109,6 @@ define double @fcmp_une_not_zero(double %x, double %y) {
113109
; CHECK-LABEL: @fcmp_une_not_zero(
114110
; CHECK-NEXT: entry:
115111
; CHECK-NEXT: [[CMP:%.*]] = fcmp une double [[Y:%.*]], 2.000000e+00
116-
; CHECK-NEXT: ; Has predicate info
117112
; CHECK-NEXT: ; branch predicate info { TrueEdge: 0 Comparison: [[CMP]] = fcmp une double [[Y]], 2.000000e+00 Edge: [label [[ENTRY:%.*]],label %else], RenamedOp: [[Y]] }
118113
; CHECK-NEXT: [[Y_0:%.*]] = bitcast double [[Y]] to double
119114
; CHECK-NEXT: br i1 [[CMP]], label [[RETURN:%.*]], label [[ELSE:%.*]]
@@ -142,7 +137,6 @@ define double @fcmp_oeq_zero(double %x, double %y) {
142137
; CHECK-LABEL: @fcmp_oeq_zero(
143138
; CHECK-NEXT: entry:
144139
; CHECK-NEXT: [[CMP:%.*]] = fcmp oeq double [[Y:%.*]], 0.000000e+00
145-
; CHECK-NEXT: ; Has predicate info
146140
; CHECK-NEXT: ; branch predicate info { TrueEdge: 1 Comparison: [[CMP]] = fcmp oeq double [[Y]], 0.000000e+00 Edge: [label [[ENTRY:%.*]],label %if], RenamedOp: [[Y]] }
147141
; CHECK-NEXT: [[Y_0:%.*]] = bitcast double [[Y]] to double
148142
; CHECK-NEXT: br i1 [[CMP]], label [[IF:%.*]], label [[RETURN:%.*]]
@@ -171,7 +165,6 @@ define double @fcmp_une_zero(double %x, double %y) {
171165
; CHECK-LABEL: @fcmp_une_zero(
172166
; CHECK-NEXT: entry:
173167
; CHECK-NEXT: [[CMP:%.*]] = fcmp une double [[Y:%.*]], -0.000000e+00
174-
; CHECK-NEXT: ; Has predicate info
175168
; CHECK-NEXT: ; branch predicate info { TrueEdge: 0 Comparison: [[CMP]] = fcmp une double [[Y]], -0.000000e+00 Edge: [label [[ENTRY:%.*]],label %else], RenamedOp: [[Y]] }
176169
; CHECK-NEXT: [[Y_0:%.*]] = bitcast double [[Y]] to double
177170
; CHECK-NEXT: br i1 [[CMP]], label [[RETURN:%.*]], label [[ELSE:%.*]]
@@ -202,7 +195,6 @@ define double @fcmp_oeq_maybe_zero(double %x, double %y, double %z1, double %z2)
202195
; CHECK-NEXT: entry:
203196
; CHECK-NEXT: [[Z:%.*]] = fadd double [[Z1:%.*]], [[Z2:%.*]]
204197
; CHECK-NEXT: [[CMP:%.*]] = fcmp oeq double [[Y:%.*]], [[Z]]
205-
; CHECK-NEXT: ; Has predicate info
206198
; CHECK-NEXT: ; branch predicate info { TrueEdge: 1 Comparison: [[CMP]] = fcmp oeq double [[Y]], [[Z]] Edge: [label [[ENTRY:%.*]],label %if], RenamedOp: [[Z]] }
207199
; CHECK-NEXT: [[Z_0:%.*]] = bitcast double [[Z]] to double
208200
; CHECK-NEXT: br i1 [[CMP]], label [[IF:%.*]], label [[RETURN:%.*]]
@@ -233,7 +225,6 @@ define double @fcmp_une_maybe_zero(double %x, double %y, double %z1, double %z2)
233225
; CHECK-NEXT: entry:
234226
; CHECK-NEXT: [[Z:%.*]] = fadd double [[Z1:%.*]], [[Z2:%.*]]
235227
; CHECK-NEXT: [[CMP:%.*]] = fcmp une double [[Y:%.*]], [[Z]]
236-
; CHECK-NEXT: ; Has predicate info
237228
; CHECK-NEXT: ; branch predicate info { TrueEdge: 0 Comparison: [[CMP]] = fcmp une double [[Y]], [[Z]] Edge: [label [[ENTRY:%.*]],label %else], RenamedOp: [[Z]] }
238229
; CHECK-NEXT: [[Z_0:%.*]] = bitcast double [[Z]] to double
239230
; CHECK-NEXT: br i1 [[CMP]], label [[RETURN:%.*]], label [[ELSE:%.*]]

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

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,4 +1,4 @@
1-
; NOTE: Assertions have been autogenerated by utils/update_test_checks.py UTC_ARGS: --check-comments
1+
; NOTE: Assertions have been autogenerated by utils/update_test_checks.py UTC_ARGS: --check-inst-comments
22
; RUN: opt -passes=print-predicateinfo -disable-output < %s 2>&1 | FileCheck %s
33
; Don't insert predicate info for conditions with a single target.
44
@a = global i32 1, align 4

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

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,4 +1,4 @@
1-
; NOTE: Assertions have been autogenerated by utils/update_test_checks.py UTC_ARGS: --check-comments
1+
; NOTE: Assertions have been autogenerated by utils/update_test_checks.py UTC_ARGS: --check-inst-comments
22
; RUN: opt -passes=print-predicateinfo -disable-output < %s 2>&1 | FileCheck %s
33
; Don't insert predicate info for conditions with a single target.
44
@a = global i32 6, align 4

0 commit comments

Comments
 (0)