llvm/test/CodeGen/AArch64/arm64-aapcs-be.ll

   1 ; RUN: llc -mtriple=aarch64_be -fast-isel=false < %s | FileCheck %s
   2 ; RUN: llc -mtriple=aarch64_be -fast-isel=true < %s | FileCheck %s
   3
   4 ; Check narrow argument passing via stack - callee end
   5 define i32 @test_narrow_args_callee(i64 %x0, i64 %x1, i64 %x2, i64 %x3, i64 %x4, i64 %x5, i64 %x6, i64 %x7, i8 %c, i16 %s) #0 {
   6 entry:
   7   %conv = zext i8 %c to i32
   8   %conv1 = sext i16 %s to i32
   9   %add = add nsw i32 %conv1, %conv
  10 ; CHECK-LABEL: test_narrow_args_callee:
  11 ; CHECK-DAG: ldrb w{{[0-9]}}, [sp, #7]
  12 ; CHECK-DAG: ldr{{s?}}h w{{[0-9]}}, [sp, #14]
  13   ret i32 %add
  14 }
  15
  16 ; Check narrow argument passing via stack - caller end
  17 define i32 @test_narrow_args_caller() #0 {
  18 entry:
  19   %call = tail call i32 @test_narrow_args_callee(i64 undef, i64 undef, i64 undef, i64 undef, i64 undef, i64 undef, i64 undef, i64 undef, i8 8, i16 9)
  20 ; CHECK-LABEL: test_narrow_args_caller:
  21 ; CHECK-DAG: strh w{{[0-9]}}, [sp, #14]
  22 ; CHECK-DAG: strb w{{[0-9]}}, [sp, #7]
  23   ret i32 %call
  24 }
  25
  26 define float @test_block_addr([8 x float], [1 x float] %in) {
  27 ; CHECK-LABEL: test_block_addr:
  28 ; CHECK: ldr s0, [sp]
  29   %val = extractvalue [1 x float] %in, 0
  30   ret float %val
  31 }
  32
  33 define void @test_block_addr_callee() {
  34 ; CHECK-LABEL: test_block_addr_callee:
  35 ; CHECK: sub sp, sp, #32
  36 ; CHECK: str {{[a-z0-9]+}}, [sp, #16]
  37 ; CHECK: bl test_block_addr
  38   %val = insertvalue [1 x float] undef, float 0.0, 0
  39   call float @test_block_addr([8 x float] undef, [1 x float] %val)
  40   ret void
  41 }