1# CS_ARCH_X86, CS_MODE_64, CS_OPT_SYNTAX_ATT
20xc4,0xc2,0x28,0xf3,0xd3 = blsmskl %r11d, %r10d
30xc4,0xc2,0xa8,0xf3,0xd3 = blsmskq %r11, %r10
40xc4,0xe2,0x28,0xf3,0x10 = blsmskl (%rax), %r10d
50xc4,0xe2,0xa8,0xf3,0x10 = blsmskq (%rax), %r10
60xc4,0xc2,0x28,0xf3,0xdb = blsil %r11d, %r10d
70xc4,0xc2,0xa8,0xf3,0xdb = blsiq %r11, %r10
80xc4,0xe2,0x28,0xf3,0x18 = blsil (%rax), %r10d
90xc4,0xe2,0xa8,0xf3,0x18 = blsiq (%rax), %r10
100xc4,0xc2,0x28,0xf3,0xcb = blsrl %r11d, %r10d
110xc4,0xc2,0xa8,0xf3,0xcb = blsrq %r11, %r10
120xc4,0xe2,0x28,0xf3,0x08 = blsrl (%rax), %r10d
130xc4,0xe2,0xa8,0xf3,0x08 = blsrq (%rax), %r10
140xc4,0x62,0x20,0xf2,0x10 = andnl (%rax), %r11d, %r10d
150xc4,0x62,0xa0,0xf2,0x10 = andnq (%rax), %r11, %r10
160xc4,0x62,0x18,0xf7,0x10 = bextrl %r12d, (%rax), %r10d
170xc4,0x42,0x18,0xf7,0xd3 = bextrl %r12d, %r11d, %r10d
180xc4,0x62,0x98,0xf7,0x10 = bextrq %r12, (%rax), %r10
190xc4,0x42,0x98,0xf7,0xd3 = bextrq %r12, %r11, %r10
200xc4,0x62,0x18,0xf5,0x10 = bzhil %r12d, (%rax), %r10d
210xc4,0x42,0x18,0xf5,0xd3 = bzhil %r12d, %r11d, %r10d
220xc4,0x62,0x98,0xf5,0x10 = bzhiq %r12, (%rax), %r10
230xc4,0x42,0x98,0xf5,0xd3 = bzhiq %r12, %r11, %r10
240xc4,0x42,0x22,0xf5,0xd4 = pextl %r12d, %r11d, %r10d
250xc4,0x62,0x22,0xf5,0x10 = pextl (%rax), %r11d, %r10d
260xc4,0x42,0xa2,0xf5,0xd4 = pextq %r12, %r11, %r10
270xc4,0x62,0xa2,0xf5,0x10 = pextq (%rax), %r11, %r10
280xc4,0x42,0x23,0xf5,0xd4 = pdepl %r12d, %r11d, %r10d
290xc4,0x62,0x23,0xf5,0x10 = pdepl (%rax), %r11d, %r10d
300xc4,0x42,0xa3,0xf5,0xd4 = pdepq %r12, %r11, %r10
310xc4,0x62,0xa3,0xf5,0x10 = pdepq (%rax), %r11, %r10
320xc4,0x42,0x23,0xf6,0xd4 = mulxl %r12d, %r11d, %r10d
330xc4,0x62,0x23,0xf6,0x10 = mulxl (%rax), %r11d, %r10d
340xc4,0x42,0xa3,0xf6,0xd4 = mulxq %r12, %r11, %r10
350xc4,0x62,0xa3,0xf6,0x10 = mulxq (%rax), %r11, %r10
360xc4,0x43,0x7b,0xf0,0xd4,0x0a = rorxl $10, %r12d, %r10d
370xc4,0x63,0x7b,0xf0,0x10,0x1f = rorxl $31, (%rax), %r10d
380xc4,0x43,0xfb,0xf0,0xd4,0x01 = rorxq $1, %r12, %r10
390xc4,0x63,0xfb,0xf0,0x10,0x3f = rorxq $63, (%rax), %r10
400xc4,0x62,0x19,0xf7,0x10 = shlxl %r12d, (%rax), %r10d
410xc4,0x42,0x19,0xf7,0xd3 = shlxl %r12d, %r11d, %r10d
420xc4,0x62,0x99,0xf7,0x10 = shlxq %r12, (%rax), %r10
430xc4,0x42,0x99,0xf7,0xd3 = shlxq %r12, %r11, %r10
440xc4,0x62,0x1a,0xf7,0x10 = sarxl %r12d, (%rax), %r10d
450xc4,0x42,0x1a,0xf7,0xd3 = sarxl %r12d, %r11d, %r10d
460xc4,0x62,0x9a,0xf7,0x10 = sarxq %r12, (%rax), %r10
470xc4,0x42,0x9a,0xf7,0xd3 = sarxq %r12, %r11, %r10
480xc4,0x62,0x1b,0xf7,0x10 = shrxl %r12d, (%rax), %r10d
490xc4,0x42,0x1b,0xf7,0xd3 = shrxl %r12d, %r11d, %r10d
500xc4,0x62,0x9b,0xf7,0x10 = shrxq %r12, (%rax), %r10
510xc4,0x42,0x9b,0xf7,0xd3 = shrxq %r12, %r11, %r10
52