test/Transforms/LoopSimplify/dup-preds.ll

   1 ; RUN: opt -loop-simplify -S %s | FileCheck %s
   2 target datalayout = "E-p:64:64:64-i1:8:8-i8:8:8-i16:16:16-i32:32:32-i64:64:64-f32:32:32-f64:64:64-f128:128:128-v128:128:128-n32:64"
   3 target triple = "powerpc64-bgq-linux"
   4
   5 define fastcc void @do_update_md([3 x float]* nocapture readonly %x) #0 {
   6 entry:
   7   br i1 undef, label %if.end365, label %lor.lhs.false134
   8
   9 lor.lhs.false134:                                 ; preds = %entry
  10   br i1 undef, label %lor.lhs.false138, label %if.end365
  11
  12 lor.lhs.false138:                                 ; preds = %lor.lhs.false134
  13   br i1 undef, label %lor.lhs.false142, label %if.end365
  14
  15 lor.lhs.false142:                                 ; preds = %lor.lhs.false138
  16   br i1 undef, label %for.body276.lr.ph, label %if.end365
  17
  18 for.body276.lr.ph:                                ; preds = %lor.lhs.false142
  19   switch i16 undef, label %if.then288 [
  20     i16 4, label %for.body344
  21     i16 2, label %for.body344
  22   ]
  23
  24 if.then288:                                       ; preds = %for.body276.lr.ph
  25   br label %for.body305
  26
  27 for.body305:                                      ; preds = %for.body305, %if.then288
  28   br label %for.body305
  29
  30 for.body344:                                      ; preds = %for.body344, %for.body276.lr.ph, %for.body276.lr.ph
  31   %indvar = phi i64 [ %indvar.next, %for.body344 ], [ 0, %for.body276.lr.ph ]
  32   %indvars.iv552 = phi i64 [ %indvars.iv.next553, %for.body344 ], [ 0, %for.body276.lr.ph ], [ 0, %for.body276.lr.ph ]
  33   %indvars.iv.next553 = add nuw nsw i64 %indvars.iv552, 1
  34   %indvar.next = add i64 %indvar, 1
  35   br label %for.body344
  36
  37 ; CHECK-LABEL: @do_update_md
  38 ; CHECK: %indvars.iv552 = phi i64 [ %indvars.iv.next553, %for.body344 ], [ 0, %for.body344.preheader ]
  39 ; CHECK: ret
  40
  41 if.end365:                                        ; preds = %lor.lhs.false142, %lor.lhs.false138, %lor.lhs.false134, %entry
  42   ret void
  43 }
  44
  45 attributes #0 = { nounwind }
  46