43 lines · plain
1; NOTE: Assertions have been autogenerated by utils/update_llc_test_checks.py2; RUN: llc < %s -mtriple=riscv64 -mattr=+m,+v,+f -target-abi=lp64f \3; RUN: -disable-machine-licm | FileCheck %s4 5; Make sure we don't unnecessrily sink i1 vector splats.6 7define void @sink_splat_vp_and_i1(ptr nocapture %a, i1 zeroext %x, <8 x i1> %m, i32 zeroext %vl) {8; CHECK-LABEL: sink_splat_vp_and_i1:9; CHECK: # %bb.0: # %entry10; CHECK-NEXT: vsetivli zero, 8, e8, mf2, ta, ma11; CHECK-NEXT: vmv.v.x v8, a112; CHECK-NEXT: vmsne.vi v8, v8, 013; CHECK-NEXT: addi a1, a0, 102414; CHECK-NEXT: .LBB0_1: # %vector.body15; CHECK-NEXT: # =>This Inner Loop Header: Depth=116; CHECK-NEXT: vlm.v v9, (a0)17; CHECK-NEXT: vsetvli zero, a2, e8, mf2, ta, ma18; CHECK-NEXT: vmand.mm v9, v9, v819; CHECK-NEXT: vsetivli zero, 8, e8, mf2, ta, ma20; CHECK-NEXT: vsm.v v9, (a0)21; CHECK-NEXT: addi a0, a0, 122; CHECK-NEXT: bne a0, a1, .LBB0_123; CHECK-NEXT: # %bb.2: # %for.cond.cleanup24; CHECK-NEXT: ret25entry:26 %broadcast.splatinsert = insertelement <8 x i1> poison, i1 %x, i32 027 %broadcast.splat = shufflevector <8 x i1> %broadcast.splatinsert, <8 x i1> poison, <8 x i32> zeroinitializer28 br label %vector.body29 30vector.body: ; preds = %vector.body, %entry31 %index = phi i64 [ 0, %entry ], [ %index.next, %vector.body ]32 %0 = getelementptr inbounds i8, ptr %a, i64 %index33 %wide.load = load <8 x i1>, ptr %0, align 434 %1 = call <8 x i1> @llvm.vp.and.v4i1(<8 x i1> %wide.load, <8 x i1> %broadcast.splat, <8 x i1> %m, i32 %vl)35 store <8 x i1> %1, ptr %0, align 136 %index.next = add nuw i64 %index, 137 %2 = icmp eq i64 %index.next, 102438 br i1 %2, label %for.cond.cleanup, label %vector.body39 40for.cond.cleanup: ; preds = %vector.body41 ret void42}43