NewGVN: Fix output of pr31578 testcase now that we mark unreachable blocks as unreachable

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

diff --git a/test/Transforms/NewGVN/pr31758.ll b/test/Transforms/NewGVN/pr31758.ll
index ca33299..80c580a 100644 (file)
--- a/test/Transforms/NewGVN/pr31758.ll
+++ b/test/Transforms/NewGVN/pr31758.ll
@@ -1,3 +1,4 @@
+; NOTE: Assertions have been autogenerated by utils/update_test_checks.py
 ; RUN: opt -newgvn %s -S -o - | FileCheck %s
 
 %struct.dipsy = type {}
@@ -5,6 +6,17 @@
 %struct.patatino = type {}
 
 define void @tinkywinky() {
+; CHECK-LABEL: @tinkywinky(
+; CHECK-NEXT:  bb:
+; CHECK-NEXT:    br label [[BB90:%.*]]
+; CHECK:       bb90:
+; CHECK-NEXT:    [[TMP91:%.*]] = bitcast %struct.dipsy** undef to %struct.patatino**
+; CHECK-NEXT:    [[TMP92:%.*]] = load %struct.patatino*, %struct.patatino** [[TMP91]], align 8
+; CHECK-NEXT:    [[TMP136:%.*]] = load %struct.patatino*, %struct.patatino** [[TMP91]], align 8
+; CHECK-NEXT:    br label [[BB90]]
+; CHECK:       bb138:
+; CHECK-NEXT:    unreachable
+;
 bb:
   br label %bb90
 
@@ -22,16 +34,3 @@ bb138:
   %tmp139 = getelementptr inbounds %struct.patatino, %struct.patatino* %tmp136
   br label %bb138
 }
-
-; CHECK-LABEL: tinkywinky
-; CHECK-NEXT: bb:
-; CHECK-NEXT:   br label %bb90
-; CHECK-NEXT
-; CHECK:  bb90:
-; CHECK:  %tmp91 = bitcast %struct.dipsy** undef to %struct.patatino**
-; CHECK-NEXT:  %tmp92 = load %struct.patatino*, %struct.patatino** %tmp91, align 8
-; CHECK-NEXT:  %tmp136 = load %struct.patatino*, %struct.patatino** %tmp91, align 8
-; CHECK-NEXT:  br label %bb90
-; CHECK:  bb138:
-; CHECK-NEXT:  br label %bb138
-; CHECK-NEXT: }