aboutsummaryrefslogtreecommitdiffstats
path: root/test/Transforms/GVN/rle-dominated.ll
diff options
context:
space:
mode:
Diffstat (limited to 'test/Transforms/GVN/rle-dominated.ll')
-rw-r--r--test/Transforms/GVN/rle-dominated.ll20
1 files changed, 20 insertions, 0 deletions
diff --git a/test/Transforms/GVN/rle-dominated.ll b/test/Transforms/GVN/rle-dominated.ll
new file mode 100644
index 0000000..d7c9417
--- /dev/null
+++ b/test/Transforms/GVN/rle-dominated.ll
@@ -0,0 +1,20 @@
+; RUN: llvm-as < %s | opt -gvn | llvm-dis | not grep DEAD
+
+define i32 @main(i32** %p) {
+block1:
+ %z = load i32** %p
+ br i1 true, label %block2, label %block3
+
+block2:
+ %a = load i32** %p
+ br label %block4
+
+block3:
+ %b = load i32** %p
+ br label %block4
+
+block4:
+ %DEAD = load i32** %p
+ %c = load i32* %DEAD
+ ret i32 %c
+}