mirror of
https://github.com/RPCS3/llvm-mirror.git
synced 2024-11-24 03:33:20 +01:00
ce7688d8cc
The va_start macro for AArch64 must set va_list.__stack to the address following the last named argument on the stack, rounded up to an alignment of 8 bytes. llvm-svn: 201797
242 lines
7.9 KiB
LLVM
242 lines
7.9 KiB
LLVM
; RUN: llc -verify-machineinstrs -mtriple=aarch64-none-linux-gnu < %s | FileCheck %s
|
|
; RUN: llc -verify-machineinstrs -mtriple=aarch64-none-linux-gnu -mattr=-fp-armv8 < %s | FileCheck --check-prefix=CHECK-NOFP %s
|
|
|
|
%va_list = type {i8*, i8*, i8*, i32, i32}
|
|
|
|
@var = global %va_list zeroinitializer
|
|
|
|
declare void @llvm.va_start(i8*)
|
|
|
|
define void @test_simple(i32 %n, ...) {
|
|
; CHECK-LABEL: test_simple:
|
|
; CHECK: sub sp, sp, #[[STACKSIZE:[0-9]+]]
|
|
; CHECK: mov x[[FPRBASE:[0-9]+]], sp
|
|
; CHECK: str q7, [x[[FPRBASE]], #112]
|
|
; CHECK: add x[[GPRBASE:[0-9]+]], sp, #[[GPRFROMSP:[0-9]+]]
|
|
; CHECK: str x7, [x[[GPRBASE]], #48]
|
|
|
|
; CHECK-NOFP: sub sp, sp, #[[STACKSIZE:[0-9]+]]
|
|
; CHECK-NOFP: add x[[GPRBASE:[0-9]+]], sp, #[[GPRFROMSP:[0-9]+]]
|
|
; CHECK-NOFP: str x7, [x[[GPRBASE]], #48]
|
|
; CHECK-NOFP-NOT: str q7,
|
|
; CHECK-NOFP: str x1, [sp, #[[GPRFROMSP]]]
|
|
|
|
; Omit the middle ones
|
|
|
|
; CHECK: str q0, [sp]
|
|
; CHECK: str x1, [sp, #[[GPRFROMSP]]]
|
|
; CHECK: add x[[VA_LIST:[0-9]+]], {{x[0-9]+}}, #:lo12:var
|
|
|
|
; CHECK-NOFP-NOT: str q0, [sp]
|
|
; CHECK-NOFP: add x[[VA_LIST:[0-9]+]], {{x[0-9]+}}, #:lo12:var
|
|
|
|
%addr = bitcast %va_list* @var to i8*
|
|
call void @llvm.va_start(i8* %addr)
|
|
; CHECK: movn [[VR_OFFS:w[0-9]+]], #127
|
|
; CHECK: str [[VR_OFFS]], [x[[VA_LIST]], #28]
|
|
; CHECK: movn [[GR_OFFS:w[0-9]+]], #55
|
|
; CHECK: str [[GR_OFFS]], [x[[VA_LIST]], #24]
|
|
; CHECK: add [[VR_TOP:x[0-9]+]], x[[FPRBASE]], #128
|
|
; CHECK: str [[VR_TOP]], [x[[VA_LIST]], #16]
|
|
; CHECK: add [[GR_TOP:x[0-9]+]], x[[GPRBASE]], #56
|
|
; CHECK: str [[GR_TOP]], [x[[VA_LIST]], #8]
|
|
; CHECK: add [[STACK:x[0-9]+]], sp, #[[STACKSIZE]]
|
|
; CHECK: str [[STACK]], [{{x[0-9]+}}, #:lo12:var]
|
|
|
|
; CHECK-NOFP: str wzr, [x[[VA_LIST]], #28]
|
|
; CHECK-NOFP: movn [[GR_OFFS:w[0-9]+]], #55
|
|
; CHECK-NOFP: str [[GR_OFFS]], [x[[VA_LIST]], #24]
|
|
; CHECK-NOFP: add [[GR_TOP:x[0-9]+]], x[[GPRBASE]], #56
|
|
; CHECK-NOFP: str [[GR_TOP]], [x[[VA_LIST]], #8]
|
|
; CHECK-NOFP: add [[STACK:x[0-9]+]], sp, #[[STACKSIZE]]
|
|
; CHECK-NOFP: str [[STACK]], [{{x[0-9]+}}, #:lo12:var]
|
|
|
|
ret void
|
|
}
|
|
|
|
define void @test_fewargs(i32 %n, i32 %n1, i32 %n2, float %m, ...) {
|
|
; CHECK-LABEL: test_fewargs:
|
|
; CHECK: sub sp, sp, #[[STACKSIZE:[0-9]+]]
|
|
; CHECK: mov x[[FPRBASE:[0-9]+]], sp
|
|
; CHECK: str q7, [x[[FPRBASE]], #96]
|
|
; CHECK: add x[[GPRBASE:[0-9]+]], sp, #[[GPRFROMSP:[0-9]+]]
|
|
; CHECK: str x7, [x[[GPRBASE]], #32]
|
|
|
|
; CHECK-NOFP: sub sp, sp, #[[STACKSIZE:[0-9]+]]
|
|
; CHECK-NOFP-NOT: str q7,
|
|
; CHECK-NOFP: mov x[[GPRBASE:[0-9]+]], sp
|
|
; CHECK-NOFP: str x7, [x[[GPRBASE]], #24]
|
|
|
|
; Omit the middle ones
|
|
|
|
; CHECK: str q1, [sp]
|
|
; CHECK: str x3, [sp, #[[GPRFROMSP]]]
|
|
|
|
; CHECK-NOFP-NOT: str q1, [sp]
|
|
; CHECK-NOFP: str x4, [sp]
|
|
|
|
%addr = bitcast %va_list* @var to i8*
|
|
call void @llvm.va_start(i8* %addr)
|
|
; CHECK: add x[[VA_LIST:[0-9]+]], {{x[0-9]+}}, #:lo12:var
|
|
; CHECK: movn [[VR_OFFS:w[0-9]+]], #111
|
|
; CHECK: str [[VR_OFFS]], [x[[VA_LIST]], #28]
|
|
; CHECK: movn [[GR_OFFS:w[0-9]+]], #39
|
|
; CHECK: str [[GR_OFFS]], [x[[VA_LIST]], #24]
|
|
; CHECK: add [[VR_TOP:x[0-9]+]], x[[FPRBASE]], #112
|
|
; CHECK: str [[VR_TOP]], [x[[VA_LIST]], #16]
|
|
; CHECK: add [[GR_TOP:x[0-9]+]], x[[GPRBASE]], #40
|
|
; CHECK: str [[GR_TOP]], [x[[VA_LIST]], #8]
|
|
; CHECK: add [[STACK:x[0-9]+]], sp, #[[STACKSIZE]]
|
|
; CHECK: str [[STACK]], [{{x[0-9]+}}, #:lo12:var]
|
|
|
|
; CHECK-NOFP: add x[[VA_LIST:[0-9]+]], {{x[0-9]+}}, #:lo12:var
|
|
; CHECK-NOFP: str wzr, [x[[VA_LIST]], #28]
|
|
; CHECK-NOFP: movn [[GR_OFFS:w[0-9]+]], #31
|
|
; CHECK-NOFP: str [[GR_OFFS]], [x[[VA_LIST]], #24]
|
|
; CHECK-NOFP: add [[GR_TOP:x[0-9]+]], x[[GPRBASE]], #32
|
|
; CHECK-NOFP: str [[GR_TOP]], [x[[VA_LIST]], #8]
|
|
; CHECK-NOFP: add [[STACK:x[0-9]+]], sp, #[[STACKSIZE]]
|
|
; CHECK-NOFP: str [[STACK]], [{{x[0-9]+}}, #:lo12:var]
|
|
|
|
ret void
|
|
}
|
|
|
|
define void @test_nospare([8 x i64], [8 x float], ...) {
|
|
; CHECK-LABEL: test_nospare:
|
|
|
|
%addr = bitcast %va_list* @var to i8*
|
|
call void @llvm.va_start(i8* %addr)
|
|
; CHECK-NOT: sub sp, sp
|
|
; CHECK: mov [[STACK:x[0-9]+]], sp
|
|
; CHECK: str [[STACK]], [{{x[0-9]+}}, #:lo12:var]
|
|
|
|
; CHECK-NOFP-NOT: sub sp, sp
|
|
; CHECK-NOFP: add [[STACK:x[0-9]+]], sp, #64
|
|
; CHECK-NOFP: str [[STACK]], [{{x[0-9]+}}, #:lo12:var]
|
|
ret void
|
|
}
|
|
|
|
; If there are non-variadic arguments on the stack (here two i64s) then the
|
|
; __stack field should point just past them.
|
|
define void @test_offsetstack([10 x i64], [3 x float], ...) {
|
|
; CHECK-LABEL: test_offsetstack:
|
|
; CHECK: sub sp, sp, #80
|
|
; CHECK: mov x[[FPRBASE:[0-9]+]], sp
|
|
; CHECK: str q7, [x[[FPRBASE]], #64]
|
|
|
|
; CHECK-NOT: str x{{[0-9]+}},
|
|
|
|
; CHECK-NOFP-NOT: str q7,
|
|
; CHECK-NOT: str x7,
|
|
|
|
; Omit the middle ones
|
|
|
|
; CHECK: str q3, [sp]
|
|
|
|
%addr = bitcast %va_list* @var to i8*
|
|
call void @llvm.va_start(i8* %addr)
|
|
; CHECK: add x[[VA_LIST:[0-9]+]], {{x[0-9]+}}, #:lo12:var
|
|
; CHECK: movn [[VR_OFFS:w[0-9]+]], #79
|
|
; CHECK: str [[VR_OFFS]], [x[[VA_LIST]], #28]
|
|
; CHECK: str wzr, [x[[VA_LIST]], #24]
|
|
; CHECK: add [[VR_TOP:x[0-9]+]], x[[FPRBASE]], #80
|
|
; CHECK: str [[VR_TOP]], [x[[VA_LIST]], #16]
|
|
; CHECK: add [[STACK:x[0-9]+]], sp, #96
|
|
; CHECK: str [[STACK]], [{{x[0-9]+}}, #:lo12:var]
|
|
|
|
; CHECK-NOFP: add x[[VA_LIST:[0-9]+]], {{x[0-9]+}}, #:lo12:var
|
|
; CHECK-NOFP: add [[STACK:x[0-9]+]], sp, #40
|
|
; CHECK-NOFP: str [[STACK]], [{{x[0-9]+}}, #:lo12:var]
|
|
; CHECK-NOFP: str wzr, [x[[VA_LIST]], #28]
|
|
; CHECK-NOFP: str wzr, [x[[VA_LIST]], #24]
|
|
ret void
|
|
}
|
|
|
|
declare void @llvm.va_end(i8*)
|
|
|
|
define void @test_va_end() nounwind {
|
|
; CHECK-LABEL: test_va_end:
|
|
; CHECK-NEXT: BB#0
|
|
; CHECK-NOFP: BB#0
|
|
|
|
%addr = bitcast %va_list* @var to i8*
|
|
call void @llvm.va_end(i8* %addr)
|
|
|
|
ret void
|
|
; CHECK-NEXT: ret
|
|
; CHECK-NOFP-NEXT: ret
|
|
}
|
|
|
|
declare void @llvm.va_copy(i8* %dest, i8* %src)
|
|
|
|
@second_list = global %va_list zeroinitializer
|
|
|
|
define void @test_va_copy() {
|
|
; CHECK-LABEL: test_va_copy:
|
|
%srcaddr = bitcast %va_list* @var to i8*
|
|
%dstaddr = bitcast %va_list* @second_list to i8*
|
|
call void @llvm.va_copy(i8* %dstaddr, i8* %srcaddr)
|
|
|
|
; Check beginning and end again:
|
|
|
|
; CHECK: add x[[SRC_LIST:[0-9]+]], {{x[0-9]+}}, #:lo12:var
|
|
; CHECK: add x[[DEST_LIST:[0-9]+]], {{x[0-9]+}}, #:lo12:second_list
|
|
; CHECK: ldr [[BLOCK1:x[0-9]+]], [{{x[0-9]+}}, #:lo12:var]
|
|
; CHECK: ldr [[BLOCK2:x[0-9]+]], [x[[SRC_LIST]], #24]
|
|
; CHECK: str [[BLOCK1]], [{{x[0-9]+}}, #:lo12:second_list]
|
|
; CHECK: str [[BLOCK2]], [x[[DEST_LIST]], #24]
|
|
|
|
; CHECK-NOFP: add x[[SRC_LIST:[0-9]+]], {{x[0-9]+}}, #:lo12:var
|
|
; CHECK-NOFP: add x[[DEST_LIST:[0-9]+]], {{x[0-9]+}}, #:lo12:second_list
|
|
; CHECK-NOFP: ldr [[BLOCK1:x[0-9]+]], [{{x[0-9]+}}, #:lo12:var]
|
|
; CHECK-NOFP: ldr [[BLOCK2:x[0-9]+]], [x[[SRC_LIST]], #24]
|
|
; CHECK-NOFP: str [[BLOCK1]], [{{x[0-9]+}}, #:lo12:second_list]
|
|
; CHECK-NOFP: str [[BLOCK2]], [x[[DEST_LIST]], #24]
|
|
|
|
ret void
|
|
; CHECK: ret
|
|
; CHECK-NOFP: ret
|
|
}
|
|
|
|
%struct.s_3i = type { i32, i32, i32 }
|
|
|
|
; This checks that, if the last named argument is not a multiple of 8 bytes,
|
|
; and is allocated on the stack, that __va_list.__stack is initialised to the
|
|
; first 8-byte aligned location above it.
|
|
define void @test_va_odd_struct_on_stack(i32 %a, i32 %b, i32 %c, i32 %d, i32 %e, i32 %f, i32 %g, [1 x i64], %struct.s_3i* byval nocapture readnone align 4 %h, ...) {
|
|
; CHECK-LABEL: test_va_odd_struct_on_stack:
|
|
|
|
; CHECK: sub sp, sp, #128
|
|
; CHECK: mov x[[FPRBASE:[0-9]+]], sp
|
|
; CHECK: str q7, [x[[FPRBASE]], #112]
|
|
|
|
; CHECK-NOT: str x{{[0-9]+}},
|
|
|
|
; CHECK-NOFP-NOT: str q7,
|
|
; CHECK-NOT: str x7,
|
|
|
|
; Omit the middle ones
|
|
|
|
; CHECK: str q0, [sp]
|
|
|
|
%addr = bitcast %va_list* @var to i8*
|
|
call void @llvm.va_start(i8* %addr)
|
|
; CHECK: add x[[VA_LIST:[0-9]+]], {{x[0-9]+}}, #:lo12:var
|
|
; CHECK: movn [[VR_OFFS:w[0-9]+]], #127
|
|
; CHECK: str [[VR_OFFS]], [x[[VA_LIST]], #28]
|
|
; CHECK: str wzr, [x[[VA_LIST]], #24]
|
|
; CHECK: add [[VR_TOP:x[0-9]+]], x[[FPRBASE]], #128
|
|
; CHECK: str [[VR_TOP]], [x[[VA_LIST]], #16]
|
|
; This constant would be #140 if it was not 8-byte aligned
|
|
; CHECK: add [[STACK:x[0-9]+]], sp, #144
|
|
; CHECK: str [[STACK]], [{{x[0-9]+}}, #:lo12:var]
|
|
|
|
; CHECK-NOFP: add x[[VA_LIST:[0-9]+]], {{x[0-9]+}}, #:lo12:var
|
|
; This constant would be #12 if it was not 8-byte aligned
|
|
; CHECK-NOFP: add [[STACK:x[0-9]+]], sp, #16
|
|
; CHECK-NOFP: str [[STACK]], [{{x[0-9]+}}, #:lo12:var]
|
|
; CHECK-NOFP: str wzr, [x[[VA_LIST]], #28]
|
|
; CHECK-NOFP: str wzr, [x[[VA_LIST]], #24]
|
|
ret void
|
|
}
|