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
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
|
; RUN: llc < %s -mtriple=arm64-apple-ios7.0 -homogeneous-prolog-epilog| FileCheck %s
; RUN: llc < %s -mtriple=aarch64-unknown-linux-gnu -homogeneous-prolog-epilog | FileCheck %s --check-prefixes=CHECK-LINUX
; CHECK-LABEL: __Z3hooii:
; CHECK: stp x29, x30, [sp, #-16]!
; CHECK-NEXT: bl _OUTLINED_FUNCTION_PROLOG_x30x29x19x20x21x22
; CHECK: bl __Z3gooi
; CHECK: bl __Z3gooi
; CHECK: bl _OUTLINED_FUNCTION_EPILOG_x30x29x19x20x21x22
; CHECK-NEXT: b __Z3gooi
; CHECK-LINUX-LABEL: _Z3hooii:
; CHECK-LINUX: stp x29, x30, [sp, #-48]!
; CHECK-LINUX-NEXT: bl OUTLINED_FUNCTION_PROLOG_x19x20x21x22x30x29
; CHECK-LINUX: bl _Z3gooi
; CHECK-LINUX: bl _Z3gooi
; CHECK-LINUX: bl OUTLINED_FUNCTION_EPILOG_x19x20x21x22x30x29
; CHECK-LINUX-NEXT: b _Z3gooi
define i32 @_Z3hooii(i32 %b, i32 %a) nounwind ssp minsize {
%1 = tail call i32 @_Z3gooi(i32 %b)
%2 = tail call i32 @_Z3gooi(i32 %a)
%3 = add i32 %a, %b
%4 = add i32 %3, %1
%5 = add i32 %4, %2
%6 = tail call i32 @_Z3gooi(i32 %5)
ret i32 %6
}
declare i32 @_Z3gooi(i32);
; CHECK-LABEL: _foo:
; CHECK: sub sp, sp, #16
; CHECK: bl _goo
; CHECK: add sp, sp, #16
define i32 @foo(i32 %c) nounwind minsize {
entry:
%buffer = alloca [1 x i32], align 4
call void @llvm.lifetime.start.p0(i64 4, ptr nonnull %buffer)
%call = call i32 @goo(ptr nonnull %buffer)
%sub = sub nsw i32 %c, %call
call void @llvm.lifetime.end.p0(i64 4, ptr nonnull %buffer)
ret i32 %sub
}
declare void @llvm.lifetime.start.p0(i64 immarg, ptr nocapture)
declare i32 @goo(ptr)
declare void @llvm.lifetime.end.p0(i64 immarg, ptr nocapture)
; CHECK-LABEL: _OUTLINED_FUNCTION_PROLOG_x30x29x19x20x21x22:
; CHECK: stp x22, x21, [sp, #-32]!
; CHECK-NEXT: stp x20, x19, [sp, #16]
; CHECK-NEXT: ret
; CHECK-LABEL: _OUTLINED_FUNCTION_EPILOG_x30x29x19x20x21x22:
; CHECK: mov x16, x30
; CHECK-NEXT: ldp x29, x30, [sp, #32]
; CHECK-NEXT: ldp x20, x19, [sp, #16]
; CHECK-NEXT: ldp x22, x21, [sp], #48
; CHECK-NEXT: ret x16
; CHECK-LINUX-LABEL: OUTLINED_FUNCTION_PROLOG_x19x20x21x22x30x29:
; CHECK-LINUX: stp x22, x21, [sp, #16]
; CHECK-LINUX-NEXT: stp x20, x19, [sp, #32]
; CHECK-LINUX-NEXT: ret
; CHECK-LINUX-LABEL: OUTLINED_FUNCTION_EPILOG_x19x20x21x22x30x29:
; CHECK-LINUX: mov x16, x30
; CHECK-LINUX-NEXT: ldp x20, x19, [sp, #32]
; CHECK-LINUX-NEXT: ldp x22, x21, [sp, #16]
; CHECK-LINUX-NEXT: ldp x29, x30, [sp], #48
; CHECK-LINUX-NEXT: ret x16
; nothing to check - hit assert if not bailing out for swiftasync
define void @swift_async(ptr swiftasync %ctx) minsize "frame-pointer"="all" {
ret void
}
|
