1*9880d681SAndroid Build Coastguard Worker; RUN: llc -mtriple=thumb-eabi %s -o /dev/null 2*9880d681SAndroid Build Coastguard Worker; RUN: llc -mtriple=thumb-linux %s -o - | FileCheck %s 3*9880d681SAndroid Build Coastguard Worker; RUN: llc -mtriple=thumb-darwin %s -o - | FileCheck %s 4*9880d681SAndroid Build Coastguard Worker 5*9880d681SAndroid Build Coastguard Worker@str = internal constant [4 x i8] c"%d\0A\00" ; <[4 x i8]*> [#uses=1] 6*9880d681SAndroid Build Coastguard Worker 7*9880d681SAndroid Build Coastguard Workerdefine void @f(i32 %a, ...) { 8*9880d681SAndroid Build Coastguard Workerentry: 9*9880d681SAndroid Build Coastguard Worker; Check that space is reserved above the pushed lr for variadic argument 10*9880d681SAndroid Build Coastguard Worker; registers to be stored in. 11*9880d681SAndroid Build Coastguard Worker; CHECK: sub sp, #[[IMM:[0-9]+]] 12*9880d681SAndroid Build Coastguard Worker; CHECK: push 13*9880d681SAndroid Build Coastguard Worker %va = alloca i8*, align 4 ; <i8**> [#uses=4] 14*9880d681SAndroid Build Coastguard Worker %va.upgrd.1 = bitcast i8** %va to i8* ; <i8*> [#uses=1] 15*9880d681SAndroid Build Coastguard Worker call void @llvm.va_start( i8* %va.upgrd.1 ) 16*9880d681SAndroid Build Coastguard Worker br label %bb 17*9880d681SAndroid Build Coastguard Worker 18*9880d681SAndroid Build Coastguard Workerbb: ; preds = %bb, %entry 19*9880d681SAndroid Build Coastguard Worker %a_addr.0 = phi i32 [ %a, %entry ], [ %tmp5, %bb ] ; <i32> [#uses=2] 20*9880d681SAndroid Build Coastguard Worker %tmp = load volatile i8*, i8** %va ; <i8*> [#uses=2] 21*9880d681SAndroid Build Coastguard Worker %tmp2 = getelementptr i8, i8* %tmp, i32 4 ; <i8*> [#uses=1] 22*9880d681SAndroid Build Coastguard Worker store volatile i8* %tmp2, i8** %va 23*9880d681SAndroid Build Coastguard Worker %tmp5 = add i32 %a_addr.0, -1 ; <i32> [#uses=1] 24*9880d681SAndroid Build Coastguard Worker %tmp.upgrd.2 = icmp eq i32 %a_addr.0, 1 ; <i1> [#uses=1] 25*9880d681SAndroid Build Coastguard Worker br i1 %tmp.upgrd.2, label %bb7, label %bb 26*9880d681SAndroid Build Coastguard Worker 27*9880d681SAndroid Build Coastguard Workerbb7: ; preds = %bb 28*9880d681SAndroid Build Coastguard Worker %tmp3 = bitcast i8* %tmp to i32* ; <i32*> [#uses=1] 29*9880d681SAndroid Build Coastguard Worker %tmp.upgrd.3 = load i32, i32* %tmp3 ; <i32> [#uses=1] 30*9880d681SAndroid Build Coastguard Worker %tmp10 = call i32 (i8*, ...) @printf( i8* getelementptr ([4 x i8], [4 x i8]* @str, i32 0, i64 0), i32 %tmp.upgrd.3 ) ; <i32> [#uses=0] 31*9880d681SAndroid Build Coastguard Worker %va.upgrd.4 = bitcast i8** %va to i8* ; <i8*> [#uses=1] 32*9880d681SAndroid Build Coastguard Worker call void @llvm.va_end( i8* %va.upgrd.4 ) 33*9880d681SAndroid Build Coastguard Worker ret void 34*9880d681SAndroid Build Coastguard Worker 35*9880d681SAndroid Build Coastguard Worker; The return sequence should pop the lr to r0-3, recover the stack space used to 36*9880d681SAndroid Build Coastguard Worker; store variadic argument registers, then return via r3. Possibly there is a pop 37*9880d681SAndroid Build Coastguard Worker; before this, but only if the function happened to use callee-saved registers. 38*9880d681SAndroid Build Coastguard Worker; CHECK: pop {[[POP_REG:r[0-3]]]} 39*9880d681SAndroid Build Coastguard Worker; CHECK: add sp, #[[IMM]] 40*9880d681SAndroid Build Coastguard Worker; CHECK: bx [[POP_REG]] 41*9880d681SAndroid Build Coastguard Worker} 42*9880d681SAndroid Build Coastguard Worker 43*9880d681SAndroid Build Coastguard Workerdeclare void @llvm.va_start(i8*) 44*9880d681SAndroid Build Coastguard Worker 45*9880d681SAndroid Build Coastguard Workerdeclare i32 @printf(i8*, ...) 46*9880d681SAndroid Build Coastguard Worker 47*9880d681SAndroid Build Coastguard Workerdeclare void @llvm.va_end(i8*) 48