127 lines · plain
1; NOTE: Assertions have been autogenerated by utils/update_test_checks.py2; RUN: opt -passes=loop-vectorize < %s -S -o - | FileCheck %s3 4target datalayout = "e-m:e-p:32:32-Fi8-i64:64-v128:64:128-a:0:32-n32-S64"5target triple = "thumbv8.1m.main-arm-none-eabi"6 7; Fixed order recurrences currently require a shuffle that is expensive to8; codegenerate. These examples should not vectorize.9 10define void @firstorderrec(ptr nocapture noundef readonly %x, ptr noalias nocapture noundef writeonly %y, i32 noundef %n) #0 {11; CHECK-LABEL: @firstorderrec(12; CHECK-NEXT: entry:13; CHECK-NEXT: [[CMP18:%.*]] = icmp sgt i32 [[N:%.*]], 114; CHECK-NEXT: br i1 [[CMP18]], label [[FOR_BODY_PREHEADER:%.*]], label [[FOR_COND_CLEANUP:%.*]]15; CHECK: for.body.preheader:16; CHECK-NEXT: [[WIDE_TRIP_COUNT:%.*]] = zext i32 [[N]] to i6417; CHECK-NEXT: [[DOTPRE:%.*]] = load i8, ptr [[X:%.*]], align 118; CHECK-NEXT: br label [[FOR_BODY:%.*]]19; CHECK: for.cond.cleanup.loopexit:20; CHECK-NEXT: br label [[FOR_COND_CLEANUP]]21; CHECK: for.cond.cleanup:22; CHECK-NEXT: ret void23; CHECK: for.body:24; CHECK-NEXT: [[TMP0:%.*]] = phi i8 [ [[DOTPRE]], [[FOR_BODY_PREHEADER]] ], [ [[TMP1:%.*]], [[FOR_BODY]] ]25; CHECK-NEXT: [[INDVARS_IV:%.*]] = phi i64 [ 1, [[FOR_BODY_PREHEADER]] ], [ [[INDVARS_IV_NEXT:%.*]], [[FOR_BODY]] ]26; CHECK-NEXT: [[ARRAYIDX4:%.*]] = getelementptr inbounds i8, ptr [[X]], i64 [[INDVARS_IV]]27; CHECK-NEXT: [[TMP1]] = load i8, ptr [[ARRAYIDX4]], align 128; CHECK-NEXT: [[ADD7:%.*]] = add i8 [[TMP1]], [[TMP0]]29; CHECK-NEXT: [[ARRAYIDX10:%.*]] = getelementptr inbounds i8, ptr [[Y:%.*]], i64 [[INDVARS_IV]]30; CHECK-NEXT: store i8 [[ADD7]], ptr [[ARRAYIDX10]], align 131; CHECK-NEXT: [[INDVARS_IV_NEXT]] = add nuw nsw i64 [[INDVARS_IV]], 132; CHECK-NEXT: [[EXITCOND_NOT:%.*]] = icmp eq i64 [[INDVARS_IV_NEXT]], [[WIDE_TRIP_COUNT]]33; CHECK-NEXT: br i1 [[EXITCOND_NOT]], label [[FOR_COND_CLEANUP_LOOPEXIT:%.*]], label [[FOR_BODY]]34;35entry:36 %cmp18 = icmp sgt i32 %n, 137 br i1 %cmp18, label %for.body.preheader, label %for.cond.cleanup38 39for.body.preheader: ; preds = %entry40 %wide.trip.count = zext i32 %n to i6441 %.pre = load i8, ptr %x, align 142 br label %for.body43 44for.cond.cleanup: ; preds = %for.body, %entry45 ret void46 47for.body: ; preds = %for.body.preheader, %for.body48 %0 = phi i8 [ %.pre, %for.body.preheader ], [ %1, %for.body ]49 %indvars.iv = phi i64 [ 1, %for.body.preheader ], [ %indvars.iv.next, %for.body ]50 %arrayidx4 = getelementptr inbounds i8, ptr %x, i64 %indvars.iv51 %1 = load i8, ptr %arrayidx4, align 152 %add7 = add i8 %1, %053 %arrayidx10 = getelementptr inbounds i8, ptr %y, i64 %indvars.iv54 store i8 %add7, ptr %arrayidx10, align 155 %indvars.iv.next = add nuw nsw i64 %indvars.iv, 156 %exitcond.not = icmp eq i64 %indvars.iv.next, %wide.trip.count57 br i1 %exitcond.not, label %for.cond.cleanup, label %for.body58}59 60define void @thirdorderrec(ptr nocapture noundef readonly %x, ptr noalias nocapture noundef writeonly %y, i32 noundef %n) #0 {61; CHECK-LABEL: @thirdorderrec(62; CHECK-NEXT: entry:63; CHECK-NEXT: [[CMP38:%.*]] = icmp sgt i32 [[N:%.*]], 364; CHECK-NEXT: br i1 [[CMP38]], label [[FOR_BODY_PREHEADER:%.*]], label [[FOR_COND_CLEANUP:%.*]]65; CHECK: for.body.preheader:66; CHECK-NEXT: [[WIDE_TRIP_COUNT:%.*]] = zext i32 [[N]] to i6467; CHECK-NEXT: [[DOTPRE:%.*]] = load i8, ptr [[X:%.*]], align 168; CHECK-NEXT: [[ARRAYIDX5_PHI_TRANS_INSERT:%.*]] = getelementptr inbounds i8, ptr [[X]], i64 169; CHECK-NEXT: [[DOTPRE44:%.*]] = load i8, ptr [[ARRAYIDX5_PHI_TRANS_INSERT]], align 170; CHECK-NEXT: [[ARRAYIDX12_PHI_TRANS_INSERT:%.*]] = getelementptr inbounds i8, ptr [[X]], i64 271; CHECK-NEXT: [[DOTPRE45:%.*]] = load i8, ptr [[ARRAYIDX12_PHI_TRANS_INSERT]], align 172; CHECK-NEXT: br label [[FOR_BODY:%.*]]73; CHECK: for.cond.cleanup.loopexit:74; CHECK-NEXT: br label [[FOR_COND_CLEANUP]]75; CHECK: for.cond.cleanup:76; CHECK-NEXT: ret void77; CHECK: for.body:78; CHECK-NEXT: [[TMP0:%.*]] = phi i8 [ [[DOTPRE45]], [[FOR_BODY_PREHEADER]] ], [ [[TMP3:%.*]], [[FOR_BODY]] ]79; CHECK-NEXT: [[TMP1:%.*]] = phi i8 [ [[DOTPRE44]], [[FOR_BODY_PREHEADER]] ], [ [[TMP0]], [[FOR_BODY]] ]80; CHECK-NEXT: [[TMP2:%.*]] = phi i8 [ [[DOTPRE]], [[FOR_BODY_PREHEADER]] ], [ [[TMP1]], [[FOR_BODY]] ]81; CHECK-NEXT: [[INDVARS_IV:%.*]] = phi i64 [ 3, [[FOR_BODY_PREHEADER]] ], [ [[INDVARS_IV_NEXT:%.*]], [[FOR_BODY]] ]82; CHECK-NEXT: [[ADD8:%.*]] = add i8 [[TMP1]], [[TMP2]]83; CHECK-NEXT: [[ADD15:%.*]] = add i8 [[ADD8]], [[TMP0]]84; CHECK-NEXT: [[ARRAYIDX18:%.*]] = getelementptr inbounds i8, ptr [[X]], i64 [[INDVARS_IV]]85; CHECK-NEXT: [[TMP3]] = load i8, ptr [[ARRAYIDX18]], align 186; CHECK-NEXT: [[ADD21:%.*]] = add i8 [[ADD15]], [[TMP3]]87; CHECK-NEXT: [[ARRAYIDX24:%.*]] = getelementptr inbounds i8, ptr [[Y:%.*]], i64 [[INDVARS_IV]]88; CHECK-NEXT: store i8 [[ADD21]], ptr [[ARRAYIDX24]], align 189; CHECK-NEXT: [[INDVARS_IV_NEXT]] = add nuw nsw i64 [[INDVARS_IV]], 190; CHECK-NEXT: [[EXITCOND_NOT:%.*]] = icmp eq i64 [[INDVARS_IV_NEXT]], [[WIDE_TRIP_COUNT]]91; CHECK-NEXT: br i1 [[EXITCOND_NOT]], label [[FOR_COND_CLEANUP_LOOPEXIT:%.*]], label [[FOR_BODY]]92;93entry:94 %cmp38 = icmp sgt i32 %n, 395 br i1 %cmp38, label %for.body.preheader, label %for.cond.cleanup96 97for.body.preheader: ; preds = %entry98 %wide.trip.count = zext i32 %n to i6499 %.pre = load i8, ptr %x, align 1100 %arrayidx5.phi.trans.insert = getelementptr inbounds i8, ptr %x, i64 1101 %.pre44 = load i8, ptr %arrayidx5.phi.trans.insert, align 1102 %arrayidx12.phi.trans.insert = getelementptr inbounds i8, ptr %x, i64 2103 %.pre45 = load i8, ptr %arrayidx12.phi.trans.insert, align 1104 br label %for.body105 106for.cond.cleanup: ; preds = %for.body, %entry107 ret void108 109for.body: ; preds = %for.body.preheader, %for.body110 %0 = phi i8 [ %.pre45, %for.body.preheader ], [ %3, %for.body ]111 %1 = phi i8 [ %.pre44, %for.body.preheader ], [ %0, %for.body ]112 %2 = phi i8 [ %.pre, %for.body.preheader ], [ %1, %for.body ]113 %indvars.iv = phi i64 [ 3, %for.body.preheader ], [ %indvars.iv.next, %for.body ]114 %add8 = add i8 %1, %2115 %add15 = add i8 %add8, %0116 %arrayidx18 = getelementptr inbounds i8, ptr %x, i64 %indvars.iv117 %3 = load i8, ptr %arrayidx18, align 1118 %add21 = add i8 %add15, %3119 %arrayidx24 = getelementptr inbounds i8, ptr %y, i64 %indvars.iv120 store i8 %add21, ptr %arrayidx24, align 1121 %indvars.iv.next = add nuw nsw i64 %indvars.iv, 1122 %exitcond.not = icmp eq i64 %indvars.iv.next, %wide.trip.count123 br i1 %exitcond.not, label %for.cond.cleanup, label %for.body124}125 126attributes #0 = { "target-features"="+mve" }127