diff options
| author | David Monniaux <david.monniaux@univ-grenoble-alpes.fr> | 2019-06-06 19:15:37 +0200 |
|---|---|---|
| committer | David Monniaux <david.monniaux@univ-grenoble-alpes.fr> | 2019-06-06 19:15:37 +0200 |
| commit | f73c85e2b18017997c52a0d9478726d31a601669 (patch) | |
| tree | d383b2f8a0b199f6f311e968063fbbbbc3c88ca3 /arm | |
| parent | eb175007959e7421a783d402bcbe255f456272f3 (diff) | |
| parent | ddb2c968e6c57d2117434f169471d87f643d831a (diff) | |
| download | compcert-kvx-f73c85e2b18017997c52a0d9478726d31a601669.tar.gz compcert-kvx-f73c85e2b18017997c52a0d9478726d31a601669.zip | |
Merge branch 'master' of https://github.com/AbsInt/CompCert into mppa-work
Diffstat (limited to 'arm')
| -rw-r--r-- | arm/AsmToJSON.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/arm/AsmToJSON.ml b/arm/AsmToJSON.ml index dfad6972..6ba3f1bc 100644 --- a/arm/AsmToJSON.ml +++ b/arm/AsmToJSON.ml @@ -29,7 +29,7 @@ let mnemonic_names = [ "Padc"; "Padd"; "Padds"; "Pand";"Pannot"; "Pasr"; "Pb"; " "Pfsts"; "Pfsubd"; "Pfsubs"; "Pftosizd"; "Pftosizs"; "Pftouizd"; "Pftouizs"; "Pfuitod"; "Pfuitos"; "Pinlineasm"; "Pisb"; "Plabel"; "Pldr"; "Ploadsymbol_lbl"; "Pldr_p"; "Pldrb"; "Pldrb_p"; "Pldrh"; "Pldrh_p"; "Pldrsb"; - "Pldrsh"; "Plsl"; "Plsr"; "Pmla"; "Pmov"; "Pmovite"; + "Pldrsh"; "Plsl"; "Plsr"; "Pmla"; "Pmov"; "Pmovite"; "Pfmovite"; "Pmovt"; "Pmovw"; "Pmul"; "Pmvn"; "Ploadsymbol_imm"; "Pnop"; "Porr"; "Ppush"; "Prev"; "Prev16"; "Prsb"; "Prsbs"; "Prsc"; "Psbc"; "Psbfx"; "Psdiv"; "Psmull"; "Pstr"; "Pstr_p"; "Pstrb"; "Pstrb_p"; "Pstrh"; "Pstrh_p"; "Psub"; "Psubs"; "Pudiv"; |