1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
| ; RUN: llc -mtriple=arm64_32-apple-ios %s -o - | FileCheck %s
define void @test_va_copy(i8* %dst, i8* %src) {
; CHECK-LABEL: test_va_copy:
; CHECK: ldr [[PTR:w[0-9]+]], [x1]
; CHECK: str [[PTR]], [x0]
call void @llvm.va_copy(i8* %dst, i8* %src)
ret void
}
define void @test_va_start(i32, ...) {
; CHECK-LABEL: test_va_start
; CHECK: add x[[LIST:[0-9]+]], sp, #16
; CHECK: str w[[LIST]],
%slot = alloca i8*, align 4
%list = bitcast i8** %slot to i8*
call void @llvm.va_start(i8* %list)
ret void
}
define void @test_va_start_odd([8 x i64], i32, ...) {
; CHECK-LABEL: test_va_start_odd:
; CHECK: add x[[LIST:[0-9]+]], sp, #20
; CHECK: str w[[LIST]],
%slot = alloca i8*, align 4
%list = bitcast i8** %slot to i8*
call void @llvm.va_start(i8* %list)
ret void
}
define i8* @test_va_arg(i8** %list) {
; CHECK-LABEL: test_va_arg:
; CHECK: ldr w[[LOC:[0-9]+]], [x0]
; CHECK: add [[NEXTLOC:w[0-9]+]], w[[LOC]], #4
; CHECK: str [[NEXTLOC]], [x0]
; CHECK: ldr w0, [x[[LOC]]]
%res = va_arg i8** %list, i8*
ret i8* %res
}
define i8* @really_test_va_arg(i8** %list, i1 %tst) {
; CHECK-LABEL: really_test_va_arg:
; CHECK: ldr w[[LOC:[0-9]+]], [x0]
; CHECK: add [[NEXTLOC:w[0-9]+]], w[[LOC]], #4
; CHECK: str [[NEXTLOC]], [x0]
; CHECK: ldr w[[VAARG:[0-9]+]], [x[[LOC]]]
; CHECK: csel x0, x[[VAARG]], xzr
%tmp = va_arg i8** %list, i8*
%res = select i1 %tst, i8* %tmp, i8* null
ret i8* %res
}
declare void @llvm.va_start(i8*)
declare void @llvm.va_copy(i8*, i8*)
|