From: Daniel Berlin <dberlin@dberlin.org>
Date: Wed, 31 May 2017 01:47:29 +0000 (+0000)
Subject: Fix test that wasn't update_test_check'd
X-Git-Url: https://granicus.if.org/sourcecode?a=commitdiff_plain;h=e99d769512f8a71957dc2d841b8e1b9982eb1cda;p=llvm

Fix test that wasn't update_test_check'd

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

diff --git a/test/Transforms/NewGVN/completeness.ll b/test/Transforms/NewGVN/completeness.ll
index bafe5f966d2..2b28f12df9d 100644
--- a/test/Transforms/NewGVN/completeness.ll
+++ b/test/Transforms/NewGVN/completeness.ll
@@ -389,6 +389,23 @@ bb6:                                              ; preds = %bb6, %bb2
 
 ;; Ensure that we revisit predicateinfo operands at the right points in time.
 define void @test10() {
+; CHECK-LABEL: @test10(
+; CHECK-NEXT:  b:
+; CHECK-NEXT:    br label [[G:%.*]]
+; CHECK:       g:
+; CHECK-NEXT:    [[N:%.*]] = phi i32* [ [[H:%.*]], [[I:%.*]] ], [ null, [[B:%.*]] ]
+; CHECK-NEXT:    [[H]] = getelementptr i32, i32* [[N]], i64 1
+; CHECK-NEXT:    [[J:%.*]] = icmp eq i32* [[H]], getelementptr (i32, i32* null, i64 8)
+; CHECK-NEXT:    br i1 [[J]], label [[C:%.*]], label [[I]]
+; CHECK:       i:
+; CHECK-NEXT:    br i1 undef, label [[K:%.*]], label [[G]]
+; CHECK:       k:
+; CHECK-NEXT:    br i1 false, label [[C]], label [[O:%.*]]
+; CHECK:       o:
+; CHECK-NEXT:    br label [[C]]
+; CHECK:       c:
+; CHECK-NEXT:    ret void
+;
 b:
   %m = getelementptr i32, i32* null, i64 8
   br label %g