xref: /aosp_15_r20/external/capstone/suite/MC/X86/x86_64-bmi-encoding.s.cs (revision 9a0e4156d50a75a99ec4f1653a0e9602a5d45c18)
1*9a0e4156SSadaf Ebrahimi # CS_ARCH_X86, CS_MODE_64, CS_OPT_SYNTAX_ATT
2*9a0e4156SSadaf Ebrahimi 0xc4,0xc2,0x28,0xf3,0xd3 = blsmskl %r11d, %r10d
3*9a0e4156SSadaf Ebrahimi 0xc4,0xc2,0xa8,0xf3,0xd3 = blsmskq %r11, %r10
4*9a0e4156SSadaf Ebrahimi 0xc4,0xe2,0x28,0xf3,0x10 = blsmskl (%rax), %r10d
5*9a0e4156SSadaf Ebrahimi 0xc4,0xe2,0xa8,0xf3,0x10 = blsmskq (%rax), %r10
6*9a0e4156SSadaf Ebrahimi 0xc4,0xc2,0x28,0xf3,0xdb = blsil %r11d, %r10d
7*9a0e4156SSadaf Ebrahimi 0xc4,0xc2,0xa8,0xf3,0xdb = blsiq %r11, %r10
8*9a0e4156SSadaf Ebrahimi 0xc4,0xe2,0x28,0xf3,0x18 = blsil (%rax), %r10d
9*9a0e4156SSadaf Ebrahimi 0xc4,0xe2,0xa8,0xf3,0x18 = blsiq (%rax), %r10
10*9a0e4156SSadaf Ebrahimi 0xc4,0xc2,0x28,0xf3,0xcb = blsrl %r11d, %r10d
11*9a0e4156SSadaf Ebrahimi 0xc4,0xc2,0xa8,0xf3,0xcb = blsrq %r11, %r10
12*9a0e4156SSadaf Ebrahimi 0xc4,0xe2,0x28,0xf3,0x08 = blsrl (%rax), %r10d
13*9a0e4156SSadaf Ebrahimi 0xc4,0xe2,0xa8,0xf3,0x08 = blsrq (%rax), %r10
14*9a0e4156SSadaf Ebrahimi 0xc4,0x62,0x20,0xf2,0x10 = andnl (%rax), %r11d, %r10d
15*9a0e4156SSadaf Ebrahimi 0xc4,0x62,0xa0,0xf2,0x10 = andnq (%rax), %r11, %r10
16*9a0e4156SSadaf Ebrahimi 0xc4,0x62,0x18,0xf7,0x10 = bextrl %r12d, (%rax), %r10d
17*9a0e4156SSadaf Ebrahimi 0xc4,0x42,0x18,0xf7,0xd3 = bextrl %r12d, %r11d, %r10d
18*9a0e4156SSadaf Ebrahimi 0xc4,0x62,0x98,0xf7,0x10 = bextrq %r12, (%rax), %r10
19*9a0e4156SSadaf Ebrahimi 0xc4,0x42,0x98,0xf7,0xd3 = bextrq %r12, %r11, %r10
20*9a0e4156SSadaf Ebrahimi 0xc4,0x62,0x18,0xf5,0x10 = bzhil %r12d, (%rax), %r10d
21*9a0e4156SSadaf Ebrahimi 0xc4,0x42,0x18,0xf5,0xd3 = bzhil %r12d, %r11d, %r10d
22*9a0e4156SSadaf Ebrahimi 0xc4,0x62,0x98,0xf5,0x10 = bzhiq %r12, (%rax), %r10
23*9a0e4156SSadaf Ebrahimi 0xc4,0x42,0x98,0xf5,0xd3 = bzhiq %r12, %r11, %r10
24*9a0e4156SSadaf Ebrahimi 0xc4,0x42,0x22,0xf5,0xd4 = pextl %r12d, %r11d, %r10d
25*9a0e4156SSadaf Ebrahimi 0xc4,0x62,0x22,0xf5,0x10 = pextl (%rax), %r11d, %r10d
26*9a0e4156SSadaf Ebrahimi 0xc4,0x42,0xa2,0xf5,0xd4 = pextq %r12, %r11, %r10
27*9a0e4156SSadaf Ebrahimi 0xc4,0x62,0xa2,0xf5,0x10 = pextq (%rax), %r11, %r10
28*9a0e4156SSadaf Ebrahimi 0xc4,0x42,0x23,0xf5,0xd4 = pdepl %r12d, %r11d, %r10d
29*9a0e4156SSadaf Ebrahimi 0xc4,0x62,0x23,0xf5,0x10 = pdepl (%rax), %r11d, %r10d
30*9a0e4156SSadaf Ebrahimi 0xc4,0x42,0xa3,0xf5,0xd4 = pdepq %r12, %r11, %r10
31*9a0e4156SSadaf Ebrahimi 0xc4,0x62,0xa3,0xf5,0x10 = pdepq (%rax), %r11, %r10
32*9a0e4156SSadaf Ebrahimi 0xc4,0x42,0x23,0xf6,0xd4 = mulxl %r12d, %r11d, %r10d
33*9a0e4156SSadaf Ebrahimi 0xc4,0x62,0x23,0xf6,0x10 = mulxl (%rax), %r11d, %r10d
34*9a0e4156SSadaf Ebrahimi 0xc4,0x42,0xa3,0xf6,0xd4 = mulxq %r12, %r11, %r10
35*9a0e4156SSadaf Ebrahimi 0xc4,0x62,0xa3,0xf6,0x10 = mulxq (%rax), %r11, %r10
36*9a0e4156SSadaf Ebrahimi 0xc4,0x43,0x7b,0xf0,0xd4,0x0a = rorxl $10, %r12d, %r10d
37*9a0e4156SSadaf Ebrahimi 0xc4,0x63,0x7b,0xf0,0x10,0x1f = rorxl $31, (%rax), %r10d
38*9a0e4156SSadaf Ebrahimi 0xc4,0x43,0xfb,0xf0,0xd4,0x01 = rorxq $1, %r12, %r10
39*9a0e4156SSadaf Ebrahimi 0xc4,0x63,0xfb,0xf0,0x10,0x3f = rorxq $63, (%rax), %r10
40*9a0e4156SSadaf Ebrahimi 0xc4,0x62,0x19,0xf7,0x10 = shlxl %r12d, (%rax), %r10d
41*9a0e4156SSadaf Ebrahimi 0xc4,0x42,0x19,0xf7,0xd3 = shlxl %r12d, %r11d, %r10d
42*9a0e4156SSadaf Ebrahimi 0xc4,0x62,0x99,0xf7,0x10 = shlxq %r12, (%rax), %r10
43*9a0e4156SSadaf Ebrahimi 0xc4,0x42,0x99,0xf7,0xd3 = shlxq %r12, %r11, %r10
44*9a0e4156SSadaf Ebrahimi 0xc4,0x62,0x1a,0xf7,0x10 = sarxl %r12d, (%rax), %r10d
45*9a0e4156SSadaf Ebrahimi 0xc4,0x42,0x1a,0xf7,0xd3 = sarxl %r12d, %r11d, %r10d
46*9a0e4156SSadaf Ebrahimi 0xc4,0x62,0x9a,0xf7,0x10 = sarxq %r12, (%rax), %r10
47*9a0e4156SSadaf Ebrahimi 0xc4,0x42,0x9a,0xf7,0xd3 = sarxq %r12, %r11, %r10
48*9a0e4156SSadaf Ebrahimi 0xc4,0x62,0x1b,0xf7,0x10 = shrxl %r12d, (%rax), %r10d
49*9a0e4156SSadaf Ebrahimi 0xc4,0x42,0x1b,0xf7,0xd3 = shrxl %r12d, %r11d, %r10d
50*9a0e4156SSadaf Ebrahimi 0xc4,0x62,0x9b,0xf7,0x10 = shrxq %r12, (%rax), %r10
51*9a0e4156SSadaf Ebrahimi 0xc4,0x42,0x9b,0xf7,0xd3 = shrxq %r12, %r11, %r10
52