--- nested
B0 = EntryBlock() dominates:(B4)
  v2 = Constant(0)
  v7 = Constant(10)
  v15 = Constant(5)
  v21 = Constant(1)
  v43 = Constant(3)
  v59 = Constant(null)
  v1 = Parameter(i)
  Goto(B4)
B4 = JoinBlock(B0, B18) idom:B0 dominates:(B10, B9) loop-header (depth:1 body:(B4, B9, B12, B18, B17) back-edges:(B18))
  v64 = Phi(v2, v27)
  v8 = Comparison int <(v64, v7)
  Branch(v8, true: B9, false: B10)
B9 = TargetBlock() idom:B4 dominates:(B12) in-loop:B4
  Goto(B12)
B12 = JoinBlock(B9, B17) idom:B9 dominates:(B18, B17) loop-header (depth:2 body:(B12, B17) back-edges:(B17))
  v63 = Phi(v64, v22)
  v16 = Comparison int <(v63, v15)
  Branch(v16, true: B17, false: B18)
B17 = TargetBlock() idom:B12 in-loop:B12
  v22 = BinaryIntOp +(v63, v21)
  DirectCall print(v22)
  Goto(B12)
B18 = TargetBlock() idom:B12 in-loop:B4
  v27 = BinaryIntOp +(v63, v21)
  Goto(B4)
B10 = TargetBlock() idom:B4 dominates:(B32)
  DirectCall print(v1)
  Goto(B32)
B32 = JoinBlock(B10, B46) idom:B10 dominates:(B37, B36) loop-header (depth:1 body:(B32, B36, B40, B46, B45) back-edges:(B46))
  v62 = Phi(v1, v61)
  v35 = Comparison int <(v62, v7)
  Branch(v35, true: B36, false: B37)
B36 = TargetBlock() idom:B32 dominates:(B40) in-loop:B32
  Goto(B40)
B40 = JoinBlock(B36, B45) idom:B36 dominates:(B46, B45) loop-header (depth:2 body:(B40, B45) back-edges:(B45))
  v65 = Phi(v2, v53)
  v61 = Phi(v62, v50)
  v44 = Comparison int <(v65, v43)
  Branch(v44, true: B45, false: B46)
B45 = TargetBlock() idom:B40 in-loop:B40
  v50 = BinaryIntOp +(v61, v65)
  v53 = BinaryIntOp +(v65, v21)
  Goto(B40)
B46 = TargetBlock() idom:B40 in-loop:B32
  Goto(B32)
B37 = TargetBlock() idom:B32
  DirectCall print(v62)
  Return(v59)

--- chainedHeaders
B0 = EntryBlock() dominates:(B2)
  Constant(17)
  v11 = Constant(0)
  v18 = Constant(2)
  v25 = Constant(null)
  v29 = Constant(-17)
  v1 = Parameter(i)
  Goto(B2)
B2 = JoinBlock(B0, B21) idom:B0 dominates:(B4) loop-header (depth:1 body:(B2, B4, B14, B21, B13) back-edges:(B21))
  v27 = Phi(v1, v30)
  Goto(B4)
B4 = JoinBlock(B2, B13) idom:B2 dominates:(B14, B13) loop-header (depth:2 body:(B4, B13) back-edges:(B13))
  v28 = Phi(v27, v30)
  v30 = BinaryIntOp +(v28, v29)
  v12 = Comparison int >=(v30, v11)
  Branch(v12, true: B13, false: B14)
B13 = TargetBlock() idom:B4 in-loop:B4
  Goto(B4)
B14 = TargetBlock() idom:B4 dominates:(B22, B21) in-loop:B2
  v19 = BinaryIntOp %(v30, v18)
  v20 = Comparison int ==(v19, v11)
  Branch(v20, true: B21, false: B22)
B21 = TargetBlock() idom:B14 in-loop:B2
  Goto(B2)
B22 = TargetBlock() idom:B14
  Return(v25)

--- irreducible
B0 = EntryBlock() dominates:(B8, B34, B4, B3, B7)
  v5 = Constant(1)
  v11 = Constant(2)
  v27 = Constant(10)
  v38 = Constant(null)
  v1 = Parameter(i)
  v6 = Comparison int ==(v1, v5)
  Branch(v6, true: B7, false: B8)
B7 = TargetBlock() idom:B0
  Goto(B3)
B8 = TargetBlock() idom:B0 dominates:(B14, B13)
  v12 = Comparison int ==(v1, v11)
  Branch(v12, true: B13, false: B14)
B13 = TargetBlock() idom:B8
  Goto(B4)
B4 = JoinBlock(B13, B3) idom:B0 dominates:(B30, B29)
  v40 = Phi(v1, v20)
  v24 = BinaryIntOp +(v40, v11)
  v28 = Comparison int >(v24, v27)
  Branch(v28, true: B29, false: B30)
B29 = TargetBlock() idom:B4
  Goto(B34)
B30 = TargetBlock() idom:B4
  Goto(B3)
B3 = JoinBlock(B30, B7) idom:B0
  v41 = Phi(v24, v1)
  v20 = BinaryIntOp +(v41, v5)
  Goto(B4)
B14 = TargetBlock() idom:B8
  Goto(B34)
B34 = JoinBlock(B14, B29) idom:B0
  Return(v38)

--- main
B0 = EntryBlock()
  v1 = Constant(null)
  Return(v1)