1 ; Inlining used to break PHI nodes. This tests that they are correctly updated 2 ; when a node is split around the call instruction. The verifier caught the error. 3 ; 4 ; RUN: opt < %s -inline 5 ; 6 7 define i64 @test(i64 %X) { 8 ret i64 %X 9 } 10 11 define i64 @fib(i64 %n) { 12 ; <label>:0 13 %T = icmp ult i64 %n, 2 ; <i1> [#uses=1] 14 br i1 %T, label %BaseCase, label %RecurseCase 15 16 RecurseCase: ; preds = %0 17 %result = call i64 @test( i64 %n ) ; <i64> [#uses=0] 18 br label %BaseCase 19 20 BaseCase: ; preds = %RecurseCase, %0 21 %X = phi i64 [ 1, %0 ], [ 2, %RecurseCase ] ; <i64> [#uses=1] 22 ret i64 %X 23 } 24
