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
|
; FIXME: Add tests for global-isel/fast-isel.
; RUN: llc < %s -mtriple=arm64-windows | FileCheck %s
%class.C = type { [1 x i32] }
define dso_local void @"?bar"(ptr inreg noalias sret(%class.C) %agg.result) {
entry:
; CHECK-LABEL: bar
; CHECK: mov x19, x0
; CHECK: bl "?foo"
; CHECK: mov x0, x19
tail call void @"?foo"(ptr dereferenceable(4) %agg.result)
ret void
}
declare dso_local void @"?foo"(ptr dereferenceable(4))
declare void @inreg_callee(ptr, ptr inreg sret(%class.C))
define void @inreg_caller_1(ptr %a, ptr inreg sret(%class.C) %b) {
; A different value is passed to the inreg parameter, so tail call is not possible.
; CHECK-LABEL: inreg_caller_1
; CHECK: mov x19, x1
; CHECK: bl inreg_callee
; CHECK: mov x0, x19
tail call void @inreg_callee(ptr %b, ptr inreg sret(%class.C) %a)
ret void
}
define void @inreg_caller_2(ptr %a, ptr inreg sret(%class.C) %b) {
; The inreg attribute and value line up between caller and callee, so it can
; be tail called.
; CHECK-LABEL: inreg_caller_2
; CHECK: b inreg_callee
tail call void @inreg_callee(ptr %a, ptr inreg sret(%class.C) %b)
ret void
}
|
