blob: a394ed3e38584a0346d215e932c022503a41ce75 (
plain)
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
|
; RUN: llc < %s | FileCheck %s -check-prefix=NOIPRA
; RUN: llc -enable-ipra < %s | FileCheck %s
target triple = "x86_64--"
define internal void @foo() norecurse {
; When IPRA is not enabled R15 will be saved by foo as it is callee saved reg.
; NOIPRA-LABEL: foo:
; NOIPRA: pushq %r15
; When IPRA is enabled none register should be saved as foo() is local function
; so we optimize it to save no registers.
; CHECK-LABEL: foo:
; CHECK-NOT: pushq %r15
call void asm sideeffect "movl %r14d, %r15d", "~{r15}"()
ret void
}
define void @bar(i32 %X) {
call void asm sideeffect "movl %r12d, $0", "{r15}~{r12}"(i32 %X)
; As R15 is clobbered by foo() when IPRA is enabled value of R15 should be
; saved if register containing orignal value is also getting clobbered
; and reloaded after foo(), here original value is loaded back into R15D after
; call to foo.
call void @foo()
; CHECK-LABEL: bar:
; CHECK: callq foo
; CHECK-NEXT: movl %eax, %r15d
call void asm sideeffect "movl $0, %r12d", "{r15}~{r12}"(i32 %X)
ret void
}
|
