103 lines · plain
1; RUN: llc < %s -mtriple=x86_64-apple-darwin | FileCheck %s2 3%struct.Large = type { [64 x i32] }4 5; Check that %rax is also preserved for a function with sret parameter,6define preserve_mostcc void @sret_foo(ptr noalias nocapture writeonly sret(%struct.Large) align 4, i32 noundef) nounwind {7entry:8;CHECK: pushq %r109;CHECK-NEXT: pushq %r910;CHECK-NEXT: pushq %r811;CHECK-NEXT: pushq %rdi12;CHECK-NEXT: pushq %rsi13;CHECK-NEXT: pushq %rdx14;CHECK-NEXT: pushq %rcx15;CHECK-NEXT: pushq %rax16;CHECK-NEXT: pushq %rbp17;CHECK-NEXT: pushq %r1518;CHECK-NEXT: pushq %r1419;CHECK-NEXT: pushq %r1320;CHECK-NEXT: pushq %r1221;CHECK-NEXT: pushq %rbx22;CHECK: popq %rbx23;CHECK-NEXT: popq %r1224;CHECK-NEXT: popq %r1325;CHECK-NEXT: popq %r1426;CHECK-NEXT: popq %r1527;CHECK-NEXT: popq %rbp28;CHECK-NEXT: popq %rax29;CHECK-NEXT: popq %rcx30;CHECK-NEXT: popq %rdx31;CHECK-NEXT: popq %rsi32;CHECK-NEXT: popq %rdi33;CHECK-NEXT: popq %r834;CHECK-NEXT: popq %r935;CHECK-NEXT: popq %r1036 call void asm sideeffect "", "~{rax},~{rbx},~{rcx},~{rdx},~{rsi},~{rdi},~{r8},~{r9},~{r10},~{r11},~{r12},~{r13},~{r14},~{r15},~{rbp},~{xmm0},~{xmm1},~{xmm2},~{xmm3},~{xmm4},~{xmm5},~{xmm6},~{xmm7},~{xmm8},~{xmm9},~{xmm10},~{xmm11},~{xmm12},~{xmm13},~{xmm14},~{xmm15}"()37 ret void38}39 40; Check that neither %rax no %rdi are caller-saved.41define void @foo(ptr noalias nocapture writeonly sret(%struct.Large) align 4 %0, i32 noundef %1) nounwind {42entry:43;CHECK-NOT: movq %rax, [[REG1:%[a-z0-9]+]]44;CHECK-NOT: movq %rdi, [[REG2:%[a-z0-9]+]]45;CHECK: movq %r11, [[REG3:%[a-z0-9]+]]46;CHECK: movaps %xmm247;CHECK: movaps %xmm348;CHECK: movaps %xmm449;CHECK: movaps %xmm550;CHECK: movaps %xmm651;CHECK: movaps %xmm752;CHECK: movaps %xmm853;CHECK: movaps %xmm954;CHECK: movaps %xmm1055;CHECK: movaps %xmm1156;CHECK: movaps %xmm1257;CHECK: movaps %xmm1358;CHECK: movaps %xmm1459;CHECK: movaps %xmm1560;CHECK: call61;CHECK-NOT: movq {{.*}}, %rax62;CHECK-NOT: movq {{.*}}, %rdi63;CHECK: movq [[REG3]], %r1164;CHECK: movaps {{.*}} %xmm265;CHECK: movaps {{.*}} %xmm366;CHECK: movaps {{.*}} %xmm467;CHECK: movaps {{.*}} %xmm568;CHECK: movaps {{.*}} %xmm669;CHECK: movaps {{.*}} %xmm770;CHECK: movaps {{.*}} %xmm871;CHECK: movaps {{.*}} %xmm972;CHECK: movaps {{.*}} %xmm1073;CHECK: movaps {{.*}} %xmm1174;CHECK: movaps {{.*}} %xmm1275;CHECK: movaps {{.*}} %xmm1376;CHECK: movaps {{.*}} %xmm1477;CHECK: movaps {{.*}} %xmm1578 %a0 = call i64 asm sideeffect "", "={rax}"() nounwind79 %a1 = call i64 asm sideeffect "", "={rcx}"() nounwind80 %a2 = call i64 asm sideeffect "", "={rdx}"() nounwind81 %a3 = call i64 asm sideeffect "", "={r8}"() nounwind82 %a4 = call i64 asm sideeffect "", "={r9}"() nounwind83 %a5 = call i64 asm sideeffect "", "={r10}"() nounwind84 %a6 = call i64 asm sideeffect "", "={r11}"() nounwind85 %a10 = call <2 x double> asm sideeffect "", "={xmm2}"() nounwind86 %a11 = call <2 x double> asm sideeffect "", "={xmm3}"() nounwind87 %a12 = call <2 x double> asm sideeffect "", "={xmm4}"() nounwind88 %a13 = call <2 x double> asm sideeffect "", "={xmm5}"() nounwind89 %a14 = call <2 x double> asm sideeffect "", "={xmm6}"() nounwind90 %a15 = call <2 x double> asm sideeffect "", "={xmm7}"() nounwind91 %a16 = call <2 x double> asm sideeffect "", "={xmm8}"() nounwind92 %a17 = call <2 x double> asm sideeffect "", "={xmm9}"() nounwind93 %a18 = call <2 x double> asm sideeffect "", "={xmm10}"() nounwind94 %a19 = call <2 x double> asm sideeffect "", "={xmm11}"() nounwind95 %a20 = call <2 x double> asm sideeffect "", "={xmm12}"() nounwind96 %a21 = call <2 x double> asm sideeffect "", "={xmm13}"() nounwind97 %a22 = call <2 x double> asm sideeffect "", "={xmm14}"() nounwind98 %a23 = call <2 x double> asm sideeffect "", "={xmm15}"() nounwind99 call preserve_mostcc void @sret_foo(ptr sret(%struct.Large) align 4 %0, i32 noundef %1)100 call void asm sideeffect "", "{rax},{rcx},{rdx},{r8},{r9},{r10},{r11},{xmm2},{xmm3},{xmm4},{xmm5},{xmm6},{xmm7},{xmm8},{xmm9},{xmm10},{xmm11},{xmm12},{xmm13},{xmm14},{xmm15}"(i64 %a0, i64 %a1, i64 %a2, i64 %a3, i64 %a4, i64 %a5, i64 %a6, <2 x double> %a10, <2 x double> %a11, <2 x double> %a12, <2 x double> %a13, <2 x double> %a14, <2 x double> %a15, <2 x double> %a16, <2 x double> %a17, <2 x double> %a18, <2 x double> %a19, <2 x double> %a20, <2 x double> %a21, <2 x double> %a22, <2 x double> %a23)101 ret void102}103