+ ecx ^= eax;
+ tmp64 = (u64)eax + ecx;
+ cond_c = tmp64 >> 32;
+ eax = (u32)tmp64;
+ cond_z = (eax == 0); // add64
+ while (ecx != 0) {
+ cond_c = *(u8 *)esi < *(u8 *)edi;
+ cond_z = (*(u8 *)esi == *(u8 *)edi); esi += 1, edi += 1;
+ ecx--;
+ if (cond_z != 0) break;
+ } // repne cmps
+ LOBYTE(ecx) = (!cond_z);
+ LOBYTE(ecx) += (u8)ecx + cond_c;