143 lines · plain
1; NOTE: Assertions have been autogenerated by utils/update_test_checks.py2; RUN: opt -loop-reduce -S < %s | FileCheck %s3; PR99394 5; LSR should properly handle the post-inc offset when folding the6; non-IV operand of an icmp into the IV.7 8target datalayout = "e-p:64:64:64-i1:8:8-i8:8:8-i16:16:16-i32:32:32-i64:64:64-f32:32:32-f64:64:64-v64:64:64-v128:128:128-a0:0:64-s0:64:64-f80:128:128-n8:16:32:64"9 10%struct.Vector2 = type { ptr, [64 x i16], i32 }11 12@.str = private unnamed_addr constant [37 x i8] c"0123456789abcdefghijklmnopqrstuvwxyz\00"13 14define void @_Z15IntegerToStringjjR7Vector2(i32 %i, i32 %radix, ptr nocapture %result) nounwind noinline {15; CHECK-LABEL: @_Z15IntegerToStringjjR7Vector2(16; CHECK-NEXT: entry:17; CHECK-NEXT: [[BUFFER:%.*]] = alloca [33 x i16], align 1618; CHECK-NEXT: [[ADD_PTR:%.*]] = getelementptr [33 x i16], ptr [[BUFFER]], i64 0, i64 3319; CHECK-NEXT: [[SUB_PTR_LHS_CAST:%.*]] = ptrtoint ptr [[ADD_PTR]] to i6420; CHECK-NEXT: [[SUB_PTR_RHS_CAST:%.*]] = ptrtoint ptr [[ADD_PTR]] to i6421; CHECK-NEXT: [[SCEVGEP3:%.*]] = getelementptr nuw i8, ptr [[BUFFER]], i64 6422; CHECK-NEXT: br label [[DO_BODY:%.*]]23; CHECK: do.body:24; CHECK-NEXT: [[LSR_IV10:%.*]] = phi i64 [ [[LSR_IV_NEXT11:%.*]], [[DO_BODY]] ], [ -1, [[ENTRY:%.*]] ]25; CHECK-NEXT: [[LSR_IV8:%.*]] = phi ptr [ [[SCEVGEP9:%.*]], [[DO_BODY]] ], [ [[ADD_PTR]], [[ENTRY]] ]26; CHECK-NEXT: [[LSR_IV4:%.*]] = phi ptr [ [[SCEVGEP5:%.*]], [[DO_BODY]] ], [ [[SCEVGEP3]], [[ENTRY]] ]27; CHECK-NEXT: [[I_ADDR_0:%.*]] = phi i32 [ [[DIV:%.*]], [[DO_BODY]] ], [ [[I:%.*]], [[ENTRY]] ]28; CHECK-NEXT: [[REM:%.*]] = urem i32 [[I_ADDR_0]], 1029; CHECK-NEXT: [[DIV]] = udiv i32 [[I_ADDR_0]], 1030; CHECK-NEXT: [[IDXPROM:%.*]] = zext i32 [[REM]] to i6431; CHECK-NEXT: [[ARRAYIDX:%.*]] = getelementptr inbounds [37 x i8], ptr @.str, i64 0, i64 [[IDXPROM]]32; CHECK-NEXT: [[INST5:%.*]] = load i8, ptr [[ARRAYIDX]], align 133; CHECK-NEXT: [[CONV:%.*]] = sext i8 [[INST5]] to i1634; CHECK-NEXT: store i16 [[CONV]], ptr [[LSR_IV4]], align 235; CHECK-NEXT: [[TMP0:%.*]] = icmp ugt i32 [[I_ADDR_0]], 936; CHECK-NEXT: [[SCEVGEP5]] = getelementptr i8, ptr [[LSR_IV4]], i64 -237; CHECK-NEXT: [[SCEVGEP9]] = getelementptr i8, ptr [[LSR_IV8]], i64 -238; CHECK-NEXT: [[LSR_IV_NEXT11]] = add i64 [[LSR_IV10]], 139; CHECK-NEXT: br i1 [[TMP0]], label [[DO_BODY]], label [[DO_END:%.*]]40; CHECK: do.end:41; CHECK-NEXT: [[SCEVGEP9_LCSSA:%.*]] = phi ptr [ [[SCEVGEP9]], [[DO_BODY]] ]42; CHECK-NEXT: [[XAP_0:%.*]] = inttoptr i64 [[LSR_IV_NEXT11]] to ptr43; CHECK-NEXT: [[CAP_0:%.*]] = ptrtoint ptr [[XAP_0]] to i6444; CHECK-NEXT: [[SUB_PTR_SUB:%.*]] = sub i64 [[SUB_PTR_LHS_CAST]], [[SUB_PTR_RHS_CAST]]45; CHECK-NEXT: [[SUB_PTR_DIV39:%.*]] = lshr exact i64 [[SUB_PTR_SUB]], 146; CHECK-NEXT: [[CONV11:%.*]] = trunc i64 [[SUB_PTR_DIV39]] to i3247; CHECK-NEXT: [[MLENGTH:%.*]] = getelementptr inbounds [[STRUCT_VECTOR2:%.*]], ptr [[RESULT:%.*]], i64 0, i32 248; CHECK-NEXT: [[IDX_EXT21:%.*]] = bitcast i64 [[SUB_PTR_DIV39]] to i6449; CHECK-NEXT: [[CMP2740:%.*]] = icmp eq i64 [[IDX_EXT21]], 050; CHECK-NEXT: br i1 [[CMP2740]], label [[FOR_END:%.*]], label [[FOR_BODY_LR_PH:%.*]]51; CHECK: for.body.lr.ph:52; CHECK-NEXT: [[INST16:%.*]] = load i32, ptr [[MLENGTH]], align 453; CHECK-NEXT: [[INST14:%.*]] = load ptr, ptr [[RESULT]], align 854; CHECK-NEXT: [[INST48:%.*]] = zext i32 [[INST16]] to i6455; CHECK-NEXT: [[TMP1:%.*]] = shl nuw nsw i64 [[INST48]], 156; CHECK-NEXT: [[SCEVGEP:%.*]] = getelementptr i8, ptr [[INST14]], i64 [[TMP1]]57; CHECK-NEXT: br label [[FOR_BODY:%.*]]58; CHECK: for.body:59; CHECK-NEXT: [[LSR_IV6:%.*]] = phi ptr [ [[SCEVGEP7:%.*]], [[FOR_BODY]] ], [ [[SCEVGEP9_LCSSA]], [[FOR_BODY_LR_PH]] ]60; CHECK-NEXT: [[LSR_IV:%.*]] = phi i64 [ [[LSR_IV_NEXT:%.*]], [[FOR_BODY]] ], [ 0, [[FOR_BODY_LR_PH]] ]61; CHECK-NEXT: [[SCEVGEP1:%.*]] = getelementptr i8, ptr [[SCEVGEP]], i64 [[LSR_IV]]62; CHECK-NEXT: [[INST29:%.*]] = load i16, ptr [[LSR_IV6]], align 263; CHECK-NEXT: store i16 [[INST29]], ptr [[SCEVGEP1]], align 264; CHECK-NEXT: [[LSR_IV_NEXT]] = add i64 [[LSR_IV]], 265; CHECK-NEXT: [[LSR_IV_NEXT2:%.*]] = inttoptr i64 [[LSR_IV_NEXT]] to ptr66; CHECK-NEXT: [[SCEVGEP7]] = getelementptr i8, ptr [[LSR_IV6]], i64 267; CHECK-NEXT: [[CMP27:%.*]] = icmp eq ptr [[LSR_IV_NEXT2]], null68; CHECK-NEXT: br i1 [[CMP27]], label [[FOR_END_LOOPEXIT:%.*]], label [[FOR_BODY]]69; CHECK: for.end.loopexit:70; CHECK-NEXT: br label [[FOR_END]]71; CHECK: for.end:72; CHECK-NEXT: [[INST38:%.*]] = load i32, ptr [[MLENGTH]], align 473; CHECK-NEXT: [[ADD:%.*]] = add i32 [[INST38]], [[CONV11]]74; CHECK-NEXT: store i32 [[ADD]], ptr [[MLENGTH]], align 475; CHECK-NEXT: ret void76;77entry:78 %buffer = alloca [33 x i16], align 1679 %add.ptr = getelementptr inbounds [33 x i16], ptr %buffer, i64 0, i64 3380 %sub.ptr.lhs.cast = ptrtoint ptr %add.ptr to i6481 %sub.ptr.rhs.cast = ptrtoint ptr %add.ptr to i6482 br label %do.body83 84do.body: ; preds = %do.body, %entry85 %0 = phi i64 [ %indvar.next44, %do.body ], [ 0, %entry ]86 %i.addr.0 = phi i32 [ %div, %do.body ], [ %i, %entry ]87 %inst51 = sub i64 32, %088 %incdec.ptr = getelementptr [33 x i16], ptr %buffer, i64 0, i64 %inst5189 %rem = urem i32 %i.addr.0, 1090 %div = udiv i32 %i.addr.0, 1091 %idxprom = zext i32 %rem to i6492 %arrayidx = getelementptr inbounds [37 x i8], ptr @.str, i64 0, i64 %idxprom93 %inst5 = load i8, ptr %arrayidx, align 194 %conv = sext i8 %inst5 to i1695 store i16 %conv, ptr %incdec.ptr, align 296 %1 = icmp ugt i32 %i.addr.0, 997 %indvar.next44 = add i64 %0, 198 br i1 %1, label %do.body, label %do.end99 100do.end: ; preds = %do.body101 %xap.0 = inttoptr i64 %0 to ptr102 %cap.0 = ptrtoint ptr %xap.0 to i64103 %sub.ptr.sub = sub i64 %sub.ptr.lhs.cast, %sub.ptr.rhs.cast104 %sub.ptr.div39 = lshr exact i64 %sub.ptr.sub, 1105 %conv11 = trunc i64 %sub.ptr.div39 to i32106 %mLength = getelementptr inbounds %struct.Vector2, ptr %result, i64 0, i32 2107 %idx.ext21 = bitcast i64 %sub.ptr.div39 to i64108 %incdec.ptr.sum = add i64 %idx.ext21, -1109 %cp.0.sum = sub i64 %incdec.ptr.sum, %0110 %add.ptr22 = getelementptr [33 x i16], ptr %buffer, i64 1, i64 %cp.0.sum111 %cmp2740 = icmp eq i64 %idx.ext21, 0112 br i1 %cmp2740, label %for.end, label %for.body.lr.ph113 114for.body.lr.ph: ; preds = %do.end115 %inst16 = load i32, ptr %mLength, align 4116 %inst14 = load ptr, ptr %result, align 8117 %inst48 = zext i32 %inst16 to i64118 br label %for.body119 120for.body: ; preds = %for.body, %for.body.lr.ph121 %indvar = phi i64 [ 0, %for.body.lr.ph ], [ %indvar.next, %for.body ]122 %inst46 = add i64 %inst51, %indvar123 %p.042 = getelementptr [33 x i16], ptr %buffer, i64 0, i64 %inst46124 %inst47 = sub i64 %indvar, %0125 %incdec.ptr32 = getelementptr [33 x i16], ptr %buffer, i64 1, i64 %inst47126 %inst49 = add i64 %inst48, %indvar127 %dst.041 = getelementptr i16, ptr %inst14, i64 %inst49128 %inst29 = load i16, ptr %p.042, align 2129 store i16 %inst29, ptr %dst.041, align 2130 %cmp27 = icmp eq ptr %incdec.ptr32, %add.ptr22131 %indvar.next = add i64 %indvar, 1132 br i1 %cmp27, label %for.end.loopexit, label %for.body133 134for.end.loopexit: ; preds = %for.body135 br label %for.end136 137for.end: ; preds = %for.end.loopexit, %do.end138 %inst38 = load i32, ptr %mLength, align 4139 %add = add i32 %inst38, %conv11140 store i32 %add, ptr %mLength, align 4141 ret void142}143