diff options
| -rw-r--r-- | test/Other/2002-02-24-InlineBrokePHINodes.ll | 26 |
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 0000000000..58e1b8c5f9 --- /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: as < %s | opt -inline -verify +; +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 + |