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=aarch64-none-linux-gnu -frame-pointer=none < %s | \
; RUN: FileCheck %s --check-prefixes=CHECK,NONE
; RUN: llc -mtriple=aarch64-none-linux-gnu -frame-pointer=reserved < %s | \
; RUN: FileCheck %s --check-prefixes=CHECK,RESERVED
; RUN: llc -mtriple=aarch64-none-linux-gnu -frame-pointer=all < %s | \
; RUN: FileCheck %s --check-prefixes=CHECK,ALL
; By default, Darwin and Windows will reserve x29
; RUN: llc -mtriple=aarch64-darwin -frame-pointer=none < %s | \
; RUN: FileCheck %s --check-prefixes=CHECK,RESERVED
; RUN: llc -mtriple=aarch64-darwin -frame-pointer=none < %s | \
; RUN: FileCheck %s --check-prefixes=CHECK,RESERVED
@var = global i32 0
declare void @bar()
define void @test_w29_reserved() {
; CHECK-LABEL: test_w29_reserved:
; ALL: add x29, sp
; NONE-NOT: add x29
; NONE-NOT: mov x29
; RESERVED-NOT: add x29
; RESERVED-NOT: mov x29
%val1 = load volatile i32, ptr @var
%val2 = load volatile i32, ptr @var
%val3 = load volatile i32, ptr @var
%val4 = load volatile i32, ptr @var
%val5 = load volatile i32, ptr @var
%val6 = load volatile i32, ptr @var
%val7 = load volatile i32, ptr @var
%val8 = load volatile i32, ptr @var
%val9 = load volatile i32, ptr @var
%val10 = load volatile i32, ptr @var
; NONE: ldr w29,
; ALL-NOT: ldr w29,
; RESERVED-NOT: ldr w29,
; Call to prevent fp-elim that occurs regardless in leaf functions.
call void @bar()
store volatile i32 %val1, ptr @var
store volatile i32 %val2, ptr @var
store volatile i32 %val3, ptr @var
store volatile i32 %val4, ptr @var
store volatile i32 %val5, ptr @var
store volatile i32 %val6, ptr @var
store volatile i32 %val7, ptr @var
store volatile i32 %val8, ptr @var
store volatile i32 %val9, ptr @var
store volatile i32 %val10, ptr @var
ret void
; CHECK: ret
}
|
