test/CodeGen/AArch64/GlobalISel/arm64-callingconv.ll

   1 ; RUN: llc -O0 -stop-after=irtranslator -global-isel -verify-machineinstrs %s -o - 2>&1 | FileCheck %s
   2
   3 target datalayout = "e-m:o-i64:64-i128:128-n32:64-S128"
   4 target triple = "aarch64-linux-gnu"
   5
   6 ; CHECK-LABEL: name: args_i32
   7 ; CHECK: %[[ARG0:[0-9]+]]:_(s32) = COPY $w0
   8 ; CHECK: %{{[0-9]+}}:_(s32) = COPY $w1
   9 ; CHECK: %{{[0-9]+}}:_(s32) = COPY $w2
  10 ; CHECK: %{{[0-9]+}}:_(s32) = COPY $w3
  11 ; CHECK: %{{[0-9]+}}:_(s32) = COPY $w4
  12 ; CHECK: %{{[0-9]+}}:_(s32) = COPY $w5
  13 ; CHECK: %{{[0-9]+}}:_(s32) = COPY $w6
  14 ; CHECK: %{{[0-9]+}}:_(s32) = COPY $w7
  15 ; CHECK: $w0 = COPY %[[ARG0]]
  16
  17 define i32 @args_i32(i32 %w0, i32 %w1, i32 %w2, i32 %w3,
  18                      i32 %w4, i32 %w5, i32 %w6, i32 %w7) {
  19   ret i32 %w0
  20 }
  21
  22 ; CHECK-LABEL: name: args_i64
  23 ; CHECK: %[[ARG0:[0-9]+]]:_(s64) = COPY $x0
  24 ; CHECK: %{{[0-9]+}}:_(s64) = COPY $x1
  25 ; CHECK: %{{[0-9]+}}:_(s64) = COPY $x2
  26 ; CHECK: %{{[0-9]+}}:_(s64) = COPY $x3
  27 ; CHECK: %{{[0-9]+}}:_(s64) = COPY $x4
  28 ; CHECK: %{{[0-9]+}}:_(s64) = COPY $x5
  29 ; CHECK: %{{[0-9]+}}:_(s64) = COPY $x6
  30 ; CHECK: %{{[0-9]+}}:_(s64) = COPY $x7
  31 ; CHECK: $x0 = COPY %[[ARG0]]
  32 define i64 @args_i64(i64 %x0, i64 %x1, i64 %x2, i64 %x3,
  33                      i64 %x4, i64 %x5, i64 %x6, i64 %x7) {
  34   ret i64 %x0
  35 }
  36
  37
  38 ; CHECK-LABEL: name: args_ptrs
  39 ; CHECK: %[[ARG0:[0-9]+]]:_(p0) = COPY $x0
  40 ; CHECK: %{{[0-9]+}}:_(p0) = COPY $x1
  41 ; CHECK: %{{[0-9]+}}:_(p0) = COPY $x2
  42 ; CHECK: %{{[0-9]+}}:_(p0) = COPY $x3
  43 ; CHECK: %{{[0-9]+}}:_(p0) = COPY $x4
  44 ; CHECK: %{{[0-9]+}}:_(p0) = COPY $x5
  45 ; CHECK: %{{[0-9]+}}:_(p0) = COPY $x6
  46 ; CHECK: %{{[0-9]+}}:_(p0) = COPY $x7
  47 ; CHECK: $x0 = COPY %[[ARG0]]
  48 define i8* @args_ptrs(i8* %x0, i16* %x1, <2 x i8>* %x2, {i8, i16, i32}* %x3,
  49                       [3 x float]* %x4, double* %x5, i8* %x6, i8* %x7) {
  50   ret i8* %x0
  51 }
  52
  53 ; CHECK-LABEL: name: args_arr
  54 ; CHECK: %[[ARG0:[0-9]+]]:_(s64) = COPY $d0
  55 ; CHECK: $d0 = COPY %[[ARG0]]
  56 define [1 x double] @args_arr([1 x double] %d0) {
  57   ret [1 x double] %d0
  58 }
  59
  60 ; CHECK-LABEL: name: test_varargs
  61 ; CHECK: [[ANSWER:%[0-9]+]]:_(s32) = G_CONSTANT i32 42
  62 ; CHECK: [[D_ONE:%[0-9]+]]:_(s64) = G_FCONSTANT double 1.000000e+00
  63 ; CHECK: [[TWELVE:%[0-9]+]]:_(s64) = G_CONSTANT i64 12
  64 ; CHECK: [[THREE:%[0-9]+]]:_(s8) = G_CONSTANT i8 3
  65 ; CHECK: [[ONE:%[0-9]+]]:_(s16) = G_CONSTANT i16 1
  66 ; CHECK: [[FOUR:%[0-9]+]]:_(s32) = G_CONSTANT i32 4
  67 ; CHECK: [[F_ONE:%[0-9]+]]:_(s32) = G_FCONSTANT float 1.000000e+00
  68 ; CHECK: [[TWO:%[0-9]+]]:_(s64) = G_FCONSTANT double 2.000000e+00
  69
  70 ; CHECK: $w0 = COPY [[ANSWER]]
  71 ; CHECK: $d0 = COPY [[D_ONE]]
  72 ; CHECK: $x1 = COPY [[TWELVE]]
  73 ; CHECK: [[THREE_TMP:%[0-9]+]]:_(s32) = G_ANYEXT [[THREE]]
  74 ; CHECK: $w2 = COPY [[THREE_TMP]](s32)
  75 ; CHECK: [[ONE_TMP:%[0-9]+]]:_(s32) = G_ANYEXT [[ONE]]
  76 ; CHECK: $w3 = COPY [[ONE_TMP]](s32)
  77 ; CHECK: $w4 = COPY [[FOUR]](s32)
  78 ; CHECK: $s1 = COPY [[F_ONE]](s32)
  79 ; CHECK: $d2 = COPY [[TWO]](s64)
  80 declare void @varargs(i32, double, i64, ...)
  81 define void @test_varargs() {
  82   call void(i32, double, i64, ...) @varargs(i32 42, double 1.0, i64 12, i8 3, i16 1, i32 4, float 1.0, double 2.0)
  83   ret void
  84 }
  85
  86 ; signext/zeroext parameters on the stack: not part of any real ABI as far as I
  87 ; know, but ELF currently allocates 8 bytes for a signext parameter on the
  88 ; stack. The ADJCALLSTACK ops should reflect this, even if the difference is
  89 ; theoretical.
  90 declare void @stack_ext_needed([8 x i64], i8 signext %in)
  91 ; CHECK-LABEL: name: test_stack_ext_needed
  92 ; CHECK: ADJCALLSTACKDOWN 8
  93 ; CHECK: BL @stack_ext_needed
  94 ; CHECK: ADJCALLSTACKUP 8
  95 define void @test_stack_ext_needed() {
  96   call void @stack_ext_needed([8 x i64] undef, i8 signext 42)
  97   ret void
  98 }