llvm/test/Transforms/LoopSimplify/2010-12-26-PHIInfiniteLoop.ll

   1 ; RUN: opt < %s -passes=loop-simplify -S
   2 ; PR8702
   3 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-v64:64:64-v128:128:128-a0:0:64-s0:64:64-f80:128:128-n8:16:32:64"
   4 target triple = "x86_64-unknown-freebsd9.0"
   5
   6 declare void @foo(i32 %x)
   7
   8 define fastcc void @inm_merge(i1 %arg) nounwind {
   9 entry:
  10   br label %for.cond
  11
  12 for.cond:                                         ; preds = %while.cond36.i, %entry
  13   br i1 %arg, label %do.body, label %for.body
  14
  15 for.body:                                         ; preds = %for.cond
  16   br i1 %arg, label %while.cond36.i, label %if.end44
  17
  18 if.end44:                                         ; preds = %for.body
  19   %call49 = call fastcc i32 @inm_get_source()
  20   br i1 %arg, label %if.end54, label %for.cond64
  21
  22 if.end54:                                         ; preds = %if.end44
  23   br label %while.cond36.i
  24
  25 while.cond36.i:                                   ; preds = %if.end54, %for.body
  26   br label %for.cond
  27
  28 for.cond64:                                       ; preds = %if.end88, %for.cond64, %if.end44
  29   %error.161 = phi i32 [ %error.161, %for.cond64 ], [ %error.161, %if.end88 ], [ %call49, %if.end44 ]
  30   call void @foo(i32 %error.161)
  31   br i1 %arg, label %for.cond64, label %if.end88
  32
  33 if.end88:                                         ; preds = %for.cond64
  34   br i1 %arg, label %for.cond64, label %if.end98
  35
  36 if.end98:                                         ; preds = %if.end88
  37   unreachable
  38
  39 do.body:                                          ; preds = %for.cond
  40   unreachable
  41 }
  42
  43 declare fastcc i32 @inm_get_source() nounwind