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
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
|
; RUN: llc -mtriple x86_64-unknown-windows-msvc %s -o - | FileCheck %s -check-prefix CHECK64
; RUN: llc -mtriple i686-windows-msvc %s -o - | FileCheck %s -check-prefix CHECK32
define void @simple(ptr swiftasync %context) "frame-pointer"="all" {
ret void
}
; CHECK64-LABEL: simple:
; CHECK64: pushq %rbp
; CHECK64: pushq %rax
; CHECK64: movq %rsp, %rbp
; CHECK64: movq %r14, (%rbp)
; CHECK64: addq $8, %rsp
; CHECK64: popq %rbp
; CHECK64: retq
; CHECK32-LABEL: simple:
; CHECK32: movl 8(%ebp), [[TMP:%.*]]
; CHECK32: movl [[TMP]], {{.*}}(%ebp)
define void @more_csrs(ptr swiftasync %context) "frame-pointer"="all" {
call void asm sideeffect "", "~{r15}"()
ret void
}
; CHECK64-LABEL: more_csrs:
; CHECK64: pushq %rbp
; CHECK64: .seh_pushreg %rbp
; CHECK64: pushq %r15
; CHECK64: .seh_pushreg %r15
; CHECK64: pushq %rax
; CHECK64: .seh_stackalloc 8
; CHECK64: movq %rsp, %rbp
; CHECK64: .seh_setframe %rbp, 0
; CHECK64: .seh_endprologue
; CHECK64: movq %r14, (%rbp)
; [...]
; CHECK64: addq $8, %rsp
; CHECK64: popq %r15
; CHECK64: popq %rbp
; CHECK64: retq
declare void @f(ptr)
define void @locals(ptr swiftasync %context) "frame-pointer"="all" {
%var = alloca i32, i32 10
call void @f(ptr %var)
ret void
}
; CHECK64-LABEL: locals:
; CHECK64: pushq %rbp
; CHECK64: .seh_pushreg %rbp
; CHECK64: subq $80, %rsp
; CHECK64: movq %r14, -8(%rbp)
; CHECK64: leaq -48(%rbp), %rcx
; CHECK64: callq f
; CHECK64: addq $80, %rsp
; CHECK64: popq %rbp
; CHECK64: retq
define void @use_input_context(ptr swiftasync %context, ptr %ptr) "frame-pointer"="all" {
store ptr %context, ptr %ptr
ret void
}
; CHECK64-LABEL: use_input_context:
; CHECK64: movq %r14, (%rcx)
declare ptr @llvm.swift.async.context.addr()
define ptr @context_in_func() "frmae-pointer"="non-leaf" {
%ptr = call ptr @llvm.swift.async.context.addr()
ret ptr %ptr
}
; CHECK64-LABEL: context_in_func:
; CHECK64: movq %rsp, %rax
; CHECK32-LABEL: context_in_func:
; CHECK32: movl %esp, %eax
define void @write_frame_context(ptr swiftasync %context, ptr %new_context) "frame-pointer"="non-leaf" {
%ptr = call ptr @llvm.swift.async.context.addr()
store ptr %new_context, ptr %ptr
ret void
}
; CHECK64-LABEL: write_frame_context:
; CHECK64: movq %rcx, (%rsp)
define void @simple_fp_elim(ptr swiftasync %context) "frame-pointer"="non-leaf" {
ret void
}
; CHECK64-LABEL: simple_fp_elim:
; CHECK64-NOT: btsq
define void @manylocals_and_overwritten_context(ptr swiftasync %context, ptr %new_context) "frame-pointer"="all" {
%ptr = call ptr @llvm.swift.async.context.addr()
store ptr %new_context, ptr %ptr
%var1 = alloca i64, i64 1
call void @f(ptr %var1)
%var2 = alloca i64, i64 16
call void @f(ptr %var2)
%ptr2 = call ptr @llvm.swift.async.context.addr()
store ptr %new_context, ptr %ptr2
ret void
}
; CHECK64-LABEL: manylocals_and_overwritten_context:
; CHECK64: pushq %rbp
; CHECK64: subq $184, %rsp
; CHECK64: leaq 128(%rsp), %rbp
; CHECK64: movq %rcx, %rsi
; CHECK64: movq %rcx, 48(%rbp)
; CHECK64: callq f
; CHECK64: callq f
; CHECK64: movq %rsi, 48(%rbp)
|
