1; RUN: llc -mtriple=aarch64-apple-darwin -stop-after finalize-isel <%s | FileCheck %s 2 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, %b0 6 %a2 = mul i64 %a1, %c0 7 %a3 = mul i64 %a2, %d0 8 %a4 = mul i64 %a3, %e0 9 ret i64 %a4 10} 11; CHECK: name: callee1 12; CHECK-NOT: calleeSavedRegisters: 13; CHECK: RET_ReallyLR implicit $x0 14 15; Check that RegMask is csr_aarch64_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, %a0 19 ret i64 %b2 20} 21; CHECK: name: caller1 22; CHECK: BL @callee1, csr_aarch64_noneregs 23; CHECK: RET_ReallyLR implicit $x0 24 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, %b0 29 %a2 = mul i64 %a1, %c0 30 %a3 = mul i64 %a2, %d0 31 %a4 = mul i64 %a3, %e0 32 %b4 = insertvalue {i64, i64} undef, i64 %a3, 0 33 %b5 = insertvalue {i64, i64} %b4, i64 %a4, 1 34 ret {i64, i64} %b5 35} 36; CHECK: name: callee2 37; CHECK-NOT: calleeSavedRegisters: 38; CHECK: RET_ReallyLR implicit $x0 39 40 41; Check that RegMask is csr_aarch64_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} %b1 45} 46; CHECK: name: caller2 47; CHECK: BL @callee2, csr_aarch64_noneregs 48; CHECK: RET_ReallyLR implicit $x0 49 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_aarch64_noneregs. 57define void @caller3(i64 %a0) nounwind { 58 %a1 = alloca %struct.Large, align 8 59 call preserve_nonecc void @callee3(ptr nonnull sret(%struct.Large) align 8 %a1, i64 %a0) 60 ret void 61} 62; CHECK: name: caller3 63; CHECK: BL @callee3, csr_aarch64_noneregs 64; CHECK: RET_ReallyLR 65 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, %b0 70 %a2 = mul i64 %a1, %c0 71 %a3 = mul i64 %a2, %d0 72 %a4 = mul i64 %a3, %e0 73 %b4 = insertvalue {i64, double} undef, i64 %a3, 0 74 %b5 = insertvalue {i64, double} %b4, double 1.2, 1 75 ret {i64, double} %b5 76} 77; CHECK: name: callee4 78; CHECK-NOT: calleeSavedRegisters: 79; CHECK: RET_ReallyLR implicit $x0, implicit $d0 80 81; Check that RegMask is csr_aarch64_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} %b1 85} 86; CHECK: name: caller4 87; CHECK: BL @callee4, csr_aarch64_noneregs 88; CHECK: RET_ReallyLR implicit $x0, implicit $d0 89