polly/test/CodeGen/scev-division-invariant-load.ll

; RUN: opt %loadPolly -S -polly-codegen < %s
;
; Check that we generate valid code as we did not use the preloaded
; value of %tmp1 for the access function of the preloaded %tmp4.
;
; ModuleID = 'bug.ll'
target datalayout = "e-m:e-i64:64-f80:128-n8:16:32:64-S128"

%struct.frame_store = type { i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, %struct.picture*, %struct.picture*, %struct.picture* }
%struct.picture = type { i32, i32, i32, i32, i32, i32, [6 x [33 x i64]], [6 x [33 x i64]], [6 x [33 x i64]], [6 x [33 x i64]], i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i16**, i16*, i16*, i16**, i16**, i16***, i8*, i16***, i64***, i64***, i16****, i8**, i8**, %struct.picture*, %struct.picture*, %struct.picture*, i32, i32, i32, i32, i32, i32, i32 }

define void @dpb_split_field(%struct.frame_store* %fs) {
entry:
  br label %for.body544

for.body544:                                      ; preds = %if.end908, %for.body544.lr.ph
  %indvars.iv87 = phi i64 [ 0, %entry ], [ %indvars.iv.next88, %if.end908 ]
  %tmp = phi %struct.picture* [ undef, %entry ], [ %tmp6, %if.end908 ]
  br label %land.lhs.true563

land.lhs.true563:                                 ; preds = %for.body544
  %size_x551 = getelementptr inbounds %struct.picture, %struct.picture* %tmp, i64 0, i32 18
  %tmp1 = load i32, i32* %size_x551, align 8
  %div552 = sdiv i32 %tmp1, 16
  %tmp2 = trunc i64 %indvars.iv87 to i32
  %div554 = sdiv i32 %tmp2, 4
  %mul555 = mul i32 %div552, %div554
  %tmp9 = add i32 %mul555, 0
  %tmp10 = shl i32 %tmp9, 1
  %add559 = add i32 %tmp10, 0
  %idxprom564 = sext i32 %add559 to i64
  %mb_field566 = getelementptr inbounds %struct.picture, %struct.picture* %tmp, i64 0, i32 31
  %tmp3 = load i8*, i8** %mb_field566, align 8
  %arrayidx567 = getelementptr inbounds i8, i8* %tmp3, i64 %idxprom564
  %tmp4 = load i8, i8* %arrayidx567, align 1
  %tobool569 = icmp eq i8 %tmp4, 0
  br i1 %tobool569, label %if.end908, label %if.then570

if.then570:                                       ; preds = %land.lhs.true563
  %frame = getelementptr inbounds %struct.frame_store, %struct.frame_store* %fs, i64 0, i32 10
  %tmp5 = load %struct.picture*, %struct.picture** %frame, align 8
  br label %if.end908

if.end908:                                        ; preds = %if.then570, %land.lhs.true563
  %tmp6 = phi %struct.picture* [ %tmp, %land.lhs.true563 ], [ undef, %if.then570 ]
  %indvars.iv.next88 = add nuw nsw i64 %indvars.iv87, 1
  br i1 undef, label %for.body544, label %for.inc912

for.inc912:                                       ; preds = %if.end908
  ret void
}