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