You can not select more than 25 topics Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
capstone/suite/MC/X86/x86_64-bmi-encoding.s.cs

52 lines
2.5 KiB

4 years ago
# CS_ARCH_X86, CS_MODE_64, CS_OPT_SYNTAX_ATT
0xc4,0xc2,0x28,0xf3,0xd3 = blsmskl %r11d, %r10d
0xc4,0xc2,0xa8,0xf3,0xd3 = blsmskq %r11, %r10
0xc4,0xe2,0x28,0xf3,0x10 = blsmskl (%rax), %r10d
0xc4,0xe2,0xa8,0xf3,0x10 = blsmskq (%rax), %r10
0xc4,0xc2,0x28,0xf3,0xdb = blsil %r11d, %r10d
0xc4,0xc2,0xa8,0xf3,0xdb = blsiq %r11, %r10
0xc4,0xe2,0x28,0xf3,0x18 = blsil (%rax), %r10d
0xc4,0xe2,0xa8,0xf3,0x18 = blsiq (%rax), %r10
0xc4,0xc2,0x28,0xf3,0xcb = blsrl %r11d, %r10d
0xc4,0xc2,0xa8,0xf3,0xcb = blsrq %r11, %r10
0xc4,0xe2,0x28,0xf3,0x08 = blsrl (%rax), %r10d
0xc4,0xe2,0xa8,0xf3,0x08 = blsrq (%rax), %r10
0xc4,0x62,0x20,0xf2,0x10 = andnl (%rax), %r11d, %r10d
0xc4,0x62,0xa0,0xf2,0x10 = andnq (%rax), %r11, %r10
0xc4,0x62,0x18,0xf7,0x10 = bextrl %r12d, (%rax), %r10d
0xc4,0x42,0x18,0xf7,0xd3 = bextrl %r12d, %r11d, %r10d
0xc4,0x62,0x98,0xf7,0x10 = bextrq %r12, (%rax), %r10
0xc4,0x42,0x98,0xf7,0xd3 = bextrq %r12, %r11, %r10
0xc4,0x62,0x18,0xf5,0x10 = bzhil %r12d, (%rax), %r10d
0xc4,0x42,0x18,0xf5,0xd3 = bzhil %r12d, %r11d, %r10d
0xc4,0x62,0x98,0xf5,0x10 = bzhiq %r12, (%rax), %r10
0xc4,0x42,0x98,0xf5,0xd3 = bzhiq %r12, %r11, %r10
0xc4,0x42,0x22,0xf5,0xd4 = pextl %r12d, %r11d, %r10d
0xc4,0x62,0x22,0xf5,0x10 = pextl (%rax), %r11d, %r10d
0xc4,0x42,0xa2,0xf5,0xd4 = pextq %r12, %r11, %r10
0xc4,0x62,0xa2,0xf5,0x10 = pextq (%rax), %r11, %r10
0xc4,0x42,0x23,0xf5,0xd4 = pdepl %r12d, %r11d, %r10d
0xc4,0x62,0x23,0xf5,0x10 = pdepl (%rax), %r11d, %r10d
0xc4,0x42,0xa3,0xf5,0xd4 = pdepq %r12, %r11, %r10
0xc4,0x62,0xa3,0xf5,0x10 = pdepq (%rax), %r11, %r10
0xc4,0x42,0x23,0xf6,0xd4 = mulxl %r12d, %r11d, %r10d
0xc4,0x62,0x23,0xf6,0x10 = mulxl (%rax), %r11d, %r10d
0xc4,0x42,0xa3,0xf6,0xd4 = mulxq %r12, %r11, %r10
0xc4,0x62,0xa3,0xf6,0x10 = mulxq (%rax), %r11, %r10
0xc4,0x43,0x7b,0xf0,0xd4,0x0a = rorxl $10, %r12d, %r10d
0xc4,0x63,0x7b,0xf0,0x10,0x1f = rorxl $31, (%rax), %r10d
0xc4,0x43,0xfb,0xf0,0xd4,0x01 = rorxq $1, %r12, %r10
0xc4,0x63,0xfb,0xf0,0x10,0x3f = rorxq $63, (%rax), %r10
0xc4,0x62,0x19,0xf7,0x10 = shlxl %r12d, (%rax), %r10d
0xc4,0x42,0x19,0xf7,0xd3 = shlxl %r12d, %r11d, %r10d
0xc4,0x62,0x99,0xf7,0x10 = shlxq %r12, (%rax), %r10
0xc4,0x42,0x99,0xf7,0xd3 = shlxq %r12, %r11, %r10
0xc4,0x62,0x1a,0xf7,0x10 = sarxl %r12d, (%rax), %r10d
0xc4,0x42,0x1a,0xf7,0xd3 = sarxl %r12d, %r11d, %r10d
0xc4,0x62,0x9a,0xf7,0x10 = sarxq %r12, (%rax), %r10
0xc4,0x42,0x9a,0xf7,0xd3 = sarxq %r12, %r11, %r10
0xc4,0x62,0x1b,0xf7,0x10 = shrxl %r12d, (%rax), %r10d
0xc4,0x42,0x1b,0xf7,0xd3 = shrxl %r12d, %r11d, %r10d
0xc4,0x62,0x9b,0xf7,0x10 = shrxq %r12, (%rax), %r10
0xc4,0x42,0x9b,0xf7,0xd3 = shrxq %r12, %r11, %r10