test/CodeGen/Mips/o32_cc_vararg.ll

   1 ; RUN: llc -march=mipsel -mcpu=mips2 < %s | FileCheck %s
   2
   3
   4 ; All test functions do the same thing - they return the first variable
   5 ; argument.
   6
   7 ; All CHECK's do the same thing - they check whether variable arguments from
   8 ; registers are placed on correct stack locations, and whether the first
   9 ; variable argument is returned from the correct stack location.
  10
  11
  12 declare void @llvm.va_start(i8*) nounwind
  13 declare void @llvm.va_end(i8*) nounwind
  14
  15 ; return int
  16 define i32 @va1(i32 %a, ...) nounwind {
  17 entry:
  18   %a.addr = alloca i32, align 4
  19   %ap = alloca i8*, align 4
  20   %b = alloca i32, align 4
  21   store i32 %a, i32* %a.addr, align 4
  22   %ap1 = bitcast i8** %ap to i8*
  23   call void @llvm.va_start(i8* %ap1)
  24   %0 = va_arg i8** %ap, i32
  25   store i32 %0, i32* %b, align 4
  26   %ap2 = bitcast i8** %ap to i8*
  27   call void @llvm.va_end(i8* %ap2)
  28   %tmp = load i32* %b, align 4
  29   ret i32 %tmp
  30
  31 ; CHECK: va1:
  32 ; CHECK: addiu   $sp, $sp, -32
  33 ; CHECK: sw      $5, 36($sp)
  34 ; CHECK: sw      $6, 40($sp)
  35 ; CHECK: sw      $7, 44($sp)
  36 ; CHECK: lw      $2, 36($sp)
  37 }
  38
  39 ; check whether the variable double argument will be accessed from the 8-byte
  40 ; aligned location (i.e. whether the address is computed by adding 7 and
  41 ; clearing lower 3 bits)
  42 define double @va2(i32 %a, ...) nounwind {
  43 entry:
  44   %a.addr = alloca i32, align 4
  45   %ap = alloca i8*, align 4
  46   %b = alloca double, align 8
  47   store i32 %a, i32* %a.addr, align 4
  48   %ap1 = bitcast i8** %ap to i8*
  49   call void @llvm.va_start(i8* %ap1)
  50   %0 = va_arg i8** %ap, double
  51   store double %0, double* %b, align 8
  52   %ap2 = bitcast i8** %ap to i8*
  53   call void @llvm.va_end(i8* %ap2)
  54   %tmp = load double* %b, align 8
  55   ret double %tmp
  56
  57 ; CHECK: va2:
  58 ; CHECK: addiu   $sp, $sp, -40
  59 ; CHECK: addiu   $2, $sp, 44
  60 ; CHECK: sw      $5, 44($sp)
  61 ; CHECK: sw      $6, 48($sp)
  62 ; CHECK: sw      $7, 52($sp)
  63 ; CHECK: addiu   $3, $2, 7
  64 ; CHECK: addiu   $5, $zero, -8
  65 ; CHECK: and     $3, $3, $5
  66 ; CHECK: ldc1    $f0, 0($3)
  67 }
  68
  69 ; int
  70 define i32 @va3(double %a, ...) nounwind {
  71 entry:
  72   %a.addr = alloca double, align 8
  73   %ap = alloca i8*, align 4
  74   %b = alloca i32, align 4
  75   store double %a, double* %a.addr, align 8
  76   %ap1 = bitcast i8** %ap to i8*
  77   call void @llvm.va_start(i8* %ap1)
  78   %0 = va_arg i8** %ap, i32
  79   store i32 %0, i32* %b, align 4
  80   %ap2 = bitcast i8** %ap to i8*
  81   call void @llvm.va_end(i8* %ap2)
  82   %tmp = load i32* %b, align 4
  83   ret i32 %tmp
  84
  85 ; CHECK: va3:
  86 ; CHECK: addiu   $sp, $sp, -40
  87 ; CHECK: sw      $6, 48($sp)
  88 ; CHECK: sw      $7, 52($sp)
  89 ; CHECK: lw      $2, 48($sp)
  90 }
  91
  92 ; double
  93 define double @va4(double %a, ...) nounwind {
  94 entry:
  95   %a.addr = alloca double, align 8
  96   %ap = alloca i8*, align 4
  97   %b = alloca double, align 8
  98   store double %a, double* %a.addr, align 8
  99   %ap1 = bitcast i8** %ap to i8*
 100   call void @llvm.va_start(i8* %ap1)
 101   %0 = va_arg i8** %ap, double
 102   store double %0, double* %b, align 8
 103   %ap2 = bitcast i8** %ap to i8*
 104   call void @llvm.va_end(i8* %ap2)
 105   %tmp = load double* %b, align 8
 106   ret double %tmp
 107
 108 ; CHECK: va4:
 109 ; CHECK: addiu   $sp, $sp, -48
 110 ; CHECK: sw      $6, 56($sp)
 111 ; CHECK: sw      $7, 60($sp)
 112 ; CHECK: addiu   $3, $sp, 56
 113 ; CHECK: addiu   $6, $3, 7
 114 ; CHECK: addiu   $7, $zero, -8
 115 ; CHECK: and     $2, $6, $7
 116 ; CHECK: ldc1    $f0, 0($2)
 117 }
 118
 119 ; int
 120 define i32 @va5(i32 %a, i32 %b, i32 %c, ...) nounwind {
 121 entry:
 122   %a.addr = alloca i32, align 4
 123   %b.addr = alloca i32, align 4
 124   %c.addr = alloca i32, align 4
 125   %ap = alloca i8*, align 4
 126   %d = alloca i32, align 4
 127   store i32 %a, i32* %a.addr, align 4
 128   store i32 %b, i32* %b.addr, align 4
 129   store i32 %c, i32* %c.addr, align 4
 130   %ap1 = bitcast i8** %ap to i8*
 131   call void @llvm.va_start(i8* %ap1)
 132   %0 = va_arg i8** %ap, i32
 133   store i32 %0, i32* %d, align 4
 134   %ap2 = bitcast i8** %ap to i8*
 135   call void @llvm.va_end(i8* %ap2)
 136   %tmp = load i32* %d, align 4
 137   ret i32 %tmp
 138
 139 ; CHECK: va5:
 140 ; CHECK: addiu   $sp, $sp, -40
 141 ; CHECK: sw      $7, 52($sp)
 142 ; CHECK: lw      $2, 52($sp)
 143 }
 144
 145 ; double
 146 define double @va6(i32 %a, i32 %b, i32 %c, ...) nounwind {
 147 entry:
 148   %a.addr = alloca i32, align 4
 149   %b.addr = alloca i32, align 4
 150   %c.addr = alloca i32, align 4
 151   %ap = alloca i8*, align 4
 152   %d = alloca double, align 8
 153   store i32 %a, i32* %a.addr, align 4
 154   store i32 %b, i32* %b.addr, align 4
 155   store i32 %c, i32* %c.addr, align 4
 156   %ap1 = bitcast i8** %ap to i8*
 157   call void @llvm.va_start(i8* %ap1)
 158   %0 = va_arg i8** %ap, double
 159   store double %0, double* %d, align 8
 160   %ap2 = bitcast i8** %ap to i8*
 161   call void @llvm.va_end(i8* %ap2)
 162   %tmp = load double* %d, align 8
 163   ret double %tmp
 164
 165 ; CHECK: va6:
 166 ; CHECK: addiu   $sp, $sp, -48
 167 ; CHECK: sw      $7, 60($sp)
 168 ; CHECK: addiu   $2, $sp, 60
 169 ; CHECK: addiu   $3, $2, 7
 170 ; CHECK: addiu   $4, $zero, -8
 171 ; CHECK: and     $3, $3, $4
 172 ; CHECK: ldc1    $f0, 0($3)
 173 }
 174
 175 ; int
 176 define i32 @va7(i32 %a, double %b, ...) nounwind {
 177 entry:
 178   %a.addr = alloca i32, align 4
 179   %b.addr = alloca double, align 8
 180   %ap = alloca i8*, align 4
 181   %c = alloca i32, align 4
 182   store i32 %a, i32* %a.addr, align 4
 183   store double %b, double* %b.addr, align 8
 184   %ap1 = bitcast i8** %ap to i8*
 185   call void @llvm.va_start(i8* %ap1)
 186   %0 = va_arg i8** %ap, i32
 187   store i32 %0, i32* %c, align 4
 188   %ap2 = bitcast i8** %ap to i8*
 189   call void @llvm.va_end(i8* %ap2)
 190   %tmp = load i32* %c, align 4
 191   ret i32 %tmp
 192
 193 ; CHECK: va7:
 194 ; CHECK: addiu   $sp, $sp, -40
 195 ; CHECK: lw      $2, 56($sp)
 196 }
 197
 198 ; double
 199 define double @va8(i32 %a, double %b, ...) nounwind {
 200 entry:
 201   %a.addr = alloca i32, align 4
 202   %b.addr = alloca double, align 8
 203   %ap = alloca i8*, align 4
 204   %c = alloca double, align 8
 205   store i32 %a, i32* %a.addr, align 4
 206   store double %b, double* %b.addr, align 8
 207   %ap1 = bitcast i8** %ap to i8*
 208   call void @llvm.va_start(i8* %ap1)
 209   %0 = va_arg i8** %ap, double
 210   store double %0, double* %c, align 8
 211   %ap2 = bitcast i8** %ap to i8*
 212   call void @llvm.va_end(i8* %ap2)
 213   %tmp = load double* %c, align 8
 214   ret double %tmp
 215
 216 ; CHECK: va8:
 217 ; CHECK: addiu   $sp, $sp, -48
 218 ; CHECK: addiu   $3, $sp, 64
 219 ; CHECK: addiu   $4, $3, 7
 220 ; CHECK: addiu   $5, $zero, -8
 221 ; CHECK: and     $2, $4, $5
 222 ; CHECK: ldc1    $f0, 0($2)
 223 }
 224
 225 ; int
 226 define i32 @va9(double %a, double %b, i32 %c, ...) nounwind {
 227 entry:
 228   %a.addr = alloca double, align 8
 229   %b.addr = alloca double, align 8
 230   %c.addr = alloca i32, align 4
 231   %ap = alloca i8*, align 4
 232   %d = alloca i32, align 4
 233   store double %a, double* %a.addr, align 8
 234   store double %b, double* %b.addr, align 8
 235   store i32 %c, i32* %c.addr, align 4
 236   %ap1 = bitcast i8** %ap to i8*
 237   call void @llvm.va_start(i8* %ap1)
 238   %0 = va_arg i8** %ap, i32
 239   store i32 %0, i32* %d, align 4
 240   %ap2 = bitcast i8** %ap to i8*
 241   call void @llvm.va_end(i8* %ap2)
 242   %tmp = load i32* %d, align 4
 243   ret i32 %tmp
 244
 245 ; CHECK: va9:
 246 ; CHECK: addiu   $sp, $sp, -56
 247 ; CHECK: lw      $2, 76($sp)
 248 }
 249
 250 ; double
 251 define double @va10(double %a, double %b, i32 %c, ...) nounwind {
 252 entry:
 253   %a.addr = alloca double, align 8
 254   %b.addr = alloca double, align 8
 255   %c.addr = alloca i32, align 4
 256   %ap = alloca i8*, align 4
 257   %d = alloca double, align 8
 258   store double %a, double* %a.addr, align 8
 259   store double %b, double* %b.addr, align 8
 260   store i32 %c, i32* %c.addr, align 4
 261   %ap1 = bitcast i8** %ap to i8*
 262   call void @llvm.va_start(i8* %ap1)
 263   %0 = va_arg i8** %ap, double
 264   store double %0, double* %d, align 8
 265   %ap2 = bitcast i8** %ap to i8*
 266   call void @llvm.va_end(i8* %ap2)
 267   %tmp = load double* %d, align 8
 268   ret double %tmp
 269
 270 ; CHECK: va10:
 271 ; CHECK: addiu   $sp, $sp, -56
 272 ; CHECK: addiu   $3, $sp, 76
 273 ; CHECK: addiu   $2, $3, 7
 274 ; CHECK: addiu   $4, $zero, -8
 275 ; CHECK: and     $2, $2, $4
 276 ; CHECK: ldc1    $f0, 0($2)
 277 }