294 lines · plain
1; NOTE: Assertions have been autogenerated by utils/update_llc_test_checks.py2; RUN: sed 's/iXLen/i32/g' %s | llc -mtriple=riscv32 -mattr=+v,+zvfh \3; RUN: -verify-machineinstrs -target-abi=ilp32d | FileCheck %s4; RUN: sed 's/iXLen/i64/g' %s | llc -mtriple=riscv64 -mattr=+v,+zvfh \5; RUN: -verify-machineinstrs -target-abi=lp64d | FileCheck %s6 7define <vscale x 1 x i32> @intrinsic_vfwcvt_rtz.x.f.v_nxv1i32_nxv1f16(<vscale x 1 x half> %0, iXLen %1) nounwind {8; CHECK-LABEL: intrinsic_vfwcvt_rtz.x.f.v_nxv1i32_nxv1f16:9; CHECK: # %bb.0: # %entry10; CHECK-NEXT: vsetvli zero, a0, e16, mf4, ta, ma11; CHECK-NEXT: vfwcvt.rtz.x.f.v v9, v812; CHECK-NEXT: vmv1r.v v8, v913; CHECK-NEXT: ret14entry:15 %a = call <vscale x 1 x i32> @llvm.riscv.vfwcvt.rtz.x.f.v.nxv1i32.nxv1f16(16 <vscale x 1 x i32> poison,17 <vscale x 1 x half> %0,18 iXLen %1)19 20 ret <vscale x 1 x i32> %a21}22 23define <vscale x 1 x i32> @intrinsic_vfwcvt_mask_rtz.x.f.v_nxv1i32_nxv1f16(<vscale x 1 x i32> %0, <vscale x 1 x half> %1, <vscale x 1 x i1> %2, iXLen %3) nounwind {24; CHECK-LABEL: intrinsic_vfwcvt_mask_rtz.x.f.v_nxv1i32_nxv1f16:25; CHECK: # %bb.0: # %entry26; CHECK-NEXT: vsetvli zero, a0, e16, mf4, ta, mu27; CHECK-NEXT: vfwcvt.rtz.x.f.v v8, v9, v0.t28; CHECK-NEXT: ret29entry:30 %a = call <vscale x 1 x i32> @llvm.riscv.vfwcvt.rtz.x.f.v.mask.nxv1i32.nxv1f16(31 <vscale x 1 x i32> %0,32 <vscale x 1 x half> %1,33 <vscale x 1 x i1> %2,34 iXLen %3, iXLen 1)35 36 ret <vscale x 1 x i32> %a37}38 39define <vscale x 2 x i32> @intrinsic_vfwcvt_rtz.x.f.v_nxv2i32_nxv2f16(<vscale x 2 x half> %0, iXLen %1) nounwind {40; CHECK-LABEL: intrinsic_vfwcvt_rtz.x.f.v_nxv2i32_nxv2f16:41; CHECK: # %bb.0: # %entry42; CHECK-NEXT: vsetvli zero, a0, e16, mf2, ta, ma43; CHECK-NEXT: vfwcvt.rtz.x.f.v v9, v844; CHECK-NEXT: vmv1r.v v8, v945; CHECK-NEXT: ret46entry:47 %a = call <vscale x 2 x i32> @llvm.riscv.vfwcvt.rtz.x.f.v.nxv2i32.nxv2f16(48 <vscale x 2 x i32> poison,49 <vscale x 2 x half> %0,50 iXLen %1)51 52 ret <vscale x 2 x i32> %a53}54 55define <vscale x 2 x i32> @intrinsic_vfwcvt_mask_rtz.x.f.v_nxv2i32_nxv2f16(<vscale x 2 x i32> %0, <vscale x 2 x half> %1, <vscale x 2 x i1> %2, iXLen %3) nounwind {56; CHECK-LABEL: intrinsic_vfwcvt_mask_rtz.x.f.v_nxv2i32_nxv2f16:57; CHECK: # %bb.0: # %entry58; CHECK-NEXT: vsetvli zero, a0, e16, mf2, ta, mu59; CHECK-NEXT: vfwcvt.rtz.x.f.v v8, v9, v0.t60; CHECK-NEXT: ret61entry:62 %a = call <vscale x 2 x i32> @llvm.riscv.vfwcvt.rtz.x.f.v.mask.nxv2i32.nxv2f16(63 <vscale x 2 x i32> %0,64 <vscale x 2 x half> %1,65 <vscale x 2 x i1> %2,66 iXLen %3, iXLen 1)67 68 ret <vscale x 2 x i32> %a69}70 71define <vscale x 4 x i32> @intrinsic_vfwcvt_rtz.x.f.v_nxv4i32_nxv4f16(<vscale x 4 x half> %0, iXLen %1) nounwind {72; CHECK-LABEL: intrinsic_vfwcvt_rtz.x.f.v_nxv4i32_nxv4f16:73; CHECK: # %bb.0: # %entry74; CHECK-NEXT: vsetvli zero, a0, e16, m1, ta, ma75; CHECK-NEXT: vmv1r.v v10, v876; CHECK-NEXT: vfwcvt.rtz.x.f.v v8, v1077; CHECK-NEXT: ret78entry:79 %a = call <vscale x 4 x i32> @llvm.riscv.vfwcvt.rtz.x.f.v.nxv4i32.nxv4f16(80 <vscale x 4 x i32> poison,81 <vscale x 4 x half> %0,82 iXLen %1)83 84 ret <vscale x 4 x i32> %a85}86 87define <vscale x 4 x i32> @intrinsic_vfwcvt_mask_rtz.x.f.v_nxv4i32_nxv4f16(<vscale x 4 x i32> %0, <vscale x 4 x half> %1, <vscale x 4 x i1> %2, iXLen %3) nounwind {88; CHECK-LABEL: intrinsic_vfwcvt_mask_rtz.x.f.v_nxv4i32_nxv4f16:89; CHECK: # %bb.0: # %entry90; CHECK-NEXT: vsetvli zero, a0, e16, m1, ta, mu91; CHECK-NEXT: vfwcvt.rtz.x.f.v v8, v10, v0.t92; CHECK-NEXT: ret93entry:94 %a = call <vscale x 4 x i32> @llvm.riscv.vfwcvt.rtz.x.f.v.mask.nxv4i32.nxv4f16(95 <vscale x 4 x i32> %0,96 <vscale x 4 x half> %1,97 <vscale x 4 x i1> %2,98 iXLen %3, iXLen 1)99 100 ret <vscale x 4 x i32> %a101}102 103define <vscale x 8 x i32> @intrinsic_vfwcvt_rtz.x.f.v_nxv8i32_nxv8f16(<vscale x 8 x half> %0, iXLen %1) nounwind {104; CHECK-LABEL: intrinsic_vfwcvt_rtz.x.f.v_nxv8i32_nxv8f16:105; CHECK: # %bb.0: # %entry106; CHECK-NEXT: vsetvli zero, a0, e16, m2, ta, ma107; CHECK-NEXT: vmv2r.v v12, v8108; CHECK-NEXT: vfwcvt.rtz.x.f.v v8, v12109; CHECK-NEXT: ret110entry:111 %a = call <vscale x 8 x i32> @llvm.riscv.vfwcvt.rtz.x.f.v.nxv8i32.nxv8f16(112 <vscale x 8 x i32> poison,113 <vscale x 8 x half> %0,114 iXLen %1)115 116 ret <vscale x 8 x i32> %a117}118 119define <vscale x 8 x i32> @intrinsic_vfwcvt_mask_rtz.x.f.v_nxv8i32_nxv8f16(<vscale x 8 x i32> %0, <vscale x 8 x half> %1, <vscale x 8 x i1> %2, iXLen %3) nounwind {120; CHECK-LABEL: intrinsic_vfwcvt_mask_rtz.x.f.v_nxv8i32_nxv8f16:121; CHECK: # %bb.0: # %entry122; CHECK-NEXT: vsetvli zero, a0, e16, m2, ta, mu123; CHECK-NEXT: vfwcvt.rtz.x.f.v v8, v12, v0.t124; CHECK-NEXT: ret125entry:126 %a = call <vscale x 8 x i32> @llvm.riscv.vfwcvt.rtz.x.f.v.mask.nxv8i32.nxv8f16(127 <vscale x 8 x i32> %0,128 <vscale x 8 x half> %1,129 <vscale x 8 x i1> %2,130 iXLen %3, iXLen 1)131 132 ret <vscale x 8 x i32> %a133}134 135define <vscale x 16 x i32> @intrinsic_vfwcvt_rtz.x.f.v_nxv16i32_nxv16f16(<vscale x 16 x half> %0, iXLen %1) nounwind {136; CHECK-LABEL: intrinsic_vfwcvt_rtz.x.f.v_nxv16i32_nxv16f16:137; CHECK: # %bb.0: # %entry138; CHECK-NEXT: vsetvli zero, a0, e16, m4, ta, ma139; CHECK-NEXT: vmv4r.v v16, v8140; CHECK-NEXT: vfwcvt.rtz.x.f.v v8, v16141; CHECK-NEXT: ret142entry:143 %a = call <vscale x 16 x i32> @llvm.riscv.vfwcvt.rtz.x.f.v.nxv16i32.nxv16f16(144 <vscale x 16 x i32> poison,145 <vscale x 16 x half> %0,146 iXLen %1)147 148 ret <vscale x 16 x i32> %a149}150 151define <vscale x 16 x i32> @intrinsic_vfwcvt_mask_rtz.x.f.v_nxv16i32_nxv16f16(<vscale x 16 x i32> %0, <vscale x 16 x half> %1, <vscale x 16 x i1> %2, iXLen %3) nounwind {152; CHECK-LABEL: intrinsic_vfwcvt_mask_rtz.x.f.v_nxv16i32_nxv16f16:153; CHECK: # %bb.0: # %entry154; CHECK-NEXT: vsetvli zero, a0, e16, m4, ta, mu155; CHECK-NEXT: vfwcvt.rtz.x.f.v v8, v16, v0.t156; CHECK-NEXT: ret157entry:158 %a = call <vscale x 16 x i32> @llvm.riscv.vfwcvt.rtz.x.f.v.mask.nxv16i32.nxv16f16(159 <vscale x 16 x i32> %0,160 <vscale x 16 x half> %1,161 <vscale x 16 x i1> %2,162 iXLen %3, iXLen 1)163 164 ret <vscale x 16 x i32> %a165}166 167define <vscale x 1 x i64> @intrinsic_vfwcvt_rtz.x.f.v_nxv1i64_nxv1f32(<vscale x 1 x float> %0, iXLen %1) nounwind {168; CHECK-LABEL: intrinsic_vfwcvt_rtz.x.f.v_nxv1i64_nxv1f32:169; CHECK: # %bb.0: # %entry170; CHECK-NEXT: vsetvli zero, a0, e32, mf2, ta, ma171; CHECK-NEXT: vfwcvt.rtz.x.f.v v9, v8172; CHECK-NEXT: vmv1r.v v8, v9173; CHECK-NEXT: ret174entry:175 %a = call <vscale x 1 x i64> @llvm.riscv.vfwcvt.rtz.x.f.v.nxv1i64.nxv1f32(176 <vscale x 1 x i64> poison,177 <vscale x 1 x float> %0,178 iXLen %1)179 180 ret <vscale x 1 x i64> %a181}182 183define <vscale x 1 x i64> @intrinsic_vfwcvt_mask_rtz.x.f.v_nxv1i64_nxv1f32(<vscale x 1 x i64> %0, <vscale x 1 x float> %1, <vscale x 1 x i1> %2, iXLen %3) nounwind {184; CHECK-LABEL: intrinsic_vfwcvt_mask_rtz.x.f.v_nxv1i64_nxv1f32:185; CHECK: # %bb.0: # %entry186; CHECK-NEXT: vsetvli zero, a0, e32, mf2, ta, mu187; CHECK-NEXT: vfwcvt.rtz.x.f.v v8, v9, v0.t188; CHECK-NEXT: ret189entry:190 %a = call <vscale x 1 x i64> @llvm.riscv.vfwcvt.rtz.x.f.v.mask.nxv1i64.nxv1f32(191 <vscale x 1 x i64> %0,192 <vscale x 1 x float> %1,193 <vscale x 1 x i1> %2,194 iXLen %3, iXLen 1)195 196 ret <vscale x 1 x i64> %a197}198 199define <vscale x 2 x i64> @intrinsic_vfwcvt_rtz.x.f.v_nxv2i64_nxv2f32(<vscale x 2 x float> %0, iXLen %1) nounwind {200; CHECK-LABEL: intrinsic_vfwcvt_rtz.x.f.v_nxv2i64_nxv2f32:201; CHECK: # %bb.0: # %entry202; CHECK-NEXT: vsetvli zero, a0, e32, m1, ta, ma203; CHECK-NEXT: vmv1r.v v10, v8204; CHECK-NEXT: vfwcvt.rtz.x.f.v v8, v10205; CHECK-NEXT: ret206entry:207 %a = call <vscale x 2 x i64> @llvm.riscv.vfwcvt.rtz.x.f.v.nxv2i64.nxv2f32(208 <vscale x 2 x i64> poison,209 <vscale x 2 x float> %0,210 iXLen %1)211 212 ret <vscale x 2 x i64> %a213}214 215define <vscale x 2 x i64> @intrinsic_vfwcvt_mask_rtz.x.f.v_nxv2i64_nxv2f32(<vscale x 2 x i64> %0, <vscale x 2 x float> %1, <vscale x 2 x i1> %2, iXLen %3) nounwind {216; CHECK-LABEL: intrinsic_vfwcvt_mask_rtz.x.f.v_nxv2i64_nxv2f32:217; CHECK: # %bb.0: # %entry218; CHECK-NEXT: vsetvli zero, a0, e32, m1, ta, mu219; CHECK-NEXT: vfwcvt.rtz.x.f.v v8, v10, v0.t220; CHECK-NEXT: ret221entry:222 %a = call <vscale x 2 x i64> @llvm.riscv.vfwcvt.rtz.x.f.v.mask.nxv2i64.nxv2f32(223 <vscale x 2 x i64> %0,224 <vscale x 2 x float> %1,225 <vscale x 2 x i1> %2,226 iXLen %3, iXLen 1)227 228 ret <vscale x 2 x i64> %a229}230 231define <vscale x 4 x i64> @intrinsic_vfwcvt_rtz.x.f.v_nxv4i64_nxv4f32(<vscale x 4 x float> %0, iXLen %1) nounwind {232; CHECK-LABEL: intrinsic_vfwcvt_rtz.x.f.v_nxv4i64_nxv4f32:233; CHECK: # %bb.0: # %entry234; CHECK-NEXT: vsetvli zero, a0, e32, m2, ta, ma235; CHECK-NEXT: vmv2r.v v12, v8236; CHECK-NEXT: vfwcvt.rtz.x.f.v v8, v12237; CHECK-NEXT: ret238entry:239 %a = call <vscale x 4 x i64> @llvm.riscv.vfwcvt.rtz.x.f.v.nxv4i64.nxv4f32(240 <vscale x 4 x i64> poison,241 <vscale x 4 x float> %0,242 iXLen %1)243 244 ret <vscale x 4 x i64> %a245}246 247define <vscale x 4 x i64> @intrinsic_vfwcvt_mask_rtz.x.f.v_nxv4i64_nxv4f32(<vscale x 4 x i64> %0, <vscale x 4 x float> %1, <vscale x 4 x i1> %2, iXLen %3) nounwind {248; CHECK-LABEL: intrinsic_vfwcvt_mask_rtz.x.f.v_nxv4i64_nxv4f32:249; CHECK: # %bb.0: # %entry250; CHECK-NEXT: vsetvli zero, a0, e32, m2, ta, mu251; CHECK-NEXT: vfwcvt.rtz.x.f.v v8, v12, v0.t252; CHECK-NEXT: ret253entry:254 %a = call <vscale x 4 x i64> @llvm.riscv.vfwcvt.rtz.x.f.v.mask.nxv4i64.nxv4f32(255 <vscale x 4 x i64> %0,256 <vscale x 4 x float> %1,257 <vscale x 4 x i1> %2,258 iXLen %3, iXLen 1)259 260 ret <vscale x 4 x i64> %a261}262 263define <vscale x 8 x i64> @intrinsic_vfwcvt_rtz.x.f.v_nxv8i64_nxv8f32(<vscale x 8 x float> %0, iXLen %1) nounwind {264; CHECK-LABEL: intrinsic_vfwcvt_rtz.x.f.v_nxv8i64_nxv8f32:265; CHECK: # %bb.0: # %entry266; CHECK-NEXT: vsetvli zero, a0, e32, m4, ta, ma267; CHECK-NEXT: vmv4r.v v16, v8268; CHECK-NEXT: vfwcvt.rtz.x.f.v v8, v16269; CHECK-NEXT: ret270entry:271 %a = call <vscale x 8 x i64> @llvm.riscv.vfwcvt.rtz.x.f.v.nxv8i64.nxv8f32(272 <vscale x 8 x i64> poison,273 <vscale x 8 x float> %0,274 iXLen %1)275 276 ret <vscale x 8 x i64> %a277}278 279define <vscale x 8 x i64> @intrinsic_vfwcvt_mask_rtz.x.f.v_nxv8i64_nxv8f32(<vscale x 8 x i64> %0, <vscale x 8 x float> %1, <vscale x 8 x i1> %2, iXLen %3) nounwind {280; CHECK-LABEL: intrinsic_vfwcvt_mask_rtz.x.f.v_nxv8i64_nxv8f32:281; CHECK: # %bb.0: # %entry282; CHECK-NEXT: vsetvli zero, a0, e32, m4, ta, mu283; CHECK-NEXT: vfwcvt.rtz.x.f.v v8, v16, v0.t284; CHECK-NEXT: ret285entry:286 %a = call <vscale x 8 x i64> @llvm.riscv.vfwcvt.rtz.x.f.v.mask.nxv8i64.nxv8f32(287 <vscale x 8 x i64> %0,288 <vscale x 8 x float> %1,289 <vscale x 8 x i1> %2,290 iXLen %3, iXLen 1)291 292 ret <vscale x 8 x i64> %a293}294