43 lines · plain
1; RUN: opt -S -passes=loop-load-elim < %s | FileCheck %s2 3; We can't hoist conditional loads to the preheader for the initial value.4; E.g. in the loop below we'd access array[-1] if we did:5;6; for(int i = 0 ; i < n ; i++ )7; array[i] = ( i > 0 ? array[i - 1] : 0 ) + 4;8 9target datalayout = "e-m:o-i64:64-f80:128-n8:16:32:64-S128"10target triple = "x86_64-apple-macosx10.11.0"11 12define void @f(ptr %array, i32 %n) {13entry:14 %cmp10 = icmp sgt i32 %n, 015 br i1 %cmp10, label %for.body, label %for.cond.cleanup16 17for.cond.cleanup: ; preds = %cond.end, %entry18 ret void19 20for.body: ; preds = %entry, %cond.end21 %indvars.iv = phi i64 [ %indvars.iv.next, %cond.end ], [ 0, %entry ]22; CHECK-NOT: %store_forwarded = phi23 %cmp1 = icmp sgt i64 %indvars.iv, 024 br i1 %cmp1, label %cond.true, label %cond.end25 26cond.true: ; preds = %for.body27 %0 = add nsw i64 %indvars.iv, -128 %arrayidx = getelementptr inbounds i32, ptr %array, i64 %029 %1 = load i32, ptr %arrayidx, align 430 br label %cond.end31 32cond.end: ; preds = %for.body, %cond.true33 %cond = phi i32 [ %1, %cond.true ], [ 0, %for.body ]34; CHECK: %cond = phi i32 [ %1, %cond.true ], [ 0, %for.body ]35 %add = add nsw i32 %cond, 436 %arrayidx3 = getelementptr inbounds i32, ptr %array, i64 %indvars.iv37 store i32 %add, ptr %arrayidx3, align 438 %indvars.iv.next = add nuw nsw i64 %indvars.iv, 139 %lftr.wideiv = trunc i64 %indvars.iv.next to i3240 %exitcond = icmp eq i32 %lftr.wideiv, %n41 br i1 %exitcond, label %for.cond.cleanup, label %for.body42}43