From 73ab7968d862c4d4d883fb3d3215353eba905b0f Mon Sep 17 00:00:00 2001 From: Michael Schmidt Date: Fri, 15 Dec 2017 00:01:30 +0100 Subject: Introduce 'cmn' instruction and optimize compare-with-immediate when negated immediates can be encoded. --- arm/AsmToJSON.ml | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) (limited to 'arm/AsmToJSON.ml') diff --git a/arm/AsmToJSON.ml b/arm/AsmToJSON.ml index e105ea20..85ef0603 100644 --- a/arm/AsmToJSON.ml +++ b/arm/AsmToJSON.ml @@ -20,7 +20,7 @@ open Camlcoq open Json let mnemonic_names = [ "Padc"; "Padd"; "Padds"; "Pand";"Pannot"; "Pasr"; "Pb"; "Pbc"; "Pbic"; "Pblreg"; - "Pblsymb"; "Pbne"; "Pbreg"; "Pbsymb"; "Pbtbl"; "Pclz"; "Pcmp"; "Pconstants";"Pfcpy_iif"; + "Pblsymb"; "Pbne"; "Pbreg"; "Pbsymb"; "Pbtbl"; "Pclz"; "Pcmp"; "Pcmn"; "Pconstants"; "Pfcpy_iif"; "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"; @@ -207,6 +207,7 @@ let pp_instructions pp ic = | Pbtbl(r, tbl) -> instruction pp "Pbtbl" ((Ireg r)::(List.map (fun a -> ALabel a) tbl)) | Pclz(r1, r2) -> instruction pp "Pclz" [Ireg r1; Ireg r2] | Pcmp(r1,so) -> instruction pp "Pcmp" [Ireg r1; Shift so] + | Pcmn(r1,so) -> instruction pp "Pcmn" [Ireg r1; Shift so] | Pdmb -> instruction pp "Pdmb" [] | Pdsb -> instruction pp "Pdsb" [] | Peor(r1, r2, so) -> instruction pp "Peor" [Ireg r1; Ireg r2; Shift so] -- cgit