X-Git-Url: http://git.efficios.com/?a=blobdiff_plain;f=opcodes%2Fi386-gen.c;h=b853e425e600ad432e65903ad728dc5cb08b84a6;hb=27e4fac77ea57b288ac1e08d936d9a8fdc01a1ee;hp=4a0c0b127cbc7733315ff1c9f44f24cddce76790;hpb=9b201bb5e5daa9b4f783e6ece9cbfbdbf9f1d6f4;p=deliverable%2Fbinutils-gdb.git diff --git a/opcodes/i386-gen.c b/opcodes/i386-gen.c index 4a0c0b127c..b853e425e6 100644 --- a/opcodes/i386-gen.c +++ b/opcodes/i386-gen.c @@ -1,4 +1,4 @@ -/* Copyright 2007 Free Software Foundation, Inc. +/* Copyright (C) 2007-2019 Free Software Foundation, Inc. This file is part of the GNU opcodes library. @@ -17,12 +17,12 @@ Foundation, Inc., 51 Franklin Street - Fifth Floor, Boston, MA 02110-1301, USA. */ +#include "sysdep.h" #include -#include -#include #include #include "getopt.h" #include "libiberty.h" +#include "hashtab.h" #include "safe-ctype.h" #include "i386-opc.h" @@ -30,21 +30,757 @@ #include #define _(String) gettext (String) +/* Build-time checks are preferrable over runtime ones. Use this construct + in preference where possible. */ +#define static_assert(e) ((void)sizeof (struct { int _:1 - 2 * !(e); })) + static const char *program_name = NULL; static int debug = 0; +typedef struct initializer +{ + const char *name; + const char *init; +} initializer; + +static initializer cpu_flag_init[] = +{ + { "CPU_UNKNOWN_FLAGS", + "~(CpuL1OM|CpuK1OM)" }, + { "CPU_GENERIC32_FLAGS", + "Cpu186|Cpu286|Cpu386" }, + { "CPU_GENERIC64_FLAGS", + "CPU_PENTIUMPRO_FLAGS|CpuClflush|CpuSYSCALL|CPU_MMX_FLAGS|CPU_SSE2_FLAGS|CpuLM" }, + { "CPU_NONE_FLAGS", + "0" }, + { "CPU_I186_FLAGS", + "Cpu186" }, + { "CPU_I286_FLAGS", + "CPU_I186_FLAGS|Cpu286" }, + { "CPU_I386_FLAGS", + "CPU_I286_FLAGS|Cpu386" }, + { "CPU_I486_FLAGS", + "CPU_I386_FLAGS|Cpu486" }, + { "CPU_I586_FLAGS", + "CPU_I486_FLAGS|Cpu387|Cpu586" }, + { "CPU_I686_FLAGS", + "CPU_I586_FLAGS|Cpu686|Cpu687|CpuCMOV|CpuFXSR" }, + { "CPU_PENTIUMPRO_FLAGS", + "CPU_I686_FLAGS|CpuNop" }, + { "CPU_P2_FLAGS", + "CPU_PENTIUMPRO_FLAGS|CPU_MMX_FLAGS" }, + { "CPU_P3_FLAGS", + "CPU_P2_FLAGS|CPU_SSE_FLAGS" }, + { "CPU_P4_FLAGS", + "CPU_P3_FLAGS|CpuClflush|CPU_SSE2_FLAGS" }, + { "CPU_NOCONA_FLAGS", + "CPU_GENERIC64_FLAGS|CpuFISTTP|CPU_SSE3_FLAGS|CpuCX16" }, + { "CPU_CORE_FLAGS", + "CPU_P4_FLAGS|CpuFISTTP|CPU_SSE3_FLAGS|CpuCX16" }, + { "CPU_CORE2_FLAGS", + "CPU_NOCONA_FLAGS|CPU_SSSE3_FLAGS" }, + { "CPU_COREI7_FLAGS", + "CPU_CORE2_FLAGS|CPU_SSE4_2_FLAGS|CpuRdtscp" }, + { "CPU_K6_FLAGS", + "Cpu186|Cpu286|Cpu386|Cpu486|Cpu586|CpuSYSCALL|Cpu387|CPU_MMX_FLAGS" }, + { "CPU_K6_2_FLAGS", + "CPU_K6_FLAGS|Cpu3dnow" }, + { "CPU_ATHLON_FLAGS", + "CPU_K6_2_FLAGS|Cpu686|Cpu687|CpuNop|Cpu3dnowA" }, + { "CPU_K8_FLAGS", + "CPU_ATHLON_FLAGS|CpuRdtscp|CPU_SSE2_FLAGS|CpuLM" }, + { "CPU_AMDFAM10_FLAGS", + "CPU_K8_FLAGS|CpuFISTTP|CPU_SSE4A_FLAGS|CpuABM" }, + { "CPU_BDVER1_FLAGS", + "CPU_GENERIC64_FLAGS|CpuFISTTP|CpuRdtscp|CpuCX16|CPU_XOP_FLAGS|CpuABM|CpuLWP|CpuSVME|CpuAES|CpuPCLMUL|CpuLZCNT|CpuPRFCHW" }, + { "CPU_BDVER2_FLAGS", + "CPU_BDVER1_FLAGS|CpuFMA|CpuBMI|CpuTBM|CpuF16C" }, + { "CPU_BDVER3_FLAGS", + "CPU_BDVER2_FLAGS|CpuXsaveopt|CpuFSGSBase" }, + { "CPU_BDVER4_FLAGS", + "CPU_BDVER3_FLAGS|CpuAVX2|CpuMovbe|CpuBMI2|CpuRdRnd|CpuMWAITX" }, + { "CPU_ZNVER1_FLAGS", + "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" }, + { "CPU_ZNVER2_FLAGS", + "CPU_ZNVER1_FLAGS|CpuCLWB|CpuRDPID|CpuRDPRU|CpuMCOMMIT|CpuWBNOINVD" }, + { "CPU_BTVER1_FLAGS", + "CPU_GENERIC64_FLAGS|CpuFISTTP|CpuCX16|CpuRdtscp|CPU_SSSE3_FLAGS|CpuSSE4A|CpuABM|CpuPRFCHW|CpuCX16|CpuClflush|CpuFISTTP|CpuSVME|CpuLZCNT" }, + { "CPU_BTVER2_FLAGS", + "CPU_BTVER1_FLAGS|CPU_AVX_FLAGS|CpuBMI|CpuF16C|CpuAES|CpuPCLMUL|CpuMovbe|CpuXsaveopt|CpuPRFCHW" }, + { "CPU_8087_FLAGS", + "Cpu8087" }, + { "CPU_287_FLAGS", + "Cpu287" }, + { "CPU_387_FLAGS", + "Cpu387" }, + { "CPU_687_FLAGS", + "CPU_387_FLAGS|Cpu687" }, + { "CPU_CMOV_FLAGS", + "CpuCMOV" }, + { "CPU_FXSR_FLAGS", + "CpuFXSR" }, + { "CPU_CLFLUSH_FLAGS", + "CpuClflush" }, + { "CPU_NOP_FLAGS", + "CpuNop" }, + { "CPU_SYSCALL_FLAGS", + "CpuSYSCALL" }, + { "CPU_MMX_FLAGS", + "CpuMMX" }, + { "CPU_SSE_FLAGS", + "CpuSSE" }, + { "CPU_SSE2_FLAGS", + "CPU_SSE_FLAGS|CpuSSE2" }, + { "CPU_SSE3_FLAGS", + "CPU_SSE2_FLAGS|CpuSSE3" }, + { "CPU_SSSE3_FLAGS", + "CPU_SSE3_FLAGS|CpuSSSE3" }, + { "CPU_SSE4_1_FLAGS", + "CPU_SSSE3_FLAGS|CpuSSE4_1" }, + { "CPU_SSE4_2_FLAGS", + "CPU_SSE4_1_FLAGS|CpuSSE4_2" }, + { "CPU_VMX_FLAGS", + "CpuVMX" }, + { "CPU_SMX_FLAGS", + "CpuSMX" }, + { "CPU_XSAVE_FLAGS", + "CpuXsave" }, + { "CPU_XSAVEOPT_FLAGS", + "CPU_XSAVE_FLAGS|CpuXsaveopt" }, + { "CPU_AES_FLAGS", + "CPU_SSE2_FLAGS|CpuAES" }, + { "CPU_PCLMUL_FLAGS", + "CPU_SSE2_FLAGS|CpuPCLMUL" }, + { "CPU_FMA_FLAGS", + "CPU_AVX_FLAGS|CpuFMA" }, + { "CPU_FMA4_FLAGS", + "CPU_AVX_FLAGS|CpuFMA4" }, + { "CPU_XOP_FLAGS", + "CPU_SSE4A_FLAGS|CPU_FMA4_FLAGS|CpuXOP" }, + { "CPU_LWP_FLAGS", + "CPU_XSAVE_FLAGS|CpuLWP" }, + { "CPU_BMI_FLAGS", + "CpuBMI" }, + { "CPU_TBM_FLAGS", + "CpuTBM" }, + { "CPU_MOVBE_FLAGS", + "CpuMovbe" }, + { "CPU_CX16_FLAGS", + "CpuCX16" }, + { "CPU_RDTSCP_FLAGS", + "CpuRdtscp" }, + { "CPU_EPT_FLAGS", + "CpuEPT" }, + { "CPU_FSGSBASE_FLAGS", + "CpuFSGSBase" }, + { "CPU_RDRND_FLAGS", + "CpuRdRnd" }, + { "CPU_F16C_FLAGS", + "CPU_AVX_FLAGS|CpuF16C" }, + { "CPU_BMI2_FLAGS", + "CpuBMI2" }, + { "CPU_LZCNT_FLAGS", + "CpuLZCNT" }, + { "CPU_HLE_FLAGS", + "CpuHLE" }, + { "CPU_RTM_FLAGS", + "CpuRTM" }, + { "CPU_INVPCID_FLAGS", + "CpuINVPCID" }, + { "CPU_VMFUNC_FLAGS", + "CpuVMFUNC" }, + { "CPU_3DNOW_FLAGS", + "CPU_MMX_FLAGS|Cpu3dnow" }, + { "CPU_3DNOWA_FLAGS", + "CPU_3DNOW_FLAGS|Cpu3dnowA" }, + { "CPU_PADLOCK_FLAGS", + "CpuPadLock" }, + { "CPU_SVME_FLAGS", + "CpuSVME" }, + { "CPU_SSE4A_FLAGS", + "CPU_SSE3_FLAGS|CpuSSE4a" }, + { "CPU_ABM_FLAGS", + "CpuABM" }, + { "CPU_AVX_FLAGS", + "CPU_SSE4_2_FLAGS|CPU_XSAVE_FLAGS|CpuAVX" }, + { "CPU_AVX2_FLAGS", + "CPU_AVX_FLAGS|CpuAVX2" }, + { "CPU_AVX512F_FLAGS", + "CPU_AVX2_FLAGS|CpuAVX512F" }, + { "CPU_AVX512CD_FLAGS", + "CPU_AVX512F_FLAGS|CpuAVX512CD" }, + { "CPU_AVX512ER_FLAGS", + "CPU_AVX512F_FLAGS|CpuAVX512ER" }, + { "CPU_AVX512PF_FLAGS", + "CPU_AVX512F_FLAGS|CpuAVX512PF" }, + { "CPU_AVX512DQ_FLAGS", + "CPU_AVX512F_FLAGS|CpuAVX512DQ" }, + { "CPU_AVX512BW_FLAGS", + "CPU_AVX512F_FLAGS|CpuAVX512BW" }, + { "CPU_AVX512VL_FLAGS", + "CPU_AVX512F_FLAGS|CpuAVX512VL" }, + { "CPU_AVX512IFMA_FLAGS", + "CPU_AVX512F_FLAGS|CpuAVX512IFMA" }, + { "CPU_AVX512VBMI_FLAGS", + "CPU_AVX512F_FLAGS|CpuAVX512VBMI" }, + { "CPU_AVX512_4FMAPS_FLAGS", + "CPU_AVX512F_FLAGS|CpuAVX512_4FMAPS" }, + { "CPU_AVX512_4VNNIW_FLAGS", + "CPU_AVX512F_FLAGS|CpuAVX512_4VNNIW" }, + { "CPU_AVX512_VPOPCNTDQ_FLAGS", + "CPU_AVX512F_FLAGS|CpuAVX512_VPOPCNTDQ" }, + { "CPU_AVX512_VBMI2_FLAGS", + "CPU_AVX512F_FLAGS|CpuAVX512_VBMI2" }, + { "CPU_AVX512_VNNI_FLAGS", + "CPU_AVX512F_FLAGS|CpuAVX512_VNNI" }, + { "CPU_AVX512_BITALG_FLAGS", + "CPU_AVX512F_FLAGS|CpuAVX512_BITALG" }, + { "CPU_AVX512_BF16_FLAGS", + "CPU_AVX512F_FLAGS|CpuAVX512_BF16" }, + { "CPU_L1OM_FLAGS", + "unknown" }, + { "CPU_K1OM_FLAGS", + "unknown" }, + { "CPU_IAMCU_FLAGS", + "Cpu186|Cpu286|Cpu386|Cpu486|Cpu586" }, + { "CPU_ADX_FLAGS", + "CpuADX" }, + { "CPU_RDSEED_FLAGS", + "CpuRdSeed" }, + { "CPU_PRFCHW_FLAGS", + "CpuPRFCHW" }, + { "CPU_SMAP_FLAGS", + "CpuSMAP" }, + { "CPU_MPX_FLAGS", + "CPU_XSAVE_FLAGS|CpuMPX" }, + { "CPU_SHA_FLAGS", + "CPU_SSE2_FLAGS|CpuSHA" }, + { "CPU_CLFLUSHOPT_FLAGS", + "CpuClflushOpt" }, + { "CPU_XSAVES_FLAGS", + "CPU_XSAVE_FLAGS|CpuXSAVES" }, + { "CPU_XSAVEC_FLAGS", + "CPU_XSAVE_FLAGS|CpuXSAVEC" }, + { "CPU_PREFETCHWT1_FLAGS", + "CpuPREFETCHWT1" }, + { "CPU_SE1_FLAGS", + "CpuSE1" }, + { "CPU_CLWB_FLAGS", + "CpuCLWB" }, + { "CPU_CLZERO_FLAGS", + "CpuCLZERO" }, + { "CPU_MWAITX_FLAGS", + "CpuMWAITX" }, + { "CPU_OSPKE_FLAGS", + "CPU_XSAVE_FLAGS|CpuOSPKE" }, + { "CPU_RDPID_FLAGS", + "CpuRDPID" }, + { "CPU_PTWRITE_FLAGS", + "CpuPTWRITE" }, + { "CPU_IBT_FLAGS", + "CpuIBT" }, + { "CPU_SHSTK_FLAGS", + "CpuSHSTK" }, + { "CPU_GFNI_FLAGS", + "CpuGFNI" }, + { "CPU_VAES_FLAGS", + "CpuVAES" }, + { "CPU_VPCLMULQDQ_FLAGS", + "CpuVPCLMULQDQ" }, + { "CPU_WBNOINVD_FLAGS", + "CpuWBNOINVD" }, + { "CPU_PCONFIG_FLAGS", + "CpuPCONFIG" }, + { "CPU_WAITPKG_FLAGS", + "CpuWAITPKG" }, + { "CPU_CLDEMOTE_FLAGS", + "CpuCLDEMOTE" }, + { "CPU_MOVDIRI_FLAGS", + "CpuMOVDIRI" }, + { "CPU_MOVDIR64B_FLAGS", + "CpuMOVDIR64B" }, + { "CPU_ENQCMD_FLAGS", + "CpuENQCMD" }, + { "CPU_AVX512_VP2INTERSECT_FLAGS", + "CpuAVX512_VP2INTERSECT" }, + { "CPU_RDPRU_FLAGS", + "CpuRDPRU" }, + { "CPU_MCOMMIT_FLAGS", + "CpuMCOMMIT" }, + { "CPU_ANY_X87_FLAGS", + "CPU_ANY_287_FLAGS|Cpu8087" }, + { "CPU_ANY_287_FLAGS", + "CPU_ANY_387_FLAGS|Cpu287" }, + { "CPU_ANY_387_FLAGS", + "CPU_ANY_687_FLAGS|Cpu387" }, + { "CPU_ANY_687_FLAGS", + "Cpu687|CpuFISTTP" }, + { "CPU_ANY_CMOV_FLAGS", + "CpuCMOV" }, + { "CPU_ANY_FXSR_FLAGS", + "CpuFXSR" }, + { "CPU_ANY_MMX_FLAGS", + "CPU_3DNOWA_FLAGS" }, + { "CPU_ANY_SSE_FLAGS", + "CPU_ANY_SSE2_FLAGS|CpuSSE|CpuSSE4a" }, + { "CPU_ANY_SSE2_FLAGS", + "CPU_ANY_SSE3_FLAGS|CpuSSE2" }, + { "CPU_ANY_SSE3_FLAGS", + "CPU_ANY_SSSE3_FLAGS|CpuSSE3" }, + { "CPU_ANY_SSSE3_FLAGS", + "CPU_ANY_SSE4_1_FLAGS|CpuSSSE3" }, + { "CPU_ANY_SSE4_1_FLAGS", + "CPU_ANY_SSE4_2_FLAGS|CpuSSE4_1" }, + { "CPU_ANY_SSE4_2_FLAGS", + "CpuSSE4_2" }, + { "CPU_ANY_AVX_FLAGS", + "CPU_ANY_AVX2_FLAGS|CpuF16C|CpuFMA|CpuFMA4|CpuXOP|CpuAVX" }, + { "CPU_ANY_AVX2_FLAGS", + "CPU_ANY_AVX512F_FLAGS|CpuAVX2" }, + { "CPU_ANY_AVX512F_FLAGS", + "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" }, + { "CPU_ANY_AVX512CD_FLAGS", + "CpuAVX512CD" }, + { "CPU_ANY_AVX512ER_FLAGS", + "CpuAVX512ER" }, + { "CPU_ANY_AVX512PF_FLAGS", + "CpuAVX512PF" }, + { "CPU_ANY_AVX512DQ_FLAGS", + "CpuAVX512DQ" }, + { "CPU_ANY_AVX512BW_FLAGS", + "CpuAVX512BW" }, + { "CPU_ANY_AVX512VL_FLAGS", + "CpuAVX512VL" }, + { "CPU_ANY_AVX512IFMA_FLAGS", + "CpuAVX512IFMA" }, + { "CPU_ANY_AVX512VBMI_FLAGS", + "CpuAVX512VBMI" }, + { "CPU_ANY_AVX512_4FMAPS_FLAGS", + "CpuAVX512_4FMAPS" }, + { "CPU_ANY_AVX512_4VNNIW_FLAGS", + "CpuAVX512_4VNNIW" }, + { "CPU_ANY_AVX512_VPOPCNTDQ_FLAGS", + "CpuAVX512_VPOPCNTDQ" }, + { "CPU_ANY_IBT_FLAGS", + "CpuIBT" }, + { "CPU_ANY_SHSTK_FLAGS", + "CpuSHSTK" }, + { "CPU_ANY_AVX512_VBMI2_FLAGS", + "CpuAVX512_VBMI2" }, + { "CPU_ANY_AVX512_VNNI_FLAGS", + "CpuAVX512_VNNI" }, + { "CPU_ANY_AVX512_BITALG_FLAGS", + "CpuAVX512_BITALG" }, + { "CPU_ANY_AVX512_BF16_FLAGS", + "CpuAVX512_BF16" }, + { "CPU_ANY_MOVDIRI_FLAGS", + "CpuMOVDIRI" }, + { "CPU_ANY_MOVDIR64B_FLAGS", + "CpuMOVDIR64B" }, + { "CPU_ANY_ENQCMD_FLAGS", + "CpuENQCMD" }, + { "CPU_ANY_AVX512_VP2INTERSECT_FLAGS", + "CpuAVX512_VP2INTERSECT" }, +}; + +static initializer operand_type_init[] = +{ + { "OPERAND_TYPE_NONE", + "0" }, + { "OPERAND_TYPE_REG8", + "Class=Reg|Byte" }, + { "OPERAND_TYPE_REG16", + "Class=Reg|Word" }, + { "OPERAND_TYPE_REG32", + "Class=Reg|Dword" }, + { "OPERAND_TYPE_REG64", + "Class=Reg|Qword" }, + { "OPERAND_TYPE_IMM1", + "Imm1" }, + { "OPERAND_TYPE_IMM8", + "Imm8" }, + { "OPERAND_TYPE_IMM8S", + "Imm8S" }, + { "OPERAND_TYPE_IMM16", + "Imm16" }, + { "OPERAND_TYPE_IMM32", + "Imm32" }, + { "OPERAND_TYPE_IMM32S", + "Imm32S" }, + { "OPERAND_TYPE_IMM64", + "Imm64" }, + { "OPERAND_TYPE_BASEINDEX", + "BaseIndex" }, + { "OPERAND_TYPE_DISP8", + "Disp8" }, + { "OPERAND_TYPE_DISP16", + "Disp16" }, + { "OPERAND_TYPE_DISP32", + "Disp32" }, + { "OPERAND_TYPE_DISP32S", + "Disp32S" }, + { "OPERAND_TYPE_DISP64", + "Disp64" }, + { "OPERAND_TYPE_INOUTPORTREG", + "Instance=RegD|Word" }, + { "OPERAND_TYPE_SHIFTCOUNT", + "Instance=RegC|Byte" }, + { "OPERAND_TYPE_CONTROL", + "Class=RegCR" }, + { "OPERAND_TYPE_TEST", + "Class=RegTR" }, + { "OPERAND_TYPE_DEBUG", + "Class=RegDR" }, + { "OPERAND_TYPE_FLOATREG", + "Class=Reg|Tbyte" }, + { "OPERAND_TYPE_FLOATACC", + "Instance=Accum|Tbyte" }, + { "OPERAND_TYPE_SREG", + "Class=SReg" }, + { "OPERAND_TYPE_REGMMX", + "Class=RegMMX" }, + { "OPERAND_TYPE_REGXMM", + "Class=RegSIMD|Xmmword" }, + { "OPERAND_TYPE_REGYMM", + "Class=RegSIMD|Ymmword" }, + { "OPERAND_TYPE_REGZMM", + "Class=RegSIMD|Zmmword" }, + { "OPERAND_TYPE_REGMASK", + "Class=RegMask" }, + { "OPERAND_TYPE_REGBND", + "Class=RegBND" }, + { "OPERAND_TYPE_ACC8", + "Instance=Accum|Byte" }, + { "OPERAND_TYPE_ACC16", + "Instance=Accum|Word" }, + { "OPERAND_TYPE_ACC32", + "Instance=Accum|Dword" }, + { "OPERAND_TYPE_ACC64", + "Instance=Accum|Qword" }, + { "OPERAND_TYPE_DISP16_32", + "Disp16|Disp32" }, + { "OPERAND_TYPE_ANYDISP", + "Disp8|Disp16|Disp32|Disp32S|Disp64" }, + { "OPERAND_TYPE_IMM16_32", + "Imm16|Imm32" }, + { "OPERAND_TYPE_IMM16_32S", + "Imm16|Imm32S" }, + { "OPERAND_TYPE_IMM16_32_32S", + "Imm16|Imm32|Imm32S" }, + { "OPERAND_TYPE_IMM32_64", + "Imm32|Imm64" }, + { "OPERAND_TYPE_IMM32_32S_DISP32", + "Imm32|Imm32S|Disp32" }, + { "OPERAND_TYPE_IMM64_DISP64", + "Imm64|Disp64" }, + { "OPERAND_TYPE_IMM32_32S_64_DISP32", + "Imm32|Imm32S|Imm64|Disp32" }, + { "OPERAND_TYPE_IMM32_32S_64_DISP32_64", + "Imm32|Imm32S|Imm64|Disp32|Disp64" }, + { "OPERAND_TYPE_ANYIMM", + "Imm1|Imm8|Imm8S|Imm16|Imm32|Imm32S|Imm64" }, +}; + +typedef struct bitfield +{ + int position; + int value; + const char *name; +} bitfield; + +#define BITFIELD(n) { n, 0, #n } + +static bitfield cpu_flags[] = +{ + BITFIELD (Cpu186), + BITFIELD (Cpu286), + BITFIELD (Cpu386), + BITFIELD (Cpu486), + BITFIELD (Cpu586), + BITFIELD (Cpu686), + BITFIELD (CpuCMOV), + BITFIELD (CpuFXSR), + BITFIELD (CpuClflush), + BITFIELD (CpuNop), + BITFIELD (CpuSYSCALL), + BITFIELD (Cpu8087), + BITFIELD (Cpu287), + BITFIELD (Cpu387), + BITFIELD (Cpu687), + BITFIELD (CpuFISTTP), + BITFIELD (CpuMMX), + BITFIELD (CpuSSE), + BITFIELD (CpuSSE2), + BITFIELD (CpuSSE3), + BITFIELD (CpuSSSE3), + BITFIELD (CpuSSE4_1), + BITFIELD (CpuSSE4_2), + BITFIELD (CpuAVX), + BITFIELD (CpuAVX2), + BITFIELD (CpuAVX512F), + BITFIELD (CpuAVX512CD), + BITFIELD (CpuAVX512ER), + BITFIELD (CpuAVX512PF), + BITFIELD (CpuAVX512VL), + BITFIELD (CpuAVX512DQ), + BITFIELD (CpuAVX512BW), + BITFIELD (CpuL1OM), + BITFIELD (CpuK1OM), + BITFIELD (CpuIAMCU), + BITFIELD (CpuSSE4a), + BITFIELD (Cpu3dnow), + BITFIELD (Cpu3dnowA), + BITFIELD (CpuPadLock), + BITFIELD (CpuSVME), + BITFIELD (CpuVMX), + BITFIELD (CpuSMX), + BITFIELD (CpuABM), + BITFIELD (CpuXsave), + BITFIELD (CpuXsaveopt), + BITFIELD (CpuAES), + BITFIELD (CpuPCLMUL), + BITFIELD (CpuFMA), + BITFIELD (CpuFMA4), + BITFIELD (CpuXOP), + BITFIELD (CpuLWP), + BITFIELD (CpuBMI), + BITFIELD (CpuTBM), + BITFIELD (CpuLM), + BITFIELD (CpuMovbe), + BITFIELD (CpuCX16), + BITFIELD (CpuEPT), + BITFIELD (CpuRdtscp), + BITFIELD (CpuFSGSBase), + BITFIELD (CpuRdRnd), + BITFIELD (CpuF16C), + BITFIELD (CpuBMI2), + BITFIELD (CpuLZCNT), + BITFIELD (CpuHLE), + BITFIELD (CpuRTM), + BITFIELD (CpuINVPCID), + BITFIELD (CpuVMFUNC), + BITFIELD (CpuRDSEED), + BITFIELD (CpuADX), + BITFIELD (CpuPRFCHW), + BITFIELD (CpuSMAP), + BITFIELD (CpuSHA), + BITFIELD (CpuClflushOpt), + BITFIELD (CpuXSAVES), + BITFIELD (CpuXSAVEC), + BITFIELD (CpuPREFETCHWT1), + BITFIELD (CpuSE1), + BITFIELD (CpuCLWB), + BITFIELD (Cpu64), + BITFIELD (CpuNo64), + BITFIELD (CpuMPX), + BITFIELD (CpuAVX512IFMA), + BITFIELD (CpuAVX512VBMI), + BITFIELD (CpuAVX512_4FMAPS), + BITFIELD (CpuAVX512_4VNNIW), + BITFIELD (CpuAVX512_VPOPCNTDQ), + BITFIELD (CpuAVX512_VBMI2), + BITFIELD (CpuAVX512_VNNI), + BITFIELD (CpuAVX512_BITALG), + BITFIELD (CpuAVX512_BF16), + BITFIELD (CpuAVX512_VP2INTERSECT), + BITFIELD (CpuMWAITX), + BITFIELD (CpuCLZERO), + BITFIELD (CpuOSPKE), + BITFIELD (CpuRDPID), + BITFIELD (CpuPTWRITE), + BITFIELD (CpuIBT), + BITFIELD (CpuSHSTK), + BITFIELD (CpuGFNI), + BITFIELD (CpuVAES), + BITFIELD (CpuVPCLMULQDQ), + BITFIELD (CpuWBNOINVD), + BITFIELD (CpuPCONFIG), + BITFIELD (CpuWAITPKG), + BITFIELD (CpuCLDEMOTE), + BITFIELD (CpuMOVDIRI), + BITFIELD (CpuMOVDIR64B), + BITFIELD (CpuENQCMD), + BITFIELD (CpuRDPRU), + BITFIELD (CpuMCOMMIT), +#ifdef CpuUnused + BITFIELD (CpuUnused), +#endif +}; + +static bitfield opcode_modifiers[] = +{ + BITFIELD (D), + BITFIELD (W), + BITFIELD (Load), + BITFIELD (Modrm), + BITFIELD (ShortForm), + BITFIELD (Jump), + BITFIELD (FloatMF), + BITFIELD (FloatR), + BITFIELD (Size), + BITFIELD (CheckRegSize), + BITFIELD (IgnoreSize), + BITFIELD (DefaultSize), + BITFIELD (Anysize), + BITFIELD (No_bSuf), + BITFIELD (No_wSuf), + BITFIELD (No_lSuf), + BITFIELD (No_sSuf), + BITFIELD (No_qSuf), + BITFIELD (No_ldSuf), + BITFIELD (FWait), + BITFIELD (IsString), + BITFIELD (RegMem), + BITFIELD (BNDPrefixOk), + BITFIELD (NoTrackPrefixOk), + BITFIELD (IsLockable), + BITFIELD (RegKludge), + BITFIELD (Implicit1stXmm0), + BITFIELD (RepPrefixOk), + BITFIELD (HLEPrefixOk), + BITFIELD (ToDword), + BITFIELD (ToQword), + BITFIELD (AddrPrefixOpReg), + BITFIELD (IsPrefix), + BITFIELD (ImmExt), + BITFIELD (NoRex64), + BITFIELD (Rex64), + BITFIELD (Ugh), + BITFIELD (Vex), + BITFIELD (VexVVVV), + BITFIELD (VexW), + BITFIELD (VexOpcode), + BITFIELD (VexSources), + BITFIELD (VecSIB), + BITFIELD (SSE2AVX), + BITFIELD (NoAVX), + BITFIELD (EVex), + BITFIELD (Masking), + BITFIELD (Broadcast), + BITFIELD (StaticRounding), + BITFIELD (SAE), + BITFIELD (Disp8MemShift), + BITFIELD (NoDefMask), + BITFIELD (ImplicitQuadGroup), + BITFIELD (Optimize), + BITFIELD (ATTMnemonic), + BITFIELD (ATTSyntax), + BITFIELD (IntelSyntax), + BITFIELD (AMD64), + BITFIELD (Intel64), +}; + +#define CLASS(n) #n, n + +static const struct { + const char *name; + enum operand_class value; +} operand_classes[] = { + CLASS (Reg), + CLASS (SReg), + CLASS (RegCR), + CLASS (RegDR), + CLASS (RegTR), + CLASS (RegMMX), + CLASS (RegSIMD), + CLASS (RegMask), + CLASS (RegBND), +}; + +#undef CLASS + +#define INSTANCE(n) #n, n + +static const struct { + const char *name; + enum operand_instance value; +} operand_instances[] = { + INSTANCE (Accum), + INSTANCE (RegC), + INSTANCE (RegD), + INSTANCE (RegB), +}; + +#undef INSTANCE + +static bitfield operand_types[] = +{ + BITFIELD (Imm1), + BITFIELD (Imm8), + BITFIELD (Imm8S), + BITFIELD (Imm16), + BITFIELD (Imm32), + BITFIELD (Imm32S), + BITFIELD (Imm64), + BITFIELD (BaseIndex), + BITFIELD (Disp8), + BITFIELD (Disp16), + BITFIELD (Disp32), + BITFIELD (Disp32S), + BITFIELD (Disp64), + BITFIELD (Byte), + BITFIELD (Word), + BITFIELD (Dword), + BITFIELD (Fword), + BITFIELD (Qword), + BITFIELD (Tbyte), + BITFIELD (Xmmword), + BITFIELD (Ymmword), + BITFIELD (Zmmword), + BITFIELD (Unspecified), +#ifdef OTUnused + BITFIELD (OTUnused), +#endif +}; + +static const char *filename; +static i386_cpu_flags active_cpu_flags; +static int active_isstring; + +static int +compare (const void *x, const void *y) +{ + const bitfield *xp = (const bitfield *) x; + const bitfield *yp = (const bitfield *) y; + return xp->position - yp->position; +} + static void fail (const char *message, ...) { va_list args; - + va_start (args, message); - fprintf (stderr, _("%s: Error: "), program_name); + fprintf (stderr, _("%s: error: "), program_name); vfprintf (stderr, message, args); va_end (args); xexit (1); } +static void +process_copyright (FILE *fp) +{ + fprintf (fp, "/* This file is automatically generated by i386-gen. Do not edit! */\n\ +/* Copyright (C) 2007-2019 Free Software Foundation, Inc.\n\ +\n\ + This file is part of the GNU opcodes library.\n\ +\n\ + This library is free software; you can redistribute it and/or modify\n\ + it under the terms of the GNU General Public License as published by\n\ + the Free Software Foundation; either version 3, or (at your option)\n\ + any later version.\n\ +\n\ + It is distributed in the hope that it will be useful, but WITHOUT\n\ + ANY WARRANTY; without even the implied warranty of MERCHANTABILITY\n\ + or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public\n\ + License for more details.\n\ +\n\ + You should have received a copy of the GNU General Public License\n\ + along with this program; if not, write to the Free Software\n\ + Foundation, Inc., 51 Franklin Street - Fifth Floor, Boston,\n\ + MA 02110-1301, USA. */\n"); +} + /* Remove leading white spaces. */ static char * @@ -76,197 +812,741 @@ remove_trailing_whitespaces (char *str) while (last != 0); } -/* Find next field separated by '.' and terminate it. Return a +/* Find next field separated by SEP and terminate it. Return a pointer to the one after it. */ static char * -next_field (char *str, char **next) +next_field (char *str, char sep, char **next, char *last) { char *p; p = remove_leading_whitespaces (str); - for (str = p; *str != ',' && *str != '\0'; str++); + for (str = p; *str != sep && *str != '\0'; str++); *str = '\0'; remove_trailing_whitespaces (p); - *next = str + 1; + *next = str + 1; + + if (p >= last) + abort (); return p; } +static void set_bitfield (char *, bitfield *, int, unsigned int, int); + +static int +set_bitfield_from_cpu_flag_init (char *f, bitfield *array, unsigned int size, + int lineno) +{ + char *str, *next, *last; + unsigned int i; + + for (i = 0; i < ARRAY_SIZE (cpu_flag_init); i++) + if (strcmp (cpu_flag_init[i].name, f) == 0) + { + /* Turn on selective bits. */ + char *init = xstrdup (cpu_flag_init[i].init); + last = init + strlen (init); + for (next = init; next && next < last; ) + { + str = next_field (next, '|', &next, last); + if (str) + set_bitfield (str, array, 1, size, lineno); + } + free (init); + return 0; + } + + return -1; +} + static void -process_i386_opcodes (void) +set_bitfield (char *f, bitfield *array, int value, + unsigned int size, int lineno) { - FILE *fp = fopen ("i386-opc.tbl", "r"); - char buf[2048]; unsigned int i; - char *str, *p, *last; - char *name, *operands, *base_opcode, *extension_opcode; - char *cpu_flags, *opcode_modifier, *operand_types [MAX_OPERANDS]; - if (fp == NULL) - fail (_("can't find i386-opc.tbl for reading\n")); + if (strcmp (f, "CpuFP") == 0) + { + set_bitfield("Cpu387", array, value, size, lineno); + set_bitfield("Cpu287", array, value, size, lineno); + f = "Cpu8087"; + } + else if (strcmp (f, "Mmword") == 0) + f= "Qword"; + else if (strcmp (f, "Oword") == 0) + f= "Xmmword"; - printf ("\n/* i386 opcode table. */\n\n"); - printf ("const template i386_optab[] =\n{\n"); + for (i = 0; i < size; i++) + if (strcasecmp (array[i].name, f) == 0) + { + array[i].value = value; + return; + } - while (!feof (fp)) + if (value) { - if (fgets (buf, sizeof (buf), fp) == NULL) - break; + const char *v = strchr (f, '='); - p = remove_leading_whitespaces (buf); + if (v) + { + size_t n = v - f; + char *end; + + for (i = 0; i < size; i++) + if (strncasecmp (array[i].name, f, n) == 0) + { + value = strtol (v + 1, &end, 0); + if (*end == '\0') + { + array[i].value = value; + return; + } + break; + } + } + } - /* Skip comments. */ - str = strstr (p, "//"); - if (str != NULL) - str[0] = '\0'; + /* Handle CPU_XXX_FLAGS. */ + if (value == 1 && !set_bitfield_from_cpu_flag_init (f, array, size, lineno)) + return; - /* Remove trailing white spaces. */ - remove_trailing_whitespaces (p); + if (lineno != -1) + fail (_("%s: %d: unknown bitfield: %s\n"), filename, lineno, f); + else + fail (_("unknown bitfield: %s\n"), f); +} - switch (p[0]) +static void +output_cpu_flags (FILE *table, bitfield *flags, unsigned int size, + int macro, const char *comma, const char *indent) +{ + unsigned int i; + + memset (&active_cpu_flags, 0, sizeof(active_cpu_flags)); + + fprintf (table, "%s{ { ", indent); + + for (i = 0; i < size - 1; i++) + { + if (((i + 1) % 20) != 0) + fprintf (table, "%d, ", flags[i].value); + else + fprintf (table, "%d,", flags[i].value); + if (((i + 1) % 20) == 0) { - case '#': - printf ("%s\n", p); - case '\0': - continue; - break; - default: - break; + /* We need \\ for macro. */ + if (macro) + fprintf (table, " \\\n %s", indent); + else + fprintf (table, "\n %s", indent); } + if (flags[i].value) + active_cpu_flags.array[i / 32] |= 1U << (i % 32); + } - last = p + strlen (p); + fprintf (table, "%d } }%s\n", flags[i].value, comma); +} - /* Find name. */ - name = next_field (p, &str); +static void +process_i386_cpu_flag (FILE *table, char *flag, int macro, + const char *comma, const char *indent, + int lineno) +{ + char *str, *next, *last; + unsigned int i; + bitfield flags [ARRAY_SIZE (cpu_flags)]; - if (str >= last) - abort (); + /* Copy the default cpu flags. */ + memcpy (flags, cpu_flags, sizeof (cpu_flags)); - /* Find number of operands. */ - operands = next_field (str, &str); + if (strcasecmp (flag, "unknown") == 0) + { + /* We turn on everything except for cpu64 in case of + CPU_UNKNOWN_FLAGS. */ + for (i = 0; i < ARRAY_SIZE (flags); i++) + if (flags[i].position != Cpu64) + flags[i].value = 1; + } + else if (flag[0] == '~') + { + last = flag + strlen (flag); - if (str >= last) - abort (); + if (flag[1] == '(') + { + last -= 1; + next = flag + 2; + if (*last != ')') + fail (_("%s: %d: missing `)' in bitfield: %s\n"), filename, + lineno, flag); + *last = '\0'; + } + else + next = flag + 1; - /* Find base_opcode. */ - base_opcode = next_field (str, &str); + /* First we turn on everything except for cpu64. */ + for (i = 0; i < ARRAY_SIZE (flags); i++) + if (flags[i].position != Cpu64) + flags[i].value = 1; - if (str >= last) - abort (); + /* Turn off selective bits. */ + for (; next && next < last; ) + { + str = next_field (next, '|', &next, last); + if (str) + set_bitfield (str, flags, 0, ARRAY_SIZE (flags), lineno); + } + } + else if (strcmp (flag, "0")) + { + /* Turn on selective bits. */ + last = flag + strlen (flag); + for (next = flag; next && next < last; ) + { + str = next_field (next, '|', &next, last); + if (str) + set_bitfield (str, flags, 1, ARRAY_SIZE (flags), lineno); + } + } - /* Find extension_opcode. */ - extension_opcode = next_field (str, &str); + output_cpu_flags (table, flags, ARRAY_SIZE (flags), macro, + comma, indent); +} - if (str >= last) - abort (); +static void +output_opcode_modifier (FILE *table, bitfield *modifier, unsigned int size) +{ + unsigned int i; - /* Find cpu_flags. */ - cpu_flags = next_field (str, &str); + fprintf (table, " { "); - if (str >= last) - abort (); + for (i = 0; i < size - 1; i++) + { + if (((i + 1) % 20) != 0) + fprintf (table, "%d, ", modifier[i].value); + else + fprintf (table, "%d,", modifier[i].value); + if (((i + 1) % 20) == 0) + fprintf (table, "\n "); + } - /* Find opcode_modifier. */ - opcode_modifier = next_field (str, &str); + fprintf (table, "%d },\n", modifier[i].value); +} - if (str >= last) - abort (); +static int +adjust_broadcast_modifier (char **opnd) +{ + char *str, *next, *last, *op; + int bcst_type = INT_MAX; + + /* Skip the immediate operand. */ + op = opnd[0]; + if (strcasecmp(op, "Imm8") == 0) + op = opnd[1]; + + op = xstrdup (op); + last = op + strlen (op); + for (next = op; next && next < last; ) + { + str = next_field (next, '|', &next, last); + if (str) + { + if (strcasecmp(str, "Byte") == 0) + { + /* The smalest broadcast type, no need to check + further. */ + bcst_type = BYTE_BROADCAST; + break; + } + else if (strcasecmp(str, "Word") == 0) + { + if (bcst_type > WORD_BROADCAST) + bcst_type = WORD_BROADCAST; + } + else if (strcasecmp(str, "Dword") == 0) + { + if (bcst_type > DWORD_BROADCAST) + bcst_type = DWORD_BROADCAST; + } + else if (strcasecmp(str, "Qword") == 0) + { + if (bcst_type > QWORD_BROADCAST) + bcst_type = QWORD_BROADCAST; + } + } + } + free (op); + + if (bcst_type == INT_MAX) + fail (_("unknown broadcast operand: %s\n"), op); + + return bcst_type; +} + +static void +process_i386_opcode_modifier (FILE *table, char *mod, char **opnd, int lineno) +{ + char *str, *next, *last; + bitfield modifiers [ARRAY_SIZE (opcode_modifiers)]; + + active_isstring = 0; + + /* Copy the default opcode modifier. */ + memcpy (modifiers, opcode_modifiers, sizeof (modifiers)); + + if (strcmp (mod, "0")) + { + unsigned int have_w = 0, bwlq_suf = 0xf; + + last = mod + strlen (mod); + for (next = mod; next && next < last; ) + { + str = next_field (next, '|', &next, last); + if (str) + { + int val = 1; + if (strcasecmp(str, "Broadcast") == 0) + val = adjust_broadcast_modifier (opnd); + set_bitfield (str, modifiers, val, ARRAY_SIZE (modifiers), + lineno); + if (strcasecmp(str, "IsString") == 0) + active_isstring = 1; + + if (strcasecmp(str, "W") == 0) + have_w = 1; + + if (strcasecmp(str, "No_bSuf") == 0) + bwlq_suf &= ~1; + if (strcasecmp(str, "No_wSuf") == 0) + bwlq_suf &= ~2; + if (strcasecmp(str, "No_lSuf") == 0) + bwlq_suf &= ~4; + if (strcasecmp(str, "No_qSuf") == 0) + bwlq_suf &= ~8; + } + } + + if (have_w && !bwlq_suf) + fail ("%s: %d: stray W modifier\n", filename, lineno); + if (have_w && !(bwlq_suf & 1)) + fprintf (stderr, "%s: %d: W modifier without Byte operand(s)\n", + filename, lineno); + if (have_w && !(bwlq_suf & ~1)) + fprintf (stderr, + "%s: %d: W modifier without Word/Dword/Qword operand(s)\n", + filename, lineno); + } + output_opcode_modifier (table, modifiers, ARRAY_SIZE (modifiers)); +} - /* Remove the first {. */ - str = remove_leading_whitespaces (str); - if (*str != '{') - abort (); - str = remove_leading_whitespaces (str + 1); +enum stage { + stage_macros, + stage_opcodes, + stage_registers, +}; - i = strlen (str); +static void +output_operand_type (FILE *table, enum operand_class class, + enum operand_instance instance, + const bitfield *types, unsigned int size, + enum stage stage, const char *indent) +{ + unsigned int i; - /* There are at least "X}". */ - if (i < 2) - abort (); + fprintf (table, "{ { %d, %d, ", class, instance); - /* Remove trailing white spaces and }. */ - do + for (i = 0; i < size - 1; i++) + { + if (((i + 3) % 20) != 0) + fprintf (table, "%d, ", types[i].value); + else + fprintf (table, "%d,", types[i].value); + if (((i + 3) % 20) == 0) { - i--; - if (ISSPACE (str[i]) || str[i] == '}') - str[i] = '\0'; + /* We need \\ for macro. */ + if (stage == stage_macros) + fprintf (table, " \\\n%s", indent); else - break; + fprintf (table, "\n%s", indent); } - while (i != 0); + } - last = str + i; + fprintf (table, "%d } }", types[i].value); +} - /* Find operand_types. */ - for (i = 0; i < ARRAY_SIZE (operand_types); i++) +static void +process_i386_operand_type (FILE *table, char *op, enum stage stage, + const char *indent, int lineno) +{ + char *str, *next, *last; + enum operand_class class = ClassNone; + enum operand_instance instance = InstanceNone; + bitfield types [ARRAY_SIZE (operand_types)]; + + /* Copy the default operand type. */ + memcpy (types, operand_types, sizeof (types)); + + if (strcmp (op, "0")) + { + int baseindex = 0; + + last = op + strlen (op); + for (next = op; next && next < last; ) { - if (str >= last) + str = next_field (next, '|', &next, last); + if (str) { - operand_types [i] = NULL; - break; + unsigned int i; + + if (!strncmp(str, "Class=", 6)) + { + for (i = 0; i < ARRAY_SIZE(operand_classes); ++i) + if (!strcmp(str + 6, operand_classes[i].name)) + { + class = operand_classes[i].value; + str = NULL; + break; + } + } + + if (str && !strncmp(str, "Instance=", 9)) + { + for (i = 0; i < ARRAY_SIZE(operand_instances); ++i) + if (!strcmp(str + 9, operand_instances[i].name)) + { + instance = operand_instances[i].value; + str = NULL; + break; + } + } } + if (str) + { + set_bitfield (str, types, 1, ARRAY_SIZE (types), lineno); + if (strcasecmp(str, "BaseIndex") == 0) + baseindex = 1; + } + } + + if (stage == stage_opcodes && baseindex && !active_isstring) + { + set_bitfield("Disp8", types, 1, ARRAY_SIZE (types), lineno); + if (!active_cpu_flags.bitfield.cpu64 + && !active_cpu_flags.bitfield.cpumpx) + set_bitfield("Disp16", types, 1, ARRAY_SIZE (types), lineno); + set_bitfield("Disp32", types, 1, ARRAY_SIZE (types), lineno); + if (!active_cpu_flags.bitfield.cpuno64) + set_bitfield("Disp32S", types, 1, ARRAY_SIZE (types), lineno); + } + } + output_operand_type (table, class, instance, types, ARRAY_SIZE (types), + stage, indent); +} + +static void +output_i386_opcode (FILE *table, const char *name, char *str, + char *last, int lineno) +{ + unsigned int i; + char *operands, *base_opcode, *extension_opcode, *opcode_length; + char *cpu_flags, *opcode_modifier, *operand_types [MAX_OPERANDS]; + + /* Find number of operands. */ + operands = next_field (str, ',', &str, last); + + /* Find base_opcode. */ + base_opcode = next_field (str, ',', &str, last); + + /* Find extension_opcode. */ + extension_opcode = next_field (str, ',', &str, last); + + /* Find opcode_length. */ + opcode_length = next_field (str, ',', &str, last); + + /* Find cpu_flags. */ + cpu_flags = next_field (str, ',', &str, last); + + /* Find opcode_modifier. */ + opcode_modifier = next_field (str, ',', &str, last); + + /* Remove the first {. */ + str = remove_leading_whitespaces (str); + if (*str != '{') + abort (); + str = remove_leading_whitespaces (str + 1); + + i = strlen (str); + + /* There are at least "X}". */ + if (i < 2) + abort (); + + /* Remove trailing white spaces and }. */ + do + { + i--; + if (ISSPACE (str[i]) || str[i] == '}') + str[i] = '\0'; + else + break; + } + while (i != 0); + + last = str + i; + + /* Find operand_types. */ + for (i = 0; i < ARRAY_SIZE (operand_types); i++) + { + if (str >= last) + { + operand_types [i] = NULL; + break; + } + + operand_types [i] = next_field (str, ',', &str, last); + if (*operand_types[i] == '0') + { + if (i != 0) + operand_types[i] = NULL; + break; + } + } + + fprintf (table, " { \"%s\", %s, %s, %s, %s,\n", + name, base_opcode, extension_opcode, opcode_length, operands); + + process_i386_cpu_flag (table, cpu_flags, 0, ",", " ", lineno); + + process_i386_opcode_modifier (table, opcode_modifier, operand_types, lineno); + + fprintf (table, " { "); + + for (i = 0; i < ARRAY_SIZE (operand_types); i++) + { + if (operand_types[i] == NULL || *operand_types[i] == '0') + { + if (i == 0) + process_i386_operand_type (table, "0", stage_opcodes, "\t ", + lineno); + break; + } + + if (i != 0) + fprintf (table, ",\n "); + + process_i386_operand_type (table, operand_types[i], stage_opcodes, + "\t ", lineno); + } + fprintf (table, " } },\n"); +} + +struct opcode_hash_entry +{ + struct opcode_hash_entry *next; + char *name; + char *opcode; + int lineno; +}; + +/* Calculate the hash value of an opcode hash entry P. */ + +static hashval_t +opcode_hash_hash (const void *p) +{ + struct opcode_hash_entry *entry = (struct opcode_hash_entry *) p; + return htab_hash_string (entry->name); +} + +/* Compare a string Q against an opcode hash entry P. */ + +static int +opcode_hash_eq (const void *p, const void *q) +{ + struct opcode_hash_entry *entry = (struct opcode_hash_entry *) p; + const char *name = (const char *) q; + return strcmp (name, entry->name) == 0; +} + +static void +process_i386_opcodes (FILE *table) +{ + FILE *fp; + char buf[2048]; + unsigned int i, j; + char *str, *p, *last, *name; + struct opcode_hash_entry **hash_slot, **entry, *next; + htab_t opcode_hash_table; + struct opcode_hash_entry **opcode_array; + unsigned int opcode_array_size = 1024; + int lineno = 0, marker = 0; + + filename = "i386-opc.tbl"; + fp = stdin; + + i = 0; + opcode_array = (struct opcode_hash_entry **) + xmalloc (sizeof (*opcode_array) * opcode_array_size); + + opcode_hash_table = htab_create_alloc (16, opcode_hash_hash, + opcode_hash_eq, NULL, + xcalloc, free); + + fprintf (table, "\n/* i386 opcode table. */\n\n"); + fprintf (table, "const insn_template i386_optab[] =\n{\n"); + + /* Put everything on opcode array. */ + while (!feof (fp)) + { + if (fgets (buf, sizeof (buf), fp) == NULL) + break; + + lineno++; + + p = remove_leading_whitespaces (buf); + + /* Skip comments. */ + str = strstr (p, "//"); + if (str != NULL) + str[0] = '\0'; + + /* Remove trailing white spaces. */ + remove_trailing_whitespaces (p); - operand_types [i] = next_field (str, &str); - if (*operand_types[i] == '0') + switch (p[0]) + { + case '#': + if (!strcmp("### MARKER ###", buf)) + marker = 1; + else { - if (i != 0) - operand_types[i] = NULL; - break; + /* Since we ignore all included files (we only care about their + #define-s here), we don't need to monitor filenames. The final + line number directive is going to refer to the main source file + again. */ + char *end; + unsigned long ln; + + p = remove_leading_whitespaces (p + 1); + if (!strncmp(p, "line", 4)) + p += 4; + ln = strtoul (p, &end, 10); + if (ln > 1 && ln < INT_MAX + && *remove_leading_whitespaces (end) == '"') + lineno = ln - 1; } + /* Ignore comments. */ + case '\0': + continue; + break; + default: + if (!marker) + continue; + break; } - printf (" { \"%s\", %s, %s, %s, %s,\n", - name, operands, base_opcode, extension_opcode, - cpu_flags); + last = p + strlen (p); - printf (" %s,\n", opcode_modifier); + /* Find name. */ + name = next_field (p, ',', &str, last); - printf (" { "); + /* Get the slot in hash table. */ + hash_slot = (struct opcode_hash_entry **) + htab_find_slot_with_hash (opcode_hash_table, name, + htab_hash_string (name), + INSERT); - for (i = 0; i < ARRAY_SIZE (operand_types); i++) + if (*hash_slot == NULL) { - if (operand_types[i] == NULL - || *operand_types[i] == '0') + /* It is the new one. Put it on opcode array. */ + if (i >= opcode_array_size) { - if (i == 0) - printf ("0"); - break; + /* Grow the opcode array when needed. */ + opcode_array_size += 1024; + opcode_array = (struct opcode_hash_entry **) + xrealloc (opcode_array, + sizeof (*opcode_array) * opcode_array_size); } - if (i != 0) - printf (",\n "); + opcode_array[i] = (struct opcode_hash_entry *) + xmalloc (sizeof (struct opcode_hash_entry)); + opcode_array[i]->next = NULL; + opcode_array[i]->name = xstrdup (name); + opcode_array[i]->opcode = xstrdup (str); + opcode_array[i]->lineno = lineno; + *hash_slot = opcode_array[i]; + i++; + } + else + { + /* Append it to the existing one. */ + entry = hash_slot; + while ((*entry) != NULL) + entry = &(*entry)->next; + *entry = (struct opcode_hash_entry *) + xmalloc (sizeof (struct opcode_hash_entry)); + (*entry)->next = NULL; + (*entry)->name = (*hash_slot)->name; + (*entry)->opcode = xstrdup (str); + (*entry)->lineno = lineno; + } + } - printf ("%s", operand_types[i]); + /* Process opcode array. */ + for (j = 0; j < i; j++) + { + for (next = opcode_array[j]; next; next = next->next) + { + name = next->name; + str = next->opcode; + lineno = next->lineno; + last = str + strlen (str); + output_i386_opcode (table, name, str, last, lineno); } - printf (" } },\n"); } - printf (" { NULL, 0, 0, 0, 0, 0, { 0 } }\n"); - printf ("};\n"); + fclose (fp); + + fprintf (table, " { NULL, 0, 0, 0, 0,\n"); + + process_i386_cpu_flag (table, "0", 0, ",", " ", -1); + + process_i386_opcode_modifier (table, "0", NULL, -1); + + fprintf (table, " { "); + process_i386_operand_type (table, "0", stage_opcodes, "\t ", -1); + fprintf (table, " } }\n"); + + fprintf (table, "};\n"); } static void -process_i386_registers (void) +process_i386_registers (FILE *table) { - FILE *fp = fopen ("i386-reg.tbl", "r"); + FILE *fp; char buf[2048]; char *str, *p, *last; char *reg_name, *reg_type, *reg_flags, *reg_num; + char *dw2_32_num, *dw2_64_num; + int lineno = 0; + filename = "i386-reg.tbl"; + fp = fopen (filename, "r"); if (fp == NULL) - fail (_("can't find i386-reg.tbl for reading\n")); + fail (_("can't find i386-reg.tbl for reading, errno = %s\n"), + xstrerror (errno)); - printf ("\n/* i386 register table. */\n\n"); - printf ("const reg_entry i386_regtab[] =\n{\n"); + fprintf (table, "\n/* i386 register table. */\n\n"); + fprintf (table, "const reg_entry i386_regtab[] =\n{\n"); while (!feof (fp)) { if (fgets (buf, sizeof (buf), fp) == NULL) break; + lineno++; + p = remove_leading_whitespaces (buf); /* Skip comments. */ @@ -280,7 +1560,7 @@ process_i386_registers (void) switch (p[0]) { case '#': - printf ("%s\n", p); + fprintf (table, "%s\n", p); case '\0': continue; break; @@ -291,39 +1571,76 @@ process_i386_registers (void) last = p + strlen (p); /* Find reg_name. */ - reg_name = next_field (p, &str); - - if (str >= last) - abort (); + reg_name = next_field (p, ',', &str, last); /* Find reg_type. */ - reg_type = next_field (str, &str); - - if (str >= last) - abort (); + reg_type = next_field (str, ',', &str, last); /* Find reg_flags. */ - reg_flags = next_field (str, &str); - - if (str >= last) - abort (); + reg_flags = next_field (str, ',', &str, last); /* Find reg_num. */ - reg_num = next_field (str, &str); + reg_num = next_field (str, ',', &str, last); + + fprintf (table, " { \"%s\",\n ", reg_name); - printf (" { \"%s\", %s, %s, %s },\n", - reg_name, reg_type, reg_flags, reg_num); + process_i386_operand_type (table, reg_type, stage_registers, "\t", + lineno); + + /* Find 32-bit Dwarf2 register number. */ + dw2_32_num = next_field (str, ',', &str, last); + + /* Find 64-bit Dwarf2 register number. */ + dw2_64_num = next_field (str, ',', &str, last); + + fprintf (table, ",\n %s, %s, { %s, %s } },\n", + reg_flags, reg_num, dw2_32_num, dw2_64_num); } - printf ("};\n"); + fclose (fp); - printf ("\nconst unsigned int i386_regtab_size = ARRAY_SIZE (i386_regtab);\n"); + fprintf (table, "};\n"); + + fprintf (table, "\nconst unsigned int i386_regtab_size = ARRAY_SIZE (i386_regtab);\n"); +} + +static void +process_i386_initializers (void) +{ + unsigned int i; + FILE *fp = fopen ("i386-init.h", "w"); + char *init; + + if (fp == NULL) + fail (_("can't create i386-init.h, errno = %s\n"), + xstrerror (errno)); + + process_copyright (fp); + + for (i = 0; i < ARRAY_SIZE (cpu_flag_init); i++) + { + fprintf (fp, "\n#define %s \\\n", cpu_flag_init[i].name); + init = xstrdup (cpu_flag_init[i].init); + process_i386_cpu_flag (fp, init, 1, "", " ", -1); + free (init); + } + + for (i = 0; i < ARRAY_SIZE (operand_type_init); i++) + { + fprintf (fp, "\n\n#define %s \\\n ", operand_type_init[i].name); + init = xstrdup (operand_type_init[i].init); + process_i386_operand_type (fp, init, stage_macros, " ", -1); + free (init); + } + fprintf (fp, "\n"); + + fclose (fp); } /* Program options. */ #define OPTION_SRCDIR 200 -struct option long_options[] = +struct option long_options[] = { {"srcdir", required_argument, NULL, OPTION_SRCDIR}, {"debug", no_argument, NULL, 'd'}, @@ -353,7 +1670,9 @@ main (int argc, char **argv) extern int chdir (char *); char *srcdir = NULL; int c; - + unsigned int i, cpumax; + FILE *table; + program_name = *argv; xmalloc_set_program_name (program_name); @@ -381,33 +1700,70 @@ main (int argc, char **argv) if (optind != argc) usage (stdout, 1); - if (srcdir != NULL) + if (srcdir != NULL) if (chdir (srcdir) != 0) fail (_("unable to change directory to \"%s\", errno = %s\n"), - srcdir, strerror (errno)); + srcdir, xstrerror (errno)); - printf ("/* This file is automatically generated by i386-gen. Do not edit! */\n"); - printf ("/* Copyright 2007 Free Software Foundation, Inc.\n\ -\n\ - This file is part of the GNU opcodes library.\n\ -\n\ - This library is free software; you can redistribute it and/or modify\n\ - it under the terms of the GNU General Public License as published by\n\ - the Free Software Foundation; either version 3, or (at your option)\n\ - any later version.\n\ -\n\ - It is distributed in the hope that it will be useful, but WITHOUT\n\ - ANY WARRANTY; without even the implied warranty of MERCHANTABILITY\n\ - or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public\n\ - License for more details.\n\ -\n\ - You should have received a copy of the GNU General Public License\n\ - along with this program; if not, write to the Free Software\n\ - Foundation, Inc., 51 Franklin Street - Fifth Floor, Boston,\n\ - MA 02110-1301, USA. */"); + /* cpu_flags isn't sorted by position. */ + cpumax = 0; + for (i = 0; i < ARRAY_SIZE (cpu_flags); i++) + if (cpu_flags[i].position > cpumax) + cpumax = cpu_flags[i].position; + + /* Check the unused bitfield in i386_cpu_flags. */ +#ifdef CpuUnused + static_assert (ARRAY_SIZE (cpu_flags) == CpuMax + 2); + + if ((cpumax - 1) != CpuMax) + fail (_("CpuMax != %d!\n"), cpumax); +#else + static_assert (ARRAY_SIZE (cpu_flags) == CpuMax + 1); + + if (cpumax != CpuMax) + fail (_("CpuMax != %d!\n"), cpumax); + + c = CpuNumOfBits - CpuMax - 1; + if (c) + fail (_("%d unused bits in i386_cpu_flags.\n"), c); +#endif + + static_assert (ARRAY_SIZE (opcode_modifiers) == Opcode_Modifier_Num); + + /* Check the unused bitfield in i386_operand_type. */ +#ifdef OTUnused + static_assert (ARRAY_SIZE (operand_types) + CLASS_WIDTH + INSTANCE_WIDTH + == OTNum + 1); +#else + static_assert (ARRAY_SIZE (operand_types) + CLASS_WIDTH + INSTANCE_WIDTH + == OTNum); + + c = OTNumOfBits - OTNum; + if (c) + fail (_("%d unused bits in i386_operand_type.\n"), c); +#endif + + qsort (cpu_flags, ARRAY_SIZE (cpu_flags), sizeof (cpu_flags [0]), + compare); + + qsort (opcode_modifiers, ARRAY_SIZE (opcode_modifiers), + sizeof (opcode_modifiers [0]), compare); + + qsort (operand_types, ARRAY_SIZE (operand_types), + sizeof (operand_types [0]), compare); + + table = fopen ("i386-tbl.h", "w"); + if (table == NULL) + fail (_("can't create i386-tbl.h, errno = %s\n"), + xstrerror (errno)); + + process_copyright (table); + + process_i386_opcodes (table); + process_i386_registers (table); + process_i386_initializers (); - process_i386_opcodes (); - process_i386_registers (); + fclose (table); exit (0); }