1 files changed, 0 insertions, 198 deletions
diff --git a/checklink/PPC_types.ml b/checklink/PPC_types.ml
deleted file mode 100644
index b3419db0..00000000
--- a/checklink/PPC_types.ml
+++ /dev/null
@@ -1,198 +0,0 @@
-open Library
-
-type eireg = int
-type efreg = int
-
-type instr =
-| ADDx      of eireg * eireg * eireg * bool * bool
-| ADDCx     of eireg * eireg * eireg * bool * bool
-| ADDEx     of eireg * eireg * eireg * bool * bool
-| ADDI      of eireg * eireg * bitstring
-| ADDIC     of eireg * eireg * bitstring
-| ADDIC_    of eireg * eireg * bitstring
-| ADDIS     of eireg * eireg * int
-| ADDMEx    of eireg * eireg * bool * bool
-| ADDZEx    of eireg * eireg * bool * bool
-| ANDx      of eireg * eireg * eireg * bool
-| ANDCx     of eireg * eireg * eireg * bool
-| ANDI_     of eireg * eireg * int
-| ANDIS_    of eireg * eireg * int
-| Bx        of bitstring * bool * bool
-| BCx       of bitstring * int * bitstring * bool * bool
-| BCCTRx    of bitstring * int * bool
-| BCLRx     of bitstring * int * bool
-| CMP       of int * bool * eireg * eireg
-| CMPI      of int * bool * eireg * bitstring
-| CMPL      of int * bool * eireg * eireg
-| CMPLI     of int * bool * eireg * int
-| CNTLZWx   of eireg * eireg * bool
-| CRAND     of int * int * int
-| CRANDC    of int * int * int
-| CREQV     of int * int * int
-| CRNAND    of int * int * int
-| CRNOR     of int * int * int
-| CROR      of int * int * int
-| CRORC     of int * int * int
-| CRXOR     of int * int * int
-| DCBA      of eireg * eireg
-| DCBF      of eireg * eireg
-| DCBI      of eireg * eireg
-| DCBST     of eireg * eireg
-| DCBT      of eireg * eireg
-| DCBTST    of eireg * eireg
-| DCBZ      of eireg * eireg
-| DIVWx     of eireg * eireg * eireg * bool * bool
-| DIVWUx    of eireg * eireg * eireg * bool * bool
-| ECIWX     of eireg * eireg * eireg
-| ECOWX     of eireg * eireg * eireg
-| EIEIO
-| EQVx      of eireg * eireg * eireg * bool
-| EXTSBx    of eireg * eireg * bool
-| EXTSHx    of eireg * eireg * bool
-| FABSx     of efreg * efreg * bool
-| FADDx     of efreg * efreg * efreg * bool
-| FADDSx    of efreg * efreg * efreg * bool
-| FCMPO     of int * efreg * efreg
-| FCMPU     of int * efreg * efreg
-| FCTIWx    of efreg * efreg * bool
-| FCTIWZx   of efreg * efreg * bool
-| FDIVx     of efreg * efreg * efreg * bool
-| FDIVSx    of efreg * efreg * efreg * bool
-| FMADDx    of efreg * efreg * efreg * efreg * bool
-| FMADDSx   of efreg * efreg * efreg * efreg * bool
-| FMRx      of efreg * efreg * bool
-| FMSUBx    of efreg * efreg * efreg * efreg * bool
-| FMSUBSx   of efreg * efreg * efreg * efreg * bool
-| FMULx     of efreg * efreg * efreg * bool
-| FMULSx    of efreg * efreg * efreg * bool
-| FNABSx    of efreg * efreg * bool
-| FNEGx     of efreg * efreg * bool
-| FNMADDx   of efreg * efreg * efreg * efreg * bool
-| FNMADDSx  of efreg * efreg * efreg * efreg * bool
-| FNMSUBx   of efreg * efreg * efreg * efreg * bool
-| FNMSUBSx  of efreg * efreg * efreg * efreg * bool
-| FRESx     of efreg * efreg * bool
-| FRSPx     of efreg * efreg * bool
-| FRSQRTEx  of efreg * efreg * bool
-| FSELx     of efreg * efreg * efreg * efreg * bool
-| FSQRTx    of efreg * efreg * bool
-| FSQRTSx   of efreg * efreg * bool
-| FSUBx     of efreg * efreg * efreg * bool
-| FSUBSx    of efreg * efreg * efreg * bool
-| ICBI      of eireg * eireg
-| ISYNC
-| LBZ       of eireg * eireg * bitstring
-| LBZU      of eireg * eireg * bitstring
-| LBZUX     of eireg * eireg * eireg
-| LBZX      of eireg * eireg * eireg
-| LFD       of efreg * eireg * bitstring
-| LFDU      of efreg * eireg * bitstring
-| LFDUX     of efreg * eireg * eireg
-| LFDX      of efreg * eireg * eireg
-| LFS       of efreg * eireg * bitstring
-| LFSU      of efreg * eireg * bitstring
-| LFSUX     of efreg * eireg * eireg
-| LFSX      of efreg * eireg * eireg
-| LHA       of eireg * eireg * bitstring
-| LHAU      of eireg * eireg * bitstring
-| LHAUX     of eireg * eireg * eireg
-| LHAX      of eireg * eireg * eireg
-| LHBRX     of eireg * eireg * eireg
-| LHZ       of eireg * eireg * bitstring
-| LHZU      of eireg * eireg * bitstring
-| LHZUX     of eireg * eireg * eireg
-| LHZX      of eireg * eireg * eireg
-| LMW       of eireg * eireg * int
-| LSWI      of eireg * eireg * eireg
-| LSWX      of eireg * eireg * eireg
-| LWARX     of eireg * eireg * eireg
-| LWBRX     of eireg * eireg * eireg
-| LWZ       of eireg * eireg * bitstring
-| LWZU      of eireg * eireg * bitstring
-| LWZUX     of eireg * eireg * eireg
-| LWZX      of eireg * eireg * eireg
-| MCRF      of int * int
-| MCRFS     of int * int
-| MCRXR     of int
-| MFCR      of eireg
-| MFFSx     of efreg * bool
-| MFMSR     of eireg
-| MFSPR     of eireg * bitstring
-| MFSR      of eireg * int
-| MFSRIN    of eireg * eireg
-| MFTB      of eireg * int
-| MTCRF     of eireg * int
-| MTFSB0x   of int * bool
-| MTFSB1x   of int * bool
-| MTFSF     of int * efreg * bool
-| MTFSFIx   of int * int * bool
-| MTMSR     of eireg
-| MTSPR     of eireg * bitstring
-| MTSR      of eireg * int
-| MTSRIN    of eireg * eireg
-| MULHWx    of eireg * eireg * eireg * bool
-| MULHWUx   of eireg * eireg * eireg * bool
-| MULLI     of eireg * eireg * bitstring
-| MULLWx    of eireg * eireg * eireg * bool * bool
-| NANDx     of eireg * eireg * eireg * bool
-| NEGx      of eireg * eireg * bool * bool
-| NORx      of eireg * eireg * eireg * bool
-| ORx       of eireg * eireg * eireg * bool
-| ORCx      of eireg * eireg * eireg * bool
-| ORI       of eireg * eireg * int
-| ORIS      of eireg * eireg * int
-| RFI
-| RLWIMIx   of eireg * eireg * int * int * int * bool
-| RLWINMx   of eireg * eireg * int * int * int * bool
-| RLWNMx    of eireg * eireg * eireg * int * int * bool
-| SC
-| SLWx      of eireg * eireg * eireg * bool
-| SRAWx     of eireg * eireg * eireg * bool
-| SRAWIx    of eireg * eireg * int * bool
-| SRWx      of eireg * eireg * eireg * bool
-| STB       of eireg * eireg * bitstring
-| STBU      of eireg * eireg * bitstring
-| STBUX     of eireg * eireg * eireg
-| STBX      of eireg * eireg * eireg
-| STFD      of efreg * eireg * bitstring
-| STFDU     of efreg * eireg * bitstring
-| STFDUX    of efreg * eireg * eireg
-| STFDX     of efreg * eireg * eireg
-| STFIWX    of eireg * eireg * eireg
-| STFS      of efreg * eireg * bitstring
-| STFSU     of efreg * eireg * bitstring
-| STFSUX    of efreg * eireg * eireg
-| STFSX     of efreg * eireg * eireg
-| STH       of eireg * eireg * bitstring
-| STHBRX    of eireg * eireg * eireg
-| STHU      of eireg * eireg * bitstring
-| STHUX     of eireg * eireg * eireg
-| STHX      of eireg * eireg * eireg
-| STMW      of eireg * eireg * int
-| STSWI     of eireg * eireg * eireg
-| STSWX     of eireg * eireg * eireg
-| STW       of eireg * eireg * bitstring
-| STWBRX    of eireg * eireg * eireg
-| STWCX_    of eireg * eireg * eireg
-| STWU      of eireg * eireg * bitstring
-| STWUX     of eireg * eireg * eireg
-| STWX      of eireg * eireg * eireg
-| SUBFx     of eireg * eireg * eireg * bool * bool
-| SUBFCx    of eireg * eireg * eireg * bool * bool
-| SUBFEx    of eireg * eireg * eireg * bool * bool
-| SUBFIC    of eireg * eireg * bitstring
-| SUBFMEx   of eireg * eireg * bool * bool
-| SUBFZEx   of eireg * eireg * bool * bool
-| SYNC
-| TLBIA
-| TLBIE     of eireg
-| TLBSYNC
-| TW        of bitstring * eireg * eireg
-| TWI       of bitstring * eireg * int
-| XORx      of eireg * eireg * eireg * bool
-| XORI      of eireg * eireg * int
-| XORIS     of eireg * eireg * int
-| UNKNOWN   of bitstring
-
-(* ELF parsed code *)
-type ecode = instr list