288 lines · plain
1; NOTE: Assertions have been autogenerated by utils/update_llc_test_checks.py2; RUN: llc -mtriple=riscv64 -verify-machineinstrs < %s \3; RUN: -target-abi=lp64 | FileCheck %s -check-prefixes=CHECK,RV64I4; RUN: llc -mtriple=riscv64 -mattr=+d -verify-machineinstrs < %s \5; RUN: -target-abi=lp64d | FileCheck %s -check-prefixes=CHECK,RV64ID6; RUN: llc -mtriple=riscv64 -mattr=+zdinx -verify-machineinstrs < %s \7; RUN: -target-abi=lp64 | FileCheck %s -check-prefixes=CHECK,RV64IDINX8 9define i128 @fptosi_f64_to_i128(double %a) nounwind {10; CHECK-LABEL: fptosi_f64_to_i128:11; CHECK: # %bb.0:12; CHECK-NEXT: addi sp, sp, -1613; CHECK-NEXT: sd ra, 8(sp) # 8-byte Folded Spill14; CHECK-NEXT: call __fixdfti15; CHECK-NEXT: ld ra, 8(sp) # 8-byte Folded Reload16; CHECK-NEXT: addi sp, sp, 1617; CHECK-NEXT: ret18 %1 = fptosi double %a to i12819 ret i128 %120}21 22define i128 @fptoui_f64_to_i128(double %a) nounwind {23; CHECK-LABEL: fptoui_f64_to_i128:24; CHECK: # %bb.0:25; CHECK-NEXT: addi sp, sp, -1626; CHECK-NEXT: sd ra, 8(sp) # 8-byte Folded Spill27; CHECK-NEXT: call __fixunsdfti28; CHECK-NEXT: ld ra, 8(sp) # 8-byte Folded Reload29; CHECK-NEXT: addi sp, sp, 1630; CHECK-NEXT: ret31 %1 = fptoui double %a to i12832 ret i128 %133}34 35define double @sitofp_i128_to_f64(i128 %a) nounwind {36; CHECK-LABEL: sitofp_i128_to_f64:37; CHECK: # %bb.0:38; CHECK-NEXT: addi sp, sp, -1639; CHECK-NEXT: sd ra, 8(sp) # 8-byte Folded Spill40; CHECK-NEXT: call __floattidf41; CHECK-NEXT: ld ra, 8(sp) # 8-byte Folded Reload42; CHECK-NEXT: addi sp, sp, 1643; CHECK-NEXT: ret44 %1 = sitofp i128 %a to double45 ret double %146}47 48define double @uitofp_i128_to_f64(i128 %a) nounwind {49; CHECK-LABEL: uitofp_i128_to_f64:50; CHECK: # %bb.0:51; CHECK-NEXT: addi sp, sp, -1652; CHECK-NEXT: sd ra, 8(sp) # 8-byte Folded Spill53; CHECK-NEXT: call __floatuntidf54; CHECK-NEXT: ld ra, 8(sp) # 8-byte Folded Reload55; CHECK-NEXT: addi sp, sp, 1656; CHECK-NEXT: ret57 %1 = uitofp i128 %a to double58 ret double %159}60 61define i128 @fptosi_sat_f64_to_i128(double %a) nounwind {62; RV64I-LABEL: fptosi_sat_f64_to_i128:63; RV64I: # %bb.0:64; RV64I-NEXT: addi sp, sp, -6465; RV64I-NEXT: sd ra, 56(sp) # 8-byte Folded Spill66; RV64I-NEXT: sd s0, 48(sp) # 8-byte Folded Spill67; RV64I-NEXT: sd s1, 40(sp) # 8-byte Folded Spill68; RV64I-NEXT: sd s2, 32(sp) # 8-byte Folded Spill69; RV64I-NEXT: sd s3, 24(sp) # 8-byte Folded Spill70; RV64I-NEXT: sd s4, 16(sp) # 8-byte Folded Spill71; RV64I-NEXT: sd s5, 8(sp) # 8-byte Folded Spill72; RV64I-NEXT: mv s0, a073; RV64I-NEXT: li a1, -44974; RV64I-NEXT: slli a1, a1, 5375; RV64I-NEXT: call __gedf276; RV64I-NEXT: mv s2, a077; RV64I-NEXT: mv a0, s078; RV64I-NEXT: call __fixdfti79; RV64I-NEXT: mv s1, a080; RV64I-NEXT: mv s3, a181; RV64I-NEXT: li s5, -182; RV64I-NEXT: bgez s2, .LBB4_283; RV64I-NEXT: # %bb.1:84; RV64I-NEXT: slli s3, s5, 6385; RV64I-NEXT: .LBB4_2:86; RV64I-NEXT: li a0, 57587; RV64I-NEXT: slli a0, a0, 5388; RV64I-NEXT: addi a1, a0, -189; RV64I-NEXT: mv a0, s090; RV64I-NEXT: call __gtdf291; RV64I-NEXT: mv s4, a092; RV64I-NEXT: blez a0, .LBB4_493; RV64I-NEXT: # %bb.3:94; RV64I-NEXT: srli s3, s5, 195; RV64I-NEXT: .LBB4_4:96; RV64I-NEXT: mv a0, s097; RV64I-NEXT: mv a1, s098; RV64I-NEXT: call __unorddf299; RV64I-NEXT: snez a0, a0100; RV64I-NEXT: srli a1, s2, 63101; RV64I-NEXT: sgtz a2, s4102; RV64I-NEXT: addi a0, a0, -1103; RV64I-NEXT: addi a3, a1, -1104; RV64I-NEXT: and a1, a0, s3105; RV64I-NEXT: and a3, a3, s1106; RV64I-NEXT: neg a2, a2107; RV64I-NEXT: or a2, a2, a3108; RV64I-NEXT: and a0, a0, a2109; RV64I-NEXT: ld ra, 56(sp) # 8-byte Folded Reload110; RV64I-NEXT: ld s0, 48(sp) # 8-byte Folded Reload111; RV64I-NEXT: ld s1, 40(sp) # 8-byte Folded Reload112; RV64I-NEXT: ld s2, 32(sp) # 8-byte Folded Reload113; RV64I-NEXT: ld s3, 24(sp) # 8-byte Folded Reload114; RV64I-NEXT: ld s4, 16(sp) # 8-byte Folded Reload115; RV64I-NEXT: ld s5, 8(sp) # 8-byte Folded Reload116; RV64I-NEXT: addi sp, sp, 64117; RV64I-NEXT: ret118;119; RV64ID-LABEL: fptosi_sat_f64_to_i128:120; RV64ID: # %bb.0:121; RV64ID-NEXT: addi sp, sp, -32122; RV64ID-NEXT: sd ra, 24(sp) # 8-byte Folded Spill123; RV64ID-NEXT: sd s0, 16(sp) # 8-byte Folded Spill124; RV64ID-NEXT: fsd fs0, 8(sp) # 8-byte Folded Spill125; RV64ID-NEXT: fmv.d fs0, fa0126; RV64ID-NEXT: li a0, -449127; RV64ID-NEXT: slli a0, a0, 53128; RV64ID-NEXT: fmv.d.x fa5, a0129; RV64ID-NEXT: fle.d s0, fa5, fa0130; RV64ID-NEXT: call __fixdfti131; RV64ID-NEXT: li a2, -1132; RV64ID-NEXT: bnez s0, .LBB4_2133; RV64ID-NEXT: # %bb.1:134; RV64ID-NEXT: slli a1, a2, 63135; RV64ID-NEXT: .LBB4_2:136; RV64ID-NEXT: lui a3, %hi(.LCPI4_0)137; RV64ID-NEXT: fld fa5, %lo(.LCPI4_0)(a3)138; RV64ID-NEXT: flt.d a3, fa5, fs0139; RV64ID-NEXT: beqz a3, .LBB4_4140; RV64ID-NEXT: # %bb.3:141; RV64ID-NEXT: srli a1, a2, 1142; RV64ID-NEXT: .LBB4_4:143; RV64ID-NEXT: feq.d a2, fs0, fs0144; RV64ID-NEXT: neg a3, a3145; RV64ID-NEXT: neg a4, s0146; RV64ID-NEXT: neg a2, a2147; RV64ID-NEXT: and a0, a4, a0148; RV64ID-NEXT: and a1, a2, a1149; RV64ID-NEXT: or a0, a3, a0150; RV64ID-NEXT: and a0, a2, a0151; RV64ID-NEXT: ld ra, 24(sp) # 8-byte Folded Reload152; RV64ID-NEXT: ld s0, 16(sp) # 8-byte Folded Reload153; RV64ID-NEXT: fld fs0, 8(sp) # 8-byte Folded Reload154; RV64ID-NEXT: addi sp, sp, 32155; RV64ID-NEXT: ret156;157; RV64IDINX-LABEL: fptosi_sat_f64_to_i128:158; RV64IDINX: # %bb.0:159; RV64IDINX-NEXT: addi sp, sp, -32160; RV64IDINX-NEXT: sd ra, 24(sp) # 8-byte Folded Spill161; RV64IDINX-NEXT: sd s0, 16(sp) # 8-byte Folded Spill162; RV64IDINX-NEXT: sd s1, 8(sp) # 8-byte Folded Spill163; RV64IDINX-NEXT: mv s0, a0164; RV64IDINX-NEXT: li a0, -449165; RV64IDINX-NEXT: slli a0, a0, 53166; RV64IDINX-NEXT: fle.d s1, a0, s0167; RV64IDINX-NEXT: mv a0, s0168; RV64IDINX-NEXT: call __fixdfti169; RV64IDINX-NEXT: li a2, -1170; RV64IDINX-NEXT: bnez s1, .LBB4_2171; RV64IDINX-NEXT: # %bb.1:172; RV64IDINX-NEXT: slli a1, a2, 63173; RV64IDINX-NEXT: .LBB4_2:174; RV64IDINX-NEXT: li a3, 575175; RV64IDINX-NEXT: slli a3, a3, 53176; RV64IDINX-NEXT: addi a3, a3, -1177; RV64IDINX-NEXT: flt.d a3, a3, s0178; RV64IDINX-NEXT: beqz a3, .LBB4_4179; RV64IDINX-NEXT: # %bb.3:180; RV64IDINX-NEXT: srli a1, a2, 1181; RV64IDINX-NEXT: .LBB4_4:182; RV64IDINX-NEXT: feq.d a2, s0, s0183; RV64IDINX-NEXT: neg a4, s1184; RV64IDINX-NEXT: neg a3, a3185; RV64IDINX-NEXT: neg a2, a2186; RV64IDINX-NEXT: and a0, a4, a0187; RV64IDINX-NEXT: and a1, a2, a1188; RV64IDINX-NEXT: or a0, a3, a0189; RV64IDINX-NEXT: and a0, a2, a0190; RV64IDINX-NEXT: ld ra, 24(sp) # 8-byte Folded Reload191; RV64IDINX-NEXT: ld s0, 16(sp) # 8-byte Folded Reload192; RV64IDINX-NEXT: ld s1, 8(sp) # 8-byte Folded Reload193; RV64IDINX-NEXT: addi sp, sp, 32194; RV64IDINX-NEXT: ret195 %1 = tail call i128 @llvm.fptosi.sat.i128.f64(double %a)196 ret i128 %1197}198 199define i128 @fptoui_sat_f64_to_i128(double %a) nounwind {200; RV64I-LABEL: fptoui_sat_f64_to_i128:201; RV64I: # %bb.0:202; RV64I-NEXT: addi sp, sp, -48203; RV64I-NEXT: sd ra, 40(sp) # 8-byte Folded Spill204; RV64I-NEXT: sd s0, 32(sp) # 8-byte Folded Spill205; RV64I-NEXT: sd s1, 24(sp) # 8-byte Folded Spill206; RV64I-NEXT: sd s2, 16(sp) # 8-byte Folded Spill207; RV64I-NEXT: sd s3, 8(sp) # 8-byte Folded Spill208; RV64I-NEXT: mv s0, a0209; RV64I-NEXT: li a1, 0210; RV64I-NEXT: call __gedf2211; RV64I-NEXT: srli a0, a0, 63212; RV64I-NEXT: addi s2, a0, -1213; RV64I-NEXT: mv a0, s0214; RV64I-NEXT: call __fixunsdfti215; RV64I-NEXT: mv s1, a1216; RV64I-NEXT: and s3, s2, a0217; RV64I-NEXT: li a0, 1151218; RV64I-NEXT: slli a0, a0, 52219; RV64I-NEXT: addi a1, a0, -1220; RV64I-NEXT: mv a0, s0221; RV64I-NEXT: call __gtdf2222; RV64I-NEXT: sgtz a0, a0223; RV64I-NEXT: and a1, s2, s1224; RV64I-NEXT: neg a2, a0225; RV64I-NEXT: or a0, a2, s3226; RV64I-NEXT: or a1, a2, a1227; RV64I-NEXT: ld ra, 40(sp) # 8-byte Folded Reload228; RV64I-NEXT: ld s0, 32(sp) # 8-byte Folded Reload229; RV64I-NEXT: ld s1, 24(sp) # 8-byte Folded Reload230; RV64I-NEXT: ld s2, 16(sp) # 8-byte Folded Reload231; RV64I-NEXT: ld s3, 8(sp) # 8-byte Folded Reload232; RV64I-NEXT: addi sp, sp, 48233; RV64I-NEXT: ret234;235; RV64ID-LABEL: fptoui_sat_f64_to_i128:236; RV64ID: # %bb.0:237; RV64ID-NEXT: addi sp, sp, -32238; RV64ID-NEXT: sd ra, 24(sp) # 8-byte Folded Spill239; RV64ID-NEXT: sd s0, 16(sp) # 8-byte Folded Spill240; RV64ID-NEXT: fsd fs0, 8(sp) # 8-byte Folded Spill241; RV64ID-NEXT: fmv.d fs0, fa0242; RV64ID-NEXT: fmv.d.x fa5, zero243; RV64ID-NEXT: fle.d a0, fa5, fa0244; RV64ID-NEXT: neg s0, a0245; RV64ID-NEXT: call __fixunsdfti246; RV64ID-NEXT: lui a2, %hi(.LCPI5_0)247; RV64ID-NEXT: fld fa5, %lo(.LCPI5_0)(a2)248; RV64ID-NEXT: and a0, s0, a0249; RV64ID-NEXT: and a1, s0, a1250; RV64ID-NEXT: flt.d a2, fa5, fs0251; RV64ID-NEXT: neg a2, a2252; RV64ID-NEXT: or a0, a2, a0253; RV64ID-NEXT: or a1, a2, a1254; RV64ID-NEXT: ld ra, 24(sp) # 8-byte Folded Reload255; RV64ID-NEXT: ld s0, 16(sp) # 8-byte Folded Reload256; RV64ID-NEXT: fld fs0, 8(sp) # 8-byte Folded Reload257; RV64ID-NEXT: addi sp, sp, 32258; RV64ID-NEXT: ret259;260; RV64IDINX-LABEL: fptoui_sat_f64_to_i128:261; RV64IDINX: # %bb.0:262; RV64IDINX-NEXT: addi sp, sp, -32263; RV64IDINX-NEXT: sd ra, 24(sp) # 8-byte Folded Spill264; RV64IDINX-NEXT: sd s0, 16(sp) # 8-byte Folded Spill265; RV64IDINX-NEXT: sd s1, 8(sp) # 8-byte Folded Spill266; RV64IDINX-NEXT: mv s0, a0267; RV64IDINX-NEXT: fle.d a0, zero, a0268; RV64IDINX-NEXT: neg s1, a0269; RV64IDINX-NEXT: mv a0, s0270; RV64IDINX-NEXT: call __fixunsdfti271; RV64IDINX-NEXT: and a0, s1, a0272; RV64IDINX-NEXT: li a2, 1151273; RV64IDINX-NEXT: and a1, s1, a1274; RV64IDINX-NEXT: slli a2, a2, 52275; RV64IDINX-NEXT: addi a2, a2, -1276; RV64IDINX-NEXT: flt.d a2, a2, s0277; RV64IDINX-NEXT: neg a2, a2278; RV64IDINX-NEXT: or a0, a2, a0279; RV64IDINX-NEXT: or a1, a2, a1280; RV64IDINX-NEXT: ld ra, 24(sp) # 8-byte Folded Reload281; RV64IDINX-NEXT: ld s0, 16(sp) # 8-byte Folded Reload282; RV64IDINX-NEXT: ld s1, 8(sp) # 8-byte Folded Reload283; RV64IDINX-NEXT: addi sp, sp, 32284; RV64IDINX-NEXT: ret285 %1 = tail call i128 @llvm.fptoui.sat.i128.f64(double %a)286 ret i128 %1287}288