**** Visiting MBB_0 **** MOV32rm: t0 := EAX CMP32ri8: t0 := EAX **** Visiting MBB_1 **** MOV32r0: t7 := EAX **** Visiting MBB_2 **** MOV32r0: t8 := ECX **** Visiting MBB_3 **** PHI: t1 := EAX PHI: t0 := EAX PHI: t4 := EAX PHI: t2 := ECX PHI: t8 := ECX PHI: t3 := ECX AND32ri8: t9 := EDX AND32ri8: t1 := EAX CMP32ri8: t9 := EDX **** Visiting MBB_4 **** DEC32r: t10 := EAX DEC32r: t2 := ECX MOV32mr: t10 := EAX MOV32rr: t11 := EAX IMPLICIT_DEF_GR32: t12 := EAX MOV32rr: t12 := EAX **** Visiting MBB_5 **** DEC32r: t4 := EAX DEC32r: t1 := EAX INC32r: t3 := ECX INC32r: t2 := ECX CMP32ri8: t4 := EAX **** Visiting MBB_6 **** MOV32rr: t5 := EAX MOV32rr: t3 := ECX **** Visiting MBB_7 **** PHI: t6 := EAX PHI: t7 := EAX PHI: t5 := EAX MOV32mr: t6 := EAX MOV32rr: t13 := EAX IMPLICIT_DEF_GR32: t14 := EAX MOV32rr: t14 := EAX