test/Transforms/IndVarSimplify/bec-cmp.ll

   1 ; RUN: opt -S -indvars < %s | FileCheck %s
   2 target datalayout = "E-m:e-i64:64-n32:64"
   3 target triple = "powerpc64-unknown-linux-gnu"
   4
   5 ; Function Attrs: nounwind
   6 define void @foo(i32* nocapture %a, i32* nocapture readonly %b, i32 signext %n) #0 {
   7 entry:
   8
   9 ; CHECK-LABEL: @foo
  10
  11   %cmp.10 = icmp sgt i32 %n, 0
  12   br i1 %cmp.10, label %for.body.lr.ph, label %for.cond.cleanup
  13
  14 for.body.lr.ph:                                   ; preds = %entry
  15   br label %for.body
  16
  17 for.cond.for.cond.cleanup_crit_edge:              ; preds = %for.inc
  18   br label %for.cond.cleanup
  19
  20 for.cond.cleanup:                                 ; preds = %for.cond.for.cond.cleanup_crit_edge, %entry
  21   ret void
  22
  23 for.body:                                         ; preds = %for.body.lr.ph, %for.inc
  24   %i.011 = phi i32 [ 0, %for.body.lr.ph ], [ %inc, %for.inc ]
  25   %cmp1 = icmp sgt i32 %i.011, %n
  26   br i1 %cmp1, label %if.then, label %for.inc
  27
  28 ; CHECK-NOT: br i1 %cmp1, label %if.then, label %for.inc
  29 ; CHECK: br i1 false, label %if.then, label %for.inc
  30
  31 if.then:                                          ; preds = %for.body
  32   %idxprom = sext i32 %i.011 to i64
  33   %arrayidx = getelementptr inbounds i32, i32* %b, i64 %idxprom
  34   %0 = load i32, i32* %arrayidx, align 4
  35   %add = add nsw i32 %0, 1
  36   %arrayidx3 = getelementptr inbounds i32, i32* %a, i64 %idxprom
  37   store i32 %add, i32* %arrayidx3, align 4
  38   br label %for.inc
  39
  40 for.inc:                                          ; preds = %for.body, %if.then
  41   %inc = add nsw i32 %i.011, 1
  42   %cmp = icmp slt i32 %inc, %n
  43   br i1 %cmp, label %for.body, label %for.cond.for.cond.cleanup_crit_edge
  44 }
  45
  46 attributes #0 = { nounwind }
  47