test/CodeGen/SPARC/varargs.ll

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