89 lines · plain
1; RUN: llc -mtriple=x86_64-apple-darwin -stop-after finalize-isel <%s | FileCheck %s2 3; Check that the callee doesn't have calleeSavedRegisters.4define preserve_nonecc i64 @callee1(i64 %a0, i64 %b0, i64 %c0, i64 %d0, i64 %e0) nounwind {5 %a1 = mul i64 %a0, %b06 %a2 = mul i64 %a1, %c07 %a3 = mul i64 %a2, %d08 %a4 = mul i64 %a3, %e09 ret i64 %a410}11; CHECK: name: callee112; CHECK-NOT: calleeSavedRegisters:13; CHECK: RET 0, $rax14 15; Check that RegMask is csr_64_noneregs.16define i64 @caller1(i64 %a0) nounwind {17 %b1 = call preserve_nonecc i64 @callee1(i64 %a0, i64 %a0, i64 %a0, i64 %a0, i64 %a0)18 %b2 = add i64 %b1, %a019 ret i64 %b220}21; CHECK: name: caller122; CHECK: CALL64pcrel32 @callee1, csr_64_noneregs23; CHECK: RET 0, $rax24 25 26; Check that the callee doesn't have calleeSavedRegisters.27define preserve_nonecc {i64, i64} @callee2(i64 %a0, i64 %b0, i64 %c0, i64 %d0, i64 %e0) nounwind {28 %a1 = mul i64 %a0, %b029 %a2 = mul i64 %a1, %c030 %a3 = mul i64 %a2, %d031 %a4 = mul i64 %a3, %e032 %b4 = insertvalue {i64, i64} undef, i64 %a3, 033 %b5 = insertvalue {i64, i64} %b4, i64 %a4, 134 ret {i64, i64} %b535}36; CHECK: name: callee237; CHECK-NOT: calleeSavedRegisters:38; CHECK: RET 0, $rax, $rdx39 40 41; Check that RegMask is csr_64_noneregs.42define {i64, i64} @caller2(i64 %a0) nounwind {43 %b1 = call preserve_nonecc {i64, i64} @callee2(i64 %a0, i64 %a0, i64 %a0, i64 %a0, i64 %a0)44 ret {i64, i64} %b145}46; CHECK: name: caller247; CHECK: CALL64pcrel32 @callee2, csr_64_noneregs48; CHECK: RET 0, $rax, $rdx49 50 51%struct.Large = type { i64, double, double }52 53; Declare the callee with a sret parameter.54declare preserve_nonecc void @callee3(ptr noalias nocapture writeonly sret(%struct.Large) align 4 %a0, i64 %b0) nounwind;55 56; Check that RegMask is csr_64_noneregs.57define void @caller3(i64 %a0) nounwind {58 %a1 = alloca %struct.Large, align 859 call preserve_nonecc void @callee3(ptr nonnull sret(%struct.Large) align 8 %a1, i64 %a0)60 ret void61}62; CHECK: name: caller363; CHECK: CALL64pcrel32 @callee3, csr_64_noneregs64; CHECK: RET 065 66 67; Check that the callee doesn't have calleeSavedRegisters.68define preserve_nonecc {i64, double} @callee4(i64 %a0, i64 %b0, i64 %c0, i64 %d0, i64 %e0) nounwind {69 %a1 = mul i64 %a0, %b070 %a2 = mul i64 %a1, %c071 %a3 = mul i64 %a2, %d072 %a4 = mul i64 %a3, %e073 %b4 = insertvalue {i64, double} undef, i64 %a3, 074 %b5 = insertvalue {i64, double} %b4, double 1.2, 175 ret {i64, double} %b576}77; CHECK: name: callee478; CHECK-NOT: calleeSavedRegisters:79; CHECK: RET 0, $rax, $xmm080 81; Check that RegMask is csr_64_noneregs.82define {i64, double} @caller4(i64 %a0) nounwind {83 %b1 = call preserve_nonecc {i64, double} @callee4(i64 %a0, i64 %a0, i64 %a0, i64 %a0, i64 %a0)84 ret {i64, double} %b185}86; CHECK: name: caller487; CHECK: CALL64pcrel32 @callee4, csr_64_noneregs88; CHECK: RET 0, $rax, $xmm089