Skip to content

Commit 88f7dc1

Browse files
committed
[SCEV] Regenerate test checks (NFC)
There have been some minor but pervasive changes to the generated CHECK lines, so regenerate all of them, to minimize future diffs.
1 parent 85ee351 commit 88f7dc1

Some content is hidden

Large Commits have some content hidden by default. Use the searchbox below for content that may be hidden.

66 files changed

+433
-433
lines changed

llvm/test/Analysis/ScalarEvolution/add-like-or.ll

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -36,7 +36,7 @@ define void @mask-high(i64 %arg, ptr dereferenceable(4) %arg1) {
3636
; CHECK-NEXT: Loop %bb6: symbolic max backedge-taken count is (-1 + (-16 * (%arg /u 16)) + ((sext i32 %i to i64) smax (1 + (16 * (%arg /u 16))<nuw>)<nuw><nsw>))
3737
; CHECK-NEXT: Loop %bb6: Predicated backedge-taken count is (-1 + (-16 * (%arg /u 16)) + ((sext i32 %i to i64) smax (1 + (16 * (%arg /u 16))<nuw>)<nuw><nsw>))
3838
; CHECK-NEXT: Predicates:
39-
; CHECK: Loop %bb6: Trip multiple is 1
39+
; CHECK-NEXT: Loop %bb6: Trip multiple is 1
4040
;
4141
bb:
4242
%i = load i32, ptr %arg1, align 4

llvm/test/Analysis/ScalarEvolution/addrec-computed-during-addrec-calculation.ll

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -24,7 +24,7 @@ define void @test(ptr %p) {
2424
; CHECK-NEXT: %iv3.next = add nsw i64 %iv3, 1
2525
; CHECK-NEXT: --> {(1 + (sext i32 {%iv,+,1}<%loop2> to i64))<nsw>,+,1}<nsw><%loop3> U: [-2147483647,2147483649) S: [-2147483647,2147483649) Exits: (1 + (sext i32 {%iv,+,1}<%loop2> to i64))<nsw> LoopDispositions: { %loop3: Computable, %loop.header: Variant }
2626
; CHECK-NEXT: %iv.next = trunc i64 %iv3 to i32
27-
; CHECK-NEXT: --> {{{.*}}{%iv,+,1}<%loop2>,+,1}<%loop3> U: full-set S: full-set --> {%iv,+,1}<%loop2> U: full-set S: full-set Exits: <<Unknown>> LoopDispositions: { %loop.header: Variant, %loop2: Variant, %loop3: Computable }
27+
; CHECK-NEXT: --> {{\{\{}}%iv,+,1}<%loop2>,+,1}<%loop3> U: full-set S: full-set --> {%iv,+,1}<%loop2> U: full-set S: full-set Exits: <<Unknown>> LoopDispositions: { %loop.header: Variant, %loop2: Variant, %loop3: Computable }
2828
; CHECK-NEXT: Determining loop execution counts for: @test
2929
; CHECK-NEXT: Loop %loop2: Unpredictable backedge-taken count.
3030
; CHECK-NEXT: Loop %loop2: constant max backedge-taken count is -1
@@ -35,7 +35,7 @@ define void @test(ptr %p) {
3535
; CHECK-NEXT: Loop %loop3: symbolic max backedge-taken count is false
3636
; CHECK-NEXT: Loop %loop3: Predicated backedge-taken count is false
3737
; CHECK-NEXT: Predicates:
38-
; CHECK: Loop %loop3: Trip multiple is 1
38+
; CHECK-NEXT: Loop %loop3: Trip multiple is 1
3939
; CHECK-NEXT: Loop %loop.header: <multiple exits> Unpredictable backedge-taken count.
4040
; CHECK-NEXT: Loop %loop.header: Unpredictable constant max backedge-taken count.
4141
; CHECK-NEXT: Loop %loop.header: Unpredictable symbolic max backedge-taken count.

llvm/test/Analysis/ScalarEvolution/addrec-sub-nsw.ll

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -16,7 +16,7 @@ define i32 @test_1_non_negative(i32 %n) {
1616
; CHECK-NEXT: Loop %loop: symbolic max backedge-taken count is (-1 + (1 smax %n))<nsw>
1717
; CHECK-NEXT: Loop %loop: Predicated backedge-taken count is (-1 + (1 smax %n))<nsw>
1818
; CHECK-NEXT: Predicates:
19-
; CHECK: Loop %loop: Trip multiple is 1
19+
; CHECK-NEXT: Loop %loop: Trip multiple is 1
2020
;
2121
entry:
2222
%precond = icmp sge i32 %n, 0
@@ -55,7 +55,7 @@ define i32 @test_2_non_positive(i32 %n) {
5555
; CHECK-NEXT: Loop %loop: symbolic max backedge-taken count is (-1 + (1 smax %n))<nsw>
5656
; CHECK-NEXT: Loop %loop: Predicated backedge-taken count is (-1 + (1 smax %n))<nsw>
5757
; CHECK-NEXT: Predicates:
58-
; CHECK: Loop %loop: Trip multiple is 1
58+
; CHECK-NEXT: Loop %loop: Trip multiple is 1
5959
;
6060
entry:
6161
%precond = icmp sge i32 %n, 0

llvm/test/Analysis/ScalarEvolution/alloca.ll

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -48,7 +48,7 @@ define void @alloca_icmp_null_exit_count() {
4848
; CHECK-NEXT: Loop %loop: symbolic max backedge-taken count is 2
4949
; CHECK-NEXT: Loop %loop: Predicated backedge-taken count is 2
5050
; CHECK-NEXT: Predicates:
51-
; CHECK: Loop %loop: Trip multiple is 3
51+
; CHECK-NEXT: Loop %loop: Trip multiple is 3
5252
;
5353
entry:
5454
%alloca = alloca [3 x i32], align 4

llvm/test/Analysis/ScalarEvolution/backedge-taken-count-guard-info.ll

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -18,7 +18,7 @@ define void @loop_guard_improves_exact_backedge_taken_count_1(i32 %conv) {
1818
; CHECK-NEXT: Loop %loop: symbolic max backedge-taken count is 0
1919
; CHECK-NEXT: Loop %loop: Predicated backedge-taken count is 0
2020
; CHECK-NEXT: Predicates:
21-
; CHECK: Loop %loop: Trip multiple is 1
21+
; CHECK-NEXT: Loop %loop: Trip multiple is 1
2222
;
2323
entry:
2424
%and = and i32 %conv, 1
@@ -54,7 +54,7 @@ define void @loop_guard_improves_exact_backedge_taken_count_2(i32 %conv) {
5454
; CHECK-NEXT: Loop %loop: symbolic max backedge-taken count is (zext i1 (trunc i32 %conv to i1) to i64)
5555
; CHECK-NEXT: Loop %loop: Predicated backedge-taken count is (zext i1 (trunc i32 %conv to i1) to i64)
5656
; CHECK-NEXT: Predicates:
57-
; CHECK: Loop %loop: Trip multiple is 2
57+
; CHECK-NEXT: Loop %loop: Trip multiple is 2
5858
;
5959
entry:
6060
%and = and i32 %conv, 1

llvm/test/Analysis/ScalarEvolution/decrementing_addrecs.ll

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -51,7 +51,7 @@ define i32 @test_step_1_flags(i32 %n) {
5151
; DEFAULT-NEXT: Loop %loop: symbolic max backedge-taken count is (-1 + %n)
5252
; DEFAULT-NEXT: Loop %loop: Predicated backedge-taken count is (-1 + %n)
5353
; DEFAULT-NEXT: Predicates:
54-
; DEFAULT: Loop %loop: Trip multiple is 1
54+
; DEFAULT-NEXT: Loop %loop: Trip multiple is 1
5555
;
5656
; EXPENSIVE_SHARPENING-LABEL: 'test_step_1_flags'
5757
; EXPENSIVE_SHARPENING-NEXT: Classifying expressions for: @test_step_1_flags
@@ -77,7 +77,7 @@ define i32 @test_step_1_flags(i32 %n) {
7777
; EXPENSIVE_SHARPENING-NEXT: Loop %loop: symbolic max backedge-taken count is (-1 + %n)
7878
; EXPENSIVE_SHARPENING-NEXT: Loop %loop: Predicated backedge-taken count is (-1 + %n)
7979
; EXPENSIVE_SHARPENING-NEXT: Predicates:
80-
; EXPENSIVE_SHARPENING: Loop %loop: Trip multiple is 1
80+
; EXPENSIVE_SHARPENING-NEXT: Loop %loop: Trip multiple is 1
8181
;
8282
entry:
8383
%n.minus.1 = sub nsw i32 %n, 1

llvm/test/Analysis/ScalarEvolution/exact-exit-count-more-precise.ll

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -18,7 +18,7 @@ define void @test_and(i16 %in) {
1818
; CHECK-NEXT: Loop %bb1.i: symbolic max backedge-taken count is (1 + (-1 * %in))
1919
; CHECK-NEXT: Loop %bb1.i: Predicated backedge-taken count is (1 + (-1 * %in))
2020
; CHECK-NEXT: Predicates:
21-
; CHECK: Loop %bb1.i: Trip multiple is 1
21+
; CHECK-NEXT: Loop %bb1.i: Trip multiple is 1
2222
; CHECK-NEXT: Loop %bb2: <multiple exits> Unpredictable backedge-taken count.
2323
; CHECK-NEXT: Loop %bb2: Unpredictable constant max backedge-taken count.
2424
; CHECK-NEXT: Loop %bb2: Unpredictable symbolic max backedge-taken count.
@@ -60,7 +60,7 @@ define void @test_or() {
6060
; CHECK-NEXT: Loop %BB: symbolic max backedge-taken count is undef
6161
; CHECK-NEXT: Loop %BB: Predicated backedge-taken count is undef
6262
; CHECK-NEXT: Predicates:
63-
; CHECK: Loop %BB: Trip multiple is 1
63+
; CHECK-NEXT: Loop %BB: Trip multiple is 1
6464
;
6565
%C10 = icmp slt i1 undef, undef
6666
br i1 %C10, label %BB, label %exit

0 commit comments

Comments
 (0)