llvm/test/CodeGen/ARM/2012-10-04-AAPCS-byval-align8.ll

   1 ; RUN: llc < %s -mtriple=armv7-none-linux-gnueabi | FileCheck %s
   2 ; Test that we correctly use registers and align elements when using va_arg
   3
   4 %struct_t = type { double, double, double }
   5 @static_val = constant %struct_t { double 1.0, double 2.0, double 3.0 }
   6
   7 declare void @llvm.va_start(ptr) nounwind
   8 declare void @llvm.va_end(ptr) nounwind
   9
  10 ; CHECK-LABEL: test_byval_8_bytes_alignment:
  11 define void @test_byval_8_bytes_alignment(i32 %i, ...) {
  12 entry:
  13 ; CHECK: sub       sp, sp, #16
  14 ; CHECK: add       r0, sp, #4
  15 ; CHECK: stmib     sp, {r1, r2, r3}
  16   %g = alloca ptr
  17   call void @llvm.va_start(ptr %g)
  18
  19 ; CHECK: add    [[REG:(r[0-9]+)|(lr)]], {{(r[0-9]+)|(lr)}}, #7
  20 ; CHECK: bic    [[REG]], [[REG]], #7
  21   %0 = va_arg ptr %g, double
  22   call void @llvm.va_end(ptr %g)
  23
  24   ret void
  25 }
  26
  27 ; CHECK-LABEL: main:
  28 ; CHECK: movw [[BASE:r[0-9]+]], :lower16:static_val
  29 ; CHECK: movt [[BASE]], :upper16:static_val
  30 ; ldm is not formed when the coalescer failed to coalesce everything.
  31 ; CHECK: ldrd    r2, [[TMP:r[0-9]+]], [[[BASE]]]
  32 ; CHECK: movw r0, #555
  33 define i32 @main() {
  34 entry:
  35   call void (i32, ...) @test_byval_8_bytes_alignment(i32 555, ptr byval(%struct_t) @static_val)
  36   ret i32 0
  37 }
  38
  39 declare void @f(double);
  40
  41 ; CHECK-LABEL:     test_byval_8_bytes_alignment_fixed_arg:
  42 ; CHECK-NOT:   str     r1
  43 ; CHECK-DAG:   str     r3, [sp, #12]
  44 ; CHECK-DAG:   str     r2, [sp, #8]
  45 ; CHECK-NOT:   str     r1
  46 define void @test_byval_8_bytes_alignment_fixed_arg(i32 %n1, ptr byval(%struct_t) %val) nounwind {
  47 entry:
  48   %0 = load double, ptr %val
  49   call void (double) @f(double %0)
  50   ret void
  51 }
  52
  53 ; CHECK-LABEL: main_fixed_arg:
  54 ; CHECK: movw [[BASE:r[0-9]+]], :lower16:static_val
  55 ; CHECK: movt [[BASE]], :upper16:static_val
  56 ; ldm is not formed when the coalescer failed to coalesce everything.
  57 ; CHECK: ldrd     r2, [[TMP:r[0-9]+]], [[[BASE]]]
  58 ; CHECK: movw r0, #555
  59 define i32 @main_fixed_arg() {
  60 entry:
  61   call void (i32, ptr) @test_byval_8_bytes_alignment_fixed_arg(i32 555, ptr byval(%struct_t) @static_val)
  62   ret i32 0
  63 }