From b57ffbab2e5369360e29fa0cc9a6f35393ca7ca4 Mon Sep 17 00:00:00 2001
From: Bernhard Schommer <bernhardschommer@gmail.com>
Date: Tue, 26 Sep 2017 11:09:00 +0200
Subject: Make the list unique. Bug 22239

---
 powerpc/AsmToJSON.ml | 199 ++++++---------------------------------------------
 1 file changed, 22 insertions(+), 177 deletions(-)

(limited to 'powerpc/AsmToJSON.ml')

diff --git a/powerpc/AsmToJSON.ml b/powerpc/AsmToJSON.ml
index fb36b9d7..b542d7a7 100644
--- a/powerpc/AsmToJSON.ml
+++ b/powerpc/AsmToJSON.ml
@@ -112,183 +112,28 @@ let pp_arg pp = function
   | Atom a -> pp_atom_constant pp a
   | String s -> pp_jsingle_object pp "String" pp_jstring s
 
- let mnemonic_names  =
-    [ "Padd"
-    ;  "Paddc"
-    ;  "Padde"
-    ;  "Paddi"
-    ; "Paddi"
-    ; "Paddic"
-    ; "Paddis"
-    ; "Paddis"
-    ; "Paddze"
-    ; "Pand_"
-    ; "Pandc"
-    ; "Pandi_"
-    ; "Pandi_"
-    ; "Pandis_"
-    ; "Pandis_"
-    ; "Pb"
-    ; "Pbctr"
-    ; "Pbctrl"
-    ; "Pbdnz"
-    ; "Pbf"
-    ; "Pbl"
-    ; "Pbs"
-    ; "Pblr"
-    ;  "Pbt"
-    ; "Pbtbl"
-    ; "Pcmpb"
-    ; "Pcmpld"
-    ; "Pcmpldi"
-    ; "Pcmplw"
-    ; "Pcmplwi"
-    ; "Pcmpd"
-    ; "Pcmpdi"
-    ; "Pcmpw"
-    ; "Pcmpwi"
-    ; "Pcntlzd"
-    ; "Pcntlzw"
-    ; "Pcreqv"
-    ; "Pcror"
-    ; "Pcrxor"
-    ; "Pdcbf"
-    ; "Pdcbi"
-    ; "Pdcbt"
-    ; "Pdcbtst"
-    ; "Pdcbtls"
-    ; "Pdcbz"
-    ; "Pdivw"
-    ; "Pdivd"
-    ; "Pdivwu"
-    ; "Pdivdu"
-    ; "Peieio"
-    ; "Peqv"
-    ; "Pextsb"
-    ; "Pextsh"
-    ; "Pextsw"
-    ; "Pfabs"
-    ; "Pfadd"
-    ; "Pfadds"
-    ; "Pfcmpu"
-    ; "Pfcfid"
-    ; "Pfctidz"
-    ; "Pfctiw"
-    ; "Pfctiwz"
-    ; "Pfdiv"
-    ; "Pfdivs"
-    ; "Pfmr"
-    ; "Pfmul"
-    ; "Pfmuls"
-    ; "Pfneg"
-    ; "Pfrsp"
-    ; "Pfsub"
-    ;  "Pfsubs"
-    ; "Pfmadd"
-    ;  "Pfmsub"
-    ; "Pfnmadd"
-    ; "Pfnmsub"
-    ; "Pfsqrt"
-    ; "Pfrsqrte"
-    ; "Pfres"
-    ; "Pfsel"
-    ;  "Pisel"
-    ; "Picbi"
-    ; "Picbtls"
-    ; "Pisync"
-    ; "Plwsync"
-    ; "Plbz"
-    ; "Plbzx"
-    ; "Pld"
-    ; "Pldx"
-    ; "Plfd"
-    ; "Plfdx"
-    ; "Plfs"
-    ; "Plfsx"
-    ; "Plha"
-    ; "Plhax"
-    ; "Plhbrx"
-    ; "Plhz"
-    ; "Plhzx"
-    ; "Pldi"
-    ; "Plfi"
-    ; "Plfis"
-    ; "Plwz"
-    ; "Plwzu"
-    ; "Plwzx"
-    ; "Plwarx"
-    ; "Plwbrx"
-    ; "Pmbar"
-    ; "Pmfcr"
-    ; "Pmflr"
-    ; "Pmr"
-    ; "Pmtctr"
-    ; "Pmtlr"
-    ; "Pmfspr"
-    ; "Pmtspr"
-    ; "Pmulhd"
-    ; "Pmulhdu"
-    ; "Pmulld"
-    ; "Pmulli"
-    ; "Pmullw"
-    ; "Pmulhw"
-    ; "Pmulhwu"
-    ; "Pnand"
-    ; "Pnor"
-    ; "Por"
-    ; "Porc"
-    ; "Pori"
-    ; "Pori"
-    ; "Poris"
-    ; "Poris"
-    ; "Prldicl"
-    ; "Prldinm"
-    ;"Prldimi"
-    ; "Prlwinm"
-    ;"Prlwimi"
-    ; "Psld"
-    ; "Pslw"
-    ; "Psrad"
-    ; "Psradi"
-    ; "Psraw"
-    ; "Psrawi"
-    ; "Psrd"
-    ; "Psrw"
-    ; "Pstb"
-    ; "Pstbx"
-    ; "Pstd"
-    ; "Pstdx"
-    ; "Pstdu"
-    ; "Pstfd"
-    ; "Pstfdu"
-    ; "Pstfdx"
-    ; "Pstfs"
-    ; "Pstfsx"
-    ; "Psth"
-    ; "Psthx"
-    ; "Psthbrx"
-    ; "Pstw"
-    ; "Pstwu"
-    ; "Pstwx"
-    ; "Pstwux"
-    ; "Pstwbrx"
-    ; "Pstwcx_"
-    ; "Psubfc"
-    ; "Psubfe"
-    ; "Psubfze"
-    ; "Psubfic"
-    ; "Psubfic"
-    ; "Psync"
-    ; "Ptrap"
-    ; "Pxor"
-    ; "Pxori"
-    ; "Pxori"
-    ; "Pxoris"
-    ; "Pxoris"
-    ; "Plabel"
-    ; "Pinlineasm"
-    ; "Pannot"
-    ]
+let mnemonic_names  =["Padd"; "Paddc"; "Padde"; "Paddi"; "Paddic"; "Paddis"; "Paddze"; "Pand_";
+                      "Pandc"; "Pandi_"; "Pandis_"; "Pannot"; "Pb"; "Pbctr"; "Pbctrl"; "Pbdnz";
+                      "Pbf"; "Pbl"; "Pblr"; "Pbs"; "Pbt"; "Pbtbl"; "Pcmpb"; "Pcmpd"; "Pcmpdi";
+                      "Pcmpld"; "Pcmpldi"; "Pcmplw"; "Pcmplwi"; "Pcmpw"; "Pcmpwi"; "Pcntlzd";
+                      "Pcntlzw"; "Pcreqv"; "Pcror"; "Pcrxor"; "Pdcbf"; "Pdcbi"; "Pdcbt";
+                      "Pdcbtls"; "Pdcbtst"; "Pdcbz"; "Pdivd"; "Pdivdu"; "Pdivw"; "Pdivwu";
+                      "Peieio"; "Peqv"; "Pextsb"; "Pextsh"; "Pextsw"; "Pfabs"; "Pfadd"; "Pfadds";
+                      "Pfcfid"; "Pfcmpu"; "Pfctidz"; "Pfctiw"; "Pfctiwz"; "Pfdiv"; "Pfdivs";
+                      "Pfmadd"; "Pfmr"; "Pfmsub"; "Pfmul"; "Pfmuls"; "Pfneg"; "Pfnmadd";
+                      "Pfnmsub"; "Pfres"; "Pfrsp"; "Pfrsqrte"; "Pfsel"; "Pfsqrt"; "Pfsub";
+                      "Pfsubs"; "Picbi"; "Picbtls"; "Pinlineasm"; "Pisel"; "Pisync"; "Plabel";
+                      "Plbz"; "Plbzx"; "Pld"; "Pldi"; "Pldx"; "Plfd"; "Plfdx"; "Plfi"; "Plfis";
+                      "Plfs"; "Plfsx"; "Plha"; "Plhax"; "Plhbrx"; "Plhz"; "Plhzx"; "Plwarx";
+                      "Plwbrx"; "Plwsync"; "Plwz"; "Plwzu"; "Plwzx"; "Pmbar"; "Pmfcr"; "Pmflr";
+                      "Pmfspr"; "Pmr"; "Pmtctr"; "Pmtlr"; "Pmtspr"; "Pmulhd"; "Pmulhdu"; "Pmulhw";
+                      "Pmulhwu"; "Pmulld"; "Pmulli"; "Pmullw"; "Pnand"; "Pnor"; "Por"; "Porc";
+                      "Pori"; "Poris"; "Prldicl"; "Prldimi"; "Prldinm"; "Prlwimi"; "Prlwinm";
+                      "Psld"; "Pslw"; "Psrad"; "Psradi"; "Psraw"; "Psrawi"; "Psrd"; "Psrw";
+                      "Pstb"; "Pstbx"; "Pstd"; "Pstdu"; "Pstdx"; "Pstfd"; "Pstfdu"; "Pstfdx";
+                      "Pstfs"; "Pstfsx"; "Psth"; "Psthbrx"; "Psthx"; "Pstw"; "Pstwbrx"; "Pstwcx_";
+                      "Pstwu"; "Pstwux"; "Pstwx"; "Psubfc"; "Psubfe"; "Psubfic"; "Psubfze";
+                      "Psync"; "Ptrap"; "Pxor"; "Pxori"; "Pxoris"]
 
 let pp_instructions pp ic =
   let ic = List.filter (fun s -> match s with
-- 
cgit