aboutsummaryrefslogtreecommitdiffstats
path: root/test/Other/2002-02-24-InlineBrokePHINodes.ll
diff options
context:
space:
mode:
Diffstat (limited to 'test/Other/2002-02-24-InlineBrokePHINodes.ll')
-rw-r--r--test/Other/2002-02-24-InlineBrokePHINodes.ll26
1 files changed, 26 insertions, 0 deletions
diff --git a/test/Other/2002-02-24-InlineBrokePHINodes.ll b/test/Other/2002-02-24-InlineBrokePHINodes.ll
new file mode 100644
index 0000000..cb02ea4
--- /dev/null
+++ b/test/Other/2002-02-24-InlineBrokePHINodes.ll
@@ -0,0 +1,26 @@
+; Inlining used to break PHI nodes. This tests that they are correctly updated
+; when a node is split around the call instruction. The verifier caught the error.
+;
+; RUN: llvm-upgrade < %s | llvm-as | opt -inline
+;
+implementation
+
+ulong "test"(ulong %X)
+begin
+ ret ulong %X
+end
+
+ulong "fib"(ulong %n)
+begin
+ %T = setlt ulong %n, 2 ; {bool}:0
+ br bool %T, label %BaseCase, label %RecurseCase
+
+RecurseCase:
+ %result = call ulong %test(ulong %n)
+ br label %BaseCase
+
+BaseCase:
+ %X = phi ulong [1, %0], [2, %RecurseCase]
+ ret ulong %X
+end
+