; RUN: opt < %s -analyze -scalar-evolution

target datalayout = "e-p:32:32:32-i1:8:8-i8:8:8-i16:16:16-i32:32:32-i64:32:64-f32:32:32-f64:32:64-v64:64:64-v128:128:128-a0:0:64-f80:32:32"
  %JavaObject = type { [0 x i32 (...)*]*, i8* }

define void @JnJVM_antlr_CSharpCodeGenerator_genBitSet__Lantlr_collections_impl_BitSet_2I(%JavaObject*, %JavaObject*, i32) {
start:
  br i1 undef, label %"stack overflow", label %"no stack overflow"

"GOTO or IF*2":         ; preds = %"true verifyAndComputePtr89", %verifyNullCont84
  unreachable

"GOTO or IF*5":         ; preds = %"true verifyAndComputePtr127", %"GOTO or IF*6"
  unreachable

"GOTO or IF*6":         ; preds = %"true verifyAndComputePtr131.GOTO or IF*6_crit_edge", %"true verifyAndComputePtr89"
  %indvar = phi i32 [ %indvar.next, %"true verifyAndComputePtr131.GOTO or IF*6_crit_edge" ], [ 0, %"true verifyAndComputePtr89" ]               ; <i32> [#uses=2]
  %.0.in = add i32 %indvar, 0           ; <i32> [#uses=1]
  %.0 = add i32 %.0.in, 1               ; <i32> [#uses=1]
  %3 = icmp slt i32 %.0, %4             ; <i1> [#uses=1]
  br i1 %3, label %verifyNullCont126, label %"GOTO or IF*5"

end:            ; preds = %"no exception block35"
  ret void

"stack overflow":               ; preds = %start
  ret void

"no stack overflow":            ; preds = %start
  br i1 undef, label %verifyNullCont, label %"no stack overflow.end_crit_edge"

"no stack overflow.end_crit_edge":              ; preds = %"no stack overflow"
  ret void

verifyNullCont:         ; preds = %"no stack overflow"
  br i1 undef, label %verifyNullCont9, label %verifyNullCont.end_crit_edge

verifyNullCont.end_crit_edge:           ; preds = %verifyNullCont
  ret void

verifyNullCont9:                ; preds = %verifyNullCont
  br i1 undef, label %verifyNullCont12, label %verifyNullCont9.end_crit_edge

verifyNullCont9.end_crit_edge:          ; preds = %verifyNullCont9
  ret void

verifyNullCont12:               ; preds = %verifyNullCont9
  br i1 undef, label %"no exception block13", label %verifyNullCont12.end_crit_edge

verifyNullCont12.end_crit_edge:         ; preds = %verifyNullCont12
  ret void

"no exception block13":         ; preds = %verifyNullCont12
  br i1 undef, label %verifyNullExit14, label %verifyNullCont15

verifyNullExit14:               ; preds = %"no exception block13"
  ret void

verifyNullCont15:               ; preds = %"no exception block13"
  br i1 undef, label %"no exception block16", label %verifyNullCont15.end_crit_edge

verifyNullCont15.end_crit_edge:         ; preds = %verifyNullCont15
  ret void

"no exception block16":         ; preds = %verifyNullCont15
  br i1 undef, label %verifyNullExit17, label %verifyNullCont18

verifyNullExit17:               ; preds = %"no exception block16"
  ret void

verifyNullCont18:               ; preds = %"no exception block16"
  br i1 undef, label %"no exception block19", label %verifyNullCont18.end_crit_edge

verifyNullCont18.end_crit_edge:         ; preds = %verifyNullCont18
  ret void

"no exception block19":         ; preds = %verifyNullCont18
  br i1 undef, label %verifyNullExit20, label %verifyNullCont21

verifyNullExit20:               ; preds = %"no exception block19"
  ret void

verifyNullCont21:               ; preds = %"no exception block19"
  br i1 undef, label %verifyNullCont24, label %verifyNullCont21.end_crit_edge

verifyNullCont21.end_crit_edge:         ; preds = %verifyNullCont21
  ret void

verifyNullCont24:               ; preds = %verifyNullCont21
  br i1 undef, label %verifyNullCont27, label %verifyNullCont24.end_crit_edge

verifyNullCont24.end_crit_edge:         ; preds = %verifyNullCont24
  ret void

verifyNullCont27:               ; preds = %verifyNullCont24
  br i1 undef, label %verifyNullCont32, label %verifyNullCont27.end_crit_edge

verifyNullCont27.end_crit_edge:         ; preds = %verifyNullCont27
  ret void

verifyNullCont32:               ; preds = %verifyNullCont27
  br i1 undef, label %verifyNullExit33, label %verifyNullCont34

verifyNullExit33:               ; preds = %verifyNullCont32
  ret void

verifyNullCont34:               ; preds = %verifyNullCont32
  br i1 undef, label %"no exception block35", label %verifyNullCont34.end_crit_edge

verifyNullCont34.end_crit_edge:         ; preds = %verifyNullCont34
  ret void

"no exception block35":         ; preds = %verifyNullCont34
  br i1 undef, label %end, label %verifyNullCont60

verifyNullCont60:               ; preds = %"no exception block35"
  br i1 undef, label %verifyNullCont63, label %verifyNullCont60.end_crit_edge

verifyNullCont60.end_crit_edge:         ; preds = %verifyNullCont60
  ret void

verifyNullCont63:               ; preds = %verifyNullCont60
  br i1 undef, label %"no exception block64", label %verifyNullCont63.end_crit_edge

verifyNullCont63.end_crit_edge:         ; preds = %verifyNullCont63
  ret void

"no exception block64":         ; preds = %verifyNullCont63
  br i1 undef, label %verifyNullExit65, label %verifyNullCont66

verifyNullExit65:               ; preds = %"no exception block64"
  ret void

verifyNullCont66:               ; preds = %"no exception block64"
  br i1 undef, label %"no exception block67", label %verifyNullCont66.end_crit_edge

verifyNullCont66.end_crit_edge:         ; preds = %verifyNullCont66
  ret void

"no exception block67":         ; preds = %verifyNullCont66
  br i1 undef, label %verifyNullExit68, label %verifyNullCont69

verifyNullExit68:               ; preds = %"no exception block67"
  ret void

verifyNullCont69:               ; preds = %"no exception block67"
  br i1 undef, label %"no exception block70", label %verifyNullCont69.end_crit_edge

verifyNullCont69.end_crit_edge:         ; preds = %verifyNullCont69
  ret void

"no exception block70":         ; preds = %verifyNullCont69
  br i1 undef, label %verifyNullExit71, label %verifyNullCont72

verifyNullExit71:               ; preds = %"no exception block70"
  ret void

verifyNullCont72:               ; preds = %"no exception block70"
  br i1 undef, label %verifyNullCont75, label %verifyNullCont72.end_crit_edge

verifyNullCont72.end_crit_edge:         ; preds = %verifyNullCont72
  ret void

verifyNullCont75:               ; preds = %verifyNullCont72
  br i1 undef, label %verifyNullCont78, label %verifyNullCont75.end_crit_edge

verifyNullCont75.end_crit_edge:         ; preds = %verifyNullCont75
  ret void

verifyNullCont78:               ; preds = %verifyNullCont75
  br i1 undef, label %"verifyNullCont78.GOTO or IF*4_crit_edge", label %verifyNullCont78.end_crit_edge

"verifyNullCont78.GOTO or IF*4_crit_edge":              ; preds = %verifyNullCont78
  br i1 undef, label %verifyNullExit80, label %verifyNullCont81

verifyNullCont78.end_crit_edge:         ; preds = %verifyNullCont78
  ret void

verifyNullExit80:               ; preds = %"verifyNullCont78.GOTO or IF*4_crit_edge"
  ret void

verifyNullCont81:               ; preds = %"verifyNullCont78.GOTO or IF*4_crit_edge"
  %4 = ptrtoint i8* undef to i32                ; <i32> [#uses=2]
  %5 = icmp slt i32 0, %4               ; <i1> [#uses=1]
  br i1 %5, label %verifyNullCont84, label %verifyNullCont172

verifyNullCont84:               ; preds = %verifyNullCont81
  br i1 undef, label %"GOTO or IF*2", label %verifyNullCont86

verifyNullCont86:               ; preds = %verifyNullCont84
  br i1 undef, label %"true verifyAndComputePtr", label %"false verifyAndComputePtr"

"true verifyAndComputePtr":             ; preds = %verifyNullCont86
  br i1 undef, label %"true verifyAndComputePtr89", label %"false verifyAndComputePtr90"

"false verifyAndComputePtr":            ; preds = %verifyNullCont86
  ret void

"true verifyAndComputePtr89":           ; preds = %"true verifyAndComputePtr"
  br i1 undef, label %"GOTO or IF*6", label %"GOTO or IF*2"

"false verifyAndComputePtr90":          ; preds = %"true verifyAndComputePtr"
  ret void

verifyNullCont126:              ; preds = %"GOTO or IF*6"
  br i1 undef, label %"true verifyAndComputePtr127", label %"false verifyAndComputePtr128"

"true verifyAndComputePtr127":          ; preds = %verifyNullCont126
  br i1 undef, label %"true verifyAndComputePtr131.GOTO or IF*6_crit_edge", label %"GOTO or IF*5"

"false verifyAndComputePtr128":         ; preds = %verifyNullCont126
  ret void

"true verifyAndComputePtr131.GOTO or IF*6_crit_edge":           ; preds = %"true verifyAndComputePtr127"
  %indvar.next = add i32 %indvar, 1             ; <i32> [#uses=1]
  br label %"GOTO or IF*6"

verifyNullCont172:              ; preds = %verifyNullCont81
  unreachable
}