160 lines · plain
1; NOTE: Assertions have been autogenerated by utils/update_llc_test_checks.py2; RUN: llc -mtriple=riscv32 -mattr=+d,+zvfh,+v,+zvfbfmin -verify-machineinstrs < %s | FileCheck %s3; RUN: llc -mtriple=riscv64 -mattr=+d,+zvfh,+v,+zvfbfmin -verify-machineinstrs < %s | FileCheck %s4; RUN: llc -mtriple=riscv32 -mattr=+d,+zvfhmin,+v,+zvfbfmin -verify-machineinstrs < %s | FileCheck %s5; RUN: llc -mtriple=riscv64 -mattr=+d,+zvfhmin,+v,+zvfbfmin -verify-machineinstrs < %s | FileCheck %s6 7define <2 x half> @vfptrunc_v2f16_v2f32(<2 x float> %a, <2 x i1> %m, i32 zeroext %vl) {8; CHECK-LABEL: vfptrunc_v2f16_v2f32:9; CHECK: # %bb.0:10; CHECK-NEXT: vsetvli zero, a0, e16, mf4, ta, ma11; CHECK-NEXT: vfncvt.f.f.w v9, v8, v0.t12; CHECK-NEXT: vmv1r.v v8, v913; CHECK-NEXT: ret14 %v = call <2 x half> @llvm.vp.fptrunc.v2f16.v2f32(<2 x float> %a, <2 x i1> %m, i32 %vl)15 ret <2 x half> %v16}17 18define <2 x half> @vfptrunc_v2f16_v2f32_unmasked(<2 x float> %a, i32 zeroext %vl) {19; CHECK-LABEL: vfptrunc_v2f16_v2f32_unmasked:20; CHECK: # %bb.0:21; CHECK-NEXT: vsetvli zero, a0, e16, mf4, ta, ma22; CHECK-NEXT: vfncvt.f.f.w v9, v823; CHECK-NEXT: vmv1r.v v8, v924; CHECK-NEXT: ret25 %v = call <2 x half> @llvm.vp.fptrunc.v2f16.v2f32(<2 x float> %a, <2 x i1> splat (i1 true), i32 %vl)26 ret <2 x half> %v27}28 29define <2 x half> @vfptrunc_v2f16_v2f64(<2 x double> %a, <2 x i1> %m, i32 zeroext %vl) {30; CHECK-LABEL: vfptrunc_v2f16_v2f64:31; CHECK: # %bb.0:32; CHECK-NEXT: vsetvli zero, a0, e32, mf2, ta, ma33; CHECK-NEXT: vfncvt.rod.f.f.w v9, v8, v0.t34; CHECK-NEXT: vsetvli zero, zero, e16, mf4, ta, ma35; CHECK-NEXT: vfncvt.f.f.w v8, v9, v0.t36; CHECK-NEXT: ret37 %v = call <2 x half> @llvm.vp.fptrunc.v2f16.v2f64(<2 x double> %a, <2 x i1> %m, i32 %vl)38 ret <2 x half> %v39}40 41define <2 x half> @vfptrunc_v2f16_v2f64_unmasked(<2 x double> %a, i32 zeroext %vl) {42; CHECK-LABEL: vfptrunc_v2f16_v2f64_unmasked:43; CHECK: # %bb.0:44; CHECK-NEXT: vsetvli zero, a0, e32, mf2, ta, ma45; CHECK-NEXT: vfncvt.rod.f.f.w v9, v846; CHECK-NEXT: vsetvli zero, zero, e16, mf4, ta, ma47; CHECK-NEXT: vfncvt.f.f.w v8, v948; CHECK-NEXT: ret49 %v = call <2 x half> @llvm.vp.fptrunc.v2f16.v2f64(<2 x double> %a, <2 x i1> splat (i1 true), i32 %vl)50 ret <2 x half> %v51}52 53define <2 x float> @vfptrunc_v2f32_v2f64(<2 x double> %a, <2 x i1> %m, i32 zeroext %vl) {54; CHECK-LABEL: vfptrunc_v2f32_v2f64:55; CHECK: # %bb.0:56; CHECK-NEXT: vsetvli zero, a0, e32, mf2, ta, ma57; CHECK-NEXT: vfncvt.f.f.w v9, v8, v0.t58; CHECK-NEXT: vmv1r.v v8, v959; CHECK-NEXT: ret60 %v = call <2 x float> @llvm.vp.fptrunc.v2f64.v2f32(<2 x double> %a, <2 x i1> %m, i32 %vl)61 ret <2 x float> %v62}63 64define <2 x float> @vfptrunc_v2f32_v2f64_unmasked(<2 x double> %a, i32 zeroext %vl) {65; CHECK-LABEL: vfptrunc_v2f32_v2f64_unmasked:66; CHECK: # %bb.0:67; CHECK-NEXT: vsetvli zero, a0, e32, mf2, ta, ma68; CHECK-NEXT: vfncvt.f.f.w v9, v869; CHECK-NEXT: vmv1r.v v8, v970; CHECK-NEXT: ret71 %v = call <2 x float> @llvm.vp.fptrunc.v2f64.v2f32(<2 x double> %a, <2 x i1> splat (i1 true), i32 %vl)72 ret <2 x float> %v73}74 75define <15 x float> @vfptrunc_v15f32_v15f64(<15 x double> %a, <15 x i1> %m, i32 zeroext %vl) {76; CHECK-LABEL: vfptrunc_v15f32_v15f64:77; CHECK: # %bb.0:78; CHECK-NEXT: vsetvli zero, a0, e32, m4, ta, ma79; CHECK-NEXT: vfncvt.f.f.w v16, v8, v0.t80; CHECK-NEXT: vmv.v.v v8, v1681; CHECK-NEXT: ret82 %v = call <15 x float> @llvm.vp.fptrunc.v15f64.v15f32(<15 x double> %a, <15 x i1> %m, i32 %vl)83 ret <15 x float> %v84}85 86define <32 x float> @vfptrunc_v32f32_v32f64(<32 x double> %a, <32 x i1> %m, i32 zeroext %vl) {87; CHECK-LABEL: vfptrunc_v32f32_v32f64:88; CHECK: # %bb.0:89; CHECK-NEXT: vsetivli zero, 2, e8, mf4, ta, ma90; CHECK-NEXT: vmv8r.v v24, v891; CHECK-NEXT: li a2, 1692; CHECK-NEXT: vslidedown.vi v12, v0, 293; CHECK-NEXT: mv a1, a094; CHECK-NEXT: bltu a0, a2, .LBB7_295; CHECK-NEXT: # %bb.1:96; CHECK-NEXT: li a1, 1697; CHECK-NEXT: .LBB7_2:98; CHECK-NEXT: vsetvli zero, a1, e32, m4, ta, ma99; CHECK-NEXT: vfncvt.f.f.w v8, v24, v0.t100; CHECK-NEXT: addi a1, a0, -16101; CHECK-NEXT: sltu a0, a0, a1102; CHECK-NEXT: addi a0, a0, -1103; CHECK-NEXT: and a0, a0, a1104; CHECK-NEXT: vmv1r.v v0, v12105; CHECK-NEXT: vsetvli zero, a0, e32, m4, ta, ma106; CHECK-NEXT: vfncvt.f.f.w v24, v16, v0.t107; CHECK-NEXT: li a0, 32108; CHECK-NEXT: vsetvli zero, a0, e32, m8, ta, ma109; CHECK-NEXT: vslideup.vi v8, v24, 16110; CHECK-NEXT: ret111 %v = call <32 x float> @llvm.vp.fptrunc.v32f64.v32f32(<32 x double> %a, <32 x i1> %m, i32 %vl)112 ret <32 x float> %v113}114 115define <2 x bfloat> @vfptrunc_v2bf16_v2f32(<2 x float> %a, <2 x i1> %m, i32 zeroext %vl) {116; CHECK-LABEL: vfptrunc_v2bf16_v2f32:117; CHECK: # %bb.0:118; CHECK-NEXT: vsetvli zero, a0, e16, mf4, ta, ma119; CHECK-NEXT: vfncvtbf16.f.f.w v9, v8, v0.t120; CHECK-NEXT: vmv1r.v v8, v9121; CHECK-NEXT: ret122 %v = call <2 x bfloat> @llvm.vp.fptrunc.v2bf16.v2f32(<2 x float> %a, <2 x i1> %m, i32 %vl)123 ret <2 x bfloat> %v124}125 126define <2 x bfloat> @vfptrunc_v2bf16_v2f32_unmasked(<2 x float> %a, i32 zeroext %vl) {127; CHECK-LABEL: vfptrunc_v2bf16_v2f32_unmasked:128; CHECK: # %bb.0:129; CHECK-NEXT: vsetvli zero, a0, e16, mf4, ta, ma130; CHECK-NEXT: vfncvtbf16.f.f.w v9, v8131; CHECK-NEXT: vmv1r.v v8, v9132; CHECK-NEXT: ret133 %v = call <2 x bfloat> @llvm.vp.fptrunc.v2bf16.v2f32(<2 x float> %a, <2 x i1> shufflevector (<2 x i1> insertelement (<2 x i1> poison, i1 true, i32 0), <2 x i1> poison, <2 x i32> zeroinitializer), i32 %vl)134 ret <2 x bfloat> %v135}136 137define <2 x bfloat> @vfptrunc_v2bf16_v2f64(<2 x double> %a, <2 x i1> %m, i32 zeroext %vl) {138; CHECK-LABEL: vfptrunc_v2bf16_v2f64:139; CHECK: # %bb.0:140; CHECK-NEXT: vsetvli zero, a0, e32, mf2, ta, ma141; CHECK-NEXT: vfncvt.rod.f.f.w v9, v8, v0.t142; CHECK-NEXT: vsetvli zero, zero, e16, mf4, ta, ma143; CHECK-NEXT: vfncvtbf16.f.f.w v8, v9, v0.t144; CHECK-NEXT: ret145 %v = call <2 x bfloat> @llvm.vp.fptrunc.v2bf16.v2f64(<2 x double> %a, <2 x i1> %m, i32 %vl)146 ret <2 x bfloat> %v147}148 149define <2 x bfloat> @vfptrunc_v2bf16_v2f64_unmasked(<2 x double> %a, i32 zeroext %vl) {150; CHECK-LABEL: vfptrunc_v2bf16_v2f64_unmasked:151; CHECK: # %bb.0:152; CHECK-NEXT: vsetvli zero, a0, e32, mf2, ta, ma153; CHECK-NEXT: vfncvt.rod.f.f.w v9, v8154; CHECK-NEXT: vsetvli zero, zero, e16, mf4, ta, ma155; CHECK-NEXT: vfncvtbf16.f.f.w v8, v9156; CHECK-NEXT: ret157 %v = call <2 x bfloat> @llvm.vp.fptrunc.v2bf16.v2f64(<2 x double> %a, <2 x i1> shufflevector (<2 x i1> insertelement (<2 x i1> poison, i1 true, i32 0), <2 x i1> poison, <2 x i32> zeroinitializer), i32 %vl)158 ret <2 x bfloat> %v159}160