183 lines · plain
1; NOTE: Assertions have been autogenerated by utils/update_llc_test_checks.py2; RUN: llc -mtriple=riscv64 -mattr=+d -verify-machineinstrs -target-abi=lp64d \3; RUN: -disable-strictnode-mutation < %s | FileCheck %s -check-prefix=RV64ID4; RUN: llc -mtriple=riscv64 -mattr=+zdinx -verify-machineinstrs -target-abi=lp64 \5; RUN: -disable-strictnode-mutation < %s | FileCheck %s -check-prefix=RV64IDINX6 7; This file exhaustively checks double<->i32 conversions. In general,8; fcvt.l[u].d can be selected instead of fcvt.w[u].d because poison is9; generated for an fpto[s|u]i conversion if the result doesn't fit in the10; target type.11 12define i32 @aext_fptosi(double %a) nounwind strictfp {13; RV64ID-LABEL: aext_fptosi:14; RV64ID: # %bb.0:15; RV64ID-NEXT: fcvt.w.d a0, fa0, rtz16; RV64ID-NEXT: ret17;18; RV64IDINX-LABEL: aext_fptosi:19; RV64IDINX: # %bb.0:20; RV64IDINX-NEXT: fcvt.w.d a0, a0, rtz21; RV64IDINX-NEXT: ret22 %1 = call i32 @llvm.experimental.constrained.fptosi.i32.f64(double %a, metadata !"fpexcept.strict") strictfp23 ret i32 %124}25 26define signext i32 @sext_fptosi(double %a) nounwind strictfp {27; RV64ID-LABEL: sext_fptosi:28; RV64ID: # %bb.0:29; RV64ID-NEXT: fcvt.w.d a0, fa0, rtz30; RV64ID-NEXT: ret31;32; RV64IDINX-LABEL: sext_fptosi:33; RV64IDINX: # %bb.0:34; RV64IDINX-NEXT: fcvt.w.d a0, a0, rtz35; RV64IDINX-NEXT: ret36 %1 = call i32 @llvm.experimental.constrained.fptosi.i32.f64(double %a, metadata !"fpexcept.strict") strictfp37 ret i32 %138}39 40define zeroext i32 @zext_fptosi(double %a) nounwind strictfp {41; RV64ID-LABEL: zext_fptosi:42; RV64ID: # %bb.0:43; RV64ID-NEXT: fcvt.w.d a0, fa0, rtz44; RV64ID-NEXT: slli a0, a0, 3245; RV64ID-NEXT: srli a0, a0, 3246; RV64ID-NEXT: ret47;48; RV64IDINX-LABEL: zext_fptosi:49; RV64IDINX: # %bb.0:50; RV64IDINX-NEXT: fcvt.w.d a0, a0, rtz51; RV64IDINX-NEXT: slli a0, a0, 3252; RV64IDINX-NEXT: srli a0, a0, 3253; RV64IDINX-NEXT: ret54 %1 = call i32 @llvm.experimental.constrained.fptosi.i32.f64(double %a, metadata !"fpexcept.strict") strictfp55 ret i32 %156}57 58define i32 @aext_fptoui(double %a) nounwind strictfp {59; RV64ID-LABEL: aext_fptoui:60; RV64ID: # %bb.0:61; RV64ID-NEXT: fcvt.wu.d a0, fa0, rtz62; RV64ID-NEXT: ret63;64; RV64IDINX-LABEL: aext_fptoui:65; RV64IDINX: # %bb.0:66; RV64IDINX-NEXT: fcvt.wu.d a0, a0, rtz67; RV64IDINX-NEXT: ret68 %1 = call i32 @llvm.experimental.constrained.fptoui.i32.f64(double %a, metadata !"fpexcept.strict") strictfp69 ret i32 %170}71 72define signext i32 @sext_fptoui(double %a) nounwind strictfp {73; RV64ID-LABEL: sext_fptoui:74; RV64ID: # %bb.0:75; RV64ID-NEXT: fcvt.wu.d a0, fa0, rtz76; RV64ID-NEXT: ret77;78; RV64IDINX-LABEL: sext_fptoui:79; RV64IDINX: # %bb.0:80; RV64IDINX-NEXT: fcvt.wu.d a0, a0, rtz81; RV64IDINX-NEXT: ret82 %1 = call i32 @llvm.experimental.constrained.fptoui.i32.f64(double %a, metadata !"fpexcept.strict") strictfp83 ret i32 %184}85 86define zeroext i32 @zext_fptoui(double %a) nounwind strictfp {87; RV64ID-LABEL: zext_fptoui:88; RV64ID: # %bb.0:89; RV64ID-NEXT: fcvt.lu.d a0, fa0, rtz90; RV64ID-NEXT: ret91;92; RV64IDINX-LABEL: zext_fptoui:93; RV64IDINX: # %bb.0:94; RV64IDINX-NEXT: fcvt.lu.d a0, a0, rtz95; RV64IDINX-NEXT: ret96 %1 = call i32 @llvm.experimental.constrained.fptoui.i32.f64(double %a, metadata !"fpexcept.strict") strictfp97 ret i32 %198}99 100define double @uitofp_aext_i32_to_f64(i32 %a) nounwind strictfp {101; RV64ID-LABEL: uitofp_aext_i32_to_f64:102; RV64ID: # %bb.0:103; RV64ID-NEXT: fcvt.d.wu fa0, a0104; RV64ID-NEXT: ret105;106; RV64IDINX-LABEL: uitofp_aext_i32_to_f64:107; RV64IDINX: # %bb.0:108; RV64IDINX-NEXT: fcvt.d.wu a0, a0109; RV64IDINX-NEXT: ret110 %1 = call double @llvm.experimental.constrained.uitofp.f64.i32(i32 %a, metadata !"round.dynamic", metadata !"fpexcept.strict") strictfp111 ret double %1112}113 114define double @uitofp_sext_i32_to_f64(i32 signext %a) nounwind strictfp {115; RV64ID-LABEL: uitofp_sext_i32_to_f64:116; RV64ID: # %bb.0:117; RV64ID-NEXT: fcvt.d.wu fa0, a0118; RV64ID-NEXT: ret119;120; RV64IDINX-LABEL: uitofp_sext_i32_to_f64:121; RV64IDINX: # %bb.0:122; RV64IDINX-NEXT: fcvt.d.wu a0, a0123; RV64IDINX-NEXT: ret124 %1 = call double @llvm.experimental.constrained.uitofp.f64.i32(i32 %a, metadata !"round.dynamic", metadata !"fpexcept.strict") strictfp125 ret double %1126}127 128define double @uitofp_zext_i32_to_f64(i32 zeroext %a) nounwind strictfp {129; RV64ID-LABEL: uitofp_zext_i32_to_f64:130; RV64ID: # %bb.0:131; RV64ID-NEXT: fcvt.d.wu fa0, a0132; RV64ID-NEXT: ret133;134; RV64IDINX-LABEL: uitofp_zext_i32_to_f64:135; RV64IDINX: # %bb.0:136; RV64IDINX-NEXT: fcvt.d.wu a0, a0137; RV64IDINX-NEXT: ret138 %1 = call double @llvm.experimental.constrained.uitofp.f64.i32(i32 %a, metadata !"round.dynamic", metadata !"fpexcept.strict") strictfp139 ret double %1140}141 142define double @sitofp_aext_i32_to_f64(i32 %a) nounwind strictfp {143; RV64ID-LABEL: sitofp_aext_i32_to_f64:144; RV64ID: # %bb.0:145; RV64ID-NEXT: fcvt.d.w fa0, a0146; RV64ID-NEXT: ret147;148; RV64IDINX-LABEL: sitofp_aext_i32_to_f64:149; RV64IDINX: # %bb.0:150; RV64IDINX-NEXT: fcvt.d.w a0, a0151; RV64IDINX-NEXT: ret152 %1 = call double @llvm.experimental.constrained.sitofp.f64.i32(i32 %a, metadata !"round.dynamic", metadata !"fpexcept.strict") strictfp153 ret double %1154}155 156define double @sitofp_sext_i32_to_f64(i32 signext %a) nounwind strictfp {157; RV64ID-LABEL: sitofp_sext_i32_to_f64:158; RV64ID: # %bb.0:159; RV64ID-NEXT: fcvt.d.w fa0, a0160; RV64ID-NEXT: ret161;162; RV64IDINX-LABEL: sitofp_sext_i32_to_f64:163; RV64IDINX: # %bb.0:164; RV64IDINX-NEXT: fcvt.d.w a0, a0165; RV64IDINX-NEXT: ret166 %1 = call double @llvm.experimental.constrained.sitofp.f64.i32(i32 %a, metadata !"round.dynamic", metadata !"fpexcept.strict") strictfp167 ret double %1168}169 170define double @sitofp_zext_i32_to_f64(i32 zeroext %a) nounwind strictfp {171; RV64ID-LABEL: sitofp_zext_i32_to_f64:172; RV64ID: # %bb.0:173; RV64ID-NEXT: fcvt.d.w fa0, a0174; RV64ID-NEXT: ret175;176; RV64IDINX-LABEL: sitofp_zext_i32_to_f64:177; RV64IDINX: # %bb.0:178; RV64IDINX-NEXT: fcvt.d.w a0, a0179; RV64IDINX-NEXT: ret180 %1 = call double @llvm.experimental.constrained.sitofp.f64.i32(i32 %a, metadata !"round.dynamic", metadata !"fpexcept.strict") strictfp181 ret double %1182}183