| ; RUN: llc < %s | FileCheck %s -check-prefix=NOIPRA | |
| ; RUN: llc -enable-ipra < %s | FileCheck %s | |
| target triple = "x86_64-unknown-unknown" | |
| define void @bar1() { | |
| ret void | |
| } | |
| define preserve_allcc void @foo()#0 { | |
| ; Due to preserve_allcc foo() will save some registers at start of foo() | |
| ; prefix NOIPRA will verify that. | |
| ; NOIPRA-LABEL: foo: | |
| ; NOIPRA: pushq %r10 | |
| ; NOIPRA-NEXT: pushq %r9 | |
| ; NOIPRA-NEXT: pushq %r8 | |
| ; NOIPRA: callq bar1 | |
| ; When IPRA is present above registers will not be saved and that is verified | |
| ; by prefix CHECK. | |
| ; CHECK: foo: | |
| ; CHECK-NOT: pushq %r10 | |
| ; CHECK-NOT: pushq %r9 | |
| ; CHECK-NOT: pushq %r8 | |
| ; CHECK: callq bar1 | |
| call void @bar1() | |
| call void @bar2() | |
| ret void | |
| } | |
| define void @bar2() { | |
| ret void | |
| } | |
| attributes #0 = {nounwind} |