[llvm] r371762 - Precommit tests for D67514

[Philip Reames via llvm-commits]

Author: reames
Date: Thu Sep 12 12:34:27 2019
New Revision: 371762

URL: http://llvm.org/viewvc/llvm-project?rev=371762&view=rev
Log:
Precommit tests for D67514


Added:
    llvm/trunk/test/Analysis/ScalarEvolution/trip-count15.ll

Added: llvm/trunk/test/Analysis/ScalarEvolution/trip-count15.ll
URL: http://llvm.org/viewvc/llvm-project/llvm/trunk/test/Analysis/ScalarEvolution/trip-count15.ll?rev=371762&view=auto
==============================================================================
--- llvm/trunk/test/Analysis/ScalarEvolution/trip-count15.ll (added)
+++ llvm/trunk/test/Analysis/ScalarEvolution/trip-count15.ll Thu Sep 12 12:34:27 2019
@@ -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
+}
+