brintos

brintos / llvm-project-archived public Read only

0
0
Text · 16.1 KiB · d1b1771 Raw
281 lines · plain
1; NOTE: Assertions have been autogenerated by utils/update_test_checks.py UTC_ARGS: --filter-out-after "^scalar.ph:"2; RUN: opt -passes=loop-vectorize,dce,instcombine -mtriple aarch64-linux-gnu -mattr=+sve \3; RUN:   -prefer-predicate-over-epilogue=scalar-epilogue -S %s -force-target-instruction-cost=1 -o - | FileCheck %s4 5define void @gather_nxv4i32_ind64(ptr noalias nocapture readonly %a, ptr noalias nocapture readonly %b, ptr noalias nocapture %c, i64 %n) #0 {6; CHECK-LABEL: @gather_nxv4i32_ind64(7; CHECK-NEXT:  entry:8; CHECK-NEXT:    [[TMP0:%.*]] = call i64 @llvm.vscale.i64()9; CHECK-NEXT:    [[TMP1:%.*]] = shl nuw nsw i64 [[TMP0]], 210; CHECK-NEXT:    [[MIN_ITERS_CHECK:%.*]] = icmp ult i64 [[N:%.*]], [[TMP1]]11; CHECK-NEXT:    br i1 [[MIN_ITERS_CHECK]], label [[SCALAR_PH:%.*]], label [[VECTOR_PH:%.*]]12; CHECK:       vector.ph:13; CHECK-NEXT:    [[TMP3:%.*]] = call i64 @llvm.vscale.i64()14; CHECK-NEXT:    [[TMP4:%.*]] = shl nuw nsw i64 [[TMP3]], 215; CHECK-NEXT:    [[DOTNOT:%.*]] = sub nsw i64 0, [[TMP4]]16; CHECK-NEXT:    [[N_VEC:%.*]] = and i64 [[N]], [[DOTNOT]]17; CHECK-NEXT:    br label [[VECTOR_BODY:%.*]]18; CHECK:       vector.body:19; CHECK-NEXT:    [[INDEX:%.*]] = phi i64 [ 0, [[VECTOR_PH]] ], [ [[INDEX_NEXT:%.*]], [[VECTOR_BODY]] ]20; CHECK-NEXT:    [[TMP5:%.*]] = getelementptr inbounds i64, ptr [[B:%.*]], i64 [[INDEX]]21; CHECK-NEXT:    [[WIDE_LOAD:%.*]] = load <vscale x 4 x i64>, ptr [[TMP5]], align 822; CHECK-NEXT:    [[TMP6:%.*]] = getelementptr inbounds float, ptr [[A:%.*]], <vscale x 4 x i64> [[WIDE_LOAD]]23; CHECK-NEXT:    [[WIDE_MASKED_GATHER:%.*]] = call <vscale x 4 x float> @llvm.masked.gather.nxv4f32.nxv4p0(<vscale x 4 x ptr> align 4 [[TMP6]], <vscale x 4 x i1> splat (i1 true), <vscale x 4 x float> poison)24; CHECK-NEXT:    [[TMP7:%.*]] = getelementptr inbounds float, ptr [[C:%.*]], i64 [[INDEX]]25; CHECK-NEXT:    store <vscale x 4 x float> [[WIDE_MASKED_GATHER]], ptr [[TMP7]], align 426; CHECK-NEXT:    [[INDEX_NEXT]] = add nuw i64 [[INDEX]], [[TMP4]]27; CHECK-NEXT:    [[TMP8:%.*]] = icmp eq i64 [[INDEX_NEXT]], [[N_VEC]]28; CHECK-NEXT:    br i1 [[TMP8]], label [[MIDDLE_BLOCK:%.*]], label [[VECTOR_BODY]], !llvm.loop [[LOOP0:![0-9]+]]29; CHECK:       middle.block:30; CHECK-NEXT:    [[CMP_N:%.*]] = icmp eq i64 [[N]], [[N_VEC]]31; CHECK-NEXT:    br i1 [[CMP_N]], label [[FOR_COND_CLEANUP:%.*]], label [[SCALAR_PH]]32; CHECK:       scalar.ph:33;34entry:35  br label %for.body36 37for.body:                                         ; preds = %entry, %for.body38  %indvars.iv = phi i64 [ %indvars.iv.next, %for.body ], [ 0, %entry ]39  %arrayidx = getelementptr inbounds i64, ptr %b, i64 %indvars.iv40  %0 = load i64, ptr %arrayidx, align 841  %arrayidx3 = getelementptr inbounds float, ptr %a, i64 %042  %1 = load float, ptr %arrayidx3, align 443  %arrayidx5 = getelementptr inbounds float, ptr %c, i64 %indvars.iv44  store float %1, ptr %arrayidx5, align 445  %indvars.iv.next = add nuw nsw i64 %indvars.iv, 146  %exitcond.not = icmp eq i64 %indvars.iv.next, %n47  br i1 %exitcond.not, label %for.cond.cleanup, label %for.body, !llvm.loop !048 49for.cond.cleanup:                                 ; preds = %for.cond.cleanup.loopexit, %entry50  ret void51}52 53; NOTE: I deliberately chose '%b' as an array of i32 indices, since the54; additional 'sext' in the for.body loop exposes additional code paths55; during vectorisation.56define void @scatter_nxv4i32_ind32(ptr noalias nocapture %a, ptr noalias nocapture readonly %b, ptr noalias nocapture readonly %c, i64 %n) #0 {57; CHECK-LABEL: @scatter_nxv4i32_ind32(58; CHECK-NEXT:  entry:59; CHECK-NEXT:    [[TMP0:%.*]] = call i64 @llvm.vscale.i64()60; CHECK-NEXT:    [[TMP1:%.*]] = shl nuw nsw i64 [[TMP0]], 261; CHECK-NEXT:    [[MIN_ITERS_CHECK:%.*]] = icmp ult i64 [[N:%.*]], [[TMP1]]62; CHECK-NEXT:    br i1 [[MIN_ITERS_CHECK]], label [[SCALAR_PH:%.*]], label [[VECTOR_PH:%.*]]63; CHECK:       vector.ph:64; CHECK-NEXT:    [[TMP3:%.*]] = call i64 @llvm.vscale.i64()65; CHECK-NEXT:    [[TMP4:%.*]] = shl nuw nsw i64 [[TMP3]], 266; CHECK-NEXT:    [[DOTNOT:%.*]] = sub nsw i64 0, [[TMP4]]67; CHECK-NEXT:    [[N_VEC:%.*]] = and i64 [[N]], [[DOTNOT]]68; CHECK-NEXT:    br label [[VECTOR_BODY:%.*]]69; CHECK:       vector.body:70; CHECK-NEXT:    [[INDEX:%.*]] = phi i64 [ 0, [[VECTOR_PH]] ], [ [[INDEX_NEXT:%.*]], [[VECTOR_BODY]] ]71; CHECK-NEXT:    [[TMP5:%.*]] = getelementptr inbounds float, ptr [[C:%.*]], i64 [[INDEX]]72; CHECK-NEXT:    [[WIDE_LOAD:%.*]] = load <vscale x 4 x float>, ptr [[TMP5]], align 473; CHECK-NEXT:    [[TMP6:%.*]] = getelementptr inbounds i32, ptr [[B:%.*]], i64 [[INDEX]]74; CHECK-NEXT:    [[WIDE_LOAD1:%.*]] = load <vscale x 4 x i32>, ptr [[TMP6]], align 475; CHECK-NEXT:    [[TMP7:%.*]] = sext <vscale x 4 x i32> [[WIDE_LOAD1]] to <vscale x 4 x i64>76; CHECK-NEXT:    [[TMP8:%.*]] = getelementptr inbounds float, ptr [[A:%.*]], <vscale x 4 x i64> [[TMP7]]77; CHECK-NEXT:    call void @llvm.masked.scatter.nxv4f32.nxv4p0(<vscale x 4 x float> [[WIDE_LOAD]], <vscale x 4 x ptr> align 4 [[TMP8]], <vscale x 4 x i1> splat (i1 true))78; CHECK-NEXT:    [[INDEX_NEXT]] = add nuw i64 [[INDEX]], [[TMP4]]79; CHECK-NEXT:    [[TMP9:%.*]] = icmp eq i64 [[INDEX_NEXT]], [[N_VEC]]80; CHECK-NEXT:    br i1 [[TMP9]], label [[MIDDLE_BLOCK:%.*]], label [[VECTOR_BODY]], !llvm.loop [[LOOP5:![0-9]+]]81; CHECK:       middle.block:82; CHECK-NEXT:    [[CMP_N:%.*]] = icmp eq i64 [[N]], [[N_VEC]]83; CHECK-NEXT:    br i1 [[CMP_N]], label [[FOR_COND_CLEANUP:%.*]], label [[SCALAR_PH]]84; CHECK:       scalar.ph:85;86entry:87  br label %for.body88 89for.body:                                         ; preds = %entry, %for.body90  %indvars.iv = phi i64 [ %indvars.iv.next, %for.body ], [ 0, %entry ]91  %arrayidx = getelementptr inbounds float, ptr %c, i64 %indvars.iv92  %0 = load float, ptr %arrayidx, align 493  %arrayidx3 = getelementptr inbounds i32, ptr %b, i64 %indvars.iv94  %1 = load i32, ptr %arrayidx3, align 495  %idxprom4 = sext i32 %1 to i6496  %arrayidx5 = getelementptr inbounds float, ptr %a, i64 %idxprom497  store float %0, ptr %arrayidx5, align 498  %indvars.iv.next = add nuw nsw i64 %indvars.iv, 199  %exitcond.not = icmp eq i64 %indvars.iv.next, %n100  br i1 %exitcond.not, label %for.cond.cleanup, label %for.body, !llvm.loop !0101 102for.cond.cleanup:                                 ; preds = %for.body, %entry103  ret void104}105 106define void @scatter_inv_nxv4i32(ptr noalias nocapture %inv, ptr noalias nocapture readonly %b, i64 %n) #0 {107; CHECK-LABEL: @scatter_inv_nxv4i32(108; CHECK-NEXT:  entry:109; CHECK-NEXT:    [[TMP0:%.*]] = call i64 @llvm.vscale.i64()110; CHECK-NEXT:    [[TMP1:%.*]] = shl nuw nsw i64 [[TMP0]], 2111; CHECK-NEXT:    [[MIN_ITERS_CHECK:%.*]] = icmp ult i64 [[N:%.*]], [[TMP1]]112; CHECK-NEXT:    br i1 [[MIN_ITERS_CHECK]], label [[SCALAR_PH:%.*]], label [[VECTOR_PH:%.*]]113; CHECK:       vector.ph:114; CHECK-NEXT:    [[TMP3:%.*]] = call i64 @llvm.vscale.i64()115; CHECK-NEXT:    [[TMP4:%.*]] = shl nuw nsw i64 [[TMP3]], 2116; CHECK-NEXT:    [[DOTNOT:%.*]] = sub nsw i64 0, [[TMP4]]117; CHECK-NEXT:    [[N_VEC:%.*]] = and i64 [[N]], [[DOTNOT]]118; CHECK-NEXT:    [[BROADCAST_SPLATINSERT:%.*]] = insertelement <vscale x 4 x ptr> poison, ptr [[INV:%.*]], i64 0119; CHECK-NEXT:    [[BROADCAST_SPLAT:%.*]] = shufflevector <vscale x 4 x ptr> [[BROADCAST_SPLATINSERT]], <vscale x 4 x ptr> poison, <vscale x 4 x i32> zeroinitializer120; CHECK-NEXT:    br label [[VECTOR_BODY:%.*]]121; CHECK:       vector.body:122; CHECK-NEXT:    [[INDEX:%.*]] = phi i64 [ 0, [[VECTOR_PH]] ], [ [[INDEX_NEXT:%.*]], [[VECTOR_BODY]] ]123; CHECK-NEXT:    [[TMP5:%.*]] = getelementptr inbounds i32, ptr [[B:%.*]], i64 [[INDEX]]124; CHECK-NEXT:    [[WIDE_LOAD:%.*]] = load <vscale x 4 x i32>, ptr [[TMP5]], align 4125; CHECK-NEXT:    [[TMP6:%.*]] = icmp ne <vscale x 4 x i32> [[WIDE_LOAD]], zeroinitializer126; CHECK-NEXT:    call void @llvm.masked.scatter.nxv4i32.nxv4p0(<vscale x 4 x i32> splat (i32 3), <vscale x 4 x ptr> align 4 [[BROADCAST_SPLAT]], <vscale x 4 x i1> [[TMP6]])127; CHECK-NEXT:    [[INDEX_NEXT]] = add nuw i64 [[INDEX]], [[TMP4]]128; CHECK-NEXT:    [[TMP7:%.*]] = icmp eq i64 [[INDEX_NEXT]], [[N_VEC]]129; CHECK-NEXT:    br i1 [[TMP7]], label [[MIDDLE_BLOCK:%.*]], label [[VECTOR_BODY]], !llvm.loop [[LOOP7:![0-9]+]]130; CHECK:       middle.block:131; CHECK-NEXT:    [[CMP_N:%.*]] = icmp eq i64 [[N]], [[N_VEC]]132; CHECK-NEXT:    br i1 [[CMP_N]], label [[FOR_COND_CLEANUP:%.*]], label [[SCALAR_PH]]133; CHECK:       scalar.ph:134;135entry:136  br label %for.body137 138for.body:                                         ; preds = %entry, %for.inc139  %indvars.iv = phi i64 [ %indvars.iv.next, %for.inc ], [ 0, %entry ]140  %arrayidx = getelementptr inbounds i32, ptr %b, i64 %indvars.iv141  %0 = load i32, ptr %arrayidx, align 4142  %tobool.not = icmp eq i32 %0, 0143  br i1 %tobool.not, label %for.inc, label %if.then144 145if.then:                                          ; preds = %for.body146  store i32 3, ptr %inv, align 4147  br label %for.inc148 149for.inc:                                          ; preds = %for.body, %if.then150  %indvars.iv.next = add nuw nsw i64 %indvars.iv, 1151  %exitcond.not = icmp eq i64 %indvars.iv.next, %n152  br i1 %exitcond.not, label %for.cond.cleanup, label %for.body, !llvm.loop !0153 154for.cond.cleanup:                                 ; preds = %for.cond.cleanup.loopexit, %entry155  ret void156}157 158define void @gather_inv_nxv4i32(ptr noalias nocapture %a, ptr noalias nocapture readonly %inv, i64 %n) #0 {159; CHECK-LABEL: @gather_inv_nxv4i32(160; CHECK-NEXT:  entry:161; CHECK-NEXT:    [[TMP0:%.*]] = call i64 @llvm.vscale.i64()162; CHECK-NEXT:    [[TMP1:%.*]] = shl nuw nsw i64 [[TMP0]], 2163; CHECK-NEXT:    [[MIN_ITERS_CHECK:%.*]] = icmp ult i64 [[N:%.*]], [[TMP1]]164; CHECK-NEXT:    br i1 [[MIN_ITERS_CHECK]], label [[SCALAR_PH:%.*]], label [[VECTOR_PH:%.*]]165; CHECK:       vector.ph:166; CHECK-NEXT:    [[TMP3:%.*]] = call i64 @llvm.vscale.i64()167; CHECK-NEXT:    [[TMP4:%.*]] = shl nuw nsw i64 [[TMP3]], 2168; CHECK-NEXT:    [[DOTNOT:%.*]] = sub nsw i64 0, [[TMP4]]169; CHECK-NEXT:    [[N_VEC:%.*]] = and i64 [[N]], [[DOTNOT]]170; CHECK-NEXT:    [[BROADCAST_SPLATINSERT:%.*]] = insertelement <vscale x 4 x ptr> poison, ptr [[INV:%.*]], i64 0171; CHECK-NEXT:    [[BROADCAST_SPLAT:%.*]] = shufflevector <vscale x 4 x ptr> [[BROADCAST_SPLATINSERT]], <vscale x 4 x ptr> poison, <vscale x 4 x i32> zeroinitializer172; CHECK-NEXT:    br label [[VECTOR_BODY:%.*]]173; CHECK:       vector.body:174; CHECK-NEXT:    [[INDEX:%.*]] = phi i64 [ 0, [[VECTOR_PH]] ], [ [[INDEX_NEXT:%.*]], [[VECTOR_BODY]] ]175; CHECK-NEXT:    [[TMP5:%.*]] = getelementptr i32, ptr [[A:%.*]], i64 [[INDEX]]176; CHECK-NEXT:    [[WIDE_LOAD:%.*]] = load <vscale x 4 x i32>, ptr [[TMP5]], align 4177; CHECK-NEXT:    [[TMP6:%.*]] = icmp sgt <vscale x 4 x i32> [[WIDE_LOAD]], splat (i32 3)178; CHECK-NEXT:    [[WIDE_MASKED_GATHER:%.*]] = call <vscale x 4 x i32> @llvm.masked.gather.nxv4i32.nxv4p0(<vscale x 4 x ptr> align 4 [[BROADCAST_SPLAT]], <vscale x 4 x i1> [[TMP6]], <vscale x 4 x i32> poison)179; CHECK-NEXT:    call void @llvm.masked.store.nxv4i32.p0(<vscale x 4 x i32> [[WIDE_MASKED_GATHER]], ptr align 4 [[TMP5]], <vscale x 4 x i1> [[TMP6]])180; CHECK-NEXT:    [[INDEX_NEXT]] = add nuw i64 [[INDEX]], [[TMP4]]181; CHECK-NEXT:    [[TMP7:%.*]] = icmp eq i64 [[INDEX_NEXT]], [[N_VEC]]182; CHECK-NEXT:    br i1 [[TMP7]], label [[MIDDLE_BLOCK:%.*]], label [[VECTOR_BODY]], !llvm.loop [[LOOP9:![0-9]+]]183; CHECK:       middle.block:184; CHECK-NEXT:    [[CMP_N:%.*]] = icmp eq i64 [[N]], [[N_VEC]]185; CHECK-NEXT:    br i1 [[CMP_N]], label [[FOR_COND_CLEANUP:%.*]], label [[SCALAR_PH]]186; CHECK:       scalar.ph:187;188entry:189  br label %for.body190 191for.body:                                         ; preds = %entry, %for.inc192  %indvars.iv = phi i64 [ %indvars.iv.next, %for.inc ], [ 0, %entry ]193  %arrayidx = getelementptr inbounds i32, ptr %a, i64 %indvars.iv194  %0 = load i32, ptr %arrayidx, align 4195  %cmp2 = icmp sgt i32 %0, 3196  br i1 %cmp2, label %if.then, label %for.inc197 198if.then:                                          ; preds = %for.body199  %1 = load i32, ptr %inv, align 4200  store i32 %1, ptr %arrayidx, align 4201  br label %for.inc202 203for.inc:                                          ; preds = %for.body, %if.then204  %indvars.iv.next = add nuw nsw i64 %indvars.iv, 1205  %exitcond.not = icmp eq i64 %indvars.iv.next, %n206  br i1 %exitcond.not, label %for.cond.cleanup, label %for.body, !llvm.loop !0207 208for.cond.cleanup:                                 ; preds = %for.inc, %entry209  ret void210}211 212define void @gather_nxv4i32_ind64_stride2(ptr noalias nocapture %a, ptr noalias nocapture readonly %b, i64 %n) #0 {213; CHECK-LABEL: @gather_nxv4i32_ind64_stride2(214; CHECK-NEXT:  entry:215; CHECK-NEXT:    [[TMP0:%.*]] = call i64 @llvm.vscale.i64()216; CHECK-NEXT:    [[TMP1:%.*]] = shl nuw nsw i64 [[TMP0]], 3217; CHECK-NEXT:    [[MIN_ITERS_CHECK:%.*]] = icmp ugt i64 [[N:%.*]], [[TMP1]]218; CHECK-NEXT:    br i1 [[MIN_ITERS_CHECK]], label [[VECTOR_PH:%.*]], label [[SCALAR_PH:%.*]]219; CHECK:       vector.ph:220; CHECK-NEXT:    [[TMP2:%.*]] = call i64 @llvm.vscale.i64()221; CHECK-NEXT:    [[TMP7:%.*]] = shl nuw nsw i64 [[TMP2]], 3222; CHECK-NEXT:    [[DOTNEG:%.*]] = add nsw i64 [[TMP7]], -1223; CHECK-NEXT:    [[N_VEC:%.*]] = and i64 [[N]], [[DOTNEG]]224; CHECK-NEXT:    [[TMP5:%.*]] = icmp eq i64 [[N_VEC]], 0225; CHECK-NEXT:    [[TMP6:%.*]] = select i1 [[TMP5]], i64 [[TMP7]], i64 [[N_VEC]]226; CHECK-NEXT:    [[N_VEC1:%.*]] = sub i64 [[N]], [[TMP6]]227; CHECK-NEXT:    br label [[VECTOR_BODY:%.*]]228; CHECK:       vector.body:229; CHECK-NEXT:    [[INDEX:%.*]] = phi i64 [ 0, [[VECTOR_PH]] ], [ [[INDEX_NEXT:%.*]], [[VECTOR_BODY]] ]230; CHECK-NEXT:    [[DOTIDX1:%.*]] = shl i64 [[INDEX]], 3231; CHECK-NEXT:    [[TMP10:%.*]] = getelementptr inbounds i8, ptr [[B:%.*]], i64 [[DOTIDX1]]232; CHECK-NEXT:    [[DOTIDX3:%.*]] = shl nuw nsw i64 [[TMP2]], 5233; CHECK-NEXT:    [[TMP11:%.*]] = getelementptr i8, ptr [[B]], i64 [[DOTIDX3]]234; CHECK-NEXT:    [[DOTIDX4:%.*]] = shl i64 [[INDEX]], 3235; CHECK-NEXT:    [[TMP15:%.*]] = getelementptr i8, ptr [[TMP11]], i64 [[DOTIDX4]]236; CHECK-NEXT:    [[WIDE_VEC:%.*]] = load <vscale x 8 x float>, ptr [[TMP10]], align 4237; CHECK-NEXT:    [[STRIDED_VEC:%.*]] = call { <vscale x 4 x float>, <vscale x 4 x float> } @llvm.vector.deinterleave2.nxv8f32(<vscale x 8 x float> [[WIDE_VEC]])238; CHECK-NEXT:    [[WIDE_MASKED_GATHER:%.*]] = extractvalue { <vscale x 4 x float>, <vscale x 4 x float> } [[STRIDED_VEC]], 0239; CHECK-NEXT:    [[WIDE_VEC1:%.*]] = load <vscale x 8 x float>, ptr [[TMP15]], align 4240; CHECK-NEXT:    [[STRIDED_VEC2:%.*]] = call { <vscale x 4 x float>, <vscale x 4 x float> } @llvm.vector.deinterleave2.nxv8f32(<vscale x 8 x float> [[WIDE_VEC1]])241; CHECK-NEXT:    [[WIDE_MASKED_GATHER2:%.*]] = extractvalue { <vscale x 4 x float>, <vscale x 4 x float> } [[STRIDED_VEC2]], 0242; CHECK-NEXT:    [[TMP12:%.*]] = getelementptr inbounds float, ptr [[A:%.*]], i64 [[INDEX]]243; CHECK-NEXT:    [[TMP13:%.*]] = call i64 @llvm.vscale.i64()244; CHECK-NEXT:    [[DOTIDX:%.*]] = shl nuw nsw i64 [[TMP13]], 4245; CHECK-NEXT:    [[TMP14:%.*]] = getelementptr inbounds nuw i8, ptr [[TMP12]], i64 [[DOTIDX]]246; CHECK-NEXT:    store <vscale x 4 x float> [[WIDE_MASKED_GATHER]], ptr [[TMP12]], align 4247; CHECK-NEXT:    store <vscale x 4 x float> [[WIDE_MASKED_GATHER2]], ptr [[TMP14]], align 4248; CHECK-NEXT:    [[INDEX_NEXT]] = add nuw i64 [[INDEX]], [[TMP7]]249; CHECK-NEXT:    [[TMP18:%.*]] = icmp eq i64 [[INDEX_NEXT]], [[N_VEC1]]250; CHECK-NEXT:    br i1 [[TMP18]], label [[MIDDLE_BLOCK:%.*]], label [[VECTOR_BODY]], !llvm.loop [[LOOP11:![0-9]+]]251; CHECK:       middle.block:252; CHECK-NEXT:    br label [[SCALAR_PH]]253; CHECK:       scalar.ph:254;255entry:256  br label %for.body257 258for.body:                                         ; preds = %entry, %for.body259  %indvars.iv = phi i64 [ %indvars.iv.next, %for.body ], [ 0, %entry ]260  %indvars.iv.stride2 = mul i64 %indvars.iv, 2261  %arrayidx = getelementptr inbounds float, ptr %b, i64 %indvars.iv.stride2262  %0 = load float, ptr %arrayidx, align 4263  %arrayidx2 = getelementptr inbounds float, ptr %a, i64 %indvars.iv264  store float %0, ptr %arrayidx2, align 4265  %indvars.iv.next = add nuw nsw i64 %indvars.iv, 1266  %exitcond.not = icmp eq i64 %indvars.iv.next, %n267  br i1 %exitcond.not, label %for.cond.cleanup, label %for.body268 269for.cond.cleanup:                                 ; preds = %for.cond.cleanup.loopexit, %entry270  ret void271}272 273attributes #0 = { vscale_range(1, 16) }274 275!0 = distinct !{!0, !1, !2, !3, !4, !5}276!1 = !{!"llvm.loop.mustprogress"}277!2 = !{!"llvm.loop.vectorize.width", i32 4}278!3 = !{!"llvm.loop.vectorize.scalable.enable", i1 true}279!4 = !{!"llvm.loop.interleave.count", i32 1}280!5 = !{!"llvm.loop.vectorize.enable", i1 true}281