llvm/test/Transforms/IndVarSimplify/widen-i32-i8ptr.ll

   1 ; NOTE: Assertions have been autogenerated by utils/update_test_checks.py
   2 ; RUN: opt < %s -passes=indvars -S | FileCheck %s
   3
   4 target datalayout = "e-m:e-i64:64-n32:64"
   5
   6 define 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 ;
  21 entry:
  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
  26 for.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 }