1; RUN: llc < %s -disable-block-placement | FileCheck %s 2; RUN: llc < %s -disable-block-placement -disable-sparc-leaf-proc=0 | FileCheck %s 3target datalayout = "E-p:64:64:64-i1:8:8-i8:8:8-i16:16:16-i32:32:32-i64:64:64-f32:32:32-f64:64:64-v64:64:64-n32:64-S128" 4target triple = "sparcv9-sun-solaris" 5 6; CHECK: varargsfunc 7; 128 byte save ares + 1 alloca rounded up to 16 bytes alignment. 8; CHECK: save %sp, -144, %sp 9; Store the ... arguments to the argument array. The order is not important. 10; CHECK: stx %i5, [%fp+2215] 11; CHECK: stx %i4, [%fp+2207] 12; CHECK: stx %i3, [%fp+2199] 13; CHECK: stx %i2, [%fp+2191] 14; Store the address of the ... args to %ap at %fp+BIAS+128-8 15; add %fp, 2191, [[R:[gilo][0-7]]] 16; stx [[R]], [%fp+2039] 17define double @varargsfunc(i8* nocapture %fmt, double %sum, ...) { 18entry: 19 %ap = alloca i8*, align 4 20 %ap1 = bitcast i8** %ap to i8* 21 call void @llvm.va_start(i8* %ap1) 22 br label %for.cond 23 24for.cond: 25 %fmt.addr.0 = phi i8* [ %fmt, %entry ], [ %incdec.ptr, %for.cond.backedge ] 26 %sum.addr.0 = phi double [ %sum, %entry ], [ %sum.addr.0.be, %for.cond.backedge ] 27 %incdec.ptr = getelementptr inbounds i8, i8* %fmt.addr.0, i64 1 28 %0 = load i8, i8* %fmt.addr.0, align 1 29 %conv = sext i8 %0 to i32 30 switch i32 %conv, label %sw.default [ 31 i32 105, label %sw.bb 32 i32 102, label %sw.bb3 33 ] 34 35; CHECK: sw.bb 36; ldx [%fp+2039], %[[AP:[gilo][0-7]]] 37; add %[[AP]], 4, %[[AP2:[gilo][0-7]]] 38; stx %[[AP2]], [%fp+2039] 39; ld [%[[AP]]] 40sw.bb: 41 %1 = va_arg i8** %ap, i32 42 %conv2 = sitofp i32 %1 to double 43 br label %for.cond.backedge 44 45; CHECK: sw.bb3 46; ldx [%fp+2039], %[[AP:[gilo][0-7]]] 47; add %[[AP]], 8, %[[AP2:[gilo][0-7]]] 48; stx %[[AP2]], [%fp+2039] 49; ldd [%[[AP]]] 50sw.bb3: 51 %2 = va_arg i8** %ap, double 52 br label %for.cond.backedge 53 54for.cond.backedge: 55 %.pn = phi double [ %2, %sw.bb3 ], [ %conv2, %sw.bb ] 56 %sum.addr.0.be = fadd double %.pn, %sum.addr.0 57 br label %for.cond 58 59sw.default: 60 ret double %sum.addr.0 61} 62 63declare void @llvm.va_start(i8*) 64 65@.str = private unnamed_addr constant [4 x i8] c"abc\00", align 1 66 67; CHECK: call_1d 68; The fixed-arg double goes in %d2, the second goes in %o2. 69; CHECK: sethi 1048576 70; CHECK: , %f2 71; CHECK: , %o2 72define i32 @call_1d() #0 { 73entry: 74 %call = call double (i8*, double, ...) @varargsfunc(i8* undef, double 1.000000e+00, double 2.000000e+00) 75 ret i32 1 76} 77