114 lines · plain
1; NOTE: Assertions have been autogenerated by utils/update_llc_test_checks.py2; RUN: llc --mtriple=loongarch64 --mattr=+d --target-abi=lp64d < %s \3; RUN: | FileCheck %s4 5;; This file contains specific tests for the lp64d ABI.6 7;; Check pass floating-point arguments whith FPRs.8 9define i64 @callee_float_in_fpr(i64 %a, float %b, double %c) nounwind {10; CHECK-LABEL: callee_float_in_fpr:11; CHECK: # %bb.0:12; CHECK-NEXT: ftintrz.l.s $fa0, $fa013; CHECK-NEXT: movfr2gr.d $a1, $fa014; CHECK-NEXT: ftintrz.l.d $fa0, $fa115; CHECK-NEXT: movfr2gr.d $a2, $fa016; CHECK-NEXT: add.d $a0, $a0, $a117; CHECK-NEXT: add.d $a0, $a0, $a218; CHECK-NEXT: ret19 %b_fptosi = fptosi float %b to i6420 %c_fptosi = fptosi double %c to i6421 %1 = add i64 %a, %b_fptosi22 %2 = add i64 %1, %c_fptosi23 ret i64 %224}25 26define i64 @caller_float_in_fpr() nounwind {27; CHECK-LABEL: caller_float_in_fpr:28; CHECK: # %bb.0:29; CHECK-NEXT: addi.d $sp, $sp, -1630; CHECK-NEXT: st.d $ra, $sp, 8 # 8-byte Folded Spill31; CHECK-NEXT: movgr2fr.w $fa0, $zero32; CHECK-NEXT: movgr2fr.d $fa1, $zero33; CHECK-NEXT: ori $a0, $zero, 134; CHECK-NEXT: pcaddu18i $ra, %call36(callee_float_in_fpr)35; CHECK-NEXT: jirl $ra, $ra, 036; CHECK-NEXT: ld.d $ra, $sp, 8 # 8-byte Folded Reload37; CHECK-NEXT: addi.d $sp, $sp, 1638; CHECK-NEXT: ret39 %1 = call i64 @callee_float_in_fpr(i64 1, float 0.0, double 0.0)40 ret i64 %141}42 43;; Check that the GPR is used once the FPRs are exhausted.44 45;; Must keep define on a single line due to an update_llc_test_checks.py limitation.46define i64 @callee_double_in_gpr_exhausted_fprs(double %a, double %b, double %c, double %d, double %e, double %f, double %g, double %h, double %i) nounwind {47; CHECK-LABEL: callee_double_in_gpr_exhausted_fprs:48; CHECK: # %bb.0:49; CHECK-NEXT: movgr2fr.d $fa0, $a050; CHECK-NEXT: ftintrz.l.d $fa1, $fa751; CHECK-NEXT: movfr2gr.d $a0, $fa152; CHECK-NEXT: ftintrz.l.d $fa0, $fa053; CHECK-NEXT: movfr2gr.d $a1, $fa054; CHECK-NEXT: add.d $a0, $a0, $a155; CHECK-NEXT: ret56 %h_fptosi = fptosi double %h to i6457 %i_fptosi = fptosi double %i to i6458 %1 = add i64 %h_fptosi, %i_fptosi59 ret i64 %160}61 62define i64 @caller_double_in_gpr_exhausted_fprs() nounwind {63; CHECK-LABEL: caller_double_in_gpr_exhausted_fprs:64; CHECK: # %bb.0:65; CHECK-NEXT: addi.d $sp, $sp, -1666; CHECK-NEXT: st.d $ra, $sp, 8 # 8-byte Folded Spill67; CHECK-NEXT: ori $a0, $zero, 068; CHECK-NEXT: lu32i.d $a0, 13107269; CHECK-NEXT: lu52i.d $a0, $a0, 102670; CHECK-NEXT: vldi $vr0, -91271; CHECK-NEXT: vldi $vr1, -102472; CHECK-NEXT: vldi $vr2, -101673; CHECK-NEXT: vldi $vr3, -100874; CHECK-NEXT: vldi $vr4, -100475; CHECK-NEXT: vldi $vr5, -100076; CHECK-NEXT: vldi $vr6, -99677; CHECK-NEXT: vldi $vr7, -99278; CHECK-NEXT: pcaddu18i $ra, %call36(callee_double_in_gpr_exhausted_fprs)79; CHECK-NEXT: jirl $ra, $ra, 080; CHECK-NEXT: ld.d $ra, $sp, 8 # 8-byte Folded Reload81; CHECK-NEXT: addi.d $sp, $sp, 1682; CHECK-NEXT: ret83 %1 = call i64 @callee_double_in_gpr_exhausted_fprs(84 double 1.0, double 2.0, double 3.0, double 4.0, double 5.0, double 6.0,85 double 7.0, double 8.0, double 9.0)86 ret i64 %187}88 89;; Check returning doubles.90 91define double @callee_double_ret() nounwind {92; CHECK-LABEL: callee_double_ret:93; CHECK: # %bb.0:94; CHECK-NEXT: vldi $vr0, -91295; CHECK-NEXT: ret96 ret double 1.097}98 99define i64 @caller_double_ret() nounwind {100; CHECK-LABEL: caller_double_ret:101; CHECK: # %bb.0:102; CHECK-NEXT: addi.d $sp, $sp, -16103; CHECK-NEXT: st.d $ra, $sp, 8 # 8-byte Folded Spill104; CHECK-NEXT: pcaddu18i $ra, %call36(callee_double_ret)105; CHECK-NEXT: jirl $ra, $ra, 0106; CHECK-NEXT: movfr2gr.d $a0, $fa0107; CHECK-NEXT: ld.d $ra, $sp, 8 # 8-byte Folded Reload108; CHECK-NEXT: addi.d $sp, $sp, 16109; CHECK-NEXT: ret110 %1 = call double @callee_double_ret()111 %2 = bitcast double %1 to i64112 ret i64 %2113}114