2 * Generated by gen-insn-x86-dat.sh and gen-insn-x86-dat.awk
3 * from insn-x86-dat-src.c for inclusion by insn-x86.c
4 * Do not change this code.
7 {{0x0f, 0x31, }, 2, 0, "", "",
9 {{0xf3, 0x0f, 0x1b, 0x00, }, 4, 0, "", "",
10 "f3 0f 1b 00 \tbndmk (%rax),%bnd0",},
11 {{0xf3, 0x41, 0x0f, 0x1b, 0x00, }, 5, 0, "", "",
12 "f3 41 0f 1b 00 \tbndmk (%r8),%bnd0",},
13 {{0xf3, 0x0f, 0x1b, 0x04, 0x25, 0x78, 0x56, 0x34, 0x12, }, 9, 0, "", "",
14 "f3 0f 1b 04 25 78 56 34 12 \tbndmk 0x12345678,%bnd0",},
15 {{0xf3, 0x0f, 0x1b, 0x18, }, 4, 0, "", "",
16 "f3 0f 1b 18 \tbndmk (%rax),%bnd3",},
17 {{0xf3, 0x0f, 0x1b, 0x04, 0x01, }, 5, 0, "", "",
18 "f3 0f 1b 04 01 \tbndmk (%rcx,%rax,1),%bnd0",},
19 {{0xf3, 0x0f, 0x1b, 0x04, 0x05, 0x78, 0x56, 0x34, 0x12, }, 9, 0, "", "",
20 "f3 0f 1b 04 05 78 56 34 12 \tbndmk 0x12345678(,%rax,1),%bnd0",},
21 {{0xf3, 0x0f, 0x1b, 0x04, 0x08, }, 5, 0, "", "",
22 "f3 0f 1b 04 08 \tbndmk (%rax,%rcx,1),%bnd0",},
23 {{0xf3, 0x0f, 0x1b, 0x04, 0xc8, }, 5, 0, "", "",
24 "f3 0f 1b 04 c8 \tbndmk (%rax,%rcx,8),%bnd0",},
25 {{0xf3, 0x0f, 0x1b, 0x40, 0x12, }, 5, 0, "", "",
26 "f3 0f 1b 40 12 \tbndmk 0x12(%rax),%bnd0",},
27 {{0xf3, 0x0f, 0x1b, 0x45, 0x12, }, 5, 0, "", "",
28 "f3 0f 1b 45 12 \tbndmk 0x12(%rbp),%bnd0",},
29 {{0xf3, 0x0f, 0x1b, 0x44, 0x01, 0x12, }, 6, 0, "", "",
30 "f3 0f 1b 44 01 12 \tbndmk 0x12(%rcx,%rax,1),%bnd0",},
31 {{0xf3, 0x0f, 0x1b, 0x44, 0x05, 0x12, }, 6, 0, "", "",
32 "f3 0f 1b 44 05 12 \tbndmk 0x12(%rbp,%rax,1),%bnd0",},
33 {{0xf3, 0x0f, 0x1b, 0x44, 0x08, 0x12, }, 6, 0, "", "",
34 "f3 0f 1b 44 08 12 \tbndmk 0x12(%rax,%rcx,1),%bnd0",},
35 {{0xf3, 0x0f, 0x1b, 0x44, 0xc8, 0x12, }, 6, 0, "", "",
36 "f3 0f 1b 44 c8 12 \tbndmk 0x12(%rax,%rcx,8),%bnd0",},
37 {{0xf3, 0x0f, 0x1b, 0x80, 0x78, 0x56, 0x34, 0x12, }, 8, 0, "", "",
38 "f3 0f 1b 80 78 56 34 12 \tbndmk 0x12345678(%rax),%bnd0",},
39 {{0xf3, 0x0f, 0x1b, 0x85, 0x78, 0x56, 0x34, 0x12, }, 8, 0, "", "",
40 "f3 0f 1b 85 78 56 34 12 \tbndmk 0x12345678(%rbp),%bnd0",},
41 {{0xf3, 0x0f, 0x1b, 0x84, 0x01, 0x78, 0x56, 0x34, 0x12, }, 9, 0, "", "",
42 "f3 0f 1b 84 01 78 56 34 12 \tbndmk 0x12345678(%rcx,%rax,1),%bnd0",},
43 {{0xf3, 0x0f, 0x1b, 0x84, 0x05, 0x78, 0x56, 0x34, 0x12, }, 9, 0, "", "",
44 "f3 0f 1b 84 05 78 56 34 12 \tbndmk 0x12345678(%rbp,%rax,1),%bnd0",},
45 {{0xf3, 0x0f, 0x1b, 0x84, 0x08, 0x78, 0x56, 0x34, 0x12, }, 9, 0, "", "",
46 "f3 0f 1b 84 08 78 56 34 12 \tbndmk 0x12345678(%rax,%rcx,1),%bnd0",},
47 {{0xf3, 0x0f, 0x1b, 0x84, 0xc8, 0x78, 0x56, 0x34, 0x12, }, 9, 0, "", "",
48 "f3 0f 1b 84 c8 78 56 34 12 \tbndmk 0x12345678(%rax,%rcx,8),%bnd0",},
49 {{0xf3, 0x0f, 0x1a, 0x00, }, 4, 0, "", "",
50 "f3 0f 1a 00 \tbndcl (%rax),%bnd0",},
51 {{0xf3, 0x41, 0x0f, 0x1a, 0x00, }, 5, 0, "", "",
52 "f3 41 0f 1a 00 \tbndcl (%r8),%bnd0",},
53 {{0xf3, 0x0f, 0x1a, 0x04, 0x25, 0x78, 0x56, 0x34, 0x12, }, 9, 0, "", "",
54 "f3 0f 1a 04 25 78 56 34 12 \tbndcl 0x12345678,%bnd0",},
55 {{0xf3, 0x0f, 0x1a, 0x18, }, 4, 0, "", "",
56 "f3 0f 1a 18 \tbndcl (%rax),%bnd3",},
57 {{0xf3, 0x0f, 0x1a, 0x04, 0x01, }, 5, 0, "", "",
58 "f3 0f 1a 04 01 \tbndcl (%rcx,%rax,1),%bnd0",},
59 {{0xf3, 0x0f, 0x1a, 0x04, 0x05, 0x78, 0x56, 0x34, 0x12, }, 9, 0, "", "",
60 "f3 0f 1a 04 05 78 56 34 12 \tbndcl 0x12345678(,%rax,1),%bnd0",},
61 {{0xf3, 0x0f, 0x1a, 0x04, 0x08, }, 5, 0, "", "",
62 "f3 0f 1a 04 08 \tbndcl (%rax,%rcx,1),%bnd0",},
63 {{0xf3, 0x0f, 0x1a, 0x04, 0xc8, }, 5, 0, "", "",
64 "f3 0f 1a 04 c8 \tbndcl (%rax,%rcx,8),%bnd0",},
65 {{0xf3, 0x0f, 0x1a, 0x40, 0x12, }, 5, 0, "", "",
66 "f3 0f 1a 40 12 \tbndcl 0x12(%rax),%bnd0",},
67 {{0xf3, 0x0f, 0x1a, 0x45, 0x12, }, 5, 0, "", "",
68 "f3 0f 1a 45 12 \tbndcl 0x12(%rbp),%bnd0",},
69 {{0xf3, 0x0f, 0x1a, 0x44, 0x01, 0x12, }, 6, 0, "", "",
70 "f3 0f 1a 44 01 12 \tbndcl 0x12(%rcx,%rax,1),%bnd0",},
71 {{0xf3, 0x0f, 0x1a, 0x44, 0x05, 0x12, }, 6, 0, "", "",
72 "f3 0f 1a 44 05 12 \tbndcl 0x12(%rbp,%rax,1),%bnd0",},
73 {{0xf3, 0x0f, 0x1a, 0x44, 0x08, 0x12, }, 6, 0, "", "",
74 "f3 0f 1a 44 08 12 \tbndcl 0x12(%rax,%rcx,1),%bnd0",},
75 {{0xf3, 0x0f, 0x1a, 0x44, 0xc8, 0x12, }, 6, 0, "", "",
76 "f3 0f 1a 44 c8 12 \tbndcl 0x12(%rax,%rcx,8),%bnd0",},
77 {{0xf3, 0x0f, 0x1a, 0x80, 0x78, 0x56, 0x34, 0x12, }, 8, 0, "", "",
78 "f3 0f 1a 80 78 56 34 12 \tbndcl 0x12345678(%rax),%bnd0",},
79 {{0xf3, 0x0f, 0x1a, 0x85, 0x78, 0x56, 0x34, 0x12, }, 8, 0, "", "",
80 "f3 0f 1a 85 78 56 34 12 \tbndcl 0x12345678(%rbp),%bnd0",},
81 {{0xf3, 0x0f, 0x1a, 0x84, 0x01, 0x78, 0x56, 0x34, 0x12, }, 9, 0, "", "",
82 "f3 0f 1a 84 01 78 56 34 12 \tbndcl 0x12345678(%rcx,%rax,1),%bnd0",},
83 {{0xf3, 0x0f, 0x1a, 0x84, 0x05, 0x78, 0x56, 0x34, 0x12, }, 9, 0, "", "",
84 "f3 0f 1a 84 05 78 56 34 12 \tbndcl 0x12345678(%rbp,%rax,1),%bnd0",},
85 {{0xf3, 0x0f, 0x1a, 0x84, 0x08, 0x78, 0x56, 0x34, 0x12, }, 9, 0, "", "",
86 "f3 0f 1a 84 08 78 56 34 12 \tbndcl 0x12345678(%rax,%rcx,1),%bnd0",},
87 {{0xf3, 0x0f, 0x1a, 0x84, 0xc8, 0x78, 0x56, 0x34, 0x12, }, 9, 0, "", "",
88 "f3 0f 1a 84 c8 78 56 34 12 \tbndcl 0x12345678(%rax,%rcx,8),%bnd0",},
89 {{0xf3, 0x0f, 0x1a, 0xc0, }, 4, 0, "", "",
90 "f3 0f 1a c0 \tbndcl %rax,%bnd0",},
91 {{0xf2, 0x0f, 0x1a, 0x00, }, 4, 0, "", "",
92 "f2 0f 1a 00 \tbndcu (%rax),%bnd0",},
93 {{0xf2, 0x41, 0x0f, 0x1a, 0x00, }, 5, 0, "", "",
94 "f2 41 0f 1a 00 \tbndcu (%r8),%bnd0",},
95 {{0xf2, 0x0f, 0x1a, 0x04, 0x25, 0x78, 0x56, 0x34, 0x12, }, 9, 0, "", "",
96 "f2 0f 1a 04 25 78 56 34 12 \tbndcu 0x12345678,%bnd0",},
97 {{0xf2, 0x0f, 0x1a, 0x18, }, 4, 0, "", "",
98 "f2 0f 1a 18 \tbndcu (%rax),%bnd3",},
99 {{0xf2, 0x0f, 0x1a, 0x04, 0x01, }, 5, 0, "", "",
100 "f2 0f 1a 04 01 \tbndcu (%rcx,%rax,1),%bnd0",},
101 {{0xf2, 0x0f, 0x1a, 0x04, 0x05, 0x78, 0x56, 0x34, 0x12, }, 9, 0, "", "",
102 "f2 0f 1a 04 05 78 56 34 12 \tbndcu 0x12345678(,%rax,1),%bnd0",},
103 {{0xf2, 0x0f, 0x1a, 0x04, 0x08, }, 5, 0, "", "",
104 "f2 0f 1a 04 08 \tbndcu (%rax,%rcx,1),%bnd0",},
105 {{0xf2, 0x0f, 0x1a, 0x04, 0xc8, }, 5, 0, "", "",
106 "f2 0f 1a 04 c8 \tbndcu (%rax,%rcx,8),%bnd0",},
107 {{0xf2, 0x0f, 0x1a, 0x40, 0x12, }, 5, 0, "", "",
108 "f2 0f 1a 40 12 \tbndcu 0x12(%rax),%bnd0",},
109 {{0xf2, 0x0f, 0x1a, 0x45, 0x12, }, 5, 0, "", "",
110 "f2 0f 1a 45 12 \tbndcu 0x12(%rbp),%bnd0",},
111 {{0xf2, 0x0f, 0x1a, 0x44, 0x01, 0x12, }, 6, 0, "", "",
112 "f2 0f 1a 44 01 12 \tbndcu 0x12(%rcx,%rax,1),%bnd0",},
113 {{0xf2, 0x0f, 0x1a, 0x44, 0x05, 0x12, }, 6, 0, "", "",
114 "f2 0f 1a 44 05 12 \tbndcu 0x12(%rbp,%rax,1),%bnd0",},
115 {{0xf2, 0x0f, 0x1a, 0x44, 0x08, 0x12, }, 6, 0, "", "",
116 "f2 0f 1a 44 08 12 \tbndcu 0x12(%rax,%rcx,1),%bnd0",},
117 {{0xf2, 0x0f, 0x1a, 0x44, 0xc8, 0x12, }, 6, 0, "", "",
118 "f2 0f 1a 44 c8 12 \tbndcu 0x12(%rax,%rcx,8),%bnd0",},
119 {{0xf2, 0x0f, 0x1a, 0x80, 0x78, 0x56, 0x34, 0x12, }, 8, 0, "", "",
120 "f2 0f 1a 80 78 56 34 12 \tbndcu 0x12345678(%rax),%bnd0",},
121 {{0xf2, 0x0f, 0x1a, 0x85, 0x78, 0x56, 0x34, 0x12, }, 8, 0, "", "",
122 "f2 0f 1a 85 78 56 34 12 \tbndcu 0x12345678(%rbp),%bnd0",},
123 {{0xf2, 0x0f, 0x1a, 0x84, 0x01, 0x78, 0x56, 0x34, 0x12, }, 9, 0, "", "",
124 "f2 0f 1a 84 01 78 56 34 12 \tbndcu 0x12345678(%rcx,%rax,1),%bnd0",},
125 {{0xf2, 0x0f, 0x1a, 0x84, 0x05, 0x78, 0x56, 0x34, 0x12, }, 9, 0, "", "",
126 "f2 0f 1a 84 05 78 56 34 12 \tbndcu 0x12345678(%rbp,%rax,1),%bnd0",},
127 {{0xf2, 0x0f, 0x1a, 0x84, 0x08, 0x78, 0x56, 0x34, 0x12, }, 9, 0, "", "",
128 "f2 0f 1a 84 08 78 56 34 12 \tbndcu 0x12345678(%rax,%rcx,1),%bnd0",},
129 {{0xf2, 0x0f, 0x1a, 0x84, 0xc8, 0x78, 0x56, 0x34, 0x12, }, 9, 0, "", "",
130 "f2 0f 1a 84 c8 78 56 34 12 \tbndcu 0x12345678(%rax,%rcx,8),%bnd0",},
131 {{0xf2, 0x0f, 0x1a, 0xc0, }, 4, 0, "", "",
132 "f2 0f 1a c0 \tbndcu %rax,%bnd0",},
133 {{0xf2, 0x0f, 0x1b, 0x00, }, 4, 0, "", "",
134 "f2 0f 1b 00 \tbndcn (%rax),%bnd0",},
135 {{0xf2, 0x41, 0x0f, 0x1b, 0x00, }, 5, 0, "", "",
136 "f2 41 0f 1b 00 \tbndcn (%r8),%bnd0",},
137 {{0xf2, 0x0f, 0x1b, 0x04, 0x25, 0x78, 0x56, 0x34, 0x12, }, 9, 0, "", "",
138 "f2 0f 1b 04 25 78 56 34 12 \tbndcn 0x12345678,%bnd0",},
139 {{0xf2, 0x0f, 0x1b, 0x18, }, 4, 0, "", "",
140 "f2 0f 1b 18 \tbndcn (%rax),%bnd3",},
141 {{0xf2, 0x0f, 0x1b, 0x04, 0x01, }, 5, 0, "", "",
142 "f2 0f 1b 04 01 \tbndcn (%rcx,%rax,1),%bnd0",},
143 {{0xf2, 0x0f, 0x1b, 0x04, 0x05, 0x78, 0x56, 0x34, 0x12, }, 9, 0, "", "",
144 "f2 0f 1b 04 05 78 56 34 12 \tbndcn 0x12345678(,%rax,1),%bnd0",},
145 {{0xf2, 0x0f, 0x1b, 0x04, 0x08, }, 5, 0, "", "",
146 "f2 0f 1b 04 08 \tbndcn (%rax,%rcx,1),%bnd0",},
147 {{0xf2, 0x0f, 0x1b, 0x04, 0xc8, }, 5, 0, "", "",
148 "f2 0f 1b 04 c8 \tbndcn (%rax,%rcx,8),%bnd0",},
149 {{0xf2, 0x0f, 0x1b, 0x40, 0x12, }, 5, 0, "", "",
150 "f2 0f 1b 40 12 \tbndcn 0x12(%rax),%bnd0",},
151 {{0xf2, 0x0f, 0x1b, 0x45, 0x12, }, 5, 0, "", "",
152 "f2 0f 1b 45 12 \tbndcn 0x12(%rbp),%bnd0",},
153 {{0xf2, 0x0f, 0x1b, 0x44, 0x01, 0x12, }, 6, 0, "", "",
154 "f2 0f 1b 44 01 12 \tbndcn 0x12(%rcx,%rax,1),%bnd0",},
155 {{0xf2, 0x0f, 0x1b, 0x44, 0x05, 0x12, }, 6, 0, "", "",
156 "f2 0f 1b 44 05 12 \tbndcn 0x12(%rbp,%rax,1),%bnd0",},
157 {{0xf2, 0x0f, 0x1b, 0x44, 0x08, 0x12, }, 6, 0, "", "",
158 "f2 0f 1b 44 08 12 \tbndcn 0x12(%rax,%rcx,1),%bnd0",},
159 {{0xf2, 0x0f, 0x1b, 0x44, 0xc8, 0x12, }, 6, 0, "", "",
160 "f2 0f 1b 44 c8 12 \tbndcn 0x12(%rax,%rcx,8),%bnd0",},
161 {{0xf2, 0x0f, 0x1b, 0x80, 0x78, 0x56, 0x34, 0x12, }, 8, 0, "", "",
162 "f2 0f 1b 80 78 56 34 12 \tbndcn 0x12345678(%rax),%bnd0",},
163 {{0xf2, 0x0f, 0x1b, 0x85, 0x78, 0x56, 0x34, 0x12, }, 8, 0, "", "",
164 "f2 0f 1b 85 78 56 34 12 \tbndcn 0x12345678(%rbp),%bnd0",},
165 {{0xf2, 0x0f, 0x1b, 0x84, 0x01, 0x78, 0x56, 0x34, 0x12, }, 9, 0, "", "",
166 "f2 0f 1b 84 01 78 56 34 12 \tbndcn 0x12345678(%rcx,%rax,1),%bnd0",},
167 {{0xf2, 0x0f, 0x1b, 0x84, 0x05, 0x78, 0x56, 0x34, 0x12, }, 9, 0, "", "",
168 "f2 0f 1b 84 05 78 56 34 12 \tbndcn 0x12345678(%rbp,%rax,1),%bnd0",},
169 {{0xf2, 0x0f, 0x1b, 0x84, 0x08, 0x78, 0x56, 0x34, 0x12, }, 9, 0, "", "",
170 "f2 0f 1b 84 08 78 56 34 12 \tbndcn 0x12345678(%rax,%rcx,1),%bnd0",},
171 {{0xf2, 0x0f, 0x1b, 0x84, 0xc8, 0x78, 0x56, 0x34, 0x12, }, 9, 0, "", "",
172 "f2 0f 1b 84 c8 78 56 34 12 \tbndcn 0x12345678(%rax,%rcx,8),%bnd0",},
173 {{0xf2, 0x0f, 0x1b, 0xc0, }, 4, 0, "", "",
174 "f2 0f 1b c0 \tbndcn %rax,%bnd0",},
175 {{0x66, 0x0f, 0x1a, 0x00, }, 4, 0, "", "",
176 "66 0f 1a 00 \tbndmov (%rax),%bnd0",},
177 {{0x66, 0x41, 0x0f, 0x1a, 0x00, }, 5, 0, "", "",
178 "66 41 0f 1a 00 \tbndmov (%r8),%bnd0",},
179 {{0x66, 0x0f, 0x1a, 0x04, 0x25, 0x78, 0x56, 0x34, 0x12, }, 9, 0, "", "",
180 "66 0f 1a 04 25 78 56 34 12 \tbndmov 0x12345678,%bnd0",},
181 {{0x66, 0x0f, 0x1a, 0x18, }, 4, 0, "", "",
182 "66 0f 1a 18 \tbndmov (%rax),%bnd3",},
183 {{0x66, 0x0f, 0x1a, 0x04, 0x01, }, 5, 0, "", "",
184 "66 0f 1a 04 01 \tbndmov (%rcx,%rax,1),%bnd0",},
185 {{0x66, 0x0f, 0x1a, 0x04, 0x05, 0x78, 0x56, 0x34, 0x12, }, 9, 0, "", "",
186 "66 0f 1a 04 05 78 56 34 12 \tbndmov 0x12345678(,%rax,1),%bnd0",},
187 {{0x66, 0x0f, 0x1a, 0x04, 0x08, }, 5, 0, "", "",
188 "66 0f 1a 04 08 \tbndmov (%rax,%rcx,1),%bnd0",},
189 {{0x66, 0x0f, 0x1a, 0x04, 0xc8, }, 5, 0, "", "",
190 "66 0f 1a 04 c8 \tbndmov (%rax,%rcx,8),%bnd0",},
191 {{0x66, 0x0f, 0x1a, 0x40, 0x12, }, 5, 0, "", "",
192 "66 0f 1a 40 12 \tbndmov 0x12(%rax),%bnd0",},
193 {{0x66, 0x0f, 0x1a, 0x45, 0x12, }, 5, 0, "", "",
194 "66 0f 1a 45 12 \tbndmov 0x12(%rbp),%bnd0",},
195 {{0x66, 0x0f, 0x1a, 0x44, 0x01, 0x12, }, 6, 0, "", "",
196 "66 0f 1a 44 01 12 \tbndmov 0x12(%rcx,%rax,1),%bnd0",},
197 {{0x66, 0x0f, 0x1a, 0x44, 0x05, 0x12, }, 6, 0, "", "",
198 "66 0f 1a 44 05 12 \tbndmov 0x12(%rbp,%rax,1),%bnd0",},
199 {{0x66, 0x0f, 0x1a, 0x44, 0x08, 0x12, }, 6, 0, "", "",
200 "66 0f 1a 44 08 12 \tbndmov 0x12(%rax,%rcx,1),%bnd0",},
201 {{0x66, 0x0f, 0x1a, 0x44, 0xc8, 0x12, }, 6, 0, "", "",
202 "66 0f 1a 44 c8 12 \tbndmov 0x12(%rax,%rcx,8),%bnd0",},
203 {{0x66, 0x0f, 0x1a, 0x80, 0x78, 0x56, 0x34, 0x12, }, 8, 0, "", "",
204 "66 0f 1a 80 78 56 34 12 \tbndmov 0x12345678(%rax),%bnd0",},
205 {{0x66, 0x0f, 0x1a, 0x85, 0x78, 0x56, 0x34, 0x12, }, 8, 0, "", "",
206 "66 0f 1a 85 78 56 34 12 \tbndmov 0x12345678(%rbp),%bnd0",},
207 {{0x66, 0x0f, 0x1a, 0x84, 0x01, 0x78, 0x56, 0x34, 0x12, }, 9, 0, "", "",
208 "66 0f 1a 84 01 78 56 34 12 \tbndmov 0x12345678(%rcx,%rax,1),%bnd0",},
209 {{0x66, 0x0f, 0x1a, 0x84, 0x05, 0x78, 0x56, 0x34, 0x12, }, 9, 0, "", "",
210 "66 0f 1a 84 05 78 56 34 12 \tbndmov 0x12345678(%rbp,%rax,1),%bnd0",},
211 {{0x66, 0x0f, 0x1a, 0x84, 0x08, 0x78, 0x56, 0x34, 0x12, }, 9, 0, "", "",
212 "66 0f 1a 84 08 78 56 34 12 \tbndmov 0x12345678(%rax,%rcx,1),%bnd0",},
213 {{0x66, 0x0f, 0x1a, 0x84, 0xc8, 0x78, 0x56, 0x34, 0x12, }, 9, 0, "", "",
214 "66 0f 1a 84 c8 78 56 34 12 \tbndmov 0x12345678(%rax,%rcx,8),%bnd0",},
215 {{0x66, 0x0f, 0x1b, 0x00, }, 4, 0, "", "",
216 "66 0f 1b 00 \tbndmov %bnd0,(%rax)",},
217 {{0x66, 0x41, 0x0f, 0x1b, 0x00, }, 5, 0, "", "",
218 "66 41 0f 1b 00 \tbndmov %bnd0,(%r8)",},
219 {{0x66, 0x0f, 0x1b, 0x04, 0x25, 0x78, 0x56, 0x34, 0x12, }, 9, 0, "", "",
220 "66 0f 1b 04 25 78 56 34 12 \tbndmov %bnd0,0x12345678",},
221 {{0x66, 0x0f, 0x1b, 0x18, }, 4, 0, "", "",
222 "66 0f 1b 18 \tbndmov %bnd3,(%rax)",},
223 {{0x66, 0x0f, 0x1b, 0x04, 0x01, }, 5, 0, "", "",
224 "66 0f 1b 04 01 \tbndmov %bnd0,(%rcx,%rax,1)",},
225 {{0x66, 0x0f, 0x1b, 0x04, 0x05, 0x78, 0x56, 0x34, 0x12, }, 9, 0, "", "",
226 "66 0f 1b 04 05 78 56 34 12 \tbndmov %bnd0,0x12345678(,%rax,1)",},
227 {{0x66, 0x0f, 0x1b, 0x04, 0x08, }, 5, 0, "", "",
228 "66 0f 1b 04 08 \tbndmov %bnd0,(%rax,%rcx,1)",},
229 {{0x66, 0x0f, 0x1b, 0x04, 0xc8, }, 5, 0, "", "",
230 "66 0f 1b 04 c8 \tbndmov %bnd0,(%rax,%rcx,8)",},
231 {{0x66, 0x0f, 0x1b, 0x40, 0x12, }, 5, 0, "", "",
232 "66 0f 1b 40 12 \tbndmov %bnd0,0x12(%rax)",},
233 {{0x66, 0x0f, 0x1b, 0x45, 0x12, }, 5, 0, "", "",
234 "66 0f 1b 45 12 \tbndmov %bnd0,0x12(%rbp)",},
235 {{0x66, 0x0f, 0x1b, 0x44, 0x01, 0x12, }, 6, 0, "", "",
236 "66 0f 1b 44 01 12 \tbndmov %bnd0,0x12(%rcx,%rax,1)",},
237 {{0x66, 0x0f, 0x1b, 0x44, 0x05, 0x12, }, 6, 0, "", "",
238 "66 0f 1b 44 05 12 \tbndmov %bnd0,0x12(%rbp,%rax,1)",},
239 {{0x66, 0x0f, 0x1b, 0x44, 0x08, 0x12, }, 6, 0, "", "",
240 "66 0f 1b 44 08 12 \tbndmov %bnd0,0x12(%rax,%rcx,1)",},
241 {{0x66, 0x0f, 0x1b, 0x44, 0xc8, 0x12, }, 6, 0, "", "",
242 "66 0f 1b 44 c8 12 \tbndmov %bnd0,0x12(%rax,%rcx,8)",},
243 {{0x66, 0x0f, 0x1b, 0x80, 0x78, 0x56, 0x34, 0x12, }, 8, 0, "", "",
244 "66 0f 1b 80 78 56 34 12 \tbndmov %bnd0,0x12345678(%rax)",},
245 {{0x66, 0x0f, 0x1b, 0x85, 0x78, 0x56, 0x34, 0x12, }, 8, 0, "", "",
246 "66 0f 1b 85 78 56 34 12 \tbndmov %bnd0,0x12345678(%rbp)",},
247 {{0x66, 0x0f, 0x1b, 0x84, 0x01, 0x78, 0x56, 0x34, 0x12, }, 9, 0, "", "",
248 "66 0f 1b 84 01 78 56 34 12 \tbndmov %bnd0,0x12345678(%rcx,%rax,1)",},
249 {{0x66, 0x0f, 0x1b, 0x84, 0x05, 0x78, 0x56, 0x34, 0x12, }, 9, 0, "", "",
250 "66 0f 1b 84 05 78 56 34 12 \tbndmov %bnd0,0x12345678(%rbp,%rax,1)",},
251 {{0x66, 0x0f, 0x1b, 0x84, 0x08, 0x78, 0x56, 0x34, 0x12, }, 9, 0, "", "",
252 "66 0f 1b 84 08 78 56 34 12 \tbndmov %bnd0,0x12345678(%rax,%rcx,1)",},
253 {{0x66, 0x0f, 0x1b, 0x84, 0xc8, 0x78, 0x56, 0x34, 0x12, }, 9, 0, "", "",
254 "66 0f 1b 84 c8 78 56 34 12 \tbndmov %bnd0,0x12345678(%rax,%rcx,8)",},
255 {{0x66, 0x0f, 0x1a, 0xc8, }, 4, 0, "", "",
256 "66 0f 1a c8 \tbndmov %bnd0,%bnd1",},
257 {{0x66, 0x0f, 0x1a, 0xc1, }, 4, 0, "", "",
258 "66 0f 1a c1 \tbndmov %bnd1,%bnd0",},
259 {{0x0f, 0x1a, 0x00, }, 3, 0, "", "",
260 "0f 1a 00 \tbndldx (%rax),%bnd0",},
261 {{0x41, 0x0f, 0x1a, 0x00, }, 4, 0, "", "",
262 "41 0f 1a 00 \tbndldx (%r8),%bnd0",},
263 {{0x0f, 0x1a, 0x04, 0x25, 0x78, 0x56, 0x34, 0x12, }, 8, 0, "", "",
264 "0f 1a 04 25 78 56 34 12 \tbndldx 0x12345678,%bnd0",},
265 {{0x0f, 0x1a, 0x18, }, 3, 0, "", "",
266 "0f 1a 18 \tbndldx (%rax),%bnd3",},
267 {{0x0f, 0x1a, 0x04, 0x01, }, 4, 0, "", "",
268 "0f 1a 04 01 \tbndldx (%rcx,%rax,1),%bnd0",},
269 {{0x0f, 0x1a, 0x04, 0x05, 0x78, 0x56, 0x34, 0x12, }, 8, 0, "", "",
270 "0f 1a 04 05 78 56 34 12 \tbndldx 0x12345678(,%rax,1),%bnd0",},
271 {{0x0f, 0x1a, 0x04, 0x08, }, 4, 0, "", "",
272 "0f 1a 04 08 \tbndldx (%rax,%rcx,1),%bnd0",},
273 {{0x0f, 0x1a, 0x40, 0x12, }, 4, 0, "", "",
274 "0f 1a 40 12 \tbndldx 0x12(%rax),%bnd0",},
275 {{0x0f, 0x1a, 0x45, 0x12, }, 4, 0, "", "",
276 "0f 1a 45 12 \tbndldx 0x12(%rbp),%bnd0",},
277 {{0x0f, 0x1a, 0x44, 0x01, 0x12, }, 5, 0, "", "",
278 "0f 1a 44 01 12 \tbndldx 0x12(%rcx,%rax,1),%bnd0",},
279 {{0x0f, 0x1a, 0x44, 0x05, 0x12, }, 5, 0, "", "",
280 "0f 1a 44 05 12 \tbndldx 0x12(%rbp,%rax,1),%bnd0",},
281 {{0x0f, 0x1a, 0x44, 0x08, 0x12, }, 5, 0, "", "",
282 "0f 1a 44 08 12 \tbndldx 0x12(%rax,%rcx,1),%bnd0",},
283 {{0x0f, 0x1a, 0x80, 0x78, 0x56, 0x34, 0x12, }, 7, 0, "", "",
284 "0f 1a 80 78 56 34 12 \tbndldx 0x12345678(%rax),%bnd0",},
285 {{0x0f, 0x1a, 0x85, 0x78, 0x56, 0x34, 0x12, }, 7, 0, "", "",
286 "0f 1a 85 78 56 34 12 \tbndldx 0x12345678(%rbp),%bnd0",},
287 {{0x0f, 0x1a, 0x84, 0x01, 0x78, 0x56, 0x34, 0x12, }, 8, 0, "", "",
288 "0f 1a 84 01 78 56 34 12 \tbndldx 0x12345678(%rcx,%rax,1),%bnd0",},
289 {{0x0f, 0x1a, 0x84, 0x05, 0x78, 0x56, 0x34, 0x12, }, 8, 0, "", "",
290 "0f 1a 84 05 78 56 34 12 \tbndldx 0x12345678(%rbp,%rax,1),%bnd0",},
291 {{0x0f, 0x1a, 0x84, 0x08, 0x78, 0x56, 0x34, 0x12, }, 8, 0, "", "",
292 "0f 1a 84 08 78 56 34 12 \tbndldx 0x12345678(%rax,%rcx,1),%bnd0",},
293 {{0x0f, 0x1b, 0x00, }, 3, 0, "", "",
294 "0f 1b 00 \tbndstx %bnd0,(%rax)",},
295 {{0x41, 0x0f, 0x1b, 0x00, }, 4, 0, "", "",
296 "41 0f 1b 00 \tbndstx %bnd0,(%r8)",},
297 {{0x0f, 0x1b, 0x04, 0x25, 0x78, 0x56, 0x34, 0x12, }, 8, 0, "", "",
298 "0f 1b 04 25 78 56 34 12 \tbndstx %bnd0,0x12345678",},
299 {{0x0f, 0x1b, 0x18, }, 3, 0, "", "",
300 "0f 1b 18 \tbndstx %bnd3,(%rax)",},
301 {{0x0f, 0x1b, 0x04, 0x01, }, 4, 0, "", "",
302 "0f 1b 04 01 \tbndstx %bnd0,(%rcx,%rax,1)",},
303 {{0x0f, 0x1b, 0x04, 0x05, 0x78, 0x56, 0x34, 0x12, }, 8, 0, "", "",
304 "0f 1b 04 05 78 56 34 12 \tbndstx %bnd0,0x12345678(,%rax,1)",},
305 {{0x0f, 0x1b, 0x04, 0x08, }, 4, 0, "", "",
306 "0f 1b 04 08 \tbndstx %bnd0,(%rax,%rcx,1)",},
307 {{0x0f, 0x1b, 0x40, 0x12, }, 4, 0, "", "",
308 "0f 1b 40 12 \tbndstx %bnd0,0x12(%rax)",},
309 {{0x0f, 0x1b, 0x45, 0x12, }, 4, 0, "", "",
310 "0f 1b 45 12 \tbndstx %bnd0,0x12(%rbp)",},
311 {{0x0f, 0x1b, 0x44, 0x01, 0x12, }, 5, 0, "", "",
312 "0f 1b 44 01 12 \tbndstx %bnd0,0x12(%rcx,%rax,1)",},
313 {{0x0f, 0x1b, 0x44, 0x05, 0x12, }, 5, 0, "", "",
314 "0f 1b 44 05 12 \tbndstx %bnd0,0x12(%rbp,%rax,1)",},
315 {{0x0f, 0x1b, 0x44, 0x08, 0x12, }, 5, 0, "", "",
316 "0f 1b 44 08 12 \tbndstx %bnd0,0x12(%rax,%rcx,1)",},
317 {{0x0f, 0x1b, 0x80, 0x78, 0x56, 0x34, 0x12, }, 7, 0, "", "",
318 "0f 1b 80 78 56 34 12 \tbndstx %bnd0,0x12345678(%rax)",},
319 {{0x0f, 0x1b, 0x85, 0x78, 0x56, 0x34, 0x12, }, 7, 0, "", "",
320 "0f 1b 85 78 56 34 12 \tbndstx %bnd0,0x12345678(%rbp)",},
321 {{0x0f, 0x1b, 0x84, 0x01, 0x78, 0x56, 0x34, 0x12, }, 8, 0, "", "",
322 "0f 1b 84 01 78 56 34 12 \tbndstx %bnd0,0x12345678(%rcx,%rax,1)",},
323 {{0x0f, 0x1b, 0x84, 0x05, 0x78, 0x56, 0x34, 0x12, }, 8, 0, "", "",
324 "0f 1b 84 05 78 56 34 12 \tbndstx %bnd0,0x12345678(%rbp,%rax,1)",},
325 {{0x0f, 0x1b, 0x84, 0x08, 0x78, 0x56, 0x34, 0x12, }, 8, 0, "", "",
326 "0f 1b 84 08 78 56 34 12 \tbndstx %bnd0,0x12345678(%rax,%rcx,1)",},
327 {{0xf2, 0xe8, 0x00, 0x00, 0x00, 0x00, }, 6, 0, "call", "unconditional",
328 "f2 e8 00 00 00 00 \tbnd callq 3f6 <main+0x3f6>",},
329 {{0x67, 0xf2, 0xff, 0x10, }, 4, 0, "call", "indirect",
330 "67 f2 ff 10 \tbnd callq *(%eax)",},
331 {{0xf2, 0xc3, }, 2, 0, "ret", "indirect",
332 "f2 c3 \tbnd retq ",},
333 {{0xf2, 0xe9, 0x00, 0x00, 0x00, 0x00, }, 6, 0, "jmp", "unconditional",
334 "f2 e9 00 00 00 00 \tbnd jmpq 402 <main+0x402>",},
335 {{0xf2, 0xe9, 0x00, 0x00, 0x00, 0x00, }, 6, 0, "jmp", "unconditional",
336 "f2 e9 00 00 00 00 \tbnd jmpq 408 <main+0x408>",},
337 {{0x67, 0xf2, 0xff, 0x21, }, 4, 0, "jmp", "indirect",
338 "67 f2 ff 21 \tbnd jmpq *(%ecx)",},
339 {{0xf2, 0x0f, 0x85, 0x00, 0x00, 0x00, 0x00, }, 7, 0, "jcc", "conditional",
340 "f2 0f 85 00 00 00 00 \tbnd jne 413 <main+0x413>",},
341 {{0x0f, 0x3a, 0xcc, 0xc1, 0x00, }, 5, 0, "", "",
342 "0f 3a cc c1 00 \tsha1rnds4 $0x0,%xmm1,%xmm0",},
343 {{0x0f, 0x3a, 0xcc, 0xd7, 0x91, }, 5, 0, "", "",
344 "0f 3a cc d7 91 \tsha1rnds4 $0x91,%xmm7,%xmm2",},
345 {{0x41, 0x0f, 0x3a, 0xcc, 0xc0, 0x91, }, 6, 0, "", "",
346 "41 0f 3a cc c0 91 \tsha1rnds4 $0x91,%xmm8,%xmm0",},
347 {{0x44, 0x0f, 0x3a, 0xcc, 0xc7, 0x91, }, 6, 0, "", "",
348 "44 0f 3a cc c7 91 \tsha1rnds4 $0x91,%xmm7,%xmm8",},
349 {{0x45, 0x0f, 0x3a, 0xcc, 0xc7, 0x91, }, 6, 0, "", "",
350 "45 0f 3a cc c7 91 \tsha1rnds4 $0x91,%xmm15,%xmm8",},
351 {{0x0f, 0x3a, 0xcc, 0x00, 0x91, }, 5, 0, "", "",
352 "0f 3a cc 00 91 \tsha1rnds4 $0x91,(%rax),%xmm0",},
353 {{0x41, 0x0f, 0x3a, 0xcc, 0x00, 0x91, }, 6, 0, "", "",
354 "41 0f 3a cc 00 91 \tsha1rnds4 $0x91,(%r8),%xmm0",},
355 {{0x0f, 0x3a, 0xcc, 0x04, 0x25, 0x78, 0x56, 0x34, 0x12, 0x91, }, 10, 0, "", "",
356 "0f 3a cc 04 25 78 56 34 12 91 \tsha1rnds4 $0x91,0x12345678,%xmm0",},
357 {{0x0f, 0x3a, 0xcc, 0x18, 0x91, }, 5, 0, "", "",
358 "0f 3a cc 18 91 \tsha1rnds4 $0x91,(%rax),%xmm3",},
359 {{0x0f, 0x3a, 0xcc, 0x04, 0x01, 0x91, }, 6, 0, "", "",
360 "0f 3a cc 04 01 91 \tsha1rnds4 $0x91,(%rcx,%rax,1),%xmm0",},
361 {{0x0f, 0x3a, 0xcc, 0x04, 0x05, 0x78, 0x56, 0x34, 0x12, 0x91, }, 10, 0, "", "",
362 "0f 3a cc 04 05 78 56 34 12 91 \tsha1rnds4 $0x91,0x12345678(,%rax,1),%xmm0",},
363 {{0x0f, 0x3a, 0xcc, 0x04, 0x08, 0x91, }, 6, 0, "", "",
364 "0f 3a cc 04 08 91 \tsha1rnds4 $0x91,(%rax,%rcx,1),%xmm0",},
365 {{0x0f, 0x3a, 0xcc, 0x04, 0xc8, 0x91, }, 6, 0, "", "",
366 "0f 3a cc 04 c8 91 \tsha1rnds4 $0x91,(%rax,%rcx,8),%xmm0",},
367 {{0x0f, 0x3a, 0xcc, 0x40, 0x12, 0x91, }, 6, 0, "", "",
368 "0f 3a cc 40 12 91 \tsha1rnds4 $0x91,0x12(%rax),%xmm0",},
369 {{0x0f, 0x3a, 0xcc, 0x45, 0x12, 0x91, }, 6, 0, "", "",
370 "0f 3a cc 45 12 91 \tsha1rnds4 $0x91,0x12(%rbp),%xmm0",},
371 {{0x0f, 0x3a, 0xcc, 0x44, 0x01, 0x12, 0x91, }, 7, 0, "", "",
372 "0f 3a cc 44 01 12 91 \tsha1rnds4 $0x91,0x12(%rcx,%rax,1),%xmm0",},
373 {{0x0f, 0x3a, 0xcc, 0x44, 0x05, 0x12, 0x91, }, 7, 0, "", "",
374 "0f 3a cc 44 05 12 91 \tsha1rnds4 $0x91,0x12(%rbp,%rax,1),%xmm0",},
375 {{0x0f, 0x3a, 0xcc, 0x44, 0x08, 0x12, 0x91, }, 7, 0, "", "",
376 "0f 3a cc 44 08 12 91 \tsha1rnds4 $0x91,0x12(%rax,%rcx,1),%xmm0",},
377 {{0x0f, 0x3a, 0xcc, 0x44, 0xc8, 0x12, 0x91, }, 7, 0, "", "",
378 "0f 3a cc 44 c8 12 91 \tsha1rnds4 $0x91,0x12(%rax,%rcx,8),%xmm0",},
379 {{0x0f, 0x3a, 0xcc, 0x80, 0x78, 0x56, 0x34, 0x12, 0x91, }, 9, 0, "", "",
380 "0f 3a cc 80 78 56 34 12 91 \tsha1rnds4 $0x91,0x12345678(%rax),%xmm0",},
381 {{0x0f, 0x3a, 0xcc, 0x85, 0x78, 0x56, 0x34, 0x12, 0x91, }, 9, 0, "", "",
382 "0f 3a cc 85 78 56 34 12 91 \tsha1rnds4 $0x91,0x12345678(%rbp),%xmm0",},
383 {{0x0f, 0x3a, 0xcc, 0x84, 0x01, 0x78, 0x56, 0x34, 0x12, 0x91, }, 10, 0, "", "",
384 "0f 3a cc 84 01 78 56 34 12 91 \tsha1rnds4 $0x91,0x12345678(%rcx,%rax,1),%xmm0",},
385 {{0x0f, 0x3a, 0xcc, 0x84, 0x05, 0x78, 0x56, 0x34, 0x12, 0x91, }, 10, 0, "", "",
386 "0f 3a cc 84 05 78 56 34 12 91 \tsha1rnds4 $0x91,0x12345678(%rbp,%rax,1),%xmm0",},
387 {{0x0f, 0x3a, 0xcc, 0x84, 0x08, 0x78, 0x56, 0x34, 0x12, 0x91, }, 10, 0, "", "",
388 "0f 3a cc 84 08 78 56 34 12 91 \tsha1rnds4 $0x91,0x12345678(%rax,%rcx,1),%xmm0",},
389 {{0x0f, 0x3a, 0xcc, 0x84, 0xc8, 0x78, 0x56, 0x34, 0x12, 0x91, }, 10, 0, "", "",
390 "0f 3a cc 84 c8 78 56 34 12 91 \tsha1rnds4 $0x91,0x12345678(%rax,%rcx,8),%xmm0",},
391 {{0x44, 0x0f, 0x3a, 0xcc, 0xbc, 0xc8, 0x78, 0x56, 0x34, 0x12, 0x91, }, 11, 0, "", "",
392 "44 0f 3a cc bc c8 78 56 34 12 91 \tsha1rnds4 $0x91,0x12345678(%rax,%rcx,8),%xmm15",},
393 {{0x0f, 0x38, 0xc8, 0xc1, }, 4, 0, "", "",
394 "0f 38 c8 c1 \tsha1nexte %xmm1,%xmm0",},
395 {{0x0f, 0x38, 0xc8, 0xd7, }, 4, 0, "", "",
396 "0f 38 c8 d7 \tsha1nexte %xmm7,%xmm2",},
397 {{0x41, 0x0f, 0x38, 0xc8, 0xc0, }, 5, 0, "", "",
398 "41 0f 38 c8 c0 \tsha1nexte %xmm8,%xmm0",},
399 {{0x44, 0x0f, 0x38, 0xc8, 0xc7, }, 5, 0, "", "",
400 "44 0f 38 c8 c7 \tsha1nexte %xmm7,%xmm8",},
401 {{0x45, 0x0f, 0x38, 0xc8, 0xc7, }, 5, 0, "", "",
402 "45 0f 38 c8 c7 \tsha1nexte %xmm15,%xmm8",},
403 {{0x0f, 0x38, 0xc8, 0x00, }, 4, 0, "", "",
404 "0f 38 c8 00 \tsha1nexte (%rax),%xmm0",},
405 {{0x41, 0x0f, 0x38, 0xc8, 0x00, }, 5, 0, "", "",
406 "41 0f 38 c8 00 \tsha1nexte (%r8),%xmm0",},
407 {{0x0f, 0x38, 0xc8, 0x04, 0x25, 0x78, 0x56, 0x34, 0x12, }, 9, 0, "", "",
408 "0f 38 c8 04 25 78 56 34 12 \tsha1nexte 0x12345678,%xmm0",},
409 {{0x0f, 0x38, 0xc8, 0x18, }, 4, 0, "", "",
410 "0f 38 c8 18 \tsha1nexte (%rax),%xmm3",},
411 {{0x0f, 0x38, 0xc8, 0x04, 0x01, }, 5, 0, "", "",
412 "0f 38 c8 04 01 \tsha1nexte (%rcx,%rax,1),%xmm0",},
413 {{0x0f, 0x38, 0xc8, 0x04, 0x05, 0x78, 0x56, 0x34, 0x12, }, 9, 0, "", "",
414 "0f 38 c8 04 05 78 56 34 12 \tsha1nexte 0x12345678(,%rax,1),%xmm0",},
415 {{0x0f, 0x38, 0xc8, 0x04, 0x08, }, 5, 0, "", "",
416 "0f 38 c8 04 08 \tsha1nexte (%rax,%rcx,1),%xmm0",},
417 {{0x0f, 0x38, 0xc8, 0x04, 0xc8, }, 5, 0, "", "",
418 "0f 38 c8 04 c8 \tsha1nexte (%rax,%rcx,8),%xmm0",},
419 {{0x0f, 0x38, 0xc8, 0x40, 0x12, }, 5, 0, "", "",
420 "0f 38 c8 40 12 \tsha1nexte 0x12(%rax),%xmm0",},
421 {{0x0f, 0x38, 0xc8, 0x45, 0x12, }, 5, 0, "", "",
422 "0f 38 c8 45 12 \tsha1nexte 0x12(%rbp),%xmm0",},
423 {{0x0f, 0x38, 0xc8, 0x44, 0x01, 0x12, }, 6, 0, "", "",
424 "0f 38 c8 44 01 12 \tsha1nexte 0x12(%rcx,%rax,1),%xmm0",},
425 {{0x0f, 0x38, 0xc8, 0x44, 0x05, 0x12, }, 6, 0, "", "",
426 "0f 38 c8 44 05 12 \tsha1nexte 0x12(%rbp,%rax,1),%xmm0",},
427 {{0x0f, 0x38, 0xc8, 0x44, 0x08, 0x12, }, 6, 0, "", "",
428 "0f 38 c8 44 08 12 \tsha1nexte 0x12(%rax,%rcx,1),%xmm0",},
429 {{0x0f, 0x38, 0xc8, 0x44, 0xc8, 0x12, }, 6, 0, "", "",
430 "0f 38 c8 44 c8 12 \tsha1nexte 0x12(%rax,%rcx,8),%xmm0",},
431 {{0x0f, 0x38, 0xc8, 0x80, 0x78, 0x56, 0x34, 0x12, }, 8, 0, "", "",
432 "0f 38 c8 80 78 56 34 12 \tsha1nexte 0x12345678(%rax),%xmm0",},
433 {{0x0f, 0x38, 0xc8, 0x85, 0x78, 0x56, 0x34, 0x12, }, 8, 0, "", "",
434 "0f 38 c8 85 78 56 34 12 \tsha1nexte 0x12345678(%rbp),%xmm0",},
435 {{0x0f, 0x38, 0xc8, 0x84, 0x01, 0x78, 0x56, 0x34, 0x12, }, 9, 0, "", "",
436 "0f 38 c8 84 01 78 56 34 12 \tsha1nexte 0x12345678(%rcx,%rax,1),%xmm0",},
437 {{0x0f, 0x38, 0xc8, 0x84, 0x05, 0x78, 0x56, 0x34, 0x12, }, 9, 0, "", "",
438 "0f 38 c8 84 05 78 56 34 12 \tsha1nexte 0x12345678(%rbp,%rax,1),%xmm0",},
439 {{0x0f, 0x38, 0xc8, 0x84, 0x08, 0x78, 0x56, 0x34, 0x12, }, 9, 0, "", "",
440 "0f 38 c8 84 08 78 56 34 12 \tsha1nexte 0x12345678(%rax,%rcx,1),%xmm0",},
441 {{0x0f, 0x38, 0xc8, 0x84, 0xc8, 0x78, 0x56, 0x34, 0x12, }, 9, 0, "", "",
442 "0f 38 c8 84 c8 78 56 34 12 \tsha1nexte 0x12345678(%rax,%rcx,8),%xmm0",},
443 {{0x44, 0x0f, 0x38, 0xc8, 0xbc, 0xc8, 0x78, 0x56, 0x34, 0x12, }, 10, 0, "", "",
444 "44 0f 38 c8 bc c8 78 56 34 12 \tsha1nexte 0x12345678(%rax,%rcx,8),%xmm15",},
445 {{0x0f, 0x38, 0xc9, 0xc1, }, 4, 0, "", "",
446 "0f 38 c9 c1 \tsha1msg1 %xmm1,%xmm0",},
447 {{0x0f, 0x38, 0xc9, 0xd7, }, 4, 0, "", "",
448 "0f 38 c9 d7 \tsha1msg1 %xmm7,%xmm2",},
449 {{0x41, 0x0f, 0x38, 0xc9, 0xc0, }, 5, 0, "", "",
450 "41 0f 38 c9 c0 \tsha1msg1 %xmm8,%xmm0",},
451 {{0x44, 0x0f, 0x38, 0xc9, 0xc7, }, 5, 0, "", "",
452 "44 0f 38 c9 c7 \tsha1msg1 %xmm7,%xmm8",},
453 {{0x45, 0x0f, 0x38, 0xc9, 0xc7, }, 5, 0, "", "",
454 "45 0f 38 c9 c7 \tsha1msg1 %xmm15,%xmm8",},
455 {{0x0f, 0x38, 0xc9, 0x00, }, 4, 0, "", "",
456 "0f 38 c9 00 \tsha1msg1 (%rax),%xmm0",},
457 {{0x41, 0x0f, 0x38, 0xc9, 0x00, }, 5, 0, "", "",
458 "41 0f 38 c9 00 \tsha1msg1 (%r8),%xmm0",},
459 {{0x0f, 0x38, 0xc9, 0x04, 0x25, 0x78, 0x56, 0x34, 0x12, }, 9, 0, "", "",
460 "0f 38 c9 04 25 78 56 34 12 \tsha1msg1 0x12345678,%xmm0",},
461 {{0x0f, 0x38, 0xc9, 0x18, }, 4, 0, "", "",
462 "0f 38 c9 18 \tsha1msg1 (%rax),%xmm3",},
463 {{0x0f, 0x38, 0xc9, 0x04, 0x01, }, 5, 0, "", "",
464 "0f 38 c9 04 01 \tsha1msg1 (%rcx,%rax,1),%xmm0",},
465 {{0x0f, 0x38, 0xc9, 0x04, 0x05, 0x78, 0x56, 0x34, 0x12, }, 9, 0, "", "",
466 "0f 38 c9 04 05 78 56 34 12 \tsha1msg1 0x12345678(,%rax,1),%xmm0",},
467 {{0x0f, 0x38, 0xc9, 0x04, 0x08, }, 5, 0, "", "",
468 "0f 38 c9 04 08 \tsha1msg1 (%rax,%rcx,1),%xmm0",},
469 {{0x0f, 0x38, 0xc9, 0x04, 0xc8, }, 5, 0, "", "",
470 "0f 38 c9 04 c8 \tsha1msg1 (%rax,%rcx,8),%xmm0",},
471 {{0x0f, 0x38, 0xc9, 0x40, 0x12, }, 5, 0, "", "",
472 "0f 38 c9 40 12 \tsha1msg1 0x12(%rax),%xmm0",},
473 {{0x0f, 0x38, 0xc9, 0x45, 0x12, }, 5, 0, "", "",
474 "0f 38 c9 45 12 \tsha1msg1 0x12(%rbp),%xmm0",},
475 {{0x0f, 0x38, 0xc9, 0x44, 0x01, 0x12, }, 6, 0, "", "",
476 "0f 38 c9 44 01 12 \tsha1msg1 0x12(%rcx,%rax,1),%xmm0",},
477 {{0x0f, 0x38, 0xc9, 0x44, 0x05, 0x12, }, 6, 0, "", "",
478 "0f 38 c9 44 05 12 \tsha1msg1 0x12(%rbp,%rax,1),%xmm0",},
479 {{0x0f, 0x38, 0xc9, 0x44, 0x08, 0x12, }, 6, 0, "", "",
480 "0f 38 c9 44 08 12 \tsha1msg1 0x12(%rax,%rcx,1),%xmm0",},
481 {{0x0f, 0x38, 0xc9, 0x44, 0xc8, 0x12, }, 6, 0, "", "",
482 "0f 38 c9 44 c8 12 \tsha1msg1 0x12(%rax,%rcx,8),%xmm0",},
483 {{0x0f, 0x38, 0xc9, 0x80, 0x78, 0x56, 0x34, 0x12, }, 8, 0, "", "",
484 "0f 38 c9 80 78 56 34 12 \tsha1msg1 0x12345678(%rax),%xmm0",},
485 {{0x0f, 0x38, 0xc9, 0x85, 0x78, 0x56, 0x34, 0x12, }, 8, 0, "", "",
486 "0f 38 c9 85 78 56 34 12 \tsha1msg1 0x12345678(%rbp),%xmm0",},
487 {{0x0f, 0x38, 0xc9, 0x84, 0x01, 0x78, 0x56, 0x34, 0x12, }, 9, 0, "", "",
488 "0f 38 c9 84 01 78 56 34 12 \tsha1msg1 0x12345678(%rcx,%rax,1),%xmm0",},
489 {{0x0f, 0x38, 0xc9, 0x84, 0x05, 0x78, 0x56, 0x34, 0x12, }, 9, 0, "", "",
490 "0f 38 c9 84 05 78 56 34 12 \tsha1msg1 0x12345678(%rbp,%rax,1),%xmm0",},
491 {{0x0f, 0x38, 0xc9, 0x84, 0x08, 0x78, 0x56, 0x34, 0x12, }, 9, 0, "", "",
492 "0f 38 c9 84 08 78 56 34 12 \tsha1msg1 0x12345678(%rax,%rcx,1),%xmm0",},
493 {{0x0f, 0x38, 0xc9, 0x84, 0xc8, 0x78, 0x56, 0x34, 0x12, }, 9, 0, "", "",
494 "0f 38 c9 84 c8 78 56 34 12 \tsha1msg1 0x12345678(%rax,%rcx,8),%xmm0",},
495 {{0x44, 0x0f, 0x38, 0xc9, 0xbc, 0xc8, 0x78, 0x56, 0x34, 0x12, }, 10, 0, "", "",
496 "44 0f 38 c9 bc c8 78 56 34 12 \tsha1msg1 0x12345678(%rax,%rcx,8),%xmm15",},
497 {{0x0f, 0x38, 0xca, 0xc1, }, 4, 0, "", "",
498 "0f 38 ca c1 \tsha1msg2 %xmm1,%xmm0",},
499 {{0x0f, 0x38, 0xca, 0xd7, }, 4, 0, "", "",
500 "0f 38 ca d7 \tsha1msg2 %xmm7,%xmm2",},
501 {{0x41, 0x0f, 0x38, 0xca, 0xc0, }, 5, 0, "", "",
502 "41 0f 38 ca c0 \tsha1msg2 %xmm8,%xmm0",},
503 {{0x44, 0x0f, 0x38, 0xca, 0xc7, }, 5, 0, "", "",
504 "44 0f 38 ca c7 \tsha1msg2 %xmm7,%xmm8",},
505 {{0x45, 0x0f, 0x38, 0xca, 0xc7, }, 5, 0, "", "",
506 "45 0f 38 ca c7 \tsha1msg2 %xmm15,%xmm8",},
507 {{0x0f, 0x38, 0xca, 0x00, }, 4, 0, "", "",
508 "0f 38 ca 00 \tsha1msg2 (%rax),%xmm0",},
509 {{0x41, 0x0f, 0x38, 0xca, 0x00, }, 5, 0, "", "",
510 "41 0f 38 ca 00 \tsha1msg2 (%r8),%xmm0",},
511 {{0x0f, 0x38, 0xca, 0x04, 0x25, 0x78, 0x56, 0x34, 0x12, }, 9, 0, "", "",
512 "0f 38 ca 04 25 78 56 34 12 \tsha1msg2 0x12345678,%xmm0",},
513 {{0x0f, 0x38, 0xca, 0x18, }, 4, 0, "", "",
514 "0f 38 ca 18 \tsha1msg2 (%rax),%xmm3",},
515 {{0x0f, 0x38, 0xca, 0x04, 0x01, }, 5, 0, "", "",
516 "0f 38 ca 04 01 \tsha1msg2 (%rcx,%rax,1),%xmm0",},
517 {{0x0f, 0x38, 0xca, 0x04, 0x05, 0x78, 0x56, 0x34, 0x12, }, 9, 0, "", "",
518 "0f 38 ca 04 05 78 56 34 12 \tsha1msg2 0x12345678(,%rax,1),%xmm0",},
519 {{0x0f, 0x38, 0xca, 0x04, 0x08, }, 5, 0, "", "",
520 "0f 38 ca 04 08 \tsha1msg2 (%rax,%rcx,1),%xmm0",},
521 {{0x0f, 0x38, 0xca, 0x04, 0xc8, }, 5, 0, "", "",
522 "0f 38 ca 04 c8 \tsha1msg2 (%rax,%rcx,8),%xmm0",},
523 {{0x0f, 0x38, 0xca, 0x40, 0x12, }, 5, 0, "", "",
524 "0f 38 ca 40 12 \tsha1msg2 0x12(%rax),%xmm0",},
525 {{0x0f, 0x38, 0xca, 0x45, 0x12, }, 5, 0, "", "",
526 "0f 38 ca 45 12 \tsha1msg2 0x12(%rbp),%xmm0",},
527 {{0x0f, 0x38, 0xca, 0x44, 0x01, 0x12, }, 6, 0, "", "",
528 "0f 38 ca 44 01 12 \tsha1msg2 0x12(%rcx,%rax,1),%xmm0",},
529 {{0x0f, 0x38, 0xca, 0x44, 0x05, 0x12, }, 6, 0, "", "",
530 "0f 38 ca 44 05 12 \tsha1msg2 0x12(%rbp,%rax,1),%xmm0",},
531 {{0x0f, 0x38, 0xca, 0x44, 0x08, 0x12, }, 6, 0, "", "",
532 "0f 38 ca 44 08 12 \tsha1msg2 0x12(%rax,%rcx,1),%xmm0",},
533 {{0x0f, 0x38, 0xca, 0x44, 0xc8, 0x12, }, 6, 0, "", "",
534 "0f 38 ca 44 c8 12 \tsha1msg2 0x12(%rax,%rcx,8),%xmm0",},
535 {{0x0f, 0x38, 0xca, 0x80, 0x78, 0x56, 0x34, 0x12, }, 8, 0, "", "",
536 "0f 38 ca 80 78 56 34 12 \tsha1msg2 0x12345678(%rax),%xmm0",},
537 {{0x0f, 0x38, 0xca, 0x85, 0x78, 0x56, 0x34, 0x12, }, 8, 0, "", "",
538 "0f 38 ca 85 78 56 34 12 \tsha1msg2 0x12345678(%rbp),%xmm0",},
539 {{0x0f, 0x38, 0xca, 0x84, 0x01, 0x78, 0x56, 0x34, 0x12, }, 9, 0, "", "",
540 "0f 38 ca 84 01 78 56 34 12 \tsha1msg2 0x12345678(%rcx,%rax,1),%xmm0",},
541 {{0x0f, 0x38, 0xca, 0x84, 0x05, 0x78, 0x56, 0x34, 0x12, }, 9, 0, "", "",
542 "0f 38 ca 84 05 78 56 34 12 \tsha1msg2 0x12345678(%rbp,%rax,1),%xmm0",},
543 {{0x0f, 0x38, 0xca, 0x84, 0x08, 0x78, 0x56, 0x34, 0x12, }, 9, 0, "", "",
544 "0f 38 ca 84 08 78 56 34 12 \tsha1msg2 0x12345678(%rax,%rcx,1),%xmm0",},
545 {{0x0f, 0x38, 0xca, 0x84, 0xc8, 0x78, 0x56, 0x34, 0x12, }, 9, 0, "", "",
546 "0f 38 ca 84 c8 78 56 34 12 \tsha1msg2 0x12345678(%rax,%rcx,8),%xmm0",},
547 {{0x44, 0x0f, 0x38, 0xca, 0xbc, 0xc8, 0x78, 0x56, 0x34, 0x12, }, 10, 0, "", "",
548 "44 0f 38 ca bc c8 78 56 34 12 \tsha1msg2 0x12345678(%rax,%rcx,8),%xmm15",},
549 {{0x0f, 0x38, 0xcb, 0xcc, }, 4, 0, "", "",
550 "0f 38 cb cc \tsha256rnds2 %xmm0,%xmm4,%xmm1",},
551 {{0x0f, 0x38, 0xcb, 0xd7, }, 4, 0, "", "",
552 "0f 38 cb d7 \tsha256rnds2 %xmm0,%xmm7,%xmm2",},
553 {{0x41, 0x0f, 0x38, 0xcb, 0xc8, }, 5, 0, "", "",
554 "41 0f 38 cb c8 \tsha256rnds2 %xmm0,%xmm8,%xmm1",},
555 {{0x44, 0x0f, 0x38, 0xcb, 0xc7, }, 5, 0, "", "",
556 "44 0f 38 cb c7 \tsha256rnds2 %xmm0,%xmm7,%xmm8",},
557 {{0x45, 0x0f, 0x38, 0xcb, 0xc7, }, 5, 0, "", "",
558 "45 0f 38 cb c7 \tsha256rnds2 %xmm0,%xmm15,%xmm8",},
559 {{0x0f, 0x38, 0xcb, 0x08, }, 4, 0, "", "",
560 "0f 38 cb 08 \tsha256rnds2 %xmm0,(%rax),%xmm1",},
561 {{0x41, 0x0f, 0x38, 0xcb, 0x08, }, 5, 0, "", "",
562 "41 0f 38 cb 08 \tsha256rnds2 %xmm0,(%r8),%xmm1",},
563 {{0x0f, 0x38, 0xcb, 0x0c, 0x25, 0x78, 0x56, 0x34, 0x12, }, 9, 0, "", "",
564 "0f 38 cb 0c 25 78 56 34 12 \tsha256rnds2 %xmm0,0x12345678,%xmm1",},
565 {{0x0f, 0x38, 0xcb, 0x18, }, 4, 0, "", "",
566 "0f 38 cb 18 \tsha256rnds2 %xmm0,(%rax),%xmm3",},
567 {{0x0f, 0x38, 0xcb, 0x0c, 0x01, }, 5, 0, "", "",
568 "0f 38 cb 0c 01 \tsha256rnds2 %xmm0,(%rcx,%rax,1),%xmm1",},
569 {{0x0f, 0x38, 0xcb, 0x0c, 0x05, 0x78, 0x56, 0x34, 0x12, }, 9, 0, "", "",
570 "0f 38 cb 0c 05 78 56 34 12 \tsha256rnds2 %xmm0,0x12345678(,%rax,1),%xmm1",},
571 {{0x0f, 0x38, 0xcb, 0x0c, 0x08, }, 5, 0, "", "",
572 "0f 38 cb 0c 08 \tsha256rnds2 %xmm0,(%rax,%rcx,1),%xmm1",},
573 {{0x0f, 0x38, 0xcb, 0x0c, 0xc8, }, 5, 0, "", "",
574 "0f 38 cb 0c c8 \tsha256rnds2 %xmm0,(%rax,%rcx,8),%xmm1",},
575 {{0x0f, 0x38, 0xcb, 0x48, 0x12, }, 5, 0, "", "",
576 "0f 38 cb 48 12 \tsha256rnds2 %xmm0,0x12(%rax),%xmm1",},
577 {{0x0f, 0x38, 0xcb, 0x4d, 0x12, }, 5, 0, "", "",
578 "0f 38 cb 4d 12 \tsha256rnds2 %xmm0,0x12(%rbp),%xmm1",},
579 {{0x0f, 0x38, 0xcb, 0x4c, 0x01, 0x12, }, 6, 0, "", "",
580 "0f 38 cb 4c 01 12 \tsha256rnds2 %xmm0,0x12(%rcx,%rax,1),%xmm1",},
581 {{0x0f, 0x38, 0xcb, 0x4c, 0x05, 0x12, }, 6, 0, "", "",
582 "0f 38 cb 4c 05 12 \tsha256rnds2 %xmm0,0x12(%rbp,%rax,1),%xmm1",},
583 {{0x0f, 0x38, 0xcb, 0x4c, 0x08, 0x12, }, 6, 0, "", "",
584 "0f 38 cb 4c 08 12 \tsha256rnds2 %xmm0,0x12(%rax,%rcx,1),%xmm1",},
585 {{0x0f, 0x38, 0xcb, 0x4c, 0xc8, 0x12, }, 6, 0, "", "",
586 "0f 38 cb 4c c8 12 \tsha256rnds2 %xmm0,0x12(%rax,%rcx,8),%xmm1",},
587 {{0x0f, 0x38, 0xcb, 0x88, 0x78, 0x56, 0x34, 0x12, }, 8, 0, "", "",
588 "0f 38 cb 88 78 56 34 12 \tsha256rnds2 %xmm0,0x12345678(%rax),%xmm1",},
589 {{0x0f, 0x38, 0xcb, 0x8d, 0x78, 0x56, 0x34, 0x12, }, 8, 0, "", "",
590 "0f 38 cb 8d 78 56 34 12 \tsha256rnds2 %xmm0,0x12345678(%rbp),%xmm1",},
591 {{0x0f, 0x38, 0xcb, 0x8c, 0x01, 0x78, 0x56, 0x34, 0x12, }, 9, 0, "", "",
592 "0f 38 cb 8c 01 78 56 34 12 \tsha256rnds2 %xmm0,0x12345678(%rcx,%rax,1),%xmm1",},
593 {{0x0f, 0x38, 0xcb, 0x8c, 0x05, 0x78, 0x56, 0x34, 0x12, }, 9, 0, "", "",
594 "0f 38 cb 8c 05 78 56 34 12 \tsha256rnds2 %xmm0,0x12345678(%rbp,%rax,1),%xmm1",},
595 {{0x0f, 0x38, 0xcb, 0x8c, 0x08, 0x78, 0x56, 0x34, 0x12, }, 9, 0, "", "",
596 "0f 38 cb 8c 08 78 56 34 12 \tsha256rnds2 %xmm0,0x12345678(%rax,%rcx,1),%xmm1",},
597 {{0x0f, 0x38, 0xcb, 0x8c, 0xc8, 0x78, 0x56, 0x34, 0x12, }, 9, 0, "", "",
598 "0f 38 cb 8c c8 78 56 34 12 \tsha256rnds2 %xmm0,0x12345678(%rax,%rcx,8),%xmm1",},
599 {{0x44, 0x0f, 0x38, 0xcb, 0xbc, 0xc8, 0x78, 0x56, 0x34, 0x12, }, 10, 0, "", "",
600 "44 0f 38 cb bc c8 78 56 34 12 \tsha256rnds2 %xmm0,0x12345678(%rax,%rcx,8),%xmm15",},
601 {{0x0f, 0x38, 0xcc, 0xc1, }, 4, 0, "", "",
602 "0f 38 cc c1 \tsha256msg1 %xmm1,%xmm0",},
603 {{0x0f, 0x38, 0xcc, 0xd7, }, 4, 0, "", "",
604 "0f 38 cc d7 \tsha256msg1 %xmm7,%xmm2",},
605 {{0x41, 0x0f, 0x38, 0xcc, 0xc0, }, 5, 0, "", "",
606 "41 0f 38 cc c0 \tsha256msg1 %xmm8,%xmm0",},
607 {{0x44, 0x0f, 0x38, 0xcc, 0xc7, }, 5, 0, "", "",
608 "44 0f 38 cc c7 \tsha256msg1 %xmm7,%xmm8",},
609 {{0x45, 0x0f, 0x38, 0xcc, 0xc7, }, 5, 0, "", "",
610 "45 0f 38 cc c7 \tsha256msg1 %xmm15,%xmm8",},
611 {{0x0f, 0x38, 0xcc, 0x00, }, 4, 0, "", "",
612 "0f 38 cc 00 \tsha256msg1 (%rax),%xmm0",},
613 {{0x41, 0x0f, 0x38, 0xcc, 0x00, }, 5, 0, "", "",
614 "41 0f 38 cc 00 \tsha256msg1 (%r8),%xmm0",},
615 {{0x0f, 0x38, 0xcc, 0x04, 0x25, 0x78, 0x56, 0x34, 0x12, }, 9, 0, "", "",
616 "0f 38 cc 04 25 78 56 34 12 \tsha256msg1 0x12345678,%xmm0",},
617 {{0x0f, 0x38, 0xcc, 0x18, }, 4, 0, "", "",
618 "0f 38 cc 18 \tsha256msg1 (%rax),%xmm3",},
619 {{0x0f, 0x38, 0xcc, 0x04, 0x01, }, 5, 0, "", "",
620 "0f 38 cc 04 01 \tsha256msg1 (%rcx,%rax,1),%xmm0",},
621 {{0x0f, 0x38, 0xcc, 0x04, 0x05, 0x78, 0x56, 0x34, 0x12, }, 9, 0, "", "",
622 "0f 38 cc 04 05 78 56 34 12 \tsha256msg1 0x12345678(,%rax,1),%xmm0",},
623 {{0x0f, 0x38, 0xcc, 0x04, 0x08, }, 5, 0, "", "",
624 "0f 38 cc 04 08 \tsha256msg1 (%rax,%rcx,1),%xmm0",},
625 {{0x0f, 0x38, 0xcc, 0x04, 0xc8, }, 5, 0, "", "",
626 "0f 38 cc 04 c8 \tsha256msg1 (%rax,%rcx,8),%xmm0",},
627 {{0x0f, 0x38, 0xcc, 0x40, 0x12, }, 5, 0, "", "",
628 "0f 38 cc 40 12 \tsha256msg1 0x12(%rax),%xmm0",},
629 {{0x0f, 0x38, 0xcc, 0x45, 0x12, }, 5, 0, "", "",
630 "0f 38 cc 45 12 \tsha256msg1 0x12(%rbp),%xmm0",},
631 {{0x0f, 0x38, 0xcc, 0x44, 0x01, 0x12, }, 6, 0, "", "",
632 "0f 38 cc 44 01 12 \tsha256msg1 0x12(%rcx,%rax,1),%xmm0",},
633 {{0x0f, 0x38, 0xcc, 0x44, 0x05, 0x12, }, 6, 0, "", "",
634 "0f 38 cc 44 05 12 \tsha256msg1 0x12(%rbp,%rax,1),%xmm0",},
635 {{0x0f, 0x38, 0xcc, 0x44, 0x08, 0x12, }, 6, 0, "", "",
636 "0f 38 cc 44 08 12 \tsha256msg1 0x12(%rax,%rcx,1),%xmm0",},
637 {{0x0f, 0x38, 0xcc, 0x44, 0xc8, 0x12, }, 6, 0, "", "",
638 "0f 38 cc 44 c8 12 \tsha256msg1 0x12(%rax,%rcx,8),%xmm0",},
639 {{0x0f, 0x38, 0xcc, 0x80, 0x78, 0x56, 0x34, 0x12, }, 8, 0, "", "",
640 "0f 38 cc 80 78 56 34 12 \tsha256msg1 0x12345678(%rax),%xmm0",},
641 {{0x0f, 0x38, 0xcc, 0x85, 0x78, 0x56, 0x34, 0x12, }, 8, 0, "", "",
642 "0f 38 cc 85 78 56 34 12 \tsha256msg1 0x12345678(%rbp),%xmm0",},
643 {{0x0f, 0x38, 0xcc, 0x84, 0x01, 0x78, 0x56, 0x34, 0x12, }, 9, 0, "", "",
644 "0f 38 cc 84 01 78 56 34 12 \tsha256msg1 0x12345678(%rcx,%rax,1),%xmm0",},
645 {{0x0f, 0x38, 0xcc, 0x84, 0x05, 0x78, 0x56, 0x34, 0x12, }, 9, 0, "", "",
646 "0f 38 cc 84 05 78 56 34 12 \tsha256msg1 0x12345678(%rbp,%rax,1),%xmm0",},
647 {{0x0f, 0x38, 0xcc, 0x84, 0x08, 0x78, 0x56, 0x34, 0x12, }, 9, 0, "", "",
648 "0f 38 cc 84 08 78 56 34 12 \tsha256msg1 0x12345678(%rax,%rcx,1),%xmm0",},
649 {{0x0f, 0x38, 0xcc, 0x84, 0xc8, 0x78, 0x56, 0x34, 0x12, }, 9, 0, "", "",
650 "0f 38 cc 84 c8 78 56 34 12 \tsha256msg1 0x12345678(%rax,%rcx,8),%xmm0",},
651 {{0x44, 0x0f, 0x38, 0xcc, 0xbc, 0xc8, 0x78, 0x56, 0x34, 0x12, }, 10, 0, "", "",
652 "44 0f 38 cc bc c8 78 56 34 12 \tsha256msg1 0x12345678(%rax,%rcx,8),%xmm15",},
653 {{0x0f, 0x38, 0xcd, 0xc1, }, 4, 0, "", "",
654 "0f 38 cd c1 \tsha256msg2 %xmm1,%xmm0",},
655 {{0x0f, 0x38, 0xcd, 0xd7, }, 4, 0, "", "",
656 "0f 38 cd d7 \tsha256msg2 %xmm7,%xmm2",},
657 {{0x41, 0x0f, 0x38, 0xcd, 0xc0, }, 5, 0, "", "",
658 "41 0f 38 cd c0 \tsha256msg2 %xmm8,%xmm0",},
659 {{0x44, 0x0f, 0x38, 0xcd, 0xc7, }, 5, 0, "", "",
660 "44 0f 38 cd c7 \tsha256msg2 %xmm7,%xmm8",},
661 {{0x45, 0x0f, 0x38, 0xcd, 0xc7, }, 5, 0, "", "",
662 "45 0f 38 cd c7 \tsha256msg2 %xmm15,%xmm8",},
663 {{0x0f, 0x38, 0xcd, 0x00, }, 4, 0, "", "",
664 "0f 38 cd 00 \tsha256msg2 (%rax),%xmm0",},
665 {{0x41, 0x0f, 0x38, 0xcd, 0x00, }, 5, 0, "", "",
666 "41 0f 38 cd 00 \tsha256msg2 (%r8),%xmm0",},
667 {{0x0f, 0x38, 0xcd, 0x04, 0x25, 0x78, 0x56, 0x34, 0x12, }, 9, 0, "", "",
668 "0f 38 cd 04 25 78 56 34 12 \tsha256msg2 0x12345678,%xmm0",},
669 {{0x0f, 0x38, 0xcd, 0x18, }, 4, 0, "", "",
670 "0f 38 cd 18 \tsha256msg2 (%rax),%xmm3",},
671 {{0x0f, 0x38, 0xcd, 0x04, 0x01, }, 5, 0, "", "",
672 "0f 38 cd 04 01 \tsha256msg2 (%rcx,%rax,1),%xmm0",},
673 {{0x0f, 0x38, 0xcd, 0x04, 0x05, 0x78, 0x56, 0x34, 0x12, }, 9, 0, "", "",
674 "0f 38 cd 04 05 78 56 34 12 \tsha256msg2 0x12345678(,%rax,1),%xmm0",},
675 {{0x0f, 0x38, 0xcd, 0x04, 0x08, }, 5, 0, "", "",
676 "0f 38 cd 04 08 \tsha256msg2 (%rax,%rcx,1),%xmm0",},
677 {{0x0f, 0x38, 0xcd, 0x04, 0xc8, }, 5, 0, "", "",
678 "0f 38 cd 04 c8 \tsha256msg2 (%rax,%rcx,8),%xmm0",},
679 {{0x0f, 0x38, 0xcd, 0x40, 0x12, }, 5, 0, "", "",
680 "0f 38 cd 40 12 \tsha256msg2 0x12(%rax),%xmm0",},
681 {{0x0f, 0x38, 0xcd, 0x45, 0x12, }, 5, 0, "", "",
682 "0f 38 cd 45 12 \tsha256msg2 0x12(%rbp),%xmm0",},
683 {{0x0f, 0x38, 0xcd, 0x44, 0x01, 0x12, }, 6, 0, "", "",
684 "0f 38 cd 44 01 12 \tsha256msg2 0x12(%rcx,%rax,1),%xmm0",},
685 {{0x0f, 0x38, 0xcd, 0x44, 0x05, 0x12, }, 6, 0, "", "",
686 "0f 38 cd 44 05 12 \tsha256msg2 0x12(%rbp,%rax,1),%xmm0",},
687 {{0x0f, 0x38, 0xcd, 0x44, 0x08, 0x12, }, 6, 0, "", "",
688 "0f 38 cd 44 08 12 \tsha256msg2 0x12(%rax,%rcx,1),%xmm0",},
689 {{0x0f, 0x38, 0xcd, 0x44, 0xc8, 0x12, }, 6, 0, "", "",
690 "0f 38 cd 44 c8 12 \tsha256msg2 0x12(%rax,%rcx,8),%xmm0",},
691 {{0x0f, 0x38, 0xcd, 0x80, 0x78, 0x56, 0x34, 0x12, }, 8, 0, "", "",
692 "0f 38 cd 80 78 56 34 12 \tsha256msg2 0x12345678(%rax),%xmm0",},
693 {{0x0f, 0x38, 0xcd, 0x85, 0x78, 0x56, 0x34, 0x12, }, 8, 0, "", "",
694 "0f 38 cd 85 78 56 34 12 \tsha256msg2 0x12345678(%rbp),%xmm0",},
695 {{0x0f, 0x38, 0xcd, 0x84, 0x01, 0x78, 0x56, 0x34, 0x12, }, 9, 0, "", "",
696 "0f 38 cd 84 01 78 56 34 12 \tsha256msg2 0x12345678(%rcx,%rax,1),%xmm0",},
697 {{0x0f, 0x38, 0xcd, 0x84, 0x05, 0x78, 0x56, 0x34, 0x12, }, 9, 0, "", "",
698 "0f 38 cd 84 05 78 56 34 12 \tsha256msg2 0x12345678(%rbp,%rax,1),%xmm0",},
699 {{0x0f, 0x38, 0xcd, 0x84, 0x08, 0x78, 0x56, 0x34, 0x12, }, 9, 0, "", "",
700 "0f 38 cd 84 08 78 56 34 12 \tsha256msg2 0x12345678(%rax,%rcx,1),%xmm0",},
701 {{0x0f, 0x38, 0xcd, 0x84, 0xc8, 0x78, 0x56, 0x34, 0x12, }, 9, 0, "", "",
702 "0f 38 cd 84 c8 78 56 34 12 \tsha256msg2 0x12345678(%rax,%rcx,8),%xmm0",},
703 {{0x44, 0x0f, 0x38, 0xcd, 0xbc, 0xc8, 0x78, 0x56, 0x34, 0x12, }, 10, 0, "", "",
704 "44 0f 38 cd bc c8 78 56 34 12 \tsha256msg2 0x12345678(%rax,%rcx,8),%xmm15",},
705 {{0x66, 0x0f, 0xae, 0x38, }, 4, 0, "", "",
706 "66 0f ae 38 \tclflushopt (%rax)",},
707 {{0x66, 0x41, 0x0f, 0xae, 0x38, }, 5, 0, "", "",
708 "66 41 0f ae 38 \tclflushopt (%r8)",},
709 {{0x66, 0x0f, 0xae, 0x3c, 0x25, 0x78, 0x56, 0x34, 0x12, }, 9, 0, "", "",
710 "66 0f ae 3c 25 78 56 34 12 \tclflushopt 0x12345678",},
711 {{0x66, 0x0f, 0xae, 0xbc, 0xc8, 0x78, 0x56, 0x34, 0x12, }, 9, 0, "", "",
712 "66 0f ae bc c8 78 56 34 12 \tclflushopt 0x12345678(%rax,%rcx,8)",},
713 {{0x66, 0x41, 0x0f, 0xae, 0xbc, 0xc8, 0x78, 0x56, 0x34, 0x12, }, 10, 0, "", "",
714 "66 41 0f ae bc c8 78 56 34 12 \tclflushopt 0x12345678(%r8,%rcx,8)",},
715 {{0x0f, 0xae, 0x38, }, 3, 0, "", "",
716 "0f ae 38 \tclflush (%rax)",},
717 {{0x41, 0x0f, 0xae, 0x38, }, 4, 0, "", "",
718 "41 0f ae 38 \tclflush (%r8)",},
719 {{0x0f, 0xae, 0xf8, }, 3, 0, "", "",
720 "0f ae f8 \tsfence ",},
721 {{0x66, 0x0f, 0xae, 0x30, }, 4, 0, "", "",
722 "66 0f ae 30 \tclwb (%rax)",},
723 {{0x66, 0x41, 0x0f, 0xae, 0x30, }, 5, 0, "", "",
724 "66 41 0f ae 30 \tclwb (%r8)",},
725 {{0x66, 0x0f, 0xae, 0x34, 0x25, 0x78, 0x56, 0x34, 0x12, }, 9, 0, "", "",
726 "66 0f ae 34 25 78 56 34 12 \tclwb 0x12345678",},
727 {{0x66, 0x0f, 0xae, 0xb4, 0xc8, 0x78, 0x56, 0x34, 0x12, }, 9, 0, "", "",
728 "66 0f ae b4 c8 78 56 34 12 \tclwb 0x12345678(%rax,%rcx,8)",},
729 {{0x66, 0x41, 0x0f, 0xae, 0xb4, 0xc8, 0x78, 0x56, 0x34, 0x12, }, 10, 0, "", "",
730 "66 41 0f ae b4 c8 78 56 34 12 \tclwb 0x12345678(%r8,%rcx,8)",},
731 {{0x0f, 0xae, 0x30, }, 3, 0, "", "",
732 "0f ae 30 \txsaveopt (%rax)",},
733 {{0x41, 0x0f, 0xae, 0x30, }, 4, 0, "", "",
734 "41 0f ae 30 \txsaveopt (%r8)",},
735 {{0x0f, 0xae, 0xf0, }, 3, 0, "", "",
736 "0f ae f0 \tmfence ",},
737 {{0x0f, 0xc7, 0x20, }, 3, 0, "", "",
738 "0f c7 20 \txsavec (%rax)",},
739 {{0x41, 0x0f, 0xc7, 0x20, }, 4, 0, "", "",
740 "41 0f c7 20 \txsavec (%r8)",},
741 {{0x0f, 0xc7, 0x24, 0x25, 0x78, 0x56, 0x34, 0x12, }, 8, 0, "", "",
742 "0f c7 24 25 78 56 34 12 \txsavec 0x12345678",},
743 {{0x0f, 0xc7, 0xa4, 0xc8, 0x78, 0x56, 0x34, 0x12, }, 8, 0, "", "",
744 "0f c7 a4 c8 78 56 34 12 \txsavec 0x12345678(%rax,%rcx,8)",},
745 {{0x41, 0x0f, 0xc7, 0xa4, 0xc8, 0x78, 0x56, 0x34, 0x12, }, 9, 0, "", "",
746 "41 0f c7 a4 c8 78 56 34 12 \txsavec 0x12345678(%r8,%rcx,8)",},
747 {{0x0f, 0xc7, 0x28, }, 3, 0, "", "",
748 "0f c7 28 \txsaves (%rax)",},
749 {{0x41, 0x0f, 0xc7, 0x28, }, 4, 0, "", "",
750 "41 0f c7 28 \txsaves (%r8)",},
751 {{0x0f, 0xc7, 0x2c, 0x25, 0x78, 0x56, 0x34, 0x12, }, 8, 0, "", "",
752 "0f c7 2c 25 78 56 34 12 \txsaves 0x12345678",},
753 {{0x0f, 0xc7, 0xac, 0xc8, 0x78, 0x56, 0x34, 0x12, }, 8, 0, "", "",
754 "0f c7 ac c8 78 56 34 12 \txsaves 0x12345678(%rax,%rcx,8)",},
755 {{0x41, 0x0f, 0xc7, 0xac, 0xc8, 0x78, 0x56, 0x34, 0x12, }, 9, 0, "", "",
756 "41 0f c7 ac c8 78 56 34 12 \txsaves 0x12345678(%r8,%rcx,8)",},
757 {{0x0f, 0xc7, 0x18, }, 3, 0, "", "",
758 "0f c7 18 \txrstors (%rax)",},
759 {{0x41, 0x0f, 0xc7, 0x18, }, 4, 0, "", "",
760 "41 0f c7 18 \txrstors (%r8)",},
761 {{0x0f, 0xc7, 0x1c, 0x25, 0x78, 0x56, 0x34, 0x12, }, 8, 0, "", "",
762 "0f c7 1c 25 78 56 34 12 \txrstors 0x12345678",},
763 {{0x0f, 0xc7, 0x9c, 0xc8, 0x78, 0x56, 0x34, 0x12, }, 8, 0, "", "",
764 "0f c7 9c c8 78 56 34 12 \txrstors 0x12345678(%rax,%rcx,8)",},
765 {{0x41, 0x0f, 0xc7, 0x9c, 0xc8, 0x78, 0x56, 0x34, 0x12, }, 9, 0, "", "",
766 "41 0f c7 9c c8 78 56 34 12 \txrstors 0x12345678(%r8,%rcx,8)",},
767 {{0x66, 0x0f, 0xae, 0xf8, }, 4, 0, "", "",
768 "66 0f ae f8 \tpcommit ",},