139 lines · plain
1; NOTE: Assertions have been autogenerated by utils/update_llc_test_checks.py2; RUN: llc -mtriple=riscv32 -mattr=+v -verify-machineinstrs < %s | FileCheck %s3; RUN: llc -mtriple=riscv64 -mattr=+v -verify-machineinstrs < %s | FileCheck %s4 5define <1 x i1> @insertelt_v1i1(<1 x i1> %x, i1 %elt) nounwind {6; CHECK-LABEL: insertelt_v1i1:7; CHECK: # %bb.0:8; CHECK-NEXT: andi a0, a0, 19; CHECK-NEXT: vsetivli zero, 1, e8, mf8, ta, ma10; CHECK-NEXT: vmv.s.x v8, a011; CHECK-NEXT: vmsne.vi v0, v8, 012; CHECK-NEXT: ret13 %y = insertelement <1 x i1> %x, i1 %elt, i64 014 ret <1 x i1> %y15}16 17define <1 x i1> @insertelt_idx_v1i1(<1 x i1> %x, i1 %elt, i32 zeroext %idx) nounwind {18; CHECK-LABEL: insertelt_idx_v1i1:19; CHECK: # %bb.0:20; CHECK-NEXT: vsetivli zero, 1, e8, mf8, ta, ma21; CHECK-NEXT: vmv.s.x v8, zero22; CHECK-NEXT: addi a2, a1, 123; CHECK-NEXT: vmerge.vim v8, v8, 1, v024; CHECK-NEXT: vmv.s.x v9, a025; CHECK-NEXT: vsetvli zero, a2, e8, mf8, tu, ma26; CHECK-NEXT: vslideup.vx v8, v9, a127; CHECK-NEXT: vsetivli zero, 1, e8, mf8, ta, ma28; CHECK-NEXT: vand.vi v8, v8, 129; CHECK-NEXT: vmsne.vi v0, v8, 030; CHECK-NEXT: ret31 %y = insertelement <1 x i1> %x, i1 %elt, i32 %idx32 ret <1 x i1> %y33}34 35define <2 x i1> @insertelt_v2i1(<2 x i1> %x, i1 %elt) nounwind {36; CHECK-LABEL: insertelt_v2i1:37; CHECK: # %bb.0:38; CHECK-NEXT: vsetivli zero, 2, e8, mf8, ta, ma39; CHECK-NEXT: vmv.v.i v8, 040; CHECK-NEXT: vmerge.vim v8, v8, 1, v041; CHECK-NEXT: vmv.s.x v9, a042; CHECK-NEXT: vslideup.vi v8, v9, 143; CHECK-NEXT: vand.vi v8, v8, 144; CHECK-NEXT: vmsne.vi v0, v8, 045; CHECK-NEXT: ret46 %y = insertelement <2 x i1> %x, i1 %elt, i64 147 ret <2 x i1> %y48}49 50define <2 x i1> @insertelt_idx_v2i1(<2 x i1> %x, i1 %elt, i32 zeroext %idx) nounwind {51; CHECK-LABEL: insertelt_idx_v2i1:52; CHECK: # %bb.0:53; CHECK-NEXT: vsetivli zero, 2, e8, mf8, ta, ma54; CHECK-NEXT: vmv.v.i v8, 055; CHECK-NEXT: addi a2, a1, 156; CHECK-NEXT: vmerge.vim v8, v8, 1, v057; CHECK-NEXT: vmv.s.x v9, a058; CHECK-NEXT: vsetvli zero, a2, e8, mf8, tu, ma59; CHECK-NEXT: vslideup.vx v8, v9, a160; CHECK-NEXT: vsetivli zero, 2, e8, mf8, ta, ma61; CHECK-NEXT: vand.vi v8, v8, 162; CHECK-NEXT: vmsne.vi v0, v8, 063; CHECK-NEXT: ret64 %y = insertelement <2 x i1> %x, i1 %elt, i32 %idx65 ret <2 x i1> %y66}67 68define <8 x i1> @insertelt_v8i1(<8 x i1> %x, i1 %elt) nounwind {69; CHECK-LABEL: insertelt_v8i1:70; CHECK: # %bb.0:71; CHECK-NEXT: vsetivli zero, 8, e8, mf2, ta, ma72; CHECK-NEXT: vmv.v.i v8, 073; CHECK-NEXT: vmerge.vim v8, v8, 1, v074; CHECK-NEXT: vmv.s.x v9, a075; CHECK-NEXT: vsetivli zero, 2, e8, mf2, tu, ma76; CHECK-NEXT: vslideup.vi v8, v9, 177; CHECK-NEXT: vsetivli zero, 8, e8, mf2, ta, ma78; CHECK-NEXT: vand.vi v8, v8, 179; CHECK-NEXT: vmsne.vi v0, v8, 080; CHECK-NEXT: ret81 %y = insertelement <8 x i1> %x, i1 %elt, i64 182 ret <8 x i1> %y83}84 85define <8 x i1> @insertelt_idx_v8i1(<8 x i1> %x, i1 %elt, i32 zeroext %idx) nounwind {86; CHECK-LABEL: insertelt_idx_v8i1:87; CHECK: # %bb.0:88; CHECK-NEXT: vsetivli zero, 8, e8, mf2, ta, ma89; CHECK-NEXT: vmv.v.i v8, 090; CHECK-NEXT: addi a2, a1, 191; CHECK-NEXT: vmerge.vim v8, v8, 1, v092; CHECK-NEXT: vmv.s.x v9, a093; CHECK-NEXT: vsetvli zero, a2, e8, mf2, tu, ma94; CHECK-NEXT: vslideup.vx v8, v9, a195; CHECK-NEXT: vsetivli zero, 8, e8, mf2, ta, ma96; CHECK-NEXT: vand.vi v8, v8, 197; CHECK-NEXT: vmsne.vi v0, v8, 098; CHECK-NEXT: ret99 %y = insertelement <8 x i1> %x, i1 %elt, i32 %idx100 ret <8 x i1> %y101}102 103define <64 x i1> @insertelt_v64i1(<64 x i1> %x, i1 %elt) nounwind {104; CHECK-LABEL: insertelt_v64i1:105; CHECK: # %bb.0:106; CHECK-NEXT: li a1, 64107; CHECK-NEXT: vsetvli zero, a1, e8, m4, ta, ma108; CHECK-NEXT: vmv.v.i v8, 0109; CHECK-NEXT: vmerge.vim v8, v8, 1, v0110; CHECK-NEXT: vmv.s.x v12, a0111; CHECK-NEXT: vsetivli zero, 2, e8, m1, tu, ma112; CHECK-NEXT: vslideup.vi v8, v12, 1113; CHECK-NEXT: vsetvli zero, a1, e8, m4, ta, ma114; CHECK-NEXT: vand.vi v8, v8, 1115; CHECK-NEXT: vmsne.vi v0, v8, 0116; CHECK-NEXT: ret117 %y = insertelement <64 x i1> %x, i1 %elt, i64 1118 ret <64 x i1> %y119}120 121define <64 x i1> @insertelt_idx_v64i1(<64 x i1> %x, i1 %elt, i32 zeroext %idx) nounwind {122; CHECK-LABEL: insertelt_idx_v64i1:123; CHECK: # %bb.0:124; CHECK-NEXT: li a2, 64125; CHECK-NEXT: vsetvli zero, a2, e8, m4, ta, ma126; CHECK-NEXT: vmv.v.i v8, 0127; CHECK-NEXT: vmerge.vim v8, v8, 1, v0128; CHECK-NEXT: vmv.s.x v12, a0129; CHECK-NEXT: addi a0, a1, 1130; CHECK-NEXT: vsetvli zero, a0, e8, m4, tu, ma131; CHECK-NEXT: vslideup.vx v8, v12, a1132; CHECK-NEXT: vsetvli zero, a2, e8, m4, ta, ma133; CHECK-NEXT: vand.vi v8, v8, 1134; CHECK-NEXT: vmsne.vi v0, v8, 0135; CHECK-NEXT: ret136 %y = insertelement <64 x i1> %x, i1 %elt, i32 %idx137 ret <64 x i1> %y138}139