llvm/test/CodeGen/AArch64/win64_vararg_float.ll

   1 ; NOTE: Assertions have been autogenerated by utils/update_llc_test_checks.py
   2 ; RUN: llc < %s -mtriple=aarch64-windows -verify-machineinstrs | FileCheck %s --check-prefixes=DAGISEL
   3 ; RUN: llc < %s -mtriple=aarch64-windows -verify-machineinstrs -O0 -fast-isel | FileCheck %s --check-prefixes=O0,FASTISEL
   4 ; RUN: llc < %s -mtriple=aarch64-windows -verify-machineinstrs -O0 -global-isel | FileCheck %s --check-prefixes=O0,GISEL
   5
   6 define void @float_va_fn(float %a, i32 %b, ...) nounwind {
   7 ; DAGISEL-LABEL: float_va_fn:
   8 ; DAGISEL:       // %bb.0: // %entry
   9 ; DAGISEL-NEXT:    str x30, [sp, #-64]! // 8-byte Folded Spill
  10 ; DAGISEL-NEXT:    fmov s0, w0
  11 ; DAGISEL-NEXT:    add x8, sp, #16
  12 ; DAGISEL-NEXT:    add x0, sp, #16
  13 ; DAGISEL-NEXT:    stp x2, x3, [sp, #16]
  14 ; DAGISEL-NEXT:    stp x4, x5, [sp, #32]
  15 ; DAGISEL-NEXT:    stp x6, x7, [sp, #48]
  16 ; DAGISEL-NEXT:    str x8, [sp, #8]
  17 ; DAGISEL-NEXT:    bl f_va_list
  18 ; DAGISEL-NEXT:    ldr x30, [sp], #64 // 8-byte Folded Reload
  19 ; DAGISEL-NEXT:    ret
  20 ;
  21 ; O0-LABEL: float_va_fn:
  22 ; O0:       // %bb.0: // %entry
  23 ; O0-NEXT:    sub sp, sp, #80
  24 ; O0-NEXT:    str x30, [sp, #16] // 8-byte Folded Spill
  25 ; O0-NEXT:    str x7, [sp, #72]
  26 ; O0-NEXT:    str x6, [sp, #64]
  27 ; O0-NEXT:    str x5, [sp, #56]
  28 ; O0-NEXT:    str x4, [sp, #48]
  29 ; O0-NEXT:    str x3, [sp, #40]
  30 ; O0-NEXT:    str x2, [sp, #32]
  31 ; O0-NEXT:    fmov s0, w0
  32 ; O0-NEXT:    add x8, sp, #32
  33 ; O0-NEXT:    str x8, [sp, #8]
  34 ; O0-NEXT:    ldr x0, [sp, #8]
  35 ; O0-NEXT:    bl f_va_list
  36 ; O0-NEXT:    ldr x30, [sp, #16] // 8-byte Folded Reload
  37 ; O0-NEXT:    add sp, sp, #80
  38 ; O0-NEXT:    ret
  39 entry:
  40   %ap = alloca ptr, align 8
  41   call void @llvm.lifetime.start.p0(i64 8, ptr nonnull %ap)
  42   call void @llvm.va_start(ptr nonnull %ap)
  43   %0 = load ptr, ptr %ap, align 8
  44   call void @f_va_list(float %a, ptr %0)
  45   call void @llvm.va_end(ptr nonnull %ap)
  46   call void @llvm.lifetime.end.p0(i64 8, ptr nonnull %ap)
  47   ret void
  48 }
  49
  50 declare void @llvm.lifetime.start.p0(i64 immarg, ptr nocapture)
  51 declare void @llvm.va_start(ptr)
  52 declare void @f_va_list(float, ptr)
  53 declare void @llvm.va_end(ptr)
  54 declare void @llvm.lifetime.end.p0(i64 immarg, ptr nocapture)
  55
  56 define void @double_va_fn(double %a, i32 %b, ...) nounwind {
  57 ; DAGISEL-LABEL: double_va_fn:
  58 ; DAGISEL:       // %bb.0: // %entry
  59 ; DAGISEL-NEXT:    str x30, [sp, #-64]! // 8-byte Folded Spill
  60 ; DAGISEL-NEXT:    fmov d0, x0
  61 ; DAGISEL-NEXT:    add x8, sp, #16
  62 ; DAGISEL-NEXT:    add x0, sp, #16
  63 ; DAGISEL-NEXT:    stp x2, x3, [sp, #16]
  64 ; DAGISEL-NEXT:    stp x4, x5, [sp, #32]
  65 ; DAGISEL-NEXT:    stp x6, x7, [sp, #48]
  66 ; DAGISEL-NEXT:    str x8, [sp, #8]
  67 ; DAGISEL-NEXT:    bl d_va_list
  68 ; DAGISEL-NEXT:    ldr x30, [sp], #64 // 8-byte Folded Reload
  69 ; DAGISEL-NEXT:    ret
  70 ;
  71 ; O0-LABEL: double_va_fn:
  72 ; O0:       // %bb.0: // %entry
  73 ; O0-NEXT:    sub sp, sp, #80
  74 ; O0-NEXT:    str x30, [sp, #16] // 8-byte Folded Spill
  75 ; O0-NEXT:    str x7, [sp, #72]
  76 ; O0-NEXT:    str x6, [sp, #64]
  77 ; O0-NEXT:    str x5, [sp, #56]
  78 ; O0-NEXT:    str x4, [sp, #48]
  79 ; O0-NEXT:    str x3, [sp, #40]
  80 ; O0-NEXT:    str x2, [sp, #32]
  81 ; O0-NEXT:    fmov d0, x0
  82 ; O0-NEXT:    add x8, sp, #32
  83 ; O0-NEXT:    str x8, [sp, #8]
  84 ; O0-NEXT:    ldr x0, [sp, #8]
  85 ; O0-NEXT:    bl d_va_list
  86 ; O0-NEXT:    ldr x30, [sp, #16] // 8-byte Folded Reload
  87 ; O0-NEXT:    add sp, sp, #80
  88 ; O0-NEXT:    ret
  89 entry:
  90   %ap = alloca ptr, align 8
  91   call void @llvm.lifetime.start.p0(i64 8, ptr nonnull %ap)
  92   call void @llvm.va_start(ptr nonnull %ap)
  93   %0 = load ptr, ptr %ap, align 8
  94   call void @d_va_list(double %a, ptr %0)
  95   call void @llvm.va_end(ptr nonnull %ap)
  96   call void @llvm.lifetime.end.p0(i64 8, ptr nonnull %ap)
  97   ret void
  98 }
  99
 100 declare void @d_va_list(double, ptr)
 101
 102 define void @call_f_va() nounwind {
 103 ; DAGISEL-LABEL: call_f_va:
 104 ; DAGISEL:       // %bb.0: // %entry
 105 ; DAGISEL-NEXT:    mov w0, #1065353216 // =0x3f800000
 106 ; DAGISEL-NEXT:    mov w1, #2 // =0x2
 107 ; DAGISEL-NEXT:    mov x2, #4613937818241073152 // =0x4008000000000000
 108 ; DAGISEL-NEXT:    mov w3, #4 // =0x4
 109 ; DAGISEL-NEXT:    b other_f_va_fn
 110 ;
 111 ; FASTISEL-LABEL: call_f_va:
 112 ; FASTISEL:       // %bb.0: // %entry
 113 ; FASTISEL-NEXT:    mov w0, #1065353216 // =0x3f800000
 114 ; FASTISEL-NEXT:    mov w1, #2 // =0x2
 115 ; FASTISEL-NEXT:    mov x2, #4613937818241073152 // =0x4008000000000000
 116 ; FASTISEL-NEXT:    mov w3, #4 // =0x4
 117 ; FASTISEL-NEXT:    b other_f_va_fn
 118 ;
 119 ; GISEL-LABEL: call_f_va:
 120 ; GISEL:       // %bb.0: // %entry
 121 ; GISEL-NEXT:    fmov s0, #1.00000000
 122 ; GISEL-NEXT:    fmov w0, s0
 123 ; GISEL-NEXT:    mov w1, #2 // =0x2
 124 ; GISEL-NEXT:    fmov d0, #3.00000000
 125 ; GISEL-NEXT:    fmov x2, d0
 126 ; GISEL-NEXT:    mov w3, #4 // =0x4
 127 ; GISEL-NEXT:    b other_f_va_fn
 128 entry:
 129   tail call void (float, i32, ...) @other_f_va_fn(float 1.000000e+00, i32 2, double 3.000000e+00, i32 4)
 130   ret void
 131 }
 132
 133 declare void @other_f_va_fn(float, i32, ...)
 134
 135 define void @call_d_va() nounwind {
 136 ; DAGISEL-LABEL: call_d_va:
 137 ; DAGISEL:       // %bb.0: // %entry
 138 ; DAGISEL-NEXT:    mov x0, #4607182418800017408 // =0x3ff0000000000000
 139 ; DAGISEL-NEXT:    mov w1, #2 // =0x2
 140 ; DAGISEL-NEXT:    mov x2, #4613937818241073152 // =0x4008000000000000
 141 ; DAGISEL-NEXT:    mov w3, #4 // =0x4
 142 ; DAGISEL-NEXT:    b other_d_va_fn
 143 ;
 144 ; FASTISEL-LABEL: call_d_va:
 145 ; FASTISEL:       // %bb.0: // %entry
 146 ; FASTISEL-NEXT:    mov x0, #4607182418800017408 // =0x3ff0000000000000
 147 ; FASTISEL-NEXT:    mov w1, #2 // =0x2
 148 ; FASTISEL-NEXT:    mov x2, #4613937818241073152 // =0x4008000000000000
 149 ; FASTISEL-NEXT:    mov w3, #4 // =0x4
 150 ; FASTISEL-NEXT:    b other_d_va_fn
 151 ;
 152 ; GISEL-LABEL: call_d_va:
 153 ; GISEL:       // %bb.0: // %entry
 154 ; GISEL-NEXT:    fmov d0, #1.00000000
 155 ; GISEL-NEXT:    fmov x0, d0
 156 ; GISEL-NEXT:    mov w1, #2 // =0x2
 157 ; GISEL-NEXT:    fmov d0, #3.00000000
 158 ; GISEL-NEXT:    fmov x2, d0
 159 ; GISEL-NEXT:    mov w3, #4 // =0x4
 160 ; GISEL-NEXT:    b other_d_va_fn
 161 entry:
 162   tail call void (double, i32, ...) @other_d_va_fn(double 1.000000e+00, i32 2, double 3.000000e+00, i32 4)
 163   ret void
 164 }
 165
 166 declare void @other_d_va_fn(double, i32, ...)
 167
 168 define void @call_d_non_va() nounwind {
 169 ; DAGISEL-LABEL: call_d_non_va:
 170 ; DAGISEL:       // %bb.0: // %entry
 171 ; DAGISEL-NEXT:    fmov d0, #1.00000000
 172 ; DAGISEL-NEXT:    fmov d1, #3.00000000
 173 ; DAGISEL-NEXT:    mov w0, #2 // =0x2
 174 ; DAGISEL-NEXT:    mov w1, #4 // =0x4
 175 ; DAGISEL-NEXT:    b other_d_non_va_fn
 176 ;
 177 ; O0-LABEL: call_d_non_va:
 178 ; O0:       // %bb.0: // %entry
 179 ; O0-NEXT:    fmov d0, #1.00000000
 180 ; O0-NEXT:    mov w0, #2 // =0x2
 181 ; O0-NEXT:    fmov d1, #3.00000000
 182 ; O0-NEXT:    mov w1, #4 // =0x4
 183 ; O0-NEXT:    b other_d_non_va_fn
 184 entry:
 185   tail call void (double, i32, double, i32) @other_d_non_va_fn(double 1.000000e+00, i32 2, double 3.000000e+00, i32 4)
 186   ret void
 187 }
 188
 189 declare void @other_d_non_va_fn(double, i32, double, i32)