Remove alloca(0) calls
[deliverable/binutils-gdb.git] / opcodes / i386-gen.c
1 /* Copyright (C) 2007-2019 Free Software Foundation, Inc.
2
3 This file is part of the GNU opcodes library.
4
5 This library is free software; you can redistribute it and/or modify
6 it under the terms of the GNU General Public License as published by
7 the Free Software Foundation; either version 3, or (at your option)
8 any later version.
9
10 It is distributed in the hope that it will be useful, but WITHOUT
11 ANY WARRANTY; without even the implied warranty of MERCHANTABILITY
12 or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public
13 License for more details.
14
15 You should have received a copy of the GNU General Public License
16 along with this program; if not, write to the Free Software
17 Foundation, Inc., 51 Franklin Street - Fifth Floor, Boston,
18 MA 02110-1301, USA. */
19
20 #include "sysdep.h"
21 #include <stdio.h>
22 #include <errno.h>
23 #include "getopt.h"
24 #include "libiberty.h"
25 #include "hashtab.h"
26 #include "safe-ctype.h"
27
28 #include "i386-opc.h"
29
30 #include <libintl.h>
31 #define _(String) gettext (String)
32
33 static const char *program_name = NULL;
34 static int debug = 0;
35
36 typedef struct initializer
37 {
38 const char *name;
39 const char *init;
40 } initializer;
41
42 static initializer cpu_flag_init[] =
43 {
44 { "CPU_UNKNOWN_FLAGS",
45 "~(CpuL1OM|CpuK1OM)" },
46 { "CPU_GENERIC32_FLAGS",
47 "Cpu186|Cpu286|Cpu386" },
48 { "CPU_GENERIC64_FLAGS",
49 "CPU_PENTIUMPRO_FLAGS|CpuClflush|CpuSYSCALL|CPU_MMX_FLAGS|CPU_SSE2_FLAGS|CpuLM" },
50 { "CPU_NONE_FLAGS",
51 "0" },
52 { "CPU_I186_FLAGS",
53 "Cpu186" },
54 { "CPU_I286_FLAGS",
55 "CPU_I186_FLAGS|Cpu286" },
56 { "CPU_I386_FLAGS",
57 "CPU_I286_FLAGS|Cpu386" },
58 { "CPU_I486_FLAGS",
59 "CPU_I386_FLAGS|Cpu486" },
60 { "CPU_I586_FLAGS",
61 "CPU_I486_FLAGS|Cpu387|Cpu586" },
62 { "CPU_I686_FLAGS",
63 "CPU_I586_FLAGS|Cpu686|Cpu687|CpuCMOV|CpuFXSR" },
64 { "CPU_PENTIUMPRO_FLAGS",
65 "CPU_I686_FLAGS|CpuNop" },
66 { "CPU_P2_FLAGS",
67 "CPU_PENTIUMPRO_FLAGS|CPU_MMX_FLAGS" },
68 { "CPU_P3_FLAGS",
69 "CPU_P2_FLAGS|CPU_SSE_FLAGS" },
70 { "CPU_P4_FLAGS",
71 "CPU_P3_FLAGS|CpuClflush|CPU_SSE2_FLAGS" },
72 { "CPU_NOCONA_FLAGS",
73 "CPU_GENERIC64_FLAGS|CpuFISTTP|CPU_SSE3_FLAGS|CpuCX16" },
74 { "CPU_CORE_FLAGS",
75 "CPU_P4_FLAGS|CpuFISTTP|CPU_SSE3_FLAGS|CpuCX16" },
76 { "CPU_CORE2_FLAGS",
77 "CPU_NOCONA_FLAGS|CPU_SSSE3_FLAGS" },
78 { "CPU_COREI7_FLAGS",
79 "CPU_CORE2_FLAGS|CPU_SSE4_2_FLAGS|CpuRdtscp" },
80 { "CPU_K6_FLAGS",
81 "Cpu186|Cpu286|Cpu386|Cpu486|Cpu586|CpuSYSCALL|Cpu387|CPU_MMX_FLAGS" },
82 { "CPU_K6_2_FLAGS",
83 "CPU_K6_FLAGS|Cpu3dnow" },
84 { "CPU_ATHLON_FLAGS",
85 "CPU_K6_2_FLAGS|Cpu686|Cpu687|CpuNop|Cpu3dnowA" },
86 { "CPU_K8_FLAGS",
87 "CPU_ATHLON_FLAGS|CpuRdtscp|CPU_SSE2_FLAGS|CpuLM" },
88 { "CPU_AMDFAM10_FLAGS",
89 "CPU_K8_FLAGS|CpuFISTTP|CPU_SSE4A_FLAGS|CpuABM" },
90 { "CPU_BDVER1_FLAGS",
91 "CPU_GENERIC64_FLAGS|CpuFISTTP|CpuRdtscp|CpuCX16|CPU_XOP_FLAGS|CpuABM|CpuLWP|CpuSVME|CpuAES|CpuPCLMUL|CpuLZCNT|CpuPRFCHW" },
92 { "CPU_BDVER2_FLAGS",
93 "CPU_BDVER1_FLAGS|CpuFMA|CpuBMI|CpuTBM|CpuF16C" },
94 { "CPU_BDVER3_FLAGS",
95 "CPU_BDVER2_FLAGS|CpuXsaveopt|CpuFSGSBase" },
96 { "CPU_BDVER4_FLAGS",
97 "CPU_BDVER3_FLAGS|CpuAVX2|CpuMovbe|CpuBMI2|CpuRdRnd|CpuMWAITX" },
98 { "CPU_ZNVER1_FLAGS",
99 "CPU_GENERIC64_FLAGS|CpuFISTTP|CpuRdtscp|CpuCX16|CPU_AVX2_FLAGS|CpuSSE4A|CpuABM|CpuSVME|CpuAES|CpuPCLMUL|CpuLZCNT|CpuPRFCHW|CpuFMA|CpuBMI|CpuF16C|CpuXsaveopt|CpuFSGSBase|CpuMovbe|CpuBMI2|CpuRdRnd|CpuADX|CpuRdSeed|CpuSMAP|CpuSHA|CpuXSAVEC|CpuXSAVES|CpuClflushOpt|CpuCLZERO|CpuMWAITX" },
100 { "CPU_ZNVER2_FLAGS",
101 "CPU_ZNVER1_FLAGS|CpuRDPID|CpuWBNOINVD|CpuCLWB" },
102 { "CPU_BTVER1_FLAGS",
103 "CPU_GENERIC64_FLAGS|CpuFISTTP|CpuCX16|CpuRdtscp|CPU_SSSE3_FLAGS|CpuSSE4A|CpuABM|CpuPRFCHW|CpuCX16|CpuClflush|CpuFISTTP|CpuSVME|CpuLZCNT" },
104 { "CPU_BTVER2_FLAGS",
105 "CPU_BTVER1_FLAGS|CPU_AVX_FLAGS|CpuBMI|CpuF16C|CpuAES|CpuPCLMUL|CpuMovbe|CpuXsaveopt|CpuPRFCHW" },
106 { "CPU_8087_FLAGS",
107 "Cpu8087" },
108 { "CPU_287_FLAGS",
109 "Cpu287" },
110 { "CPU_387_FLAGS",
111 "Cpu387" },
112 { "CPU_687_FLAGS",
113 "CPU_387_FLAGS|Cpu687" },
114 { "CPU_CMOV_FLAGS",
115 "CpuCMOV" },
116 { "CPU_FXSR_FLAGS",
117 "CpuFXSR" },
118 { "CPU_CLFLUSH_FLAGS",
119 "CpuClflush" },
120 { "CPU_NOP_FLAGS",
121 "CpuNop" },
122 { "CPU_SYSCALL_FLAGS",
123 "CpuSYSCALL" },
124 { "CPU_MMX_FLAGS",
125 "CpuMMX" },
126 { "CPU_SSE_FLAGS",
127 "CpuSSE" },
128 { "CPU_SSE2_FLAGS",
129 "CPU_SSE_FLAGS|CpuSSE2" },
130 { "CPU_SSE3_FLAGS",
131 "CPU_SSE2_FLAGS|CpuSSE3" },
132 { "CPU_SSSE3_FLAGS",
133 "CPU_SSE3_FLAGS|CpuSSSE3" },
134 { "CPU_SSE4_1_FLAGS",
135 "CPU_SSSE3_FLAGS|CpuSSE4_1" },
136 { "CPU_SSE4_2_FLAGS",
137 "CPU_SSE4_1_FLAGS|CpuSSE4_2" },
138 { "CPU_VMX_FLAGS",
139 "CpuVMX" },
140 { "CPU_SMX_FLAGS",
141 "CpuSMX" },
142 { "CPU_XSAVE_FLAGS",
143 "CpuXsave" },
144 { "CPU_XSAVEOPT_FLAGS",
145 "CPU_XSAVE_FLAGS|CpuXsaveopt" },
146 { "CPU_AES_FLAGS",
147 "CPU_SSE2_FLAGS|CpuAES" },
148 { "CPU_PCLMUL_FLAGS",
149 "CPU_SSE2_FLAGS|CpuPCLMUL" },
150 { "CPU_FMA_FLAGS",
151 "CPU_AVX_FLAGS|CpuFMA" },
152 { "CPU_FMA4_FLAGS",
153 "CPU_AVX_FLAGS|CpuFMA4" },
154 { "CPU_XOP_FLAGS",
155 "CPU_SSE4A_FLAGS|CPU_FMA4_FLAGS|CpuXOP" },
156 { "CPU_LWP_FLAGS",
157 "CPU_XSAVE_FLAGS|CpuLWP" },
158 { "CPU_BMI_FLAGS",
159 "CpuBMI" },
160 { "CPU_TBM_FLAGS",
161 "CpuTBM" },
162 { "CPU_MOVBE_FLAGS",
163 "CpuMovbe" },
164 { "CPU_CX16_FLAGS",
165 "CpuCX16" },
166 { "CPU_RDTSCP_FLAGS",
167 "CpuRdtscp" },
168 { "CPU_EPT_FLAGS",
169 "CpuEPT" },
170 { "CPU_FSGSBASE_FLAGS",
171 "CpuFSGSBase" },
172 { "CPU_RDRND_FLAGS",
173 "CpuRdRnd" },
174 { "CPU_F16C_FLAGS",
175 "CPU_AVX_FLAGS|CpuF16C" },
176 { "CPU_BMI2_FLAGS",
177 "CpuBMI2" },
178 { "CPU_LZCNT_FLAGS",
179 "CpuLZCNT" },
180 { "CPU_HLE_FLAGS",
181 "CpuHLE" },
182 { "CPU_RTM_FLAGS",
183 "CpuRTM" },
184 { "CPU_INVPCID_FLAGS",
185 "CpuINVPCID" },
186 { "CPU_VMFUNC_FLAGS",
187 "CpuVMFUNC" },
188 { "CPU_3DNOW_FLAGS",
189 "CPU_MMX_FLAGS|Cpu3dnow" },
190 { "CPU_3DNOWA_FLAGS",
191 "CPU_3DNOW_FLAGS|Cpu3dnowA" },
192 { "CPU_PADLOCK_FLAGS",
193 "CpuPadLock" },
194 { "CPU_SVME_FLAGS",
195 "CpuSVME" },
196 { "CPU_SSE4A_FLAGS",
197 "CPU_SSE3_FLAGS|CpuSSE4a" },
198 { "CPU_ABM_FLAGS",
199 "CpuABM" },
200 { "CPU_AVX_FLAGS",
201 "CPU_SSE4_2_FLAGS|CPU_XSAVE_FLAGS|CpuAVX" },
202 { "CPU_AVX2_FLAGS",
203 "CPU_AVX_FLAGS|CpuAVX2" },
204 { "CPU_AVX512F_FLAGS",
205 "CPU_AVX2_FLAGS|CpuAVX512F" },
206 { "CPU_AVX512CD_FLAGS",
207 "CPU_AVX512F_FLAGS|CpuAVX512CD" },
208 { "CPU_AVX512ER_FLAGS",
209 "CPU_AVX512F_FLAGS|CpuAVX512ER" },
210 { "CPU_AVX512PF_FLAGS",
211 "CPU_AVX512F_FLAGS|CpuAVX512PF" },
212 { "CPU_AVX512DQ_FLAGS",
213 "CPU_AVX512F_FLAGS|CpuAVX512DQ" },
214 { "CPU_AVX512BW_FLAGS",
215 "CPU_AVX512F_FLAGS|CpuAVX512BW" },
216 { "CPU_AVX512VL_FLAGS",
217 "CPU_AVX512F_FLAGS|CpuAVX512VL" },
218 { "CPU_AVX512IFMA_FLAGS",
219 "CPU_AVX512F_FLAGS|CpuAVX512IFMA" },
220 { "CPU_AVX512VBMI_FLAGS",
221 "CPU_AVX512F_FLAGS|CpuAVX512VBMI" },
222 { "CPU_AVX512_4FMAPS_FLAGS",
223 "CPU_AVX512F_FLAGS|CpuAVX512_4FMAPS" },
224 { "CPU_AVX512_4VNNIW_FLAGS",
225 "CPU_AVX512F_FLAGS|CpuAVX512_4VNNIW" },
226 { "CPU_AVX512_VPOPCNTDQ_FLAGS",
227 "CPU_AVX512F_FLAGS|CpuAVX512_VPOPCNTDQ" },
228 { "CPU_AVX512_VBMI2_FLAGS",
229 "CPU_AVX512F_FLAGS|CpuAVX512_VBMI2" },
230 { "CPU_AVX512_VNNI_FLAGS",
231 "CPU_AVX512F_FLAGS|CpuAVX512_VNNI" },
232 { "CPU_AVX512_BITALG_FLAGS",
233 "CPU_AVX512F_FLAGS|CpuAVX512_BITALG" },
234 { "CPU_AVX512_BF16_FLAGS",
235 "CPU_AVX512F_FLAGS|CpuAVX512_BF16" },
236 { "CPU_L1OM_FLAGS",
237 "unknown" },
238 { "CPU_K1OM_FLAGS",
239 "unknown" },
240 { "CPU_IAMCU_FLAGS",
241 "Cpu186|Cpu286|Cpu386|Cpu486|Cpu586" },
242 { "CPU_ADX_FLAGS",
243 "CpuADX" },
244 { "CPU_RDSEED_FLAGS",
245 "CpuRdSeed" },
246 { "CPU_PRFCHW_FLAGS",
247 "CpuPRFCHW" },
248 { "CPU_SMAP_FLAGS",
249 "CpuSMAP" },
250 { "CPU_MPX_FLAGS",
251 "CPU_XSAVE_FLAGS|CpuMPX" },
252 { "CPU_SHA_FLAGS",
253 "CPU_SSE2_FLAGS|CpuSHA" },
254 { "CPU_CLFLUSHOPT_FLAGS",
255 "CpuClflushOpt" },
256 { "CPU_XSAVES_FLAGS",
257 "CPU_XSAVE_FLAGS|CpuXSAVES" },
258 { "CPU_XSAVEC_FLAGS",
259 "CPU_XSAVE_FLAGS|CpuXSAVEC" },
260 { "CPU_PREFETCHWT1_FLAGS",
261 "CpuPREFETCHWT1" },
262 { "CPU_SE1_FLAGS",
263 "CpuSE1" },
264 { "CPU_CLWB_FLAGS",
265 "CpuCLWB" },
266 { "CPU_CLZERO_FLAGS",
267 "CpuCLZERO" },
268 { "CPU_MWAITX_FLAGS",
269 "CpuMWAITX" },
270 { "CPU_OSPKE_FLAGS",
271 "CPU_XSAVE_FLAGS|CpuOSPKE" },
272 { "CPU_RDPID_FLAGS",
273 "CpuRDPID" },
274 { "CPU_PTWRITE_FLAGS",
275 "CpuPTWRITE" },
276 { "CPU_IBT_FLAGS",
277 "CpuIBT" },
278 { "CPU_SHSTK_FLAGS",
279 "CpuSHSTK" },
280 { "CPU_GFNI_FLAGS",
281 "CpuGFNI" },
282 { "CPU_VAES_FLAGS",
283 "CpuVAES" },
284 { "CPU_VPCLMULQDQ_FLAGS",
285 "CpuVPCLMULQDQ" },
286 { "CPU_WBNOINVD_FLAGS",
287 "CpuWBNOINVD" },
288 { "CPU_PCONFIG_FLAGS",
289 "CpuPCONFIG" },
290 { "CPU_WAITPKG_FLAGS",
291 "CpuWAITPKG" },
292 { "CPU_CLDEMOTE_FLAGS",
293 "CpuCLDEMOTE" },
294 { "CPU_MOVDIRI_FLAGS",
295 "CpuMOVDIRI" },
296 { "CPU_MOVDIR64B_FLAGS",
297 "CpuMOVDIR64B" },
298 { "CPU_ENQCMD_FLAGS",
299 "CpuENQCMD" },
300 { "CPU_AVX512_VP2INTERSECT_FLAGS",
301 "CpuAVX512_VP2INTERSECT" },
302 { "CPU_ANY_X87_FLAGS",
303 "CPU_ANY_287_FLAGS|Cpu8087" },
304 { "CPU_ANY_287_FLAGS",
305 "CPU_ANY_387_FLAGS|Cpu287" },
306 { "CPU_ANY_387_FLAGS",
307 "CPU_ANY_687_FLAGS|Cpu387" },
308 { "CPU_ANY_687_FLAGS",
309 "Cpu687|CpuFISTTP" },
310 { "CPU_ANY_CMOV_FLAGS",
311 "CpuCMOV" },
312 { "CPU_ANY_FXSR_FLAGS",
313 "CpuFXSR" },
314 { "CPU_ANY_MMX_FLAGS",
315 "CPU_3DNOWA_FLAGS" },
316 { "CPU_ANY_SSE_FLAGS",
317 "CPU_ANY_SSE2_FLAGS|CpuSSE|CpuSSE4a" },
318 { "CPU_ANY_SSE2_FLAGS",
319 "CPU_ANY_SSE3_FLAGS|CpuSSE2" },
320 { "CPU_ANY_SSE3_FLAGS",
321 "CPU_ANY_SSSE3_FLAGS|CpuSSE3" },
322 { "CPU_ANY_SSSE3_FLAGS",
323 "CPU_ANY_SSE4_1_FLAGS|CpuSSSE3" },
324 { "CPU_ANY_SSE4_1_FLAGS",
325 "CPU_ANY_SSE4_2_FLAGS|CpuSSE4_1" },
326 { "CPU_ANY_SSE4_2_FLAGS",
327 "CpuSSE4_2" },
328 { "CPU_ANY_AVX_FLAGS",
329 "CPU_ANY_AVX2_FLAGS|CpuF16C|CpuFMA|CpuFMA4|CpuXOP|CpuAVX" },
330 { "CPU_ANY_AVX2_FLAGS",
331 "CPU_ANY_AVX512F_FLAGS|CpuAVX2" },
332 { "CPU_ANY_AVX512F_FLAGS",
333 "CpuAVX512F|CpuAVX512CD|CpuAVX512ER|CpuAVX512PF|CpuAVX512DQ|CpuAVX512BW|CpuAVX512VL|CpuAVX512IFMA|CpuAVX512VBMI|CpuAVX512_4FMAPS|CpuAVX512_4VNNIW|CpuAVX512_VPOPCNTDQ|CpuAVX512_VBMI2|CpuAVX512_VNNI|CpuAVX512_BITALG|CpuAVX512_BF16|CpuAVX512_VP2INTERSECT" },
334 { "CPU_ANY_AVX512CD_FLAGS",
335 "CpuAVX512CD" },
336 { "CPU_ANY_AVX512ER_FLAGS",
337 "CpuAVX512ER" },
338 { "CPU_ANY_AVX512PF_FLAGS",
339 "CpuAVX512PF" },
340 { "CPU_ANY_AVX512DQ_FLAGS",
341 "CpuAVX512DQ" },
342 { "CPU_ANY_AVX512BW_FLAGS",
343 "CpuAVX512BW" },
344 { "CPU_ANY_AVX512VL_FLAGS",
345 "CpuAVX512VL" },
346 { "CPU_ANY_AVX512IFMA_FLAGS",
347 "CpuAVX512IFMA" },
348 { "CPU_ANY_AVX512VBMI_FLAGS",
349 "CpuAVX512VBMI" },
350 { "CPU_ANY_AVX512_4FMAPS_FLAGS",
351 "CpuAVX512_4FMAPS" },
352 { "CPU_ANY_AVX512_4VNNIW_FLAGS",
353 "CpuAVX512_4VNNIW" },
354 { "CPU_ANY_AVX512_VPOPCNTDQ_FLAGS",
355 "CpuAVX512_VPOPCNTDQ" },
356 { "CPU_ANY_IBT_FLAGS",
357 "CpuIBT" },
358 { "CPU_ANY_SHSTK_FLAGS",
359 "CpuSHSTK" },
360 { "CPU_ANY_AVX512_VBMI2_FLAGS",
361 "CpuAVX512_VBMI2" },
362 { "CPU_ANY_AVX512_VNNI_FLAGS",
363 "CpuAVX512_VNNI" },
364 { "CPU_ANY_AVX512_BITALG_FLAGS",
365 "CpuAVX512_BITALG" },
366 { "CPU_ANY_AVX512_BF16_FLAGS",
367 "CpuAVX512_BF16" },
368 { "CPU_ANY_MOVDIRI_FLAGS",
369 "CpuMOVDIRI" },
370 { "CPU_ANY_MOVDIR64B_FLAGS",
371 "CpuMOVDIR64B" },
372 { "CPU_ANY_ENQCMD_FLAGS",
373 "CpuENQCMD" },
374 { "CPU_ANY_AVX512_VP2INTERSECT_FLAGS",
375 "CpuAVX512_VP2INTERSECT" },
376 };
377
378 static const initializer operand_type_shorthands[] =
379 {
380 { "Reg8", "Reg|Byte" },
381 { "Reg16", "Reg|Word" },
382 { "Reg32", "Reg|Dword" },
383 { "Reg64", "Reg|Qword" },
384 { "FloatAcc", "Acc|Tbyte" },
385 { "FloatReg", "Reg|Tbyte" },
386 { "RegXMM", "RegSIMD|Xmmword" },
387 { "RegYMM", "RegSIMD|Ymmword" },
388 { "RegZMM", "RegSIMD|Zmmword" },
389 };
390
391 static initializer operand_type_init[] =
392 {
393 { "OPERAND_TYPE_NONE",
394 "0" },
395 { "OPERAND_TYPE_REG8",
396 "Reg8" },
397 { "OPERAND_TYPE_REG16",
398 "Reg16" },
399 { "OPERAND_TYPE_REG32",
400 "Reg32" },
401 { "OPERAND_TYPE_REG64",
402 "Reg64" },
403 { "OPERAND_TYPE_IMM1",
404 "Imm1" },
405 { "OPERAND_TYPE_IMM8",
406 "Imm8" },
407 { "OPERAND_TYPE_IMM8S",
408 "Imm8S" },
409 { "OPERAND_TYPE_IMM16",
410 "Imm16" },
411 { "OPERAND_TYPE_IMM32",
412 "Imm32" },
413 { "OPERAND_TYPE_IMM32S",
414 "Imm32S" },
415 { "OPERAND_TYPE_IMM64",
416 "Imm64" },
417 { "OPERAND_TYPE_BASEINDEX",
418 "BaseIndex" },
419 { "OPERAND_TYPE_DISP8",
420 "Disp8" },
421 { "OPERAND_TYPE_DISP16",
422 "Disp16" },
423 { "OPERAND_TYPE_DISP32",
424 "Disp32" },
425 { "OPERAND_TYPE_DISP32S",
426 "Disp32S" },
427 { "OPERAND_TYPE_DISP64",
428 "Disp64" },
429 { "OPERAND_TYPE_INOUTPORTREG",
430 "InOutPortReg" },
431 { "OPERAND_TYPE_SHIFTCOUNT",
432 "ShiftCount" },
433 { "OPERAND_TYPE_CONTROL",
434 "Control" },
435 { "OPERAND_TYPE_TEST",
436 "Test" },
437 { "OPERAND_TYPE_DEBUG",
438 "FloatReg" },
439 { "OPERAND_TYPE_FLOATREG",
440 "FloatReg" },
441 { "OPERAND_TYPE_FLOATACC",
442 "FloatAcc" },
443 { "OPERAND_TYPE_SREG2",
444 "SReg2" },
445 { "OPERAND_TYPE_SREG3",
446 "SReg3" },
447 { "OPERAND_TYPE_ACC",
448 "Acc" },
449 { "OPERAND_TYPE_JUMPABSOLUTE",
450 "JumpAbsolute" },
451 { "OPERAND_TYPE_REGMMX",
452 "RegMMX" },
453 { "OPERAND_TYPE_REGXMM",
454 "RegXMM" },
455 { "OPERAND_TYPE_REGYMM",
456 "RegYMM" },
457 { "OPERAND_TYPE_REGZMM",
458 "RegZMM" },
459 { "OPERAND_TYPE_REGMASK",
460 "RegMask" },
461 { "OPERAND_TYPE_ESSEG",
462 "EsSeg" },
463 { "OPERAND_TYPE_ACC32",
464 "Reg32|Acc|Dword" },
465 { "OPERAND_TYPE_ACC64",
466 "Reg64|Acc|Qword" },
467 { "OPERAND_TYPE_DISP16_32",
468 "Disp16|Disp32" },
469 { "OPERAND_TYPE_ANYDISP",
470 "Disp8|Disp16|Disp32|Disp32S|Disp64" },
471 { "OPERAND_TYPE_IMM16_32",
472 "Imm16|Imm32" },
473 { "OPERAND_TYPE_IMM16_32S",
474 "Imm16|Imm32S" },
475 { "OPERAND_TYPE_IMM16_32_32S",
476 "Imm16|Imm32|Imm32S" },
477 { "OPERAND_TYPE_IMM32_64",
478 "Imm32|Imm64" },
479 { "OPERAND_TYPE_IMM32_32S_DISP32",
480 "Imm32|Imm32S|Disp32" },
481 { "OPERAND_TYPE_IMM64_DISP64",
482 "Imm64|Disp64" },
483 { "OPERAND_TYPE_IMM32_32S_64_DISP32",
484 "Imm32|Imm32S|Imm64|Disp32" },
485 { "OPERAND_TYPE_IMM32_32S_64_DISP32_64",
486 "Imm32|Imm32S|Imm64|Disp32|Disp64" },
487 { "OPERAND_TYPE_VEC_IMM4",
488 "Vec_Imm4" },
489 { "OPERAND_TYPE_REGBND",
490 "RegBND" },
491 };
492
493 typedef struct bitfield
494 {
495 int position;
496 int value;
497 const char *name;
498 } bitfield;
499
500 #define BITFIELD(n) { n, 0, #n }
501
502 static bitfield cpu_flags[] =
503 {
504 BITFIELD (Cpu186),
505 BITFIELD (Cpu286),
506 BITFIELD (Cpu386),
507 BITFIELD (Cpu486),
508 BITFIELD (Cpu586),
509 BITFIELD (Cpu686),
510 BITFIELD (CpuCMOV),
511 BITFIELD (CpuFXSR),
512 BITFIELD (CpuClflush),
513 BITFIELD (CpuNop),
514 BITFIELD (CpuSYSCALL),
515 BITFIELD (Cpu8087),
516 BITFIELD (Cpu287),
517 BITFIELD (Cpu387),
518 BITFIELD (Cpu687),
519 BITFIELD (CpuFISTTP),
520 BITFIELD (CpuMMX),
521 BITFIELD (CpuSSE),
522 BITFIELD (CpuSSE2),
523 BITFIELD (CpuSSE3),
524 BITFIELD (CpuSSSE3),
525 BITFIELD (CpuSSE4_1),
526 BITFIELD (CpuSSE4_2),
527 BITFIELD (CpuAVX),
528 BITFIELD (CpuAVX2),
529 BITFIELD (CpuAVX512F),
530 BITFIELD (CpuAVX512CD),
531 BITFIELD (CpuAVX512ER),
532 BITFIELD (CpuAVX512PF),
533 BITFIELD (CpuAVX512VL),
534 BITFIELD (CpuAVX512DQ),
535 BITFIELD (CpuAVX512BW),
536 BITFIELD (CpuL1OM),
537 BITFIELD (CpuK1OM),
538 BITFIELD (CpuIAMCU),
539 BITFIELD (CpuSSE4a),
540 BITFIELD (Cpu3dnow),
541 BITFIELD (Cpu3dnowA),
542 BITFIELD (CpuPadLock),
543 BITFIELD (CpuSVME),
544 BITFIELD (CpuVMX),
545 BITFIELD (CpuSMX),
546 BITFIELD (CpuABM),
547 BITFIELD (CpuXsave),
548 BITFIELD (CpuXsaveopt),
549 BITFIELD (CpuAES),
550 BITFIELD (CpuPCLMUL),
551 BITFIELD (CpuFMA),
552 BITFIELD (CpuFMA4),
553 BITFIELD (CpuXOP),
554 BITFIELD (CpuLWP),
555 BITFIELD (CpuBMI),
556 BITFIELD (CpuTBM),
557 BITFIELD (CpuLM),
558 BITFIELD (CpuMovbe),
559 BITFIELD (CpuCX16),
560 BITFIELD (CpuEPT),
561 BITFIELD (CpuRdtscp),
562 BITFIELD (CpuFSGSBase),
563 BITFIELD (CpuRdRnd),
564 BITFIELD (CpuF16C),
565 BITFIELD (CpuBMI2),
566 BITFIELD (CpuLZCNT),
567 BITFIELD (CpuHLE),
568 BITFIELD (CpuRTM),
569 BITFIELD (CpuINVPCID),
570 BITFIELD (CpuVMFUNC),
571 BITFIELD (CpuRDSEED),
572 BITFIELD (CpuADX),
573 BITFIELD (CpuPRFCHW),
574 BITFIELD (CpuSMAP),
575 BITFIELD (CpuSHA),
576 BITFIELD (CpuClflushOpt),
577 BITFIELD (CpuXSAVES),
578 BITFIELD (CpuXSAVEC),
579 BITFIELD (CpuPREFETCHWT1),
580 BITFIELD (CpuSE1),
581 BITFIELD (CpuCLWB),
582 BITFIELD (Cpu64),
583 BITFIELD (CpuNo64),
584 BITFIELD (CpuMPX),
585 BITFIELD (CpuAVX512IFMA),
586 BITFIELD (CpuAVX512VBMI),
587 BITFIELD (CpuAVX512_4FMAPS),
588 BITFIELD (CpuAVX512_4VNNIW),
589 BITFIELD (CpuAVX512_VPOPCNTDQ),
590 BITFIELD (CpuAVX512_VBMI2),
591 BITFIELD (CpuAVX512_VNNI),
592 BITFIELD (CpuAVX512_BITALG),
593 BITFIELD (CpuAVX512_BF16),
594 BITFIELD (CpuAVX512_VP2INTERSECT),
595 BITFIELD (CpuMWAITX),
596 BITFIELD (CpuCLZERO),
597 BITFIELD (CpuOSPKE),
598 BITFIELD (CpuRDPID),
599 BITFIELD (CpuPTWRITE),
600 BITFIELD (CpuIBT),
601 BITFIELD (CpuSHSTK),
602 BITFIELD (CpuGFNI),
603 BITFIELD (CpuVAES),
604 BITFIELD (CpuVPCLMULQDQ),
605 BITFIELD (CpuWBNOINVD),
606 BITFIELD (CpuPCONFIG),
607 BITFIELD (CpuWAITPKG),
608 BITFIELD (CpuCLDEMOTE),
609 BITFIELD (CpuMOVDIRI),
610 BITFIELD (CpuMOVDIR64B),
611 BITFIELD (CpuENQCMD),
612 #ifdef CpuUnused
613 BITFIELD (CpuUnused),
614 #endif
615 };
616
617 static bitfield opcode_modifiers[] =
618 {
619 BITFIELD (D),
620 BITFIELD (W),
621 BITFIELD (Load),
622 BITFIELD (Modrm),
623 BITFIELD (ShortForm),
624 BITFIELD (Jump),
625 BITFIELD (JumpDword),
626 BITFIELD (JumpByte),
627 BITFIELD (JumpInterSegment),
628 BITFIELD (FloatMF),
629 BITFIELD (FloatR),
630 BITFIELD (Size),
631 BITFIELD (CheckRegSize),
632 BITFIELD (IgnoreSize),
633 BITFIELD (DefaultSize),
634 BITFIELD (No_bSuf),
635 BITFIELD (No_wSuf),
636 BITFIELD (No_lSuf),
637 BITFIELD (No_sSuf),
638 BITFIELD (No_qSuf),
639 BITFIELD (No_ldSuf),
640 BITFIELD (FWait),
641 BITFIELD (IsString),
642 BITFIELD (BNDPrefixOk),
643 BITFIELD (NoTrackPrefixOk),
644 BITFIELD (IsLockable),
645 BITFIELD (RegKludge),
646 BITFIELD (Implicit1stXmm0),
647 BITFIELD (RepPrefixOk),
648 BITFIELD (HLEPrefixOk),
649 BITFIELD (ToDword),
650 BITFIELD (ToQword),
651 BITFIELD (AddrPrefixOpReg),
652 BITFIELD (IsPrefix),
653 BITFIELD (ImmExt),
654 BITFIELD (NoRex64),
655 BITFIELD (Rex64),
656 BITFIELD (Ugh),
657 BITFIELD (Vex),
658 BITFIELD (VexVVVV),
659 BITFIELD (VexW),
660 BITFIELD (VexOpcode),
661 BITFIELD (VexSources),
662 BITFIELD (VecSIB),
663 BITFIELD (SSE2AVX),
664 BITFIELD (NoAVX),
665 BITFIELD (EVex),
666 BITFIELD (Masking),
667 BITFIELD (Broadcast),
668 BITFIELD (StaticRounding),
669 BITFIELD (SAE),
670 BITFIELD (Disp8MemShift),
671 BITFIELD (NoDefMask),
672 BITFIELD (ImplicitQuadGroup),
673 BITFIELD (Optimize),
674 BITFIELD (ATTMnemonic),
675 BITFIELD (ATTSyntax),
676 BITFIELD (IntelSyntax),
677 BITFIELD (AMD64),
678 BITFIELD (Intel64),
679 };
680
681 static bitfield operand_types[] =
682 {
683 BITFIELD (Reg),
684 BITFIELD (RegMMX),
685 BITFIELD (RegSIMD),
686 BITFIELD (RegMask),
687 BITFIELD (Imm1),
688 BITFIELD (Imm8),
689 BITFIELD (Imm8S),
690 BITFIELD (Imm16),
691 BITFIELD (Imm32),
692 BITFIELD (Imm32S),
693 BITFIELD (Imm64),
694 BITFIELD (BaseIndex),
695 BITFIELD (Disp8),
696 BITFIELD (Disp16),
697 BITFIELD (Disp32),
698 BITFIELD (Disp32S),
699 BITFIELD (Disp64),
700 BITFIELD (InOutPortReg),
701 BITFIELD (ShiftCount),
702 BITFIELD (Control),
703 BITFIELD (Debug),
704 BITFIELD (Test),
705 BITFIELD (SReg2),
706 BITFIELD (SReg3),
707 BITFIELD (Acc),
708 BITFIELD (JumpAbsolute),
709 BITFIELD (EsSeg),
710 BITFIELD (RegMem),
711 BITFIELD (Byte),
712 BITFIELD (Word),
713 BITFIELD (Dword),
714 BITFIELD (Fword),
715 BITFIELD (Qword),
716 BITFIELD (Tbyte),
717 BITFIELD (Xmmword),
718 BITFIELD (Ymmword),
719 BITFIELD (Zmmword),
720 BITFIELD (Unspecified),
721 BITFIELD (Anysize),
722 BITFIELD (Vec_Imm4),
723 BITFIELD (RegBND),
724 #ifdef OTUnused
725 BITFIELD (OTUnused),
726 #endif
727 };
728
729 static const char *filename;
730 static i386_cpu_flags active_cpu_flags;
731 static int active_isstring;
732
733 static int
734 compare (const void *x, const void *y)
735 {
736 const bitfield *xp = (const bitfield *) x;
737 const bitfield *yp = (const bitfield *) y;
738 return xp->position - yp->position;
739 }
740
741 static void
742 fail (const char *message, ...)
743 {
744 va_list args;
745
746 va_start (args, message);
747 fprintf (stderr, _("%s: error: "), program_name);
748 vfprintf (stderr, message, args);
749 va_end (args);
750 xexit (1);
751 }
752
753 static void
754 process_copyright (FILE *fp)
755 {
756 fprintf (fp, "/* This file is automatically generated by i386-gen. Do not edit! */\n\
757 /* Copyright (C) 2007-2019 Free Software Foundation, Inc.\n\
758 \n\
759 This file is part of the GNU opcodes library.\n\
760 \n\
761 This library is free software; you can redistribute it and/or modify\n\
762 it under the terms of the GNU General Public License as published by\n\
763 the Free Software Foundation; either version 3, or (at your option)\n\
764 any later version.\n\
765 \n\
766 It is distributed in the hope that it will be useful, but WITHOUT\n\
767 ANY WARRANTY; without even the implied warranty of MERCHANTABILITY\n\
768 or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public\n\
769 License for more details.\n\
770 \n\
771 You should have received a copy of the GNU General Public License\n\
772 along with this program; if not, write to the Free Software\n\
773 Foundation, Inc., 51 Franklin Street - Fifth Floor, Boston,\n\
774 MA 02110-1301, USA. */\n");
775 }
776
777 /* Remove leading white spaces. */
778
779 static char *
780 remove_leading_whitespaces (char *str)
781 {
782 while (ISSPACE (*str))
783 str++;
784 return str;
785 }
786
787 /* Remove trailing white spaces. */
788
789 static void
790 remove_trailing_whitespaces (char *str)
791 {
792 size_t last = strlen (str);
793
794 if (last == 0)
795 return;
796
797 do
798 {
799 last--;
800 if (ISSPACE (str [last]))
801 str[last] = '\0';
802 else
803 break;
804 }
805 while (last != 0);
806 }
807
808 /* Find next field separated by SEP and terminate it. Return a
809 pointer to the one after it. */
810
811 static char *
812 next_field (char *str, char sep, char **next, char *last)
813 {
814 char *p;
815
816 p = remove_leading_whitespaces (str);
817 for (str = p; *str != sep && *str != '\0'; str++);
818
819 *str = '\0';
820 remove_trailing_whitespaces (p);
821
822 *next = str + 1;
823
824 if (p >= last)
825 abort ();
826
827 return p;
828 }
829
830 static void set_bitfield (char *, bitfield *, int, unsigned int, int);
831
832 static int
833 set_bitfield_from_shorthand (char *f, bitfield *array, unsigned int size,
834 int lineno)
835 {
836 char *str, *next, *last;
837 unsigned int i;
838
839 for (i = 0; i < ARRAY_SIZE (cpu_flag_init); i++)
840 if (strcmp (cpu_flag_init[i].name, f) == 0)
841 {
842 /* Turn on selective bits. */
843 char *init = xstrdup (cpu_flag_init[i].init);
844 last = init + strlen (init);
845 for (next = init; next && next < last; )
846 {
847 str = next_field (next, '|', &next, last);
848 if (str)
849 set_bitfield (str, array, 1, size, lineno);
850 }
851 free (init);
852 return 0;
853 }
854
855 for (i = 0; i < ARRAY_SIZE (operand_type_shorthands); i++)
856 if (strcmp (operand_type_shorthands[i].name, f) == 0)
857 {
858 /* Turn on selective bits. */
859 char *init = xstrdup (operand_type_shorthands[i].init);
860 last = init + strlen (init);
861 for (next = init; next && next < last; )
862 {
863 str = next_field (next, '|', &next, last);
864 if (str)
865 set_bitfield (str, array, 1, size, lineno);
866 }
867 free (init);
868 return 0;
869 }
870
871 return -1;
872 }
873
874 static void
875 set_bitfield (char *f, bitfield *array, int value,
876 unsigned int size, int lineno)
877 {
878 unsigned int i;
879
880 if (strcmp (f, "CpuFP") == 0)
881 {
882 set_bitfield("Cpu387", array, value, size, lineno);
883 set_bitfield("Cpu287", array, value, size, lineno);
884 f = "Cpu8087";
885 }
886 else if (strcmp (f, "Mmword") == 0)
887 f= "Qword";
888 else if (strcmp (f, "Oword") == 0)
889 f= "Xmmword";
890
891 for (i = 0; i < size; i++)
892 if (strcasecmp (array[i].name, f) == 0)
893 {
894 array[i].value = value;
895 return;
896 }
897
898 if (value)
899 {
900 const char *v = strchr (f, '=');
901
902 if (v)
903 {
904 size_t n = v - f;
905 char *end;
906
907 for (i = 0; i < size; i++)
908 if (strncasecmp (array[i].name, f, n) == 0)
909 {
910 value = strtol (v + 1, &end, 0);
911 if (*end == '\0')
912 {
913 array[i].value = value;
914 return;
915 }
916 break;
917 }
918 }
919 }
920
921 /* Handle shorthands. */
922 if (value == 1 && !set_bitfield_from_shorthand (f, array, size, lineno))
923 return;
924
925 if (lineno != -1)
926 fail (_("%s: %d: unknown bitfield: %s\n"), filename, lineno, f);
927 else
928 fail (_("unknown bitfield: %s\n"), f);
929 }
930
931 static void
932 output_cpu_flags (FILE *table, bitfield *flags, unsigned int size,
933 int macro, const char *comma, const char *indent)
934 {
935 unsigned int i;
936
937 memset (&active_cpu_flags, 0, sizeof(active_cpu_flags));
938
939 fprintf (table, "%s{ { ", indent);
940
941 for (i = 0; i < size - 1; i++)
942 {
943 if (((i + 1) % 20) != 0)
944 fprintf (table, "%d, ", flags[i].value);
945 else
946 fprintf (table, "%d,", flags[i].value);
947 if (((i + 1) % 20) == 0)
948 {
949 /* We need \\ for macro. */
950 if (macro)
951 fprintf (table, " \\\n %s", indent);
952 else
953 fprintf (table, "\n %s", indent);
954 }
955 if (flags[i].value)
956 active_cpu_flags.array[i / 32] |= 1U << (i % 32);
957 }
958
959 fprintf (table, "%d } }%s\n", flags[i].value, comma);
960 }
961
962 static void
963 process_i386_cpu_flag (FILE *table, char *flag, int macro,
964 const char *comma, const char *indent,
965 int lineno)
966 {
967 char *str, *next, *last;
968 unsigned int i;
969 bitfield flags [ARRAY_SIZE (cpu_flags)];
970
971 /* Copy the default cpu flags. */
972 memcpy (flags, cpu_flags, sizeof (cpu_flags));
973
974 if (strcasecmp (flag, "unknown") == 0)
975 {
976 /* We turn on everything except for cpu64 in case of
977 CPU_UNKNOWN_FLAGS. */
978 for (i = 0; i < ARRAY_SIZE (flags); i++)
979 if (flags[i].position != Cpu64)
980 flags[i].value = 1;
981 }
982 else if (flag[0] == '~')
983 {
984 last = flag + strlen (flag);
985
986 if (flag[1] == '(')
987 {
988 last -= 1;
989 next = flag + 2;
990 if (*last != ')')
991 fail (_("%s: %d: missing `)' in bitfield: %s\n"), filename,
992 lineno, flag);
993 *last = '\0';
994 }
995 else
996 next = flag + 1;
997
998 /* First we turn on everything except for cpu64. */
999 for (i = 0; i < ARRAY_SIZE (flags); i++)
1000 if (flags[i].position != Cpu64)
1001 flags[i].value = 1;
1002
1003 /* Turn off selective bits. */
1004 for (; next && next < last; )
1005 {
1006 str = next_field (next, '|', &next, last);
1007 if (str)
1008 set_bitfield (str, flags, 0, ARRAY_SIZE (flags), lineno);
1009 }
1010 }
1011 else if (strcmp (flag, "0"))
1012 {
1013 /* Turn on selective bits. */
1014 last = flag + strlen (flag);
1015 for (next = flag; next && next < last; )
1016 {
1017 str = next_field (next, '|', &next, last);
1018 if (str)
1019 set_bitfield (str, flags, 1, ARRAY_SIZE (flags), lineno);
1020 }
1021 }
1022
1023 output_cpu_flags (table, flags, ARRAY_SIZE (flags), macro,
1024 comma, indent);
1025 }
1026
1027 static void
1028 output_opcode_modifier (FILE *table, bitfield *modifier, unsigned int size)
1029 {
1030 unsigned int i;
1031
1032 fprintf (table, " { ");
1033
1034 for (i = 0; i < size - 1; i++)
1035 {
1036 if (((i + 1) % 20) != 0)
1037 fprintf (table, "%d, ", modifier[i].value);
1038 else
1039 fprintf (table, "%d,", modifier[i].value);
1040 if (((i + 1) % 20) == 0)
1041 fprintf (table, "\n ");
1042 }
1043
1044 fprintf (table, "%d },\n", modifier[i].value);
1045 }
1046
1047 static int
1048 adjust_broadcast_modifier (char **opnd)
1049 {
1050 char *str, *next, *last, *op;
1051 int bcst_type = INT_MAX;
1052
1053 /* Skip the immediate operand. */
1054 op = opnd[0];
1055 if (strcasecmp(op, "Imm8") == 0)
1056 op = opnd[1];
1057
1058 op = xstrdup (op);
1059 last = op + strlen (op);
1060 for (next = op; next && next < last; )
1061 {
1062 str = next_field (next, '|', &next, last);
1063 if (str)
1064 {
1065 if (strcasecmp(str, "Byte") == 0)
1066 {
1067 /* The smalest broadcast type, no need to check
1068 further. */
1069 bcst_type = BYTE_BROADCAST;
1070 break;
1071 }
1072 else if (strcasecmp(str, "Word") == 0)
1073 {
1074 if (bcst_type > WORD_BROADCAST)
1075 bcst_type = WORD_BROADCAST;
1076 }
1077 else if (strcasecmp(str, "Dword") == 0)
1078 {
1079 if (bcst_type > DWORD_BROADCAST)
1080 bcst_type = DWORD_BROADCAST;
1081 }
1082 else if (strcasecmp(str, "Qword") == 0)
1083 {
1084 if (bcst_type > QWORD_BROADCAST)
1085 bcst_type = QWORD_BROADCAST;
1086 }
1087 }
1088 }
1089 free (op);
1090
1091 if (bcst_type == INT_MAX)
1092 fail (_("unknown broadcast operand: %s\n"), op);
1093
1094 return bcst_type;
1095 }
1096
1097 static void
1098 process_i386_opcode_modifier (FILE *table, char *mod, char **opnd, int lineno)
1099 {
1100 char *str, *next, *last;
1101 bitfield modifiers [ARRAY_SIZE (opcode_modifiers)];
1102
1103 active_isstring = 0;
1104
1105 /* Copy the default opcode modifier. */
1106 memcpy (modifiers, opcode_modifiers, sizeof (modifiers));
1107
1108 if (strcmp (mod, "0"))
1109 {
1110 last = mod + strlen (mod);
1111 for (next = mod; next && next < last; )
1112 {
1113 str = next_field (next, '|', &next, last);
1114 if (str)
1115 {
1116 int val = 1;
1117 if (strcasecmp(str, "Broadcast") == 0)
1118 val = adjust_broadcast_modifier (opnd);
1119 set_bitfield (str, modifiers, val, ARRAY_SIZE (modifiers),
1120 lineno);
1121 if (strcasecmp(str, "IsString") == 0)
1122 active_isstring = 1;
1123 }
1124 }
1125 }
1126 output_opcode_modifier (table, modifiers, ARRAY_SIZE (modifiers));
1127 }
1128
1129 enum stage {
1130 stage_macros,
1131 stage_opcodes,
1132 stage_registers,
1133 };
1134
1135 static void
1136 output_operand_type (FILE *table, bitfield *types, unsigned int size,
1137 enum stage stage, const char *indent)
1138 {
1139 unsigned int i;
1140
1141 fprintf (table, "{ { ");
1142
1143 for (i = 0; i < size - 1; i++)
1144 {
1145 if (((i + 1) % 20) != 0)
1146 fprintf (table, "%d, ", types[i].value);
1147 else
1148 fprintf (table, "%d,", types[i].value);
1149 if (((i + 1) % 20) == 0)
1150 {
1151 /* We need \\ for macro. */
1152 if (stage == stage_macros)
1153 fprintf (table, " \\\n%s", indent);
1154 else
1155 fprintf (table, "\n%s", indent);
1156 }
1157 }
1158
1159 fprintf (table, "%d } }", types[i].value);
1160 }
1161
1162 static void
1163 process_i386_operand_type (FILE *table, char *op, enum stage stage,
1164 const char *indent, int lineno)
1165 {
1166 char *str, *next, *last;
1167 bitfield types [ARRAY_SIZE (operand_types)];
1168
1169 /* Copy the default operand type. */
1170 memcpy (types, operand_types, sizeof (types));
1171
1172 if (strcmp (op, "0"))
1173 {
1174 int baseindex = 0;
1175
1176 last = op + strlen (op);
1177 for (next = op; next && next < last; )
1178 {
1179 str = next_field (next, '|', &next, last);
1180 if (str)
1181 {
1182 set_bitfield (str, types, 1, ARRAY_SIZE (types), lineno);
1183 if (strcasecmp(str, "BaseIndex") == 0)
1184 baseindex = 1;
1185 }
1186 }
1187
1188 if (stage == stage_opcodes && baseindex && !active_isstring)
1189 {
1190 set_bitfield("Disp8", types, 1, ARRAY_SIZE (types), lineno);
1191 if (!active_cpu_flags.bitfield.cpu64
1192 && !active_cpu_flags.bitfield.cpumpx)
1193 set_bitfield("Disp16", types, 1, ARRAY_SIZE (types), lineno);
1194 set_bitfield("Disp32", types, 1, ARRAY_SIZE (types), lineno);
1195 if (!active_cpu_flags.bitfield.cpuno64)
1196 set_bitfield("Disp32S", types, 1, ARRAY_SIZE (types), lineno);
1197 }
1198 }
1199 output_operand_type (table, types, ARRAY_SIZE (types), stage,
1200 indent);
1201 }
1202
1203 static void
1204 output_i386_opcode (FILE *table, const char *name, char *str,
1205 char *last, int lineno)
1206 {
1207 unsigned int i;
1208 char *operands, *base_opcode, *extension_opcode, *opcode_length;
1209 char *cpu_flags, *opcode_modifier, *operand_types [MAX_OPERANDS];
1210
1211 /* Find number of operands. */
1212 operands = next_field (str, ',', &str, last);
1213
1214 /* Find base_opcode. */
1215 base_opcode = next_field (str, ',', &str, last);
1216
1217 /* Find extension_opcode. */
1218 extension_opcode = next_field (str, ',', &str, last);
1219
1220 /* Find opcode_length. */
1221 opcode_length = next_field (str, ',', &str, last);
1222
1223 /* Find cpu_flags. */
1224 cpu_flags = next_field (str, ',', &str, last);
1225
1226 /* Find opcode_modifier. */
1227 opcode_modifier = next_field (str, ',', &str, last);
1228
1229 /* Remove the first {. */
1230 str = remove_leading_whitespaces (str);
1231 if (*str != '{')
1232 abort ();
1233 str = remove_leading_whitespaces (str + 1);
1234
1235 i = strlen (str);
1236
1237 /* There are at least "X}". */
1238 if (i < 2)
1239 abort ();
1240
1241 /* Remove trailing white spaces and }. */
1242 do
1243 {
1244 i--;
1245 if (ISSPACE (str[i]) || str[i] == '}')
1246 str[i] = '\0';
1247 else
1248 break;
1249 }
1250 while (i != 0);
1251
1252 last = str + i;
1253
1254 /* Find operand_types. */
1255 for (i = 0; i < ARRAY_SIZE (operand_types); i++)
1256 {
1257 if (str >= last)
1258 {
1259 operand_types [i] = NULL;
1260 break;
1261 }
1262
1263 operand_types [i] = next_field (str, ',', &str, last);
1264 if (*operand_types[i] == '0')
1265 {
1266 if (i != 0)
1267 operand_types[i] = NULL;
1268 break;
1269 }
1270 }
1271
1272 fprintf (table, " { \"%s\", %s, %s, %s, %s,\n",
1273 name, operands, base_opcode, extension_opcode,
1274 opcode_length);
1275
1276 process_i386_cpu_flag (table, cpu_flags, 0, ",", " ", lineno);
1277
1278 process_i386_opcode_modifier (table, opcode_modifier, operand_types, lineno);
1279
1280 fprintf (table, " { ");
1281
1282 for (i = 0; i < ARRAY_SIZE (operand_types); i++)
1283 {
1284 if (operand_types[i] == NULL || *operand_types[i] == '0')
1285 {
1286 if (i == 0)
1287 process_i386_operand_type (table, "0", stage_opcodes, "\t ",
1288 lineno);
1289 break;
1290 }
1291
1292 if (i != 0)
1293 fprintf (table, ",\n ");
1294
1295 process_i386_operand_type (table, operand_types[i], stage_opcodes,
1296 "\t ", lineno);
1297 }
1298 fprintf (table, " } },\n");
1299 }
1300
1301 struct opcode_hash_entry
1302 {
1303 struct opcode_hash_entry *next;
1304 char *name;
1305 char *opcode;
1306 int lineno;
1307 };
1308
1309 /* Calculate the hash value of an opcode hash entry P. */
1310
1311 static hashval_t
1312 opcode_hash_hash (const void *p)
1313 {
1314 struct opcode_hash_entry *entry = (struct opcode_hash_entry *) p;
1315 return htab_hash_string (entry->name);
1316 }
1317
1318 /* Compare a string Q against an opcode hash entry P. */
1319
1320 static int
1321 opcode_hash_eq (const void *p, const void *q)
1322 {
1323 struct opcode_hash_entry *entry = (struct opcode_hash_entry *) p;
1324 const char *name = (const char *) q;
1325 return strcmp (name, entry->name) == 0;
1326 }
1327
1328 static void
1329 process_i386_opcodes (FILE *table)
1330 {
1331 FILE *fp;
1332 char buf[2048];
1333 unsigned int i, j;
1334 char *str, *p, *last, *name;
1335 struct opcode_hash_entry **hash_slot, **entry, *next;
1336 htab_t opcode_hash_table;
1337 struct opcode_hash_entry **opcode_array;
1338 unsigned int opcode_array_size = 1024;
1339 int lineno = 0, marker = 0;
1340
1341 filename = "i386-opc.tbl";
1342 fp = stdin;
1343
1344 i = 0;
1345 opcode_array = (struct opcode_hash_entry **)
1346 xmalloc (sizeof (*opcode_array) * opcode_array_size);
1347
1348 opcode_hash_table = htab_create_alloc (16, opcode_hash_hash,
1349 opcode_hash_eq, NULL,
1350 xcalloc, free);
1351
1352 fprintf (table, "\n/* i386 opcode table. */\n\n");
1353 fprintf (table, "const insn_template i386_optab[] =\n{\n");
1354
1355 /* Put everything on opcode array. */
1356 while (!feof (fp))
1357 {
1358 if (fgets (buf, sizeof (buf), fp) == NULL)
1359 break;
1360
1361 lineno++;
1362
1363 p = remove_leading_whitespaces (buf);
1364
1365 /* Skip comments. */
1366 str = strstr (p, "//");
1367 if (str != NULL)
1368 str[0] = '\0';
1369
1370 /* Remove trailing white spaces. */
1371 remove_trailing_whitespaces (p);
1372
1373 switch (p[0])
1374 {
1375 case '#':
1376 if (!strcmp("### MARKER ###", buf))
1377 marker = 1;
1378 else
1379 {
1380 /* Since we ignore all included files (we only care about their
1381 #define-s here), we don't need to monitor filenames. The final
1382 line number directive is going to refer to the main source file
1383 again. */
1384 char *end;
1385 unsigned long ln;
1386
1387 p = remove_leading_whitespaces (p + 1);
1388 if (!strncmp(p, "line", 4))
1389 p += 4;
1390 ln = strtoul (p, &end, 10);
1391 if (ln > 1 && ln < INT_MAX
1392 && *remove_leading_whitespaces (end) == '"')
1393 lineno = ln - 1;
1394 }
1395 /* Ignore comments. */
1396 case '\0':
1397 continue;
1398 break;
1399 default:
1400 if (!marker)
1401 continue;
1402 break;
1403 }
1404
1405 last = p + strlen (p);
1406
1407 /* Find name. */
1408 name = next_field (p, ',', &str, last);
1409
1410 /* Get the slot in hash table. */
1411 hash_slot = (struct opcode_hash_entry **)
1412 htab_find_slot_with_hash (opcode_hash_table, name,
1413 htab_hash_string (name),
1414 INSERT);
1415
1416 if (*hash_slot == NULL)
1417 {
1418 /* It is the new one. Put it on opcode array. */
1419 if (i >= opcode_array_size)
1420 {
1421 /* Grow the opcode array when needed. */
1422 opcode_array_size += 1024;
1423 opcode_array = (struct opcode_hash_entry **)
1424 xrealloc (opcode_array,
1425 sizeof (*opcode_array) * opcode_array_size);
1426 }
1427
1428 opcode_array[i] = (struct opcode_hash_entry *)
1429 xmalloc (sizeof (struct opcode_hash_entry));
1430 opcode_array[i]->next = NULL;
1431 opcode_array[i]->name = xstrdup (name);
1432 opcode_array[i]->opcode = xstrdup (str);
1433 opcode_array[i]->lineno = lineno;
1434 *hash_slot = opcode_array[i];
1435 i++;
1436 }
1437 else
1438 {
1439 /* Append it to the existing one. */
1440 entry = hash_slot;
1441 while ((*entry) != NULL)
1442 entry = &(*entry)->next;
1443 *entry = (struct opcode_hash_entry *)
1444 xmalloc (sizeof (struct opcode_hash_entry));
1445 (*entry)->next = NULL;
1446 (*entry)->name = (*hash_slot)->name;
1447 (*entry)->opcode = xstrdup (str);
1448 (*entry)->lineno = lineno;
1449 }
1450 }
1451
1452 /* Process opcode array. */
1453 for (j = 0; j < i; j++)
1454 {
1455 for (next = opcode_array[j]; next; next = next->next)
1456 {
1457 name = next->name;
1458 str = next->opcode;
1459 lineno = next->lineno;
1460 last = str + strlen (str);
1461 output_i386_opcode (table, name, str, last, lineno);
1462 }
1463 }
1464
1465 fclose (fp);
1466
1467 fprintf (table, " { NULL, 0, 0, 0, 0,\n");
1468
1469 process_i386_cpu_flag (table, "0", 0, ",", " ", -1);
1470
1471 process_i386_opcode_modifier (table, "0", NULL, -1);
1472
1473 fprintf (table, " { ");
1474 process_i386_operand_type (table, "0", stage_opcodes, "\t ", -1);
1475 fprintf (table, " } }\n");
1476
1477 fprintf (table, "};\n");
1478 }
1479
1480 static void
1481 process_i386_registers (FILE *table)
1482 {
1483 FILE *fp;
1484 char buf[2048];
1485 char *str, *p, *last;
1486 char *reg_name, *reg_type, *reg_flags, *reg_num;
1487 char *dw2_32_num, *dw2_64_num;
1488 int lineno = 0;
1489
1490 filename = "i386-reg.tbl";
1491 fp = fopen (filename, "r");
1492 if (fp == NULL)
1493 fail (_("can't find i386-reg.tbl for reading, errno = %s\n"),
1494 xstrerror (errno));
1495
1496 fprintf (table, "\n/* i386 register table. */\n\n");
1497 fprintf (table, "const reg_entry i386_regtab[] =\n{\n");
1498
1499 while (!feof (fp))
1500 {
1501 if (fgets (buf, sizeof (buf), fp) == NULL)
1502 break;
1503
1504 lineno++;
1505
1506 p = remove_leading_whitespaces (buf);
1507
1508 /* Skip comments. */
1509 str = strstr (p, "//");
1510 if (str != NULL)
1511 str[0] = '\0';
1512
1513 /* Remove trailing white spaces. */
1514 remove_trailing_whitespaces (p);
1515
1516 switch (p[0])
1517 {
1518 case '#':
1519 fprintf (table, "%s\n", p);
1520 case '\0':
1521 continue;
1522 break;
1523 default:
1524 break;
1525 }
1526
1527 last = p + strlen (p);
1528
1529 /* Find reg_name. */
1530 reg_name = next_field (p, ',', &str, last);
1531
1532 /* Find reg_type. */
1533 reg_type = next_field (str, ',', &str, last);
1534
1535 /* Find reg_flags. */
1536 reg_flags = next_field (str, ',', &str, last);
1537
1538 /* Find reg_num. */
1539 reg_num = next_field (str, ',', &str, last);
1540
1541 fprintf (table, " { \"%s\",\n ", reg_name);
1542
1543 process_i386_operand_type (table, reg_type, stage_registers, "\t",
1544 lineno);
1545
1546 /* Find 32-bit Dwarf2 register number. */
1547 dw2_32_num = next_field (str, ',', &str, last);
1548
1549 /* Find 64-bit Dwarf2 register number. */
1550 dw2_64_num = next_field (str, ',', &str, last);
1551
1552 fprintf (table, ",\n %s, %s, { %s, %s } },\n",
1553 reg_flags, reg_num, dw2_32_num, dw2_64_num);
1554 }
1555
1556 fclose (fp);
1557
1558 fprintf (table, "};\n");
1559
1560 fprintf (table, "\nconst unsigned int i386_regtab_size = ARRAY_SIZE (i386_regtab);\n");
1561 }
1562
1563 static void
1564 process_i386_initializers (void)
1565 {
1566 unsigned int i;
1567 FILE *fp = fopen ("i386-init.h", "w");
1568 char *init;
1569
1570 if (fp == NULL)
1571 fail (_("can't create i386-init.h, errno = %s\n"),
1572 xstrerror (errno));
1573
1574 process_copyright (fp);
1575
1576 for (i = 0; i < ARRAY_SIZE (cpu_flag_init); i++)
1577 {
1578 fprintf (fp, "\n#define %s \\\n", cpu_flag_init[i].name);
1579 init = xstrdup (cpu_flag_init[i].init);
1580 process_i386_cpu_flag (fp, init, 1, "", " ", -1);
1581 free (init);
1582 }
1583
1584 for (i = 0; i < ARRAY_SIZE (operand_type_init); i++)
1585 {
1586 fprintf (fp, "\n\n#define %s \\\n ", operand_type_init[i].name);
1587 init = xstrdup (operand_type_init[i].init);
1588 process_i386_operand_type (fp, init, stage_macros, " ", -1);
1589 free (init);
1590 }
1591 fprintf (fp, "\n");
1592
1593 fclose (fp);
1594 }
1595
1596 /* Program options. */
1597 #define OPTION_SRCDIR 200
1598
1599 struct option long_options[] =
1600 {
1601 {"srcdir", required_argument, NULL, OPTION_SRCDIR},
1602 {"debug", no_argument, NULL, 'd'},
1603 {"version", no_argument, NULL, 'V'},
1604 {"help", no_argument, NULL, 'h'},
1605 {0, no_argument, NULL, 0}
1606 };
1607
1608 static void
1609 print_version (void)
1610 {
1611 printf ("%s: version 1.0\n", program_name);
1612 xexit (0);
1613 }
1614
1615 static void
1616 usage (FILE * stream, int status)
1617 {
1618 fprintf (stream, "Usage: %s [-V | --version] [-d | --debug] [--srcdir=dirname] [--help]\n",
1619 program_name);
1620 xexit (status);
1621 }
1622
1623 int
1624 main (int argc, char **argv)
1625 {
1626 extern int chdir (char *);
1627 char *srcdir = NULL;
1628 int c;
1629 unsigned int i, cpumax;
1630 FILE *table;
1631
1632 program_name = *argv;
1633 xmalloc_set_program_name (program_name);
1634
1635 while ((c = getopt_long (argc, argv, "vVdh", long_options, 0)) != EOF)
1636 switch (c)
1637 {
1638 case OPTION_SRCDIR:
1639 srcdir = optarg;
1640 break;
1641 case 'V':
1642 case 'v':
1643 print_version ();
1644 break;
1645 case 'd':
1646 debug = 1;
1647 break;
1648 case 'h':
1649 case '?':
1650 usage (stderr, 0);
1651 default:
1652 case 0:
1653 break;
1654 }
1655
1656 if (optind != argc)
1657 usage (stdout, 1);
1658
1659 if (srcdir != NULL)
1660 if (chdir (srcdir) != 0)
1661 fail (_("unable to change directory to \"%s\", errno = %s\n"),
1662 srcdir, xstrerror (errno));
1663
1664 /* cpu_flags isn't sorted by position. */
1665 cpumax = 0;
1666 for (i = 0; i < ARRAY_SIZE (cpu_flags); i++)
1667 if (cpu_flags[i].position > cpumax)
1668 cpumax = cpu_flags[i].position;
1669
1670 /* Check the unused bitfield in i386_cpu_flags. */
1671 #ifdef CpuUnused
1672 if ((cpumax - 1) != CpuMax)
1673 fail (_("CpuMax != %d!\n"), cpumax);
1674 #else
1675 if (cpumax != CpuMax)
1676 fail (_("CpuMax != %d!\n"), cpumax);
1677
1678 c = CpuNumOfBits - CpuMax - 1;
1679 if (c)
1680 fail (_("%d unused bits in i386_cpu_flags.\n"), c);
1681 #endif
1682
1683 /* Check the unused bitfield in i386_operand_type. */
1684 #ifndef OTUnused
1685 c = OTNumOfBits - OTMax - 1;
1686 if (c)
1687 fail (_("%d unused bits in i386_operand_type.\n"), c);
1688 #endif
1689
1690 qsort (cpu_flags, ARRAY_SIZE (cpu_flags), sizeof (cpu_flags [0]),
1691 compare);
1692
1693 qsort (opcode_modifiers, ARRAY_SIZE (opcode_modifiers),
1694 sizeof (opcode_modifiers [0]), compare);
1695
1696 qsort (operand_types, ARRAY_SIZE (operand_types),
1697 sizeof (operand_types [0]), compare);
1698
1699 table = fopen ("i386-tbl.h", "w");
1700 if (table == NULL)
1701 fail (_("can't create i386-tbl.h, errno = %s\n"),
1702 xstrerror (errno));
1703
1704 process_copyright (table);
1705
1706 process_i386_opcodes (table);
1707 process_i386_registers (table);
1708 process_i386_initializers ();
1709
1710 fclose (table);
1711
1712 exit (0);
1713 }
This page took 0.111502 seconds and 4 git commands to generate.