1; NOTE: Assertions have been autogenerated by utils/update_test_checks.py 2; RUN: opt < %s -passes=indvars -S | FileCheck %s 3 4target datalayout = "e-m:e-i64:64-n32:64" 5 6define dso_local void @Widen_i32_i8ptr() local_unnamed_addr { 7; CHECK-LABEL: @Widen_i32_i8ptr( 8; CHECK-NEXT: entry: 9; CHECK-NEXT: [[PTRIDS:%.*]] = alloca [15 x ptr], align 8 10; CHECK-NEXT: store ptr [[PTRIDS]], ptr inttoptr (i64 8 to ptr), align 8 11; CHECK-NEXT: br label [[FOR_COND2106:%.*]] 12; CHECK: for.cond2106: 13; CHECK-NEXT: [[INDVARS_IV:%.*]] = phi i64 [ [[INDVARS_IV_NEXT:%.*]], [[FOR_COND2106]] ], [ 0, [[ENTRY:%.*]] ] 14; CHECK-NEXT: [[GID_0:%.*]] = phi ptr [ null, [[ENTRY]] ], [ [[INCDEC_PTR:%.*]], [[FOR_COND2106]] ] 15; CHECK-NEXT: [[INCDEC_PTR]] = getelementptr inbounds i8, ptr [[GID_0]], i64 1 16; CHECK-NEXT: [[ARRAYIDX2115:%.*]] = getelementptr inbounds [15 x ptr], ptr [[PTRIDS]], i64 0, i64 [[INDVARS_IV]] 17; CHECK-NEXT: store ptr [[GID_0]], ptr [[ARRAYIDX2115]], align 8 18; CHECK-NEXT: [[INDVARS_IV_NEXT]] = add nuw nsw i64 [[INDVARS_IV]], 1 19; CHECK-NEXT: br label [[FOR_COND2106]] 20; 21entry: 22 %ptrids = alloca [15 x ptr], align 8 23 store ptr %ptrids, ptr inttoptr (i64 8 to ptr), align 8 24 br label %for.cond2106 25 26for.cond2106: ; preds = %for.cond2106, %entry 27 %gid.0 = phi ptr [ null, %entry ], [ %incdec.ptr, %for.cond2106 ] 28 %i.0 = phi i32 [ 0, %entry ], [ %inc2117, %for.cond2106 ] 29 %incdec.ptr = getelementptr inbounds i8, ptr %gid.0, i64 1 30 %idxprom2114 = zext i32 %i.0 to i64 31 %arrayidx2115 = getelementptr inbounds [15 x ptr], ptr %ptrids, i64 0, i64 %idxprom2114 32 store ptr %gid.0, ptr %arrayidx2115, align 8 33 %inc2117 = add nuw nsw i32 %i.0, 1 34 br label %for.cond2106 35} 36