; ModuleID = 'bugpoint-reduced-simplified.bc'
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
}
