test/Transforms/IndVarSimplify/pr25047.ll

   1 ; RUN: opt -indvars -S < %s | FileCheck %s
   2
   3 target datalayout = "e-m:o-i64:64-f80:128-n8:16:32:64-S128"
   4 target triple = "x86_64-apple-macosx10.11.0"
   5
   6 define void @fn1(i1 %c0, i1 %c1) {
   7 ; CHECK-LABEL: @fn1(
   8 entry:
   9   br i1 %c0, label %for.end.34, label %for.cond.1thread-pre-split
  10
  11 for.cond.loopexit:                                ; preds = %for.end.29, %for.end.7
  12   %f.lcssa = phi i32 [ %f.1, %for.end.29 ], [ %f.1, %for.end.7 ]
  13   br i1 %c1, label %for.end.34, label %for.cond.1thread-pre-split
  14
  15 for.cond.1thread-pre-split:                       ; preds = %for.cond.loopexit, %entry
  16   %f.047 = phi i32 [ %f.lcssa, %for.cond.loopexit ], [ 0, %entry ]
  17   br label %for.cond.1
  18
  19 for.cond.1:                                       ; preds = %for.cond.1, %for.cond.1thread-pre-split
  20   br i1 %c1, label %for.cond.4, label %for.cond.1
  21
  22 for.cond.4:                                       ; preds = %for.end.29, %for.cond.1
  23   %f.1 = phi i32 [ 0, %for.end.29 ], [ %f.047, %for.cond.1 ]
  24   br label %for.cond.5
  25
  26 for.cond.5:                                       ; preds = %for.cond.5, %for.cond.4
  27   %h.0 = phi i32 [ 0, %for.cond.4 ], [ %inc, %for.cond.5 ]
  28   %cmp = icmp slt i32 %h.0, 1
  29   %inc = add nsw i32 %h.0, 1
  30   br i1 %cmp, label %for.cond.5, label %for.end.7
  31
  32 for.end.7:                                        ; preds = %for.cond.5
  33   %g.lcssa = phi i32 [ %h.0, %for.cond.5 ]
  34   %tobool10 = icmp eq i32 %g.lcssa, 0
  35   br i1 %tobool10, label %for.end.8, label %for.cond.loopexit
  36
  37 for.end.8:                       ; preds = %for.end.7
  38   br i1 %c1, label %for.cond.19, label %for.end.29
  39
  40 for.cond.19:                                      ; preds = %for.cond.19, %for.end.8
  41   br label %for.cond.19
  42
  43 for.end.29:                                       ; preds = %for.end.8
  44   %tobool30 = icmp eq i32 %f.1, 0
  45   br i1 %tobool30, label %for.cond.4, label %for.cond.loopexit
  46
  47 for.end.34:                                       ; preds = %for.cond.loopexit, %entry
  48   ret void
  49 }