78 lines · plain
1; NOTE: Assertions have been autogenerated by utils/update_llc_test_checks.py2; RUN: llc -mtriple=riscv32 -mattr=+f,+v -verify-machineinstrs < %s | FileCheck %s3; RUN: llc -mtriple=riscv64 -mattr=+f,+v -verify-machineinstrs < %s | FileCheck %s4 5define <vscale x 2 x float> @test_reverse_load_combiner(<vscale x 2 x float>* %ptr, i32 zeroext %evl) {6; CHECK-LABEL: test_reverse_load_combiner:7; CHECK: # %bb.0:8; CHECK-NEXT: slli a2, a1, 29; CHECK-NEXT: add a0, a2, a010; CHECK-NEXT: addi a0, a0, -411; CHECK-NEXT: li a2, -412; CHECK-NEXT: vsetvli zero, a1, e32, m1, ta, ma13; CHECK-NEXT: vlse32.v v8, (a0), a214; CHECK-NEXT: ret15 %load = call <vscale x 2 x float> @llvm.vp.load.nxv2f32.p0nxv2f32(<vscale x 2 x float>* %ptr, <vscale x 2 x i1> splat (i1 true), i32 %evl)16 %rev = call <vscale x 2 x float> @llvm.experimental.vp.reverse.nxv2f32(<vscale x 2 x float> %load, <vscale x 2 x i1> splat (i1 true), i32 %evl)17 ret <vscale x 2 x float> %rev18}19 20define <vscale x 2 x float> @test_load_mask_is_vp_reverse(<vscale x 2 x float>* %ptr, <vscale x 2 x i1> %mask, i32 zeroext %evl) {21; CHECK-LABEL: test_load_mask_is_vp_reverse:22; CHECK: # %bb.0:23; CHECK-NEXT: slli a2, a1, 224; CHECK-NEXT: add a0, a2, a025; CHECK-NEXT: addi a0, a0, -426; CHECK-NEXT: li a2, -427; CHECK-NEXT: vsetvli zero, a1, e32, m1, ta, ma28; CHECK-NEXT: vlse32.v v8, (a0), a2, v0.t29; CHECK-NEXT: ret30 %loadmask = call <vscale x 2 x i1> @llvm.experimental.vp.reverse.nxv2i1(<vscale x 2 x i1> %mask, <vscale x 2 x i1> splat (i1 true), i32 %evl)31 %load = call <vscale x 2 x float> @llvm.vp.load.nxv2f32.p0nxv2f32(<vscale x 2 x float>* %ptr, <vscale x 2 x i1> %loadmask, i32 %evl)32 %rev = call <vscale x 2 x float> @llvm.experimental.vp.reverse.nxv2f32(<vscale x 2 x float> %load, <vscale x 2 x i1> splat (i1 true), i32 %evl)33 ret <vscale x 2 x float> %rev34}35 36define <vscale x 2 x float> @test_load_mask_not_all_one(<vscale x 2 x float>* %ptr, <vscale x 2 x i1> %notallones, i32 zeroext %evl) {37; CHECK-LABEL: test_load_mask_not_all_one:38; CHECK: # %bb.0:39; CHECK-NEXT: vsetvli zero, a1, e32, m1, ta, ma40; CHECK-NEXT: vle32.v v9, (a0), v0.t41; CHECK-NEXT: vid.v v8, v0.t42; CHECK-NEXT: addi a1, a1, -143; CHECK-NEXT: vrsub.vx v10, v8, a1, v0.t44; CHECK-NEXT: vrgather.vv v8, v9, v10, v0.t45; CHECK-NEXT: ret46 %load = call <vscale x 2 x float> @llvm.vp.load.nxv2f32.p0nxv2f32(<vscale x 2 x float>* %ptr, <vscale x 2 x i1> %notallones, i32 %evl)47 %rev = call <vscale x 2 x float> @llvm.experimental.vp.reverse.nxv2f32(<vscale x 2 x float> %load, <vscale x 2 x i1> %notallones, i32 %evl)48 ret <vscale x 2 x float> %rev49}50 51define <vscale x 2 x float> @test_different_evl(<vscale x 2 x float>* %ptr, <vscale x 2 x i1> %mask, i32 zeroext %evl1, i32 zeroext %evl2) {52; CHECK-LABEL: test_different_evl:53; CHECK: # %bb.0:54; CHECK-NEXT: addi a3, a1, -155; CHECK-NEXT: vsetvli zero, a1, e16, mf2, ta, ma56; CHECK-NEXT: vid.v v857; CHECK-NEXT: vsetvli zero, zero, e8, mf4, ta, ma58; CHECK-NEXT: vmv.v.i v9, 059; CHECK-NEXT: vsetvli zero, zero, e16, mf2, ta, ma60; CHECK-NEXT: vrsub.vx v8, v8, a361; CHECK-NEXT: vsetvli zero, zero, e8, mf4, ta, ma62; CHECK-NEXT: vmerge.vim v9, v9, 1, v063; CHECK-NEXT: vrgatherei16.vv v10, v9, v864; CHECK-NEXT: vmsne.vi v0, v10, 065; CHECK-NEXT: vsetvli zero, a2, e32, m1, ta, ma66; CHECK-NEXT: vle32.v v9, (a0), v0.t67; CHECK-NEXT: addi a2, a2, -168; CHECK-NEXT: vid.v v869; CHECK-NEXT: vrsub.vx v10, v8, a270; CHECK-NEXT: vrgather.vv v8, v9, v1071; CHECK-NEXT: ret72 %loadmask = call <vscale x 2 x i1> @llvm.experimental.vp.reverse.nxv2i1(<vscale x 2 x i1> %mask, <vscale x 2 x i1> splat (i1 true), i32 %evl1)73 %load = call <vscale x 2 x float> @llvm.vp.load.nxv2f32.p0nxv2f32(<vscale x 2 x float>* %ptr, <vscale x 2 x i1> %loadmask, i32 %evl2)74 %rev = call <vscale x 2 x float> @llvm.experimental.vp.reverse.nxv2f32(<vscale x 2 x float> %load, <vscale x 2 x i1> splat (i1 true), i32 %evl2)75 ret <vscale x 2 x float> %rev76}77 78