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
|
; 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(i8* swiftasync %context) "frame-pointer"="all" {
ret void
}
; CHECK64-LABEL: simple:
; CHECK64: btsq $60, %rbp
; CHECK64: pushq %rbp
; CHECK64: pushq %r14
; CHECK64: leaq 8(%rsp), %rbp
; [...]
; CHECK64: addq $16, %rsp
; CHECK64: popq %rbp
; CHECK64: btrq $60, %rbp
; CHECK64: retq
; CHECK32-LABEL simple:
; CHECK32: movl 8(%ebp), [[TMP:%.*]]
; CHECK32: movl [[TMP]], {{.*}}(%ebp)
define void @more_csrs(i8* swiftasync %context) "frame-pointer"="all" {
call void asm sideeffect "", "~{r15}"()
ret void
}
; CHECK64-LABEL: more_csrs:
; CHECK64: btsq $60, %rbp
; CHECK64: pushq %rbp
; CHECK64: .seh_pushreg %rbp
; CHECK64: pushq %r14
; CHECK64: .seh_pushreg %r14
; CHECK64: leaq 8(%rsp), %rbp
; CHECK64: subq $8, %rsp
; CHECK64: pushq %r15
; CHECK64: .seh_pushreg %r15
; [...]
; CHECK64: popq %r15
; CHECK64: addq $16, %rsp
; CHECK64: popq %rbp
; CHECK64: btrq $60, %rbp
; CHECK64: retq
declare void @f(i32*)
define void @locals(i8* swiftasync %context) "frame-pointer"="all" {
%var = alloca i32, i32 10
call void @f(i32* %var)
ret void
}
; CHECK64-LABEL: locals:
; CHECK64: btsq $60, %rbp
; CHECK64: pushq %rbp
; CHECK64: .seh_pushreg %rbp
; CHECK64: pushq %r14
; CHECK64: .seh_pushreg %r14
; CHECK64: leaq 8(%rsp), %rbp
; CHECK64: subq $88, %rsp
; CHECK64: leaq -48(%rbp), %rcx
; CHECK64: callq f
; CHECK64: addq $80, %rsp
; CHECK64: addq $16, %rsp
; CHECK64: popq %rbp
; CHECK64: btrq $60, %rbp
; CHECK64: retq
define void @use_input_context(i8* swiftasync %context, i8** %ptr) "frame-pointer"="all" {
store i8* %context, i8** %ptr
ret void
}
; CHECK64-LABEL: use_input_context:
; CHECK64: movq %r14, (%rcx)
declare i8** @llvm.swift.async.context.addr()
define i8** @context_in_func() "frmae-pointer"="non-leaf" {
%ptr = call i8** @llvm.swift.async.context.addr()
ret i8** %ptr
}
; CHECK64-LABEL: context_in_func:
; CHECK64: leaq -8(%rbp), %rax
; CHECK32-LABEL: context_in_func:
; CHECK32: movl %esp, %eax
define void @write_frame_context(i8* swiftasync %context, i8* %new_context) "frame-pointer"="non-leaf" {
%ptr = call i8** @llvm.swift.async.context.addr()
store i8* %new_context, i8** %ptr
ret void
}
; CHECK64-LABEL: write_frame_context:
; CHECK64: movq %rbp, [[TMP:%.*]]
; CHECK64: subq $8, [[TMP]]
; CHECK64: movq %rcx, ([[TMP]])
define void @simple_fp_elim(i8* swiftasync %context) "frame-pointer"="non-leaf" {
ret void
}
; CHECK64-LABEL: simple_fp_elim:
; CHECK64-NOT: btsq
|
