SHRD
96 subcases ·
Intel manual →
shrd rax, rbx, -0x1
480facd8ff
72 states
▸
shrd qword ptr [0x666666010100], rbx, 0x0
480fac1d00f19aff00
24 states
▸
shrd qword ptr [0x666666010100], rbx, 0x1
480fac1d00f19aff01
24 states
▸
shrd qword ptr [0x666666010100], rbx, -0x1
480fac1d00f19affff
24 states
▸
shrd qword ptr [r8 + 0x0], rbx, 0x0
490fac1800
24 states
▸
shrd qword ptr [r8 + 0x0], rbx, 0x1
490fac1801
24 states
▸
shrd qword ptr [r8 + 0x0], rbx, -0x1
490fac18ff
24 states
▸
shrd qword ptr [r8 + 0x20], rbx, 0x0
490fac582000
24 states
▸
shrd qword ptr [r8 + 0x20], rbx, 0x1
490fac582001
24 states
▸
shrd qword ptr [r8 + 0x20], rbx, -0x1
490fac5820ff
24 states
▸
shrd qword ptr [r8 - 0x20], rbx, 0x0
490fac58e000
24 states
▸
shrd qword ptr [r8 - 0x20], rbx, 0x1
490fac58e001
24 states
▸
shrd qword ptr [r8 - 0x20], rbx, -0x1
490fac58e0ff
24 states
▸
shrd qword ptr [r8 + r9 * 1 + 0x0], rbx, 0x0
4b0fac1c0800
24 states
▸
shrd qword ptr [r8 + r9 * 1 + 0x0], rbx, 0x1
4b0fac1c0801
24 states
▸
shrd qword ptr [r8 + r9 * 1 + 0x0], rbx, -0x1
4b0fac1c08ff
24 states
▸
shrd qword ptr [r8 + r9 * 1 + 0x20], rbx, 0x0
4b0fac5c082000
24 states
▸
shrd qword ptr [r8 + r9 * 1 + 0x20], rbx, 0x1
4b0fac5c082001
24 states
▸
shrd qword ptr [r8 + r9 * 1 + 0x20], rbx, -0x1
4b0fac5c0820ff
24 states
▸
shrd qword ptr [r8 + r9 * 1 - 0x20], rbx, 0x0
4b0fac5c08e000
24 states
▸
shrd qword ptr [r8 + r9 * 1 - 0x20], rbx, 0x1
4b0fac5c08e001
24 states
▸
shrd qword ptr [r8 + r9 * 1 - 0x20], rbx, -0x1
4b0fac5c08e0ff
24 states
▸
shrd ax, bx, cl
660fadd8
216 states
▸
shrd word ptr [0x666666010100], bx, cl
660fad1d00f19aff
72 states
▸
shrd word ptr [r8 + 0x0], bx, cl
66410fad18
72 states
▸
shrd word ptr [r8 + 0x20], bx, cl
66410fad5820
72 states
▸
shrd word ptr [r8 - 0x20], bx, cl
66410fad58e0
72 states
▸
shrd word ptr [r8 + r9 * 1 + 0x0], bx, cl
66430fad1c08
72 states
▸
shrd word ptr [r8 + r9 * 1 + 0x20], bx, cl
66430fad5c0820
72 states
▸
shrd word ptr [r8 + r9 * 1 - 0x20], bx, cl
66430fad5c08e0
72 states
▸
shrd eax, ebx, cl
0fadd8
216 states
▸
shrd dword ptr [0x666666010100], ebx, cl
0fad1d00f19aff
72 states
▸
shrd dword ptr [r8 + 0x0], ebx, cl
410fad18
72 states
▸
shrd dword ptr [r8 + 0x20], ebx, cl
410fad5820
72 states
▸
shrd dword ptr [r8 - 0x20], ebx, cl
410fad58e0
72 states
▸
shrd dword ptr [r8 + r9 * 1 + 0x0], ebx, cl
430fad1c08
72 states
▸
shrd dword ptr [r8 + r9 * 1 + 0x20], ebx, cl
430fad5c0820
72 states
▸
shrd dword ptr [r8 + r9 * 1 - 0x20], ebx, cl
430fad5c08e0
72 states
▸
shrd rax, rbx, cl
480fadd8
216 states
▸
shrd qword ptr [0x666666010100], rbx, cl
480fad1d00f19aff
72 states
▸
shrd qword ptr [r8 + 0x0], rbx, cl
490fad18
72 states
▸
shrd qword ptr [r8 + 0x20], rbx, cl
490fad5820
72 states
▸
shrd qword ptr [r8 - 0x20], rbx, cl
490fad58e0
72 states
▸
shrd qword ptr [r8 + r9 * 1 + 0x0], rbx, cl
4b0fad1c08
72 states
▸
shrd qword ptr [r8 + r9 * 1 + 0x20], rbx, cl
4b0fad5c0820
72 states
▸
shrd qword ptr [r8 + r9 * 1 - 0x20], rbx, cl
4b0fad5c08e0
72 states
▸