BB0
[info] BB1
[info] BB2
[info]            v7 = phi  v5:#1,v4:#0
[info]            v8 = phi  v6,v2
[info] 6   conditional branch(ge, to iindex=14) v8,v1(line 19) {8=[i], 1=[a]}
[info] BB3
[info] 9   v6 = binaryop(add) v8 , v5:#1            (line 20) {8=[i]}
[info] 13   goto (from iindex= 13 to iindex = 4)    (line 21)
[info] BB4
[info] 16   conditional branch(ne, to iindex=19) v7,v4:#0(line 24) {7=[f]}
[info] BB5
[info] 18   goto (from iindex= 18 to iindex = 20)   (line 24)
[info] BB6
[info] BB7
[info]            v9 = phi  v5:#1,v4:#0
[info] 20   return v9                               (line 24)
[info] BB8