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