diff options
Diffstat (limited to 'llvm/test/Transforms')
| -rw-r--r-- | llvm/test/Transforms/NewGVN/pr31758.ll | 37 |
1 files changed, 37 insertions, 0 deletions
diff --git a/llvm/test/Transforms/NewGVN/pr31758.ll b/llvm/test/Transforms/NewGVN/pr31758.ll new file mode 100644 index 00000000000..ca33299a104 --- /dev/null +++ b/llvm/test/Transforms/NewGVN/pr31758.ll @@ -0,0 +1,37 @@ +; RUN: opt -newgvn %s -S -o - | FileCheck %s + +%struct.dipsy = type {} +%struct.fluttershy = type { %struct.dipsy* } +%struct.patatino = type {} + +define void @tinkywinky() { +bb: + br label %bb90 + +bb90: + %tmp = getelementptr inbounds %struct.fluttershy, %struct.fluttershy* undef, i64 0, i32 0 + %tmp91 = bitcast %struct.dipsy** %tmp to %struct.patatino** + %tmp92 = load %struct.patatino*, %struct.patatino** %tmp91, align 8 + %tmp99 = getelementptr inbounds %struct.patatino, %struct.patatino* %tmp92 + %tmp134 = getelementptr inbounds %struct.fluttershy, %struct.fluttershy* undef, i64 0, i32 0 + %tmp135 = bitcast %struct.dipsy** %tmp134 to %struct.patatino** + %tmp136 = load %struct.patatino*, %struct.patatino** %tmp135, align 8 + br label %bb90 + +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: } |
