Precommit tests for D67514

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@371762 91177308-0d34-0410-b5e6-96231b3b80d8

diff --git a/test/Analysis/ScalarEvolution/trip-count15.ll b/test/Analysis/ScalarEvolution/trip-count15.ll
new file mode 100644 (file)
index 0000000..a15e3c6
--- /dev/null
+++ b/test/Analysis/ScalarEvolution/trip-count15.ll
@@ -0,0 +1,115 @@
+; NOTE: Assertions have been autogenerated by utils/update_analyze_test_checks.py
+; RUN: opt -S -analyze -scalar-evolution < %s | FileCheck %s
+
+define void @umin_unsigned_check(i64 %n) {
+; CHECK-LABEL: 'umin_unsigned_check'
+; CHECK-NEXT:  Classifying expressions for: @umin_unsigned_check
+; CHECK-NEXT:    %min.n = select i1 %min.cmp, i64 4096, i64 %n
+; CHECK-NEXT:    --> (4096 umin %n) U: full-set S: full-set
+; CHECK-NEXT:    %iv = phi i64 [ 0, %entry ], [ %iv.next, %loop ]
+; CHECK-NEXT:    --> {0,+,1}<%loop> U: full-set S: full-set Exits: <<Unknown>> LoopDispositions: { %loop: Computable }
+; CHECK-NEXT:    %iv.next = add i64 %iv, 1
+; CHECK-NEXT:    --> {1,+,1}<%loop> U: full-set S: full-set Exits: <<Unknown>> LoopDispositions: { %loop: Computable }
+; CHECK-NEXT:  Determining loop execution counts for: @umin_unsigned_check
+; CHECK-NEXT:  Loop %loop: Unpredictable backedge-taken count.
+; CHECK-NEXT:  Loop %loop: Unpredictable max backedge-taken count.
+; CHECK-NEXT:  Loop %loop: Unpredictable predicated backedge-taken count.
+;
+entry:
+  %min.cmp = icmp ult i64 4096, %n
+  %min.n = select i1 %min.cmp, i64 4096, i64 %n
+  br label %loop
+loop:
+  %iv = phi i64 [ 0, %entry ], [ %iv.next, %loop ]
+  %iv.next = add i64 %iv, 1
+  %exit = icmp ugt i64 %iv, %min.n
+  br i1 %exit, label %loop_exit, label %loop
+
+loop_exit:
+  ret void
+}
+
+define void @umin_signed_check(i64 %n) {
+; CHECK-LABEL: 'umin_signed_check'
+; CHECK-NEXT:  Classifying expressions for: @umin_signed_check
+; CHECK-NEXT:    %min.n = select i1 %min.cmp, i64 4096, i64 %n
+; CHECK-NEXT:    --> (4096 umin %n) U: full-set S: full-set
+; CHECK-NEXT:    %iv = phi i64 [ 0, %entry ], [ %iv.next, %loop ]
+; CHECK-NEXT:    --> {0,+,1}<%loop> U: full-set S: full-set Exits: <<Unknown>> LoopDispositions: { %loop: Computable }
+; CHECK-NEXT:    %iv.next = add i64 %iv, 1
+; CHECK-NEXT:    --> {1,+,1}<%loop> U: full-set S: full-set Exits: <<Unknown>> LoopDispositions: { %loop: Computable }
+; CHECK-NEXT:  Determining loop execution counts for: @umin_signed_check
+; CHECK-NEXT:  Loop %loop: Unpredictable backedge-taken count.
+; CHECK-NEXT:  Loop %loop: Unpredictable max backedge-taken count.
+; CHECK-NEXT:  Loop %loop: Unpredictable predicated backedge-taken count.
+;
+entry:
+  %min.cmp = icmp ult i64 4096, %n
+  %min.n = select i1 %min.cmp, i64 4096, i64 %n
+  br label %loop
+loop:
+  %iv = phi i64 [ 0, %entry ], [ %iv.next, %loop ]
+  %iv.next = add i64 %iv, 1
+  %exit = icmp sgt i64 %iv, %min.n
+  br i1 %exit, label %loop_exit, label %loop
+
+loop_exit:
+  ret void
+}
+
+define void @smin_signed_check(i64 %n) {
+; CHECK-LABEL: 'smin_signed_check'
+; CHECK-NEXT:  Classifying expressions for: @smin_signed_check
+; CHECK-NEXT:    %min.n = select i1 %min.cmp, i64 4096, i64 %n
+; CHECK-NEXT:    --> (4096 smin %n) U: full-set S: full-set
+; CHECK-NEXT:    %iv = phi i64 [ 0, %entry ], [ %iv.next, %loop ]
+; CHECK-NEXT:    --> {0,+,1}<%loop> U: full-set S: full-set Exits: <<Unknown>> LoopDispositions: { %loop: Computable }
+; CHECK-NEXT:    %iv.next = add i64 %iv, 1
+; CHECK-NEXT:    --> {1,+,1}<%loop> U: full-set S: full-set Exits: <<Unknown>> LoopDispositions: { %loop: Computable }
+; CHECK-NEXT:  Determining loop execution counts for: @smin_signed_check
+; CHECK-NEXT:  Loop %loop: Unpredictable backedge-taken count.
+; CHECK-NEXT:  Loop %loop: Unpredictable max backedge-taken count.
+; CHECK-NEXT:  Loop %loop: Unpredictable predicated backedge-taken count.
+;
+entry:
+  %min.cmp = icmp slt i64 4096, %n
+  %min.n = select i1 %min.cmp, i64 4096, i64 %n
+  br label %loop
+loop:
+  %iv = phi i64 [ 0, %entry ], [ %iv.next, %loop ]
+  %iv.next = add i64 %iv, 1
+  %exit = icmp sgt i64 %iv, %min.n
+  br i1 %exit, label %loop_exit, label %loop
+
+loop_exit:
+  ret void
+}
+
+define void @smin_unsigned_check(i64 %n) {
+; CHECK-LABEL: 'smin_unsigned_check'
+; CHECK-NEXT:  Classifying expressions for: @smin_unsigned_check
+; CHECK-NEXT:    %min.n = select i1 %min.cmp, i64 4096, i64 %n
+; CHECK-NEXT:    --> (4096 smin %n) U: full-set S: full-set
+; CHECK-NEXT:    %iv = phi i64 [ 0, %entry ], [ %iv.next, %loop ]
+; CHECK-NEXT:    --> {0,+,1}<%loop> U: full-set S: full-set Exits: <<Unknown>> LoopDispositions: { %loop: Computable }
+; CHECK-NEXT:    %iv.next = add i64 %iv, 1
+; CHECK-NEXT:    --> {1,+,1}<%loop> U: full-set S: full-set Exits: <<Unknown>> LoopDispositions: { %loop: Computable }
+; CHECK-NEXT:  Determining loop execution counts for: @smin_unsigned_check
+; CHECK-NEXT:  Loop %loop: Unpredictable backedge-taken count.
+; CHECK-NEXT:  Loop %loop: Unpredictable max backedge-taken count.
+; CHECK-NEXT:  Loop %loop: Unpredictable predicated backedge-taken count.
+;
+entry:
+  %min.cmp = icmp slt i64 4096, %n
+  %min.n = select i1 %min.cmp, i64 4096, i64 %n
+  br label %loop
+loop:
+  %iv = phi i64 [ 0, %entry ], [ %iv.next, %loop ]
+  %iv.next = add i64 %iv, 1
+  %exit = icmp ugt i64 %iv, %min.n
+  br i1 %exit, label %loop_exit, label %loop
+
+loop_exit:
+  ret void
+}
+