-------------------- <StronglyBranchLoop: void <init>()> (live-var) --------------------
[0@L1] invokespecial %this.<java.lang.Object: void <init>()>(); []
[1@L1] return; []

-------------------- <StronglyBranchLoop: int loopBranch(int,int,int)> (live-var) --------------------
[0@L5] %intconst0 = 1; [%intconst0, a, k, m, n]
[1@L5] i = m - %intconst0; [%intconst0, a, i, k, n]
[2@L5] nop; [%intconst0, a, i, k, n]
[3@L5] if (i < k) goto 5; [%intconst0, a, i, k, n]
[4@L5] goto 15; [a]
[5@L5] nop; [%intconst0, a, i, k, n]
[6@L6] if (i >= n) goto 8; [%intconst0, a, i, k, n]
[7@L6] goto 10; [%intconst0, a, i, k, n]
[8@L6] nop; [%intconst0, i, k, n]
[9@L7] a = n; [%intconst0, a, i, k, n]
[10@L7] nop; [%intconst0, a, i, k, n]
[11@L9] a = a + i; [%intconst0, a, i, k, n]
[12@L9] nop; [%intconst0, a, i, k, n]
[13@L5] i = i + %intconst0; [%intconst0, a, i, k, n]
[14@L5] goto 2; [%intconst0, a, i, k, n]
[15@L5] nop; [a]
[16@L11] return a; []

-------------------- <StronglyBranchLoop: void branchLoop(int,boolean)> (live-var) --------------------
[0@L16] x = 1; [c, d, z]
[1@L17] y = 2; [c, d, y, z]
[2@L18] %intconst0 = 0; [%intconst0, c, d, y, z]
[3@L18] if (c > %intconst0) goto 5; [%intconst0, c, d, y, z]
[4@L18] goto 22; []
[5@L18] nop; [%intconst0, c, d, y, z]
[6@L19] nop; [%intconst0, c, d, y, z]
[7@L20] %intconst1 = 1; [%intconst0, %intconst1, c, d, y, z]
[8@L20] x = y + %intconst1; [%intconst0, c, d, z]
[9@L21] %intconst2 = 2; [%intconst0, %intconst2, c, d, z]
[10@L21] y = %intconst2 * z; [%intconst0, c, d, y, z]
[11@L22] if (d == %intconst0) goto 15; [%intconst0, c, d, y, z]
[12@L22] goto 13; [%intconst0, c, d, y, z]
[13@L22] nop; [%intconst0, c, d, y, z]
[14@L23] x = y + z; [%intconst0, c, d, y]
[15@L23] nop; [%intconst0, c, d, y]
[16@L25] z = 1; [%intconst0, c, d, y, z]
[17@L25] nop; [%intconst0, c, d, y, z]
[18@L26] %intconst3 = 20; [%intconst0, %intconst3, c, d, y, z]
[19@L26] if (c < %intconst3) goto 6; [%intconst0, c, d, y, z]
[20@L26] goto 21; []
[21@L26] nop; []
[22@L26] nop; []
[23@L28] z = x; []
[24@L28] return; []

