[llvm] 2929c34 - [SCEV] Regenerate test checks (NFC)
Nikita Popov via llvm-commits
llvm-commits at lists.llvm.org
Tue May 3 08:43:19 PDT 2022
Author: Nikita Popov
Date: 2022-05-03T17:43:05+02:00
New Revision: 2929c34da665fa83246f68d07bbefe0653e7d225
URL: https://github.com/llvm/llvm-project/commit/2929c34da665fa83246f68d07bbefe0653e7d225
DIFF: https://github.com/llvm/llvm-project/commit/2929c34da665fa83246f68d07bbefe0653e7d225.diff
LOG: [SCEV] Regenerate test checks (NFC)
Added:
Modified:
llvm/test/Analysis/ScalarEvolution/trip-count14.ll
Removed:
################################################################################
diff --git a/llvm/test/Analysis/ScalarEvolution/trip-count14.ll b/llvm/test/Analysis/ScalarEvolution/trip-count14.ll
index 5f5b88d32d00d..8b16382271ae0 100644
--- a/llvm/test/Analysis/ScalarEvolution/trip-count14.ll
+++ b/llvm/test/Analysis/ScalarEvolution/trip-count14.ll
@@ -1,6 +1,15 @@
-; RUN: opt -S -disable-output "-passes=print<scalar-evolution>" < %s 2>&1 | FileCheck %s
+; NOTE: Assertions have been autogenerated by utils/update_analyze_test_checks.py
+; RUN: opt -S -disable-output "-passes=print<scalar-evolution>" -scalar-evolution-classify-expressions=0 < %s 2>&1 | FileCheck %s
define void @s32_max1(i32 %n, i32* %p) {
+; CHECK-LABEL: 's32_max1'
+; CHECK-NEXT: Determining loop execution counts for: @s32_max1
+; CHECK-NEXT: Loop %do.body: backedge-taken count is ((-1 * %n) + ((1 + %n) smax %n))
+; CHECK-NEXT: Loop %do.body: max backedge-taken count is 1, actual taken count either this or zero.
+; CHECK-NEXT: Loop %do.body: Predicated backedge-taken count is ((-1 * %n) + ((1 + %n) smax %n))
+; CHECK-NEXT: Predicates:
+; CHECK: Loop %do.body: Trip multiple is 1
+;
entry:
%add = add i32 %n, 1
br label %do.body
@@ -13,15 +22,19 @@ do.body:
%cmp = icmp slt i32 %i.0, %add
br i1 %cmp, label %do.body, label %do.end ; taken either 0 or 1 times
-; CHECK-LABEL: Determining loop execution counts for: @s32_max1
-; CHECK-NEXT: Loop %do.body: backedge-taken count is ((-1 * %n) + ((1 + %n) smax %n))
-; CHECK-NEXT: Loop %do.body: max backedge-taken count is 1, actual taken count either this or zero.
-
do.end:
ret void
}
define void @s32_max2(i32 %n, i32* %p) {
+; CHECK-LABEL: 's32_max2'
+; CHECK-NEXT: Determining loop execution counts for: @s32_max2
+; CHECK-NEXT: Loop %do.body: backedge-taken count is ((-1 * %n) + ((2 + %n) smax %n))
+; CHECK-NEXT: Loop %do.body: max backedge-taken count is 2, actual taken count either this or zero.
+; CHECK-NEXT: Loop %do.body: Predicated backedge-taken count is ((-1 * %n) + ((2 + %n) smax %n))
+; CHECK-NEXT: Predicates:
+; CHECK: Loop %do.body: Trip multiple is 1
+;
entry:
%add = add i32 %n, 2
br label %do.body
@@ -34,15 +47,19 @@ do.body:
%cmp = icmp slt i32 %i.0, %add
br i1 %cmp, label %do.body, label %do.end ; taken either 0 or 2 times
-; CHECK-LABEL: Determining loop execution counts for: @s32_max2
-; CHECK-NEXT: Loop %do.body: backedge-taken count is ((-1 * %n) + ((2 + %n) smax %n))
-; CHECK-NEXT: Loop %do.body: max backedge-taken count is 2, actual taken count either this or zero.
-
do.end:
ret void
}
define void @s32_maxx(i32 %n, i32 %x, i32* %p) {
+; CHECK-LABEL: 's32_maxx'
+; CHECK-NEXT: Determining loop execution counts for: @s32_maxx
+; CHECK-NEXT: Loop %do.body: backedge-taken count is ((-1 * %n) + ((%n + %x) smax %n))
+; CHECK-NEXT: Loop %do.body: max backedge-taken count is -1
+; CHECK-NEXT: Loop %do.body: Predicated backedge-taken count is ((-1 * %n) + ((%n + %x) smax %n))
+; CHECK-NEXT: Predicates:
+; CHECK: Loop %do.body: Trip multiple is 1
+;
entry:
%add = add i32 %x, %n
br label %do.body
@@ -55,15 +72,21 @@ do.body:
%cmp = icmp slt i32 %i.0, %add
br i1 %cmp, label %do.body, label %do.end ; taken either 0 or x times
-; CHECK-LABEL: Determining loop execution counts for: @s32_maxx
-; CHECK-NEXT: Loop %do.body: backedge-taken count is ((-1 * %n) + ((%n + %x) smax %n))
-; CHECK-NEXT: Loop %do.body: max backedge-taken count is -1{{$}}
-
do.end:
ret void
}
define void @s32_max2_unpredictable_exit(i32 %n, i32 %x, i32* %p) {
+; CHECK-LABEL: 's32_max2_unpredictable_exit'
+; CHECK-NEXT: Determining loop execution counts for: @s32_max2_unpredictable_exit
+; CHECK-NEXT: Loop %do.body: <multiple exits> backedge-taken count is (((-1 * %n) + ((2 + %n) smax %n)) umin ((-1 * %n) + %x))
+; CHECK-NEXT: exit count for do.body: ((-1 * %n) + %x)
+; CHECK-NEXT: exit count for if.end: ((-1 * %n) + ((2 + %n) smax %n))
+; CHECK-NEXT: Loop %do.body: max backedge-taken count is 2
+; CHECK-NEXT: Loop %do.body: Predicated backedge-taken count is (((-1 * %n) + ((2 + %n) smax %n)) umin ((-1 * %n) + %x))
+; CHECK-NEXT: Predicates:
+; CHECK: Loop %do.body: Trip multiple is 1
+;
entry:
%add = add i32 %n, 2
br label %do.body
@@ -80,17 +103,19 @@ if.end:
%cmp1 = icmp slt i32 %i.0, %add
br i1 %cmp1, label %do.body, label %do.end ; taken either 0 or 2 times
-; CHECK-LABEL: Determining loop execution counts for: @s32_max2_unpredictable_exit
-; CHECK-NEXT: Loop %do.body: <multiple exits> backedge-taken count is (((-1 * %n) + ((2 + %n) smax %n)) umin ((-1 * %n) + %x))
-; CHECK-NEXT: exit count for do.body: ((-1 * %n) + %x)
-; CHECK-NEXT: exit count for if.end: ((-1 * %n) + ((2 + %n) smax %n))
-; CHECK-NEXT: Loop %do.body: max backedge-taken count is 2{{$}}
-
do.end:
ret void
}
define void @u32_max1(i32 %n, i32* %p) {
+; CHECK-LABEL: 'u32_max1'
+; CHECK-NEXT: Determining loop execution counts for: @u32_max1
+; CHECK-NEXT: Loop %do.body: backedge-taken count is ((-1 * %n) + ((1 + %n) umax %n))
+; CHECK-NEXT: Loop %do.body: max backedge-taken count is 1, actual taken count either this or zero.
+; CHECK-NEXT: Loop %do.body: Predicated backedge-taken count is ((-1 * %n) + ((1 + %n) umax %n))
+; CHECK-NEXT: Predicates:
+; CHECK: Loop %do.body: Trip multiple is 1
+;
entry:
%add = add i32 %n, 1
br label %do.body
@@ -103,15 +128,19 @@ do.body:
%cmp = icmp ult i32 %i.0, %add
br i1 %cmp, label %do.body, label %do.end ; taken either 0 or 1 times
-; CHECK-LABEL: Determining loop execution counts for: @u32_max1
-; CHECK-NEXT: Loop %do.body: backedge-taken count is ((-1 * %n) + ((1 + %n) umax %n))
-; CHECK-NEXT: Loop %do.body: max backedge-taken count is 1, actual taken count either this or zero.
-
do.end:
ret void
}
define void @u32_max2(i32 %n, i32* %p) {
+; CHECK-LABEL: 'u32_max2'
+; CHECK-NEXT: Determining loop execution counts for: @u32_max2
+; CHECK-NEXT: Loop %do.body: backedge-taken count is ((-1 * %n) + ((2 + %n) umax %n))
+; CHECK-NEXT: Loop %do.body: max backedge-taken count is 2, actual taken count either this or zero.
+; CHECK-NEXT: Loop %do.body: Predicated backedge-taken count is ((-1 * %n) + ((2 + %n) umax %n))
+; CHECK-NEXT: Predicates:
+; CHECK: Loop %do.body: Trip multiple is 1
+;
entry:
%add = add i32 %n, 2
br label %do.body
@@ -124,15 +153,19 @@ do.body:
%cmp = icmp ult i32 %i.0, %add
br i1 %cmp, label %do.body, label %do.end ; taken either 0 or 2 times
-; CHECK-LABEL: Determining loop execution counts for: @u32_max2
-; CHECK-NEXT: Loop %do.body: backedge-taken count is ((-1 * %n) + ((2 + %n) umax %n))
-; CHECK-NEXT: Loop %do.body: max backedge-taken count is 2, actual taken count either this or zero.
-
do.end:
ret void
}
define void @u32_maxx(i32 %n, i32 %x, i32* %p) {
+; CHECK-LABEL: 'u32_maxx'
+; CHECK-NEXT: Determining loop execution counts for: @u32_maxx
+; CHECK-NEXT: Loop %do.body: backedge-taken count is ((-1 * %n) + ((%n + %x) umax %n))
+; CHECK-NEXT: Loop %do.body: max backedge-taken count is -1
+; CHECK-NEXT: Loop %do.body: Predicated backedge-taken count is ((-1 * %n) + ((%n + %x) umax %n))
+; CHECK-NEXT: Predicates:
+; CHECK: Loop %do.body: Trip multiple is 1
+;
entry:
%add = add i32 %x, %n
br label %do.body
@@ -145,15 +178,21 @@ do.body:
%cmp = icmp ult i32 %i.0, %add
br i1 %cmp, label %do.body, label %do.end ; taken either 0 or x times
-; CHECK-LABEL: Determining loop execution counts for: @u32_maxx
-; CHECK-NEXT: Loop %do.body: backedge-taken count is ((-1 * %n) + ((%n + %x) umax %n))
-; CHECK-NEXT: Loop %do.body: max backedge-taken count is -1{{$}}
-
do.end:
ret void
}
define void @u32_max2_unpredictable_exit(i32 %n, i32 %x, i32* %p) {
+; CHECK-LABEL: 'u32_max2_unpredictable_exit'
+; CHECK-NEXT: Determining loop execution counts for: @u32_max2_unpredictable_exit
+; CHECK-NEXT: Loop %do.body: <multiple exits> backedge-taken count is (((-1 * %n) + ((2 + %n) umax %n)) umin ((-1 * %n) + %x))
+; CHECK-NEXT: exit count for do.body: ((-1 * %n) + %x)
+; CHECK-NEXT: exit count for if.end: ((-1 * %n) + ((2 + %n) umax %n))
+; CHECK-NEXT: Loop %do.body: max backedge-taken count is 2
+; CHECK-NEXT: Loop %do.body: Predicated backedge-taken count is (((-1 * %n) + ((2 + %n) umax %n)) umin ((-1 * %n) + %x))
+; CHECK-NEXT: Predicates:
+; CHECK: Loop %do.body: Trip multiple is 1
+;
entry:
%add = add i32 %n, 2
br label %do.body
@@ -170,12 +209,6 @@ if.end:
%cmp1 = icmp ult i32 %i.0, %add
br i1 %cmp1, label %do.body, label %do.end ; taken either 0 or 2 times
-; CHECK-LABEL: Determining loop execution counts for: @u32_max2_unpredictable_exit
-; CHECK-NEXT: Loop %do.body: <multiple exits> backedge-taken count is (((-1 * %n) + ((2 + %n) umax %n)) umin ((-1 * %n) + %x))
-; CHECK-NEXT: exit count for do.body: ((-1 * %n) + %x)
-; CHECK-NEXT: exit count for if.end: ((-1 * %n) + ((2 + %n) umax %n))
-; CHECK-NEXT: Loop %do.body: max backedge-taken count is 2{{$}}
-
do.end:
ret void
}
More information about the llvm-commits
mailing list