From b0b549acf5d8b0f5597dd45a03870da646a896af Mon Sep 17 00:00:00 2001 From: Daniel Berlin Date: Thu, 26 Jan 2017 18:49:03 +0000 Subject: [PATCH] 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 --- test/Transforms/NewGVN/pr31758.ll | 25 ++++++++++++------------- 1 file changed, 12 insertions(+), 13 deletions(-) diff --git a/test/Transforms/NewGVN/pr31758.ll b/test/Transforms/NewGVN/pr31758.ll index ca33299a104..80c580a5c8b 100644 --- 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: } -- 2.11.0