[llvm] 6642cc6 - [SCEV] Add tests for ule/sle exit counts (NFC)
Nikita Popov via llvm-commits
llvm-commits at lists.llvm.org
Tue May 14 19:12:24 PDT 2024
Author: Nikita Popov
Date: 2024-05-15T11:10:46+09:00
New Revision: 6642cc60a21f857bddde8ec2c81008a83a54b4d3
URL: https://github.com/llvm/llvm-project/commit/6642cc60a21f857bddde8ec2c81008a83a54b4d3
DIFF: https://github.com/llvm/llvm-project/commit/6642cc60a21f857bddde8ec2c81008a83a54b4d3.diff
LOG: [SCEV] Add tests for ule/sle exit counts (NFC)
Added:
llvm/test/Analysis/ScalarEvolution/exit-count-non-strict.ll
Modified:
Removed:
################################################################################
diff --git a/llvm/test/Analysis/ScalarEvolution/exit-count-non-strict.ll b/llvm/test/Analysis/ScalarEvolution/exit-count-non-strict.ll
new file mode 100644
index 0000000000000..2117c779f4b37
--- /dev/null
+++ b/llvm/test/Analysis/ScalarEvolution/exit-count-non-strict.ll
@@ -0,0 +1,228 @@
+; NOTE: Assertions have been autogenerated by utils/update_analyze_test_checks.py UTC_ARGS: --version 4
+; RUN: opt -disable-output "-passes=print<scalar-evolution>" -scalar-evolution-classify-expressions=0 < %s 2>&1 | FileCheck %s
+
+define void @ule_from_zero(i32 %M, i32 %N) {
+; CHECK-LABEL: 'ule_from_zero'
+; CHECK-NEXT: Determining loop execution counts for: @ule_from_zero
+; CHECK-NEXT: Loop %loop: <multiple exits> Unpredictable backedge-taken count.
+; CHECK-NEXT: exit count for loop: ***COULDNOTCOMPUTE***
+; CHECK-NEXT: exit count for latch: %N
+; CHECK-NEXT: Loop %loop: constant max backedge-taken count is i32 -1
+; CHECK-NEXT: Loop %loop: symbolic max backedge-taken count is %N
+; CHECK-NEXT: symbolic max exit count for loop: ***COULDNOTCOMPUTE***
+; CHECK-NEXT: symbolic max exit count for latch: %N
+;
+entry:
+ br label %loop
+
+loop:
+ %iv = phi i32 [ 0, %entry ], [ %iv.next, %latch ]
+ %cmp1 = icmp ule i32 %iv, %M
+ br i1 %cmp1, label %latch, label %exit
+
+latch:
+ %iv.next = add nuw i32 %iv, 1
+ %exitcond.not = icmp eq i32 %iv, %N
+ br i1 %exitcond.not, label %exit, label %loop
+
+exit:
+ ret void
+}
+
+define void @ule_from_one(i32 %M, i32 %N) {
+; CHECK-LABEL: 'ule_from_one'
+; CHECK-NEXT: Determining loop execution counts for: @ule_from_one
+; CHECK-NEXT: Loop %loop: <multiple exits> backedge-taken count is (%M umin_seq (-1 + %N))
+; CHECK-NEXT: exit count for loop: %M
+; CHECK-NEXT: exit count for latch: (-1 + %N)
+; CHECK-NEXT: Loop %loop: constant max backedge-taken count is i32 -1
+; CHECK-NEXT: Loop %loop: symbolic max backedge-taken count is (%M umin_seq (-1 + %N))
+; CHECK-NEXT: symbolic max exit count for loop: %M
+; CHECK-NEXT: symbolic max exit count for latch: (-1 + %N)
+; CHECK-NEXT: Loop %loop: Trip multiple is 1
+;
+entry:
+ br label %loop
+
+loop:
+ %iv = phi i32 [ 1, %entry ], [ %iv.next, %latch ]
+ %cmp1 = icmp ule i32 %iv, %M
+ br i1 %cmp1, label %latch, label %exit
+
+latch:
+ %iv.next = add nuw i32 %iv, 1
+ %exitcond.not = icmp eq i32 %iv, %N
+ br i1 %exitcond.not, label %exit, label %loop
+
+exit:
+ ret void
+}
+
+define void @ule_from_unknown(i32 %M, i32 %N, i32 %S) {
+; CHECK-LABEL: 'ule_from_unknown'
+; CHECK-NEXT: Determining loop execution counts for: @ule_from_unknown
+; CHECK-NEXT: Loop %loop: <multiple exits> Unpredictable backedge-taken count.
+; CHECK-NEXT: exit count for loop: ***COULDNOTCOMPUTE***
+; CHECK-NEXT: exit count for latch: ((-1 * %S) + %N)
+; CHECK-NEXT: Loop %loop: constant max backedge-taken count is i32 -1
+; CHECK-NEXT: Loop %loop: symbolic max backedge-taken count is ((-1 * %S) + %N)
+; CHECK-NEXT: symbolic max exit count for loop: ***COULDNOTCOMPUTE***
+; CHECK-NEXT: symbolic max exit count for latch: ((-1 * %S) + %N)
+;
+entry:
+ br label %loop
+
+loop:
+ %iv = phi i32 [ %S, %entry ], [ %iv.next, %latch ]
+ %cmp1 = icmp ule i32 %iv, %M
+ br i1 %cmp1, label %latch, label %exit
+
+latch:
+ %iv.next = add nuw i32 %iv, 1
+ %exitcond.not = icmp eq i32 %iv, %N
+ br i1 %exitcond.not, label %exit, label %loop
+
+exit:
+ ret void
+}
+
+define void @ule_from_zero_no_nuw(i32 %M, i32 %N) {
+; CHECK-LABEL: 'ule_from_zero_no_nuw'
+; CHECK-NEXT: Determining loop execution counts for: @ule_from_zero_no_nuw
+; CHECK-NEXT: Loop %loop: <multiple exits> Unpredictable backedge-taken count.
+; CHECK-NEXT: exit count for loop: ***COULDNOTCOMPUTE***
+; CHECK-NEXT: exit count for latch: %N
+; CHECK-NEXT: Loop %loop: constant max backedge-taken count is i32 -1
+; CHECK-NEXT: Loop %loop: symbolic max backedge-taken count is %N
+; CHECK-NEXT: symbolic max exit count for loop: ***COULDNOTCOMPUTE***
+; CHECK-NEXT: symbolic max exit count for latch: %N
+;
+entry:
+ br label %loop
+
+loop:
+ %iv = phi i32 [ 0, %entry ], [ %iv.next, %latch ]
+ %cmp1 = icmp ule i32 %iv, %M
+ br i1 %cmp1, label %latch, label %exit
+
+latch:
+ %iv.next = add i32 %iv, 1
+ %exitcond.not = icmp eq i32 %iv, %N
+ br i1 %exitcond.not, label %exit, label %loop
+
+exit:
+ ret void
+}
+
+define void @sle_from_int_min(i32 %M, i32 %N) {
+; CHECK-LABEL: 'sle_from_int_min'
+; CHECK-NEXT: Determining loop execution counts for: @sle_from_int_min
+; CHECK-NEXT: Loop %loop: <multiple exits> Unpredictable backedge-taken count.
+; CHECK-NEXT: exit count for loop: ***COULDNOTCOMPUTE***
+; CHECK-NEXT: exit count for latch: (-2147483648 + %N)
+; CHECK-NEXT: Loop %loop: constant max backedge-taken count is i32 -1
+; CHECK-NEXT: Loop %loop: symbolic max backedge-taken count is (-2147483648 + %N)
+; CHECK-NEXT: symbolic max exit count for loop: ***COULDNOTCOMPUTE***
+; CHECK-NEXT: symbolic max exit count for latch: (-2147483648 + %N)
+;
+entry:
+ br label %loop
+
+loop:
+ %iv = phi i32 [ u0x80000000, %entry ], [ %iv.next, %latch ]
+ %cmp1 = icmp sle i32 %iv, %M
+ br i1 %cmp1, label %latch, label %exit
+
+latch:
+ %iv.next = add nsw i32 %iv, 1
+ %exitcond.not = icmp eq i32 %iv, %N
+ br i1 %exitcond.not, label %exit, label %loop
+
+exit:
+ ret void
+}
+
+define void @sle_from_int_min_plus_one(i32 %M, i32 %N) {
+; CHECK-LABEL: 'sle_from_int_min_plus_one'
+; CHECK-NEXT: Determining loop execution counts for: @sle_from_int_min_plus_one
+; CHECK-NEXT: Loop %loop: <multiple exits> backedge-taken count is ((-2147483648 + %M) umin_seq (2147483647 + %N))
+; CHECK-NEXT: exit count for loop: (-2147483648 + %M)
+; CHECK-NEXT: exit count for latch: (2147483647 + %N)
+; CHECK-NEXT: Loop %loop: constant max backedge-taken count is i32 -1
+; CHECK-NEXT: Loop %loop: symbolic max backedge-taken count is ((-2147483648 + %M) umin_seq (2147483647 + %N))
+; CHECK-NEXT: symbolic max exit count for loop: (-2147483648 + %M)
+; CHECK-NEXT: symbolic max exit count for latch: (2147483647 + %N)
+; CHECK-NEXT: Loop %loop: Trip multiple is 1
+;
+entry:
+ br label %loop
+
+loop:
+ %iv = phi i32 [ u0x80000001, %entry ], [ %iv.next, %latch ]
+ %cmp1 = icmp sle i32 %iv, %M
+ br i1 %cmp1, label %latch, label %exit
+
+latch:
+ %iv.next = add nsw i32 %iv, 1
+ %exitcond.not = icmp eq i32 %iv, %N
+ br i1 %exitcond.not, label %exit, label %loop
+
+exit:
+ ret void
+}
+
+define void @sle_from_unknown(i32 %M, i32 %N, i32 %S) {
+; CHECK-LABEL: 'sle_from_unknown'
+; CHECK-NEXT: Determining loop execution counts for: @sle_from_unknown
+; CHECK-NEXT: Loop %loop: <multiple exits> Unpredictable backedge-taken count.
+; CHECK-NEXT: exit count for loop: ***COULDNOTCOMPUTE***
+; CHECK-NEXT: exit count for latch: ((-1 * %S) + %N)
+; CHECK-NEXT: Loop %loop: constant max backedge-taken count is i32 -1
+; CHECK-NEXT: Loop %loop: symbolic max backedge-taken count is ((-1 * %S) + %N)
+; CHECK-NEXT: symbolic max exit count for loop: ***COULDNOTCOMPUTE***
+; CHECK-NEXT: symbolic max exit count for latch: ((-1 * %S) + %N)
+;
+entry:
+ br label %loop
+
+loop:
+ %iv = phi i32 [ %S, %entry ], [ %iv.next, %latch ]
+ %cmp1 = icmp sle i32 %iv, %M
+ br i1 %cmp1, label %latch, label %exit
+
+latch:
+ %iv.next = add nsw i32 %iv, 1
+ %exitcond.not = icmp eq i32 %iv, %N
+ br i1 %exitcond.not, label %exit, label %loop
+
+exit:
+ ret void
+}
+
+define void @sle_from_int_min_no_nsw(i32 %M, i32 %N) {
+; CHECK-LABEL: 'sle_from_int_min_no_nsw'
+; CHECK-NEXT: Determining loop execution counts for: @sle_from_int_min_no_nsw
+; CHECK-NEXT: Loop %loop: <multiple exits> Unpredictable backedge-taken count.
+; CHECK-NEXT: exit count for loop: ***COULDNOTCOMPUTE***
+; CHECK-NEXT: exit count for latch: (-2147483648 + %N)
+; CHECK-NEXT: Loop %loop: constant max backedge-taken count is i32 -1
+; CHECK-NEXT: Loop %loop: symbolic max backedge-taken count is (-2147483648 + %N)
+; CHECK-NEXT: symbolic max exit count for loop: ***COULDNOTCOMPUTE***
+; CHECK-NEXT: symbolic max exit count for latch: (-2147483648 + %N)
+;
+entry:
+ br label %loop
+
+loop:
+ %iv = phi i32 [ u0x80000000, %entry ], [ %iv.next, %latch ]
+ %cmp1 = icmp sle i32 %iv, %M
+ br i1 %cmp1, label %latch, label %exit
+
+latch:
+ %iv.next = add i32 %iv, 1
+ %exitcond.not = icmp eq i32 %iv, %N
+ br i1 %exitcond.not, label %exit, label %loop
+
+exit:
+ ret void
+}
More information about the llvm-commits
mailing list