diff options
Diffstat (limited to 'llvm/test/Transforms/LICM/hoist-deref-load.ll')
| -rw-r--r-- | llvm/test/Transforms/LICM/hoist-deref-load.ll | 37 |
1 files changed, 37 insertions, 0 deletions
diff --git a/llvm/test/Transforms/LICM/hoist-deref-load.ll b/llvm/test/Transforms/LICM/hoist-deref-load.ll index fd10c5d7503..6564015687d 100644 --- a/llvm/test/Transforms/LICM/hoist-deref-load.ll +++ b/llvm/test/Transforms/LICM/hoist-deref-load.ll @@ -432,5 +432,42 @@ for.end: ; preds = %for.inc, %entry ret void } +define void @test11(i32* noalias %a, i32* %b, i32** dereferenceable(8) %cptr, i32 %n) #0 { +; CHECK-LABEL: @test11( +entry: + %cmp11 = icmp sgt i32 %n, 0 + br i1 %cmp11, label %for.body, label %for.end + +; CHECK: for.body.preheader: +; CHECK: %c = load i32*, i32** %cptr, !dereferenceable !0 +; CHECK: %d = load i32, i32* %c, align 4 + + +for.body: ; preds = %entry, %for.inc + %indvars.iv = phi i64 [ %indvars.iv.next, %for.inc ], [ 0, %entry ] + %arrayidx = getelementptr inbounds i32, i32* %a, i64 %indvars.iv + %0 = load i32, i32* %arrayidx, align 4 + %cmp1 = icmp sgt i32 %0, 0 + %c = load i32*, i32** %cptr, !dereferenceable !0 + br i1 %cmp1, label %if.then, label %for.inc + +if.then: ; preds = %for.body + %d = load i32, i32* %c, align 4 + %arrayidx3 = getelementptr inbounds i32, i32* %b, i64 %indvars.iv + %e = load i32, i32* %arrayidx3, align 4 + %mul = mul nsw i32 %e, %d + store i32 %mul, i32* %arrayidx, align 4 + br label %for.inc + +for.inc: ; preds = %for.body, %if.then + %indvars.iv.next = add nuw nsw i64 %indvars.iv, 1 + %lftr.wideiv = trunc i64 %indvars.iv.next to i32 + %exitcond = icmp eq i32 %lftr.wideiv, %n + br i1 %exitcond, label %for.end, label %for.body + +for.end: ; preds = %for.inc, %entry + ret void +} + attributes #0 = { nounwind uwtable } !0 = !{i64 4} |
