1*9880d681SAndroid Build Coastguard Worker; RUN: llc < %s -mtriple=x86_64-apple-darwin | FileCheck %s 2*9880d681SAndroid Build Coastguard Worker 3*9880d681SAndroid Build Coastguard Worker; Teach CGP to dup returns to enable tail call optimization. 4*9880d681SAndroid Build Coastguard Worker; rdar://9147433 5*9880d681SAndroid Build Coastguard Worker 6*9880d681SAndroid Build Coastguard Workerdefine i32 @foo(i32 %x) nounwind ssp { 7*9880d681SAndroid Build Coastguard Worker; CHECK-LABEL: foo: 8*9880d681SAndroid Build Coastguard Workerentry: 9*9880d681SAndroid Build Coastguard Worker switch i32 %x, label %return [ 10*9880d681SAndroid Build Coastguard Worker i32 1, label %sw.bb 11*9880d681SAndroid Build Coastguard Worker i32 2, label %sw.bb1 12*9880d681SAndroid Build Coastguard Worker i32 3, label %sw.bb3 13*9880d681SAndroid Build Coastguard Worker i32 4, label %sw.bb5 14*9880d681SAndroid Build Coastguard Worker i32 5, label %sw.bb7 15*9880d681SAndroid Build Coastguard Worker i32 6, label %sw.bb9 16*9880d681SAndroid Build Coastguard Worker ] 17*9880d681SAndroid Build Coastguard Worker 18*9880d681SAndroid Build Coastguard Workersw.bb: ; preds = %entry 19*9880d681SAndroid Build Coastguard Worker; CHECK: jmp _f1 20*9880d681SAndroid Build Coastguard Worker %call = tail call i32 @f1() nounwind 21*9880d681SAndroid Build Coastguard Worker br label %return 22*9880d681SAndroid Build Coastguard Worker 23*9880d681SAndroid Build Coastguard Workersw.bb1: ; preds = %entry 24*9880d681SAndroid Build Coastguard Worker; CHECK: jmp _f2 25*9880d681SAndroid Build Coastguard Worker %call2 = tail call i32 @f2() nounwind 26*9880d681SAndroid Build Coastguard Worker br label %return 27*9880d681SAndroid Build Coastguard Worker 28*9880d681SAndroid Build Coastguard Workersw.bb3: ; preds = %entry 29*9880d681SAndroid Build Coastguard Worker; CHECK: jmp _f3 30*9880d681SAndroid Build Coastguard Worker %call4 = tail call i32 @f3() nounwind 31*9880d681SAndroid Build Coastguard Worker br label %return 32*9880d681SAndroid Build Coastguard Worker 33*9880d681SAndroid Build Coastguard Workersw.bb5: ; preds = %entry 34*9880d681SAndroid Build Coastguard Worker; CHECK: jmp _f4 35*9880d681SAndroid Build Coastguard Worker %call6 = tail call i32 @f4() nounwind 36*9880d681SAndroid Build Coastguard Worker br label %return 37*9880d681SAndroid Build Coastguard Worker 38*9880d681SAndroid Build Coastguard Workersw.bb7: ; preds = %entry 39*9880d681SAndroid Build Coastguard Worker; CHECK: jmp _f5 40*9880d681SAndroid Build Coastguard Worker %call8 = tail call i32 @f5() nounwind 41*9880d681SAndroid Build Coastguard Worker br label %return 42*9880d681SAndroid Build Coastguard Worker 43*9880d681SAndroid Build Coastguard Workersw.bb9: ; preds = %entry 44*9880d681SAndroid Build Coastguard Worker; CHECK: jmp _f6 45*9880d681SAndroid Build Coastguard Worker %call10 = tail call i32 @f6() nounwind 46*9880d681SAndroid Build Coastguard Worker br label %return 47*9880d681SAndroid Build Coastguard Worker 48*9880d681SAndroid Build Coastguard Workerreturn: ; preds = %entry, %sw.bb9, %sw.bb7, %sw.bb5, %sw.bb3, %sw.bb1, %sw.bb 49*9880d681SAndroid Build Coastguard Worker %retval.0 = phi i32 [ %call10, %sw.bb9 ], [ %call8, %sw.bb7 ], [ %call6, %sw.bb5 ], [ %call4, %sw.bb3 ], [ %call2, %sw.bb1 ], [ %call, %sw.bb ], [ 0, %entry ] 50*9880d681SAndroid Build Coastguard Worker ret i32 %retval.0 51*9880d681SAndroid Build Coastguard Worker} 52*9880d681SAndroid Build Coastguard Worker 53*9880d681SAndroid Build Coastguard Workerdeclare i32 @f1() 54*9880d681SAndroid Build Coastguard Worker 55*9880d681SAndroid Build Coastguard Workerdeclare i32 @f2() 56*9880d681SAndroid Build Coastguard Worker 57*9880d681SAndroid Build Coastguard Workerdeclare i32 @f3() 58*9880d681SAndroid Build Coastguard Worker 59*9880d681SAndroid Build Coastguard Workerdeclare i32 @f4() 60*9880d681SAndroid Build Coastguard Worker 61*9880d681SAndroid Build Coastguard Workerdeclare i32 @f5() 62*9880d681SAndroid Build Coastguard Worker 63*9880d681SAndroid Build Coastguard Workerdeclare i32 @f6() 64*9880d681SAndroid Build Coastguard Worker 65*9880d681SAndroid Build Coastguard Worker; rdar://11958338 66*9880d681SAndroid Build Coastguard Worker%0 = type opaque 67*9880d681SAndroid Build Coastguard Worker 68*9880d681SAndroid Build Coastguard Workerdeclare i8* @bar(i8*) uwtable optsize noinline ssp 69*9880d681SAndroid Build Coastguard Worker 70*9880d681SAndroid Build Coastguard Workerdefine hidden %0* @thingWithValue(i8* %self) uwtable ssp { 71*9880d681SAndroid Build Coastguard Workerentry: 72*9880d681SAndroid Build Coastguard Worker; CHECK-LABEL: thingWithValue: 73*9880d681SAndroid Build Coastguard Worker; CHECK: jmp _bar 74*9880d681SAndroid Build Coastguard Worker br i1 undef, label %if.then.i, label %if.else.i 75*9880d681SAndroid Build Coastguard Worker 76*9880d681SAndroid Build Coastguard Workerif.then.i: ; preds = %entry 77*9880d681SAndroid Build Coastguard Worker br label %someThingWithValue.exit 78*9880d681SAndroid Build Coastguard Worker 79*9880d681SAndroid Build Coastguard Workerif.else.i: ; preds = %entry 80*9880d681SAndroid Build Coastguard Worker %call4.i = tail call i8* @bar(i8* undef) optsize 81*9880d681SAndroid Build Coastguard Worker br label %someThingWithValue.exit 82*9880d681SAndroid Build Coastguard Worker 83*9880d681SAndroid Build Coastguard WorkersomeThingWithValue.exit: ; preds = %if.else.i, %if.then.i 84*9880d681SAndroid Build Coastguard Worker %retval.0.in.i = phi i8* [ undef, %if.then.i ], [ %call4.i, %if.else.i ] 85*9880d681SAndroid Build Coastguard Worker %retval.0.i = bitcast i8* %retval.0.in.i to %0* 86*9880d681SAndroid Build Coastguard Worker ret %0* %retval.0.i 87*9880d681SAndroid Build Coastguard Worker} 88