]> granicus.if.org Git - llvm/commitdiff
Fix test that wasn't update_test_check'd
authorDaniel Berlin <dberlin@dberlin.org>
Wed, 31 May 2017 01:47:29 +0000 (01:47 +0000)
committerDaniel Berlin <dberlin@dberlin.org>
Wed, 31 May 2017 01:47:29 +0000 (01:47 +0000)
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@304271 91177308-0d34-0410-b5e6-96231b3b80d8

test/Transforms/NewGVN/completeness.ll

index bafe5f966d22a43cb5c7df1d2e9485a0f03be0bf..2b28f12df9d12bcef9588af4eb03bc804b79975f 100644 (file)
@@ -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