| [bits 64] |
| bzhi eax, ebx, ecx ; c4 e2 70 f5 c3 |
| bzhi eax, [0], ecx ; c4 e2 70 f5 04 25 00 00 00 00 |
| bzhi rax, rbx, rcx ; c4 e2 f0 f5 c3 |
| bzhi rax, [0], rcx ; c4 e2 f0 f5 04 25 00 00 00 00 |
| |
| mulx eax, ebx, ecx ; c4 e2 63 f6 c1 |
| mulx eax, ebx, [0] ; c4 e2 63 f6 04 25 00 00 00 00 |
| mulx rax, rbx, rcx ; c4 e2 e3 f6 c1 |
| mulx rax, rbx, [0] ; c4 e2 e3 f6 04 25 00 00 00 00 |
| |
| pdep eax, ebx, ecx ; c4 e2 63 f5 c1 |
| pdep eax, ebx, [0] ; c4 e2 63 f5 04 25 00 00 00 00 |
| pdep rax, rbx, rcx ; c4 e2 e3 f5 c1 |
| pdep rax, rbx, [0] ; c4 e2 e3 f5 04 25 00 00 00 00 |
| |
| pext eax, ebx, ecx ; c4 e2 62 f5 c1 |
| pext eax, ebx, [0] ; c4 e2 62 f5 04 25 00 00 00 00 |
| pext rax, rbx, rcx ; c4 e2 e2 f5 c1 |
| pext rax, rbx, [0] ; c4 e2 e2 f5 04 25 00 00 00 00 |
| |
| rorx eax, ebx, 3 ; c4 e3 7b f0 c3 03 |
| rorx eax, [0], 3 ; c4 e3 7b f0 04 25 00 00 00 00 03 |
| rorx rax, rbx, 3 ; c4 e3 fb f0 c3 03 |
| rorx rax, [0], 3 ; c4 e3 fb f0 04 25 00 00 00 00 03 |
| |
| sarx eax, ebx, ecx ; c4 e2 72 f7 c3 |
| sarx eax, [0], ecx ; c4 e2 72 f7 04 25 00 00 00 00 |
| sarx rax, rbx, rcx ; c4 e2 f2 f7 c3 |
| sarx rax, [0], rcx ; c4 e2 f2 f7 04 25 00 00 00 00 |
| |
| shlx eax, ebx, ecx ; c4 e2 71 f7 c3 |
| shlx eax, [0], ecx ; c4 e2 71 f7 04 25 00 00 00 00 |
| shlx rax, rbx, rcx ; c4 e2 f1 f7 c3 |
| shlx rax, [0], rcx ; c4 e2 f1 f7 04 25 00 00 00 00 |
| |
| shrx eax, ebx, ecx ; c4 e2 73 f7 c3 |
| shrx eax, [0], ecx ; c4 e2 73 f7 04 25 00 00 00 00 |
| shrx rax, rbx, rcx ; c4 e2 f3 f7 c3 |
| shrx rax, [0], rcx ; c4 e2 f3 f7 04 25 00 00 00 00 |
