summaryrefslogtreecommitdiff
path: root/test/Transforms/NewGVN/pr31758.ll
diff options
context:
space:
mode:
Diffstat (limited to 'test/Transforms/NewGVN/pr31758.ll')
-rw-r--r--test/Transforms/NewGVN/pr31758.ll34
1 files changed, 34 insertions, 0 deletions
diff --git a/test/Transforms/NewGVN/pr31758.ll b/test/Transforms/NewGVN/pr31758.ll
new file mode 100644
index 0000000000000..6052ca973aff0
--- /dev/null
+++ b/test/Transforms/NewGVN/pr31758.ll
@@ -0,0 +1,34 @@
+; NOTE: Assertions have been autogenerated by utils/update_test_checks.py
+; RUN: opt -newgvn %s -S -o - | FileCheck %s
+
+%struct.dipsy = type {}
+%struct.fluttershy = type { %struct.dipsy* }
+%struct.patatino = type {}
+
+define void @tinkywinky() {
+; CHECK-LABEL: @tinkywinky(
+; CHECK-NEXT: bb:
+; CHECK-NEXT: br label [[BB90:%.*]]
+; CHECK: bb90:
+; CHECK-NEXT: br label [[BB90]]
+; CHECK: bb138:
+; CHECK-NEXT: store i8 undef, i8* null
+; CHECK-NEXT: br label [[BB138:%.*]]
+;
+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
+}