| ; RUN: opt -S -passes=indvars < %s | FileCheck %s |
| target datalayout = "E-m:e-i64:64-n32:64" |
| target triple = "powerpc64-unknown-linux-gnu" |
| |
| ; Function Attrs: nounwind |
| define void @foo(ptr nocapture %a, ptr nocapture readonly %b, i32 signext %n) #0 { |
| entry: |
| |
| ; CHECK-LABEL: @foo |
| |
| %cmp.10 = icmp sgt i32 %n, 0 |
| br i1 %cmp.10, label %for.body.lr.ph, label %for.cond.cleanup |
| |
| for.body.lr.ph: ; preds = %entry |
| br label %for.body |
| |
| for.cond.for.cond.cleanup_crit_edge: ; preds = %for.inc |
| br label %for.cond.cleanup |
| |
| for.cond.cleanup: ; preds = %for.cond.for.cond.cleanup_crit_edge, %entry |
| ret void |
| |
| for.body: ; preds = %for.body.lr.ph, %for.inc |
| %i.011 = phi i32 [ 0, %for.body.lr.ph ], [ %inc, %for.inc ] |
| %cmp1 = icmp sgt i32 %i.011, %n |
| br i1 %cmp1, label %if.then, label %for.inc |
| |
| ; CHECK-NOT: br i1 %cmp1, label %if.then, label %for.inc |
| ; CHECK: br i1 false, label %if.then, label %for.inc |
| |
| if.then: ; preds = %for.body |
| %idxprom = sext i32 %i.011 to i64 |
| %arrayidx = getelementptr inbounds i32, ptr %b, i64 %idxprom |
| %0 = load i32, ptr %arrayidx, align 4 |
| %add = add nsw i32 %0, 1 |
| %arrayidx3 = getelementptr inbounds i32, ptr %a, i64 %idxprom |
| store i32 %add, ptr %arrayidx3, align 4 |
| br label %for.inc |
| |
| for.inc: ; preds = %for.body, %if.then |
| %inc = add nsw i32 %i.011, 1 |
| %cmp = icmp slt i32 %inc, %n |
| br i1 %cmp, label %for.body, label %for.cond.for.cond.cleanup_crit_edge |
| } |
| |
| attributes #0 = { nounwind } |
| |
