[llvm] r363601 - Reduced test case for pr42279 in advance of the relevant re-commit + fix

[Philip Reames via llvm-commits]

Author: reames
Date: Mon Jun 17 12:27:45 2019
New Revision: 363601

URL: http://llvm.org/viewvc/llvm-project?rev=363601&view=rev
Log:
Reduced test case for pr42279 in advance of the relevant re-commit + fix


Modified:
    llvm/trunk/test/Transforms/IndVarSimplify/lftr.ll

Modified: llvm/trunk/test/Transforms/IndVarSimplify/lftr.ll
URL: http://llvm.org/viewvc/llvm-project/llvm/trunk/test/Transforms/IndVarSimplify/lftr.ll?rev=363601&r1=363600&r2=363601&view=diff
==============================================================================
--- llvm/trunk/test/Transforms/IndVarSimplify/lftr.ll (original)
+++ llvm/trunk/test/Transforms/IndVarSimplify/lftr.ll Mon Jun 17 12:27:45 2019
@@ -599,3 +599,34 @@ for.end:
   %sum.0.lcssa = phi float [ 0.000000e+00, %entry ], [ %add1.lcssa, %for.end.loopexit ]
   ret float %sum.0.lcssa
 }
+
+define void @ptr_non_cmp_exit_test() {
+; CHECK-LABEL: @ptr_non_cmp_exit_test(
+; CHECK-NEXT:  entry:
+; CHECK-NEXT:    br label [[FOR_BODY29:%.*]]
+; CHECK:       for.body29:
+; CHECK-NEXT:    [[IV:%.*]] = phi i8* [ null, [[ENTRY:%.*]] ], [ [[IV_NEXT:%.*]], [[FOR_BODY29]] ]
+; CHECK-NEXT:    [[TMP0:%.*]] = load volatile i8, i8* [[IV]], align 1
+; CHECK-NEXT:    [[IV_NEXT]] = getelementptr inbounds i8, i8* [[IV]], i64 1
+; CHECK-NEXT:    [[EXITCOND:%.*]] = icmp ne i8* [[IV_NEXT]], inttoptr (i64 11 to i8*)
+; CHECK-NEXT:    br i1 [[EXITCOND]], label [[FOR_BODY29]], label [[EXIT:%.*]]
+; CHECK:       exit:
+; CHECK-NEXT:    ret void
+;
+entry:
+  br label %for.body29
+
+for.body29:
+  %iv = phi i8* [ null, %entry ], [ %iv.next, %for.body29 ]
+  load volatile i8, i8* %iv, align 1
+  %iv.next = getelementptr inbounds i8, i8* %iv, i64 1
+  %cmp = icmp ne i8* %iv.next, inttoptr (i64 11 to i8*)
+  %and = and i1 %cmp, %cmp
+  br i1 %and, label %for.body29, label %exit
+
+exit:
+  ret void
+}
+
+
+