test/Transforms/SimplifyLibCalls/2009-07-29-Exit2.ll

   1 ; RUN: opt < %s -simplify-libcalls -disable-output
   2 ; PR4645
   3
   4 define i32 @main() {
   5 entry:
   6         br label %if.then
   7
   8 lor.lhs.false:          ; preds = %while.body
   9         br i1 undef, label %if.then, label %for.cond
  10
  11 if.then:                ; preds = %lor.lhs.false, %while.body
  12         call void @exit(i32 1)
  13         br label %for.cond
  14
  15 for.cond:               ; preds = %for.end, %if.then, %lor.lhs.false
  16         %j.0 = phi i32 [ %inc47, %for.end ], [ 0, %if.then ], [ 0, %lor.lhs.false ]             ; <i32> [#uses=1]
  17         unreachable
  18
  19 for.end:                ; preds = %for.cond20
  20         %inc47 = add i32 %j.0, 1                ; <i32> [#uses=1]
  21         br label %for.cond
  22 }
  23
  24 declare void @exit(i32)