| ; 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 | |
| ; | |
| 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 | |