ADCX

adcx eax, ebx 660f38f6c3 2592 states ▸ adcx eax, dword ptr [0x666666010100] 660f38f60500f19aff 432 states ▸ adcx eax, dword ptr [r8 + 0x0] 66410f38f600 432 states ▸ adcx eax, dword ptr [r8 + 0x20] 66410f38f64020 432 states ▸ adcx eax, dword ptr [r8 - 0x20] 66410f38f640e0 432 states ▸ adcx eax, dword ptr [r8 + r9 * 1 + 0x0] 66430f38f60408 288 states ▸ adcx eax, dword ptr [r8 + r9 * 1 + 0x20] 66430f38f6440820 288 states ▸ adcx eax, dword ptr [r8 + r9 * 1 - 0x20] 66430f38f64408e0 288 states ▸ adcx rax, rbx 66480f38f6c3 2592 states ▸ adcx rax, qword ptr [0x666666010100] 66480f38f60500f19aff 432 states ▸ adcx rax, qword ptr [r8 + 0x0] 66490f38f600 432 states ▸ adcx rax, qword ptr [r8 + 0x20] 66490f38f64020 432 states ▸ adcx rax, qword ptr [r8 - 0x20] 66490f38f640e0 432 states ▸ adcx rax, qword ptr [r8 + r9 * 1 + 0x0] 664b0f38f60408 288 states ▸ adcx rax, qword ptr [r8 + r9 * 1 + 0x20] 664b0f38f6440820 288 states ▸ adcx rax, qword ptr [r8 + r9 * 1 - 0x20] 664b0f38f64408e0 288 states ▸