94 lines · plain
1; NOTE: Assertions have been autogenerated by utils/update_test_checks.py2; RUN: opt -loop-reduce -S < %s | FileCheck %s3 4; Check when we use an outerloop induction variable inside of an innerloop5; induction value expr, LSR can still choose to use single induction variable6; for the innerloop and share it in multiple induction value exprs.7 8target datalayout = "e-m:e-i64:64-f80:128-n8:16:32:64-S128"9target triple = "x86_64-unknown-linux-gnu"10 11define void @foo(i32 %size, i32 %nsteps, i32 %hsize, ptr %lined, ptr %maxarray) {12; CHECK-LABEL: @foo(13; CHECK-NEXT: entry:14; CHECK-NEXT: [[CMP215:%.*]] = icmp sgt i32 [[SIZE:%.*]], 115; CHECK-NEXT: [[T0:%.*]] = zext i32 [[SIZE]] to i6416; CHECK-NEXT: [[T1:%.*]] = sext i32 [[NSTEPS:%.*]] to i6417; CHECK-NEXT: [[TMP0:%.*]] = add nsw i64 [[T0]], -118; CHECK-NEXT: br label [[FOR_BODY:%.*]]19; CHECK: for.body:20; CHECK-NEXT: [[LSR_IV1:%.*]] = phi i64 [ [[LSR_IV_NEXT2:%.*]], [[FOR_INC:%.*]] ], [ 1, [[ENTRY:%.*]] ]21; CHECK-NEXT: [[INDVARS_IV2:%.*]] = phi i64 [ [[INDVARS_IV_NEXT3:%.*]], [[FOR_INC]] ], [ 0, [[ENTRY]] ]22; CHECK-NEXT: br i1 [[CMP215]], label [[FOR_BODY2_PREHEADER:%.*]], label [[FOR_INC]]23; CHECK: for.body2.preheader:24; CHECK-NEXT: br label [[FOR_BODY2:%.*]]25; CHECK: for.body2:26; CHECK-NEXT: [[LSR_IV3:%.*]] = phi ptr [ [[SCEVGEP:%.*]], [[FOR_BODY2]] ], [ [[MAXARRAY:%.*]], [[FOR_BODY2_PREHEADER]] ]27; CHECK-NEXT: [[LSR_IV:%.*]] = phi i64 [ [[LSR_IV_NEXT:%.*]], [[FOR_BODY2]] ], [ [[TMP0]], [[FOR_BODY2_PREHEADER]] ]28; CHECK-NEXT: [[SCEVGEP6:%.*]] = getelementptr i8, ptr [[LSR_IV3]], i64 129; CHECK-NEXT: [[V1:%.*]] = load i8, ptr [[SCEVGEP6]], align 130; CHECK-NEXT: [[SCEVGEP5:%.*]] = getelementptr i8, ptr [[LSR_IV3]], i64 [[TMP0]]31; CHECK-NEXT: [[V2:%.*]] = load i8, ptr [[SCEVGEP5]], align 132; CHECK-NEXT: [[TMPV:%.*]] = xor i8 [[V1]], [[V2]]33; CHECK-NEXT: [[SCEVGEP4:%.*]] = getelementptr i8, ptr [[LSR_IV3]], i64 [[LSR_IV1]]34; CHECK-NEXT: store i8 [[TMPV]], ptr [[SCEVGEP4]], align 135; CHECK-NEXT: [[LSR_IV_NEXT]] = add nsw i64 [[LSR_IV]], -136; CHECK-NEXT: [[SCEVGEP]] = getelementptr i8, ptr [[LSR_IV3]], i64 137; CHECK-NEXT: [[EXITCOND:%.*]] = icmp ne i64 [[LSR_IV_NEXT]], 038; CHECK-NEXT: br i1 [[EXITCOND]], label [[FOR_BODY2]], label [[FOR_INC_LOOPEXIT:%.*]]39; CHECK: for.inc.loopexit:40; CHECK-NEXT: br label [[FOR_INC]]41; CHECK: for.inc:42; CHECK-NEXT: [[INDVARS_IV_NEXT3]] = add nuw nsw i64 [[INDVARS_IV2]], 143; CHECK-NEXT: [[LSR_IV_NEXT2]] = add nuw nsw i64 [[LSR_IV1]], [[T0]]44; CHECK-NEXT: [[CMP:%.*]] = icmp slt i64 [[INDVARS_IV_NEXT3]], [[T1]]45; CHECK-NEXT: br i1 [[CMP]], label [[FOR_BODY]], label [[FOR_END_LOOPEXIT:%.*]]46; CHECK: for.end.loopexit:47; CHECK-NEXT: ret void48;49entry:50 %cmp215 = icmp sgt i32 %size, 151 %t0 = zext i32 %size to i6452 %t1 = sext i32 %nsteps to i6453 %sub2 = sub i64 %t0, 254 br label %for.body55 56for.body: ; preds = %for.inc, %entry57 %indvars.iv2 = phi i64 [ %indvars.iv.next3, %for.inc ], [ 0, %entry ]58 %t2 = mul nsw i64 %indvars.iv2, %t059 br i1 %cmp215, label %for.body2.preheader, label %for.inc60 61for.body2.preheader: ; preds = %for.body62 br label %for.body263 64; Check LSR only generates two induction variables for for.body2 one for compare and65; one to shared by multiple array accesses.66 67for.body2: ; preds = %for.body2.preheader, %for.body268 %indvars.iv = phi i64 [ 1, %for.body2.preheader ], [ %indvars.iv.next, %for.body2 ]69 %arrayidx1 = getelementptr inbounds i8, ptr %maxarray, i64 %indvars.iv70 %v1 = load i8, ptr %arrayidx1, align 171 %idx2 = add nsw i64 %indvars.iv, %sub272 %arrayidx2 = getelementptr inbounds i8, ptr %maxarray, i64 %idx273 %v2 = load i8, ptr %arrayidx2, align 174 %tmpv = xor i8 %v1, %v275 %t4 = add nsw i64 %t2, %indvars.iv76 %add.ptr = getelementptr inbounds i8, ptr %maxarray, i64 %t477 store i8 %tmpv, ptr %add.ptr, align 178 %indvars.iv.next = add nuw nsw i64 %indvars.iv, 179 %wide.trip.count = zext i32 %size to i6480 %exitcond = icmp ne i64 %indvars.iv.next, %wide.trip.count81 br i1 %exitcond, label %for.body2, label %for.inc.loopexit82 83for.inc.loopexit: ; preds = %for.body284 br label %for.inc85 86for.inc: ; preds = %for.inc.loopexit, %for.body87 %indvars.iv.next3 = add nuw nsw i64 %indvars.iv2, 188 %cmp = icmp slt i64 %indvars.iv.next3, %t189 br i1 %cmp, label %for.body, label %for.end.loopexit90 91for.end.loopexit: ; preds = %for.inc92 ret void93}94