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(i8*) nounwind
   8 declare void @llvm.va_end(i8*) nounwind
   9
  10 ; CHECK: test_byval_8_bytes_alignment:
  11 define void @test_byval_8_bytes_alignment(i32 %i, ...) {
  12 entry:
  13 ; CHECK: stm     r0, {r1, r2, r3}
  14   %g = alloca i8*
  15   %g1 = bitcast i8** %g to i8*
  16   call void @llvm.va_start(i8* %g1)
  17
  18 ; CHECK: add    [[REG:(r[0-9]+)|(lr)]], {{(r[0-9]+)|(lr)}}, #7
  19 ; CHECK: bfc    [[REG]], #0, #3
  20   %0 = va_arg i8** %g, double
  21   call void @llvm.va_end(i8* %g1)
  22
  23   ret void
  24 }
  25
  26 ; CHECK: main:
  27 ; CHECK: movw [[BASE:r[0-9]+]], :lower16:static_val
  28 ; CHECK: movt [[BASE]], :upper16:static_val
  29 ; ldm is not formed when the coalescer failed to coalesce everything.
  30 ; CHECK: ldr     r2, {{\[}}[[BASE]]{{\]}}
  31 ; CHECK: ldr     [[TMP:r[0-9]+]], {{\[}}[[BASE]], #4{{\]}}
  32 ; CHECK: movw r0, #555
  33 ; Currently the coalescer misses this opportunity.
  34 ; CHECK: mov r3, [[TMP]]
  35 define i32 @main() {
  36 entry:
  37   call void (i32, ...)* @test_byval_8_bytes_alignment(i32 555, %struct_t* byval @static_val)
  38   ret i32 0
  39 }
  40
  41 declare void @f(double);
  42
  43 ; CHECK:     test_byval_8_bytes_alignment_fixed_arg:
  44 ; CHECK-NOT:   str     r1
  45 ; CHECK:       str     r3, [sp, #12]
  46 ; CHECK:       str     r2, [sp, #8]
  47 ; CHECK-NOT:   str     r1
  48 define void @test_byval_8_bytes_alignment_fixed_arg(i32 %n1, %struct_t* byval %val) nounwind {
  49 entry:
  50   %a = getelementptr inbounds %struct_t* %val, i32 0, i32 0
  51   %0 = load double* %a
  52   call void (double)* @f(double %0)
  53   ret void
  54 }
  55
  56 ; CHECK: main_fixed_arg:
  57 ; CHECK: movw [[BASE:r[0-9]+]], :lower16:static_val
  58 ; CHECK: movt [[BASE]], :upper16:static_val
  59 ; ldm is not formed when the coalescer failed to coalesce everything.
  60 ; CHECK: ldr     r2, {{\[}}[[BASE]]{{\]}}
  61 ; CHECK: ldr     [[TMP:r[0-9]+]], {{\[}}[[BASE]], #4{{\]}}
  62 ; CHECK: movw r0, #555
  63 ; Currently the coalescer misses this opportunity.
  64 ; CHECK: mov r3, [[TMP]]
  65 define i32 @main_fixed_arg() {
  66 entry:
  67   call void (i32, %struct_t*)* @test_byval_8_bytes_alignment_fixed_arg(i32 555, %struct_t* byval @static_val)
  68   ret i32 0
  69 }
  70