diff options
| author | Michael Schmidt <github@mschmidt.me> | 2018-01-09 16:43:57 +0100 |
|---|---|---|
| committer | Michael Schmidt <github@mschmidt.me> | 2018-01-09 16:43:57 +0100 |
| commit | d270d2e104fd81248c1020347bb63dad046e232f (patch) | |
| tree | fbbdd695345ef5037ac9ac759b1f8bcf5846c622 /arm/AsmToJSON.ml | |
| parent | 35448688e67e97e27f09c5c79b1e11f98430eb18 (diff) | |
| download | compcert-kvx-d270d2e104fd81248c1020347bb63dad046e232f.tar.gz compcert-kvx-d270d2e104fd81248c1020347bb63dad046e232f.zip | |
Remove mnemonics not exported to JSON from mnemonics list
Diffstat (limited to 'arm/AsmToJSON.ml')
| -rw-r--r-- | arm/AsmToJSON.ml | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/arm/AsmToJSON.ml b/arm/AsmToJSON.ml index c11162d6..fadcdf58 100644 --- a/arm/AsmToJSON.ml +++ b/arm/AsmToJSON.ml @@ -24,15 +24,15 @@ let mnemonic_names = [ "Padc"; "Padd"; "Padds"; "Pand";"Pannot"; "Pasr"; "Pb"; " "Pfcpy_fii"; "Pfcpy_fi"; "Pfcpy_sf"; "Pflid_lbl"; "Pflis_lbl"; "Pdmb"; "Pdsb"; "Peor"; "Pfabsd"; "Pfabss"; "Pfaddd"; "Pfadds"; "Pfcmpd"; "Pfcmps"; "Pfcmpzd"; "Pfcmpzs"; "Pfcpyd"; "Pfcpy_fs"; "Pfcpy_if";"Pfcvtds"; "Pfcvtsd"; "Pfdivd"; "Pfdivs"; "Pfldd"; - "Pfldd_a"; "Pflid"; "Pflds"; "Pflid_imm"; "Pflis_imm"; "Pfmuld"; "Pfmuls"; "Pfnegd"; - "Pfnegs"; "Pfreeframe"; "Pfsitod"; "Pfsitos"; "Pfsqrt"; "Pfstd"; "Pfstd_a"; + "Pflid"; "Pflds"; "Pflid_imm"; "Pflis_imm"; "Pfmuld"; "Pfmuls"; "Pfnegd"; + "Pfnegs"; "Pfsitod"; "Pfsitos"; "Pfsqrt"; "Pfstd"; "Pfsts"; "Pfsubd"; "Pfsubs"; "Pftosizd"; "Pftosizs"; "Pftouizd"; "Pftouizs"; "Pfuitod"; "Pfuitos"; "Pinlineasm"; "Pisb"; "Plabel"; "Pldr"; - "Pldr_a"; "Ploadsymbol_lbl"; "Pldr_p"; "Pldrb"; "Pldrb_p"; "Pldrh"; "Pldrh_p"; "Pldrsb"; + "Ploadsymbol_lbl"; "Pldr_p"; "Pldrb"; "Pldrb_p"; "Pldrh"; "Pldrh_p"; "Pldrsb"; "Pldrsh"; "Plsl"; "Plsr"; "Pmla"; "Pmov"; "Pmovite"; "Pmovt"; "Pmovw"; "Pmul"; "Pmvn"; "Ploadsymbol_imm"; "Porr"; "Ppush"; "Prev"; "Prev16"; "Prsb"; "Prsbs"; "Prsc"; "Psbc"; "Psbfx"; "Psdiv"; "Psmull"; - "Pstr"; "Pstr_a"; "Pstr_p"; "Pstrb"; "Pstrb_p"; "Pstrh"; "Pstrh_p"; "Psub"; "Psubs"; "Pudiv"; + "Pstr"; "Pstr_p"; "Pstrb"; "Pstrb_p"; "Pstrh"; "Pstrh_p"; "Psub"; "Psubs"; "Pudiv"; "Pumull" ] type instruction_arg = |