/*-------------------------------------------------------------------------
- pcode.h - post code generation
+ pcode.c - post code generation
Written By - Scott Dattalo scott@dattalo.com
This program is free software; you can redistribute it and/or modify it
#include <stdio.h>
#include "common.h" // Include everything in the SDCC src directory
+#include "newalloc.h"
-#include "pcode.h"
-// Eventually this will go into device depended files:
-pCodeOp pc_status = {PO_STATUS, "status"};
-pCodeOp pc_indf = {PO_INDF, "indf"};
-pCodeOp pc_fsr = {PO_FSR, "fsr"};
+#include "pcode.h"
+#include "ralloc.h"
+// Eventually this will go into device dependent files:
+pCodeOpReg pc_status = {{PO_STATUS, "STATUS"}, -1, NULL,NULL};
+pCodeOpReg pc_indf = {{PO_INDF, "INDF"}, -1, NULL,NULL};
+pCodeOpReg pc_fsr = {{PO_FSR, "FSR"}, -1, NULL,NULL};
+static int mnemonics_initialized = 0;
+#if 0
//static char *PIC_mnemonics[] = {
static char *scpADDLW = "ADDLW";
static char *scpADDWF = "ADDWF";
static char *scpTRIS = "TRIS";
static char *scpXORLW = "XORLW";
static char *scpXORWF = "XORWF";
+#endif
+static hTab *pic14MnemonicsHash = NULL;
-static pFile *the_pFile = NULL;
-/****************************************************************/
-/****************************************************************/
-static pBlock *peepSnippets=NULL;
+
+static pFile *the_pFile = NULL;
+static int peepOptimizing = 1;
+static int GpCodeSequenceNumber = 1;
/****************************************************************/
/* Forward declarations */
/****************************************************************/
-static void unlink(pCode *pc);
+static void unlinkPC(pCode *pc);
static void genericAnalyze(pCode *pc);
static void AnalyzeGOTO(pCode *pc);
static void AnalyzeSKIP(pCode *pc);
static void pCodePrintLabel(FILE *of, pCode *pc);
static void pCodePrintFunction(FILE *of, pCode *pc);
+static void pCodeOpPrint(FILE *of, pCodeOp *pcop);
static char *get_op( pCodeInstruction *pcc);
+int pCodePeepMatchLine(pCodePeep *peepBlock, pCode *pcs, pCode *pcd);
+int pCodePeepMatchRule(pCode *pc);
+
+
+pCodeInstruction pciADDWF = {
+ {PC_OPCODE, NULL, NULL, 0, NULL, NULL, NULL, NULL,
+ genericAnalyze,
+ genericDestruct,
+ genericPrint},
+ POC_ADDWF,
+ "ADDWF",
+ NULL, // operand
+ 2, // num ops
+ 1,0, // dest, bit instruction
+ (PCC_W | PCC_REGISTER), // inCond
+ (PCC_REGISTER | PCC_Z) // outCond
+};
+
+pCodeInstruction pciADDFW = {
+ {PC_OPCODE, NULL, NULL, 0, NULL, NULL, NULL, NULL,
+ genericAnalyze,
+ genericDestruct,
+ genericPrint},
+ POC_ADDWF,
+ "ADDWF",
+ NULL, // operand
+ 2, // num ops
+ 0,0, // dest, bit instruction
+ (PCC_W | PCC_REGISTER), // inCond
+ (PCC_W | PCC_Z) // outCond
+};
+
+pCodeInstruction pciADDLW = {
+ {PC_OPCODE, NULL, NULL, 0, NULL, NULL, NULL, NULL,
+ genericAnalyze,
+ genericDestruct,
+ genericPrint},
+ POC_ADDLW,
+ "ADDLW",
+ NULL, // operand
+ 1, // num ops
+ 0,0, // dest, bit instruction
+ PCC_W, // inCond
+ (PCC_W | PCC_Z | PCC_C | PCC_DC) // outCond
+};
+
+pCodeInstruction pciANDLW = {
+ {PC_OPCODE, NULL, NULL, 0, NULL, NULL, NULL, NULL,
+ genericAnalyze,
+ genericDestruct,
+ genericPrint},
+ POC_ANDLW,
+ "ANDLW",
+ NULL, // operand
+ 1, // num ops
+ 0,0, // dest, bit instruction
+ PCC_W, // inCond
+ (PCC_W | PCC_Z) // outCond
+};
+
+pCodeInstruction pciANDWF = {
+ {PC_OPCODE, NULL, NULL, 0, NULL, NULL, NULL, NULL,
+ genericAnalyze,
+ genericDestruct,
+ genericPrint},
+ POC_ANDWF,
+ "ANDWF",
+ NULL, // operand
+ 2, // num ops
+ 1,0, // dest, bit instruction
+ (PCC_W | PCC_REGISTER), // inCond
+ (PCC_REGISTER | PCC_Z) // outCond
+};
+
+pCodeInstruction pciANDFW = {
+ {PC_OPCODE, NULL, NULL, 0, NULL, NULL, NULL, NULL,
+ genericAnalyze,
+ genericDestruct,
+ genericPrint},
+ POC_ANDWF,
+ "ANDWF",
+ NULL, // operand
+ 2, // num ops
+ 0,0, // dest, bit instruction
+ (PCC_W | PCC_REGISTER), // inCond
+ (PCC_W | PCC_Z) // outCond
+};
+
+pCodeInstruction pciBCF = {
+ {PC_OPCODE, NULL, NULL, 0, NULL, NULL, NULL, NULL,
+ genericAnalyze,
+ genericDestruct,
+ genericPrint},
+ POC_BCF,
+ "BCF",
+ NULL, // operand
+ 2, // num ops
+ 0,1, // dest, bit instruction
+ PCC_NONE, // inCond
+ PCC_EXAMINE_PCOP // outCond
+};
+
+pCodeInstruction pciBSF = {
+ {PC_OPCODE, NULL, NULL, 0, NULL, NULL, NULL, NULL,
+ genericAnalyze,
+ genericDestruct,
+ genericPrint},
+ POC_BSF,
+ "BSF",
+ NULL, // operand
+ 2, // num ops
+ 0,1, // dest, bit instruction
+ PCC_NONE, // inCond
+ PCC_EXAMINE_PCOP // outCond
+};
+
+pCodeInstruction pciBTFSC = {
+ {PC_OPCODE, NULL, NULL, 0, NULL, NULL, NULL, NULL,
+ AnalyzeSKIP,
+ genericDestruct,
+ genericPrint},
+ POC_BTFSC,
+ "BTFSC",
+ NULL, // operand
+ 2, // num ops
+ 0,1, // dest, bit instruction
+ PCC_EXAMINE_PCOP, // inCond
+ PCC_NONE // outCond
+};
+
+pCodeInstruction pciBTFSS = {
+ {PC_OPCODE, NULL, NULL, 0, NULL, NULL, NULL, NULL,
+ AnalyzeSKIP,
+ genericDestruct,
+ genericPrint},
+ POC_BTFSS,
+ "BTFSS",
+ NULL, // operand
+ 2, // num ops
+ 0,1, // dest, bit instruction
+ PCC_EXAMINE_PCOP, // inCond
+ PCC_NONE // outCond
+};
+
+pCodeInstruction pciCALL = {
+ {PC_OPCODE, NULL, NULL, 0, NULL, NULL, NULL, NULL,
+ genericAnalyze,
+ genericDestruct,
+ genericPrint},
+ POC_CALL,
+ "CALL",
+ NULL, // operand
+ 1, // num ops
+ 0,0, // dest, bit instruction
+ PCC_NONE, // inCond
+ PCC_NONE // outCond
+};
+
+//fixme - need a COMFW instruction.
+pCodeInstruction pciCOMF = {
+ {PC_OPCODE, NULL, NULL, 0, NULL, NULL, NULL, NULL,
+ genericAnalyze,
+ genericDestruct,
+ genericPrint},
+ POC_COMF,
+ "COMF",
+ NULL, // operand
+ 2, // num ops
+ 0,0, // dest, bit instruction
+ PCC_NONE, // inCond
+ PCC_NONE // outCond
+};
+
+pCodeInstruction pciCLRF = {
+ {PC_OPCODE, NULL, NULL, 0, NULL, NULL, NULL, NULL,
+ genericAnalyze,
+ genericDestruct,
+ genericPrint},
+ POC_CLRF,
+ "CLRF",
+ NULL, // operand
+ 1, // num ops
+ 0,0, // dest, bit instruction
+ PCC_REGISTER, // inCond
+ PCC_REGISTER // outCond
+};
+
+pCodeInstruction pciCLRW = {
+ {PC_OPCODE, NULL, NULL, 0, NULL, NULL, NULL, NULL,
+ genericAnalyze,
+ genericDestruct,
+ genericPrint},
+ POC_CLRW,
+ "CLRW",
+ NULL, // operand
+ 0, // num ops
+ 0,0, // dest, bit instruction
+ PCC_W, // inCond
+ PCC_W // outCond
+};
+
+pCodeInstruction pciDECF = {
+ {PC_OPCODE, NULL, NULL, 0, NULL, NULL, NULL, NULL,
+ genericAnalyze,
+ genericDestruct,
+ genericPrint},
+ POC_DECF,
+ "DECF",
+ NULL, // operand
+ 2, // num ops
+ 1,0, // dest, bit instruction
+ PCC_REGISTER, // inCond
+ PCC_REGISTER // outCond
+};
+
+pCodeInstruction pciDECFW = {
+ {PC_OPCODE, NULL, NULL, 0, NULL, NULL, NULL, NULL,
+ genericAnalyze,
+ genericDestruct,
+ genericPrint},
+ POC_DECFW,
+ "DECF",
+ NULL, // operand
+ 2, // num ops
+ 0,0, // dest, bit instruction
+ PCC_REGISTER, // inCond
+ PCC_W // outCond
+};
+
+pCodeInstruction pciDECFSZ = {
+ {PC_OPCODE, NULL, NULL, 0, NULL, NULL, NULL, NULL,
+ AnalyzeSKIP,
+ genericDestruct,
+ genericPrint},
+ POC_DECFSZ,
+ "DECFSZ",
+ NULL, // operand
+ 2, // num ops
+ 1,0, // dest, bit instruction
+ PCC_REGISTER, // inCond
+ PCC_REGISTER // outCond
+};
+
+pCodeInstruction pciDECFSZW = {
+ {PC_OPCODE, NULL, NULL, 0, NULL, NULL, NULL, NULL,
+ AnalyzeSKIP,
+ genericDestruct,
+ genericPrint},
+ POC_DECFSZW,
+ "DECFSZ",
+ NULL, // operand
+ 2, // num ops
+ 0,0, // dest, bit instruction
+ PCC_REGISTER, // inCond
+ PCC_W // outCond
+};
+
+pCodeInstruction pciGOTO = {
+ {PC_OPCODE, NULL, NULL, 0, NULL, NULL, NULL, NULL,
+ AnalyzeGOTO,
+ genericDestruct,
+ genericPrint},
+ POC_GOTO,
+ "GOTO",
+ NULL, // operand
+ 1, // num ops
+ 0,0, // dest, bit instruction
+ PCC_NONE, // inCond
+ PCC_NONE // outCond
+};
+
+
+pCodeInstruction pciINCF = {
+ {PC_OPCODE, NULL, NULL, 0, NULL, NULL, NULL, NULL,
+ genericAnalyze,
+ genericDestruct,
+ genericPrint},
+ POC_INCF,
+ "INCF",
+ NULL, // operand
+ 2, // num ops
+ 1,0, // dest, bit instruction
+ PCC_REGISTER, // inCond
+ PCC_REGISTER // outCond
+};
+
+pCodeInstruction pciINCFW = {
+ {PC_OPCODE, NULL, NULL, 0, NULL, NULL, NULL, NULL,
+ genericAnalyze,
+ genericDestruct,
+ genericPrint},
+ POC_INCFW,
+ "INCF",
+ NULL, // operand
+ 2, // num ops
+ 0,0, // dest, bit instruction
+ PCC_REGISTER, // inCond
+ PCC_W // outCond
+};
+
+pCodeInstruction pciINCFSZ = {
+ {PC_OPCODE, NULL, NULL, 0, NULL, NULL, NULL, NULL,
+ AnalyzeSKIP,
+ genericDestruct,
+ genericPrint},
+ POC_INCFSZ,
+ "INCFSZ",
+ NULL, // operand
+ 2, // num ops
+ 1,0, // dest, bit instruction
+ PCC_REGISTER, // inCond
+ PCC_REGISTER // outCond
+};
+
+pCodeInstruction pciINCFSZW = {
+ {PC_OPCODE, NULL, NULL, 0, NULL, NULL, NULL, NULL,
+ AnalyzeSKIP,
+ genericDestruct,
+ genericPrint},
+ POC_INCFSZW,
+ "INCFSZ",
+ NULL, // operand
+ 2, // num ops
+ 0,0, // dest, bit instruction
+ PCC_REGISTER, // inCond
+ PCC_W // outCond
+};
+
+pCodeInstruction pciIORWF = {
+ {PC_OPCODE, NULL, NULL, 0, NULL, NULL, NULL, NULL,
+ genericAnalyze,
+ genericDestruct,
+ genericPrint},
+ POC_IORWF,
+ "IORWF",
+ NULL, // operand
+ 2, // num ops
+ 1,0, // dest, bit instruction
+ (PCC_W | PCC_REGISTER), // inCond
+ (PCC_REGISTER | PCC_Z) // outCond
+};
+
+pCodeInstruction pciIORFW = {
+ {PC_OPCODE, NULL, NULL, 0, NULL, NULL, NULL, NULL,
+ genericAnalyze,
+ genericDestruct,
+ genericPrint},
+ POC_IORWF,
+ "IORWF",
+ NULL, // operand
+ 2, // num ops
+ 0,0, // dest, bit instruction
+ (PCC_W | PCC_REGISTER), // inCond
+ (PCC_W | PCC_Z) // outCond
+};
+
+pCodeInstruction pciIORLW = {
+ {PC_OPCODE, NULL, NULL, 0, NULL, NULL, NULL, NULL,
+ genericAnalyze,
+ genericDestruct,
+ genericPrint},
+ POC_IORLW,
+ "IORLW",
+ NULL, // operand
+ 1, // num ops
+ 0,0, // dest, bit instruction
+ PCC_W, // inCond
+ (PCC_W | PCC_Z) // outCond
+};
+
+pCodeInstruction pciMOVF = {
+ {PC_OPCODE, NULL, NULL, 0, NULL, NULL, NULL, NULL,
+ genericAnalyze,
+ genericDestruct,
+ genericPrint},
+ POC_MOVF,
+ "MOVF",
+ NULL, // operand
+ 2, // num ops
+ 1,0, // dest, bit instruction
+ PCC_REGISTER, // inCond
+ PCC_Z // outCond
+};
+
+pCodeInstruction pciMOVFW = {
+ {PC_OPCODE, NULL, NULL, 0, NULL, NULL, NULL, NULL,
+ genericAnalyze,
+ genericDestruct,
+ genericPrint},
+ POC_MOVFW,
+ "MOVF",
+ NULL, // operand
+ 2, // num ops
+ 0,0, // dest, bit instruction
+ PCC_REGISTER, // inCond
+ (PCC_W | PCC_Z) // outCond
+};
+
+pCodeInstruction pciMOVWF = {
+ {PC_OPCODE, NULL, NULL, 0, NULL, NULL, NULL, NULL,
+ genericAnalyze,
+ genericDestruct,
+ genericPrint},
+ POC_MOVWF,
+ "MOVWF",
+ NULL, // operand
+ 1, // num ops
+ 0,0, // dest, bit instruction
+ PCC_W, // inCond
+ 0 // outCond
+};
+
+pCodeInstruction pciMOVLW = {
+ {PC_OPCODE, NULL, NULL, 0, NULL, NULL, NULL, NULL,
+ genericAnalyze,
+ genericDestruct,
+ genericPrint},
+ POC_MOVLW,
+ "MOVLW",
+ NULL, // operand
+ 1, // num ops
+ 0,0, // dest, bit instruction
+ PCC_NONE, // inCond
+ PCC_W // outCond
+};
+
+pCodeInstruction pciNEGF = {
+ {PC_OPCODE, NULL, NULL, 0, NULL, NULL, NULL, NULL,
+ genericAnalyze,
+ genericDestruct,
+ genericPrint},
+ POC_NEGF,
+ "NEGF",
+ NULL, // operand
+ 1, // num ops
+ 0,0, // dest, bit instruction
+ PCC_REGISTER, // inCond
+ PCC_NONE // outCond
+};
+
+
+pCodeInstruction pciRETLW = {
+ {PC_OPCODE, NULL, NULL, 0, NULL, NULL, NULL, NULL,
+ AnalyzeRETURN,
+ genericDestruct,
+ genericPrint},
+ POC_RETLW,
+ "RETLW",
+ NULL, // operand
+ 1, // num ops
+ 0,0, // dest, bit instruction
+ PCC_NONE, // inCond
+ PCC_W // outCond
+};
+
+pCodeInstruction pciRETURN = {
+ {PC_OPCODE, NULL, NULL, 0, NULL, NULL, NULL, NULL,
+ AnalyzeRETURN,
+ genericDestruct,
+ genericPrint},
+ POC_RETURN,
+ "RETURN",
+ NULL, // operand
+ 0, // num ops
+ 0,0, // dest, bit instruction
+ PCC_NONE, // inCond
+ PCC_W // outCond
+};
+
+
+pCodeInstruction pciSUBWF = {
+ {PC_OPCODE, NULL, NULL, 0, NULL, NULL, NULL, NULL,
+ genericAnalyze,
+ genericDestruct,
+ genericPrint},
+ POC_SUBWF,
+ "SUBWF",
+ NULL, // operand
+ 2, // num ops
+ 1,0, // dest, bit instruction
+ (PCC_W | PCC_REGISTER), // inCond
+ (PCC_REGISTER | PCC_Z) // outCond
+};
+
+pCodeInstruction pciSUBFW = {
+ {PC_OPCODE, NULL, NULL, 0, NULL, NULL, NULL, NULL,
+ genericAnalyze,
+ genericDestruct,
+ genericPrint},
+ POC_SUBWF,
+ "SUBWF",
+ NULL, // operand
+ 2, // num ops
+ 0,0, // dest, bit instruction
+ (PCC_W | PCC_REGISTER), // inCond
+ (PCC_W | PCC_Z) // outCond
+};
+
+pCodeInstruction pciSUBLW = {
+ {PC_OPCODE, NULL, NULL, 0, NULL, NULL, NULL, NULL,
+ genericAnalyze,
+ genericDestruct,
+ genericPrint},
+ POC_SUBLW,
+ "SUBLW",
+ NULL, // operand
+ 1, // num ops
+ 0,0, // dest, bit instruction
+ PCC_W, // inCond
+ (PCC_W | PCC_Z | PCC_C | PCC_DC) // outCond
+};
+
+pCodeInstruction pciTRIS = {
+ {PC_OPCODE, NULL, NULL, 0, NULL, NULL, NULL, NULL,
+ genericAnalyze,
+ genericDestruct,
+ genericPrint},
+ POC_TRIS,
+ "TRIS",
+ NULL, // operand
+ 1, // num ops
+ 0,0, // dest, bit instruction
+ PCC_NONE, // inCond
+ PCC_NONE
+};
+
+
+pCodeInstruction pciXORWF = {
+ {PC_OPCODE, NULL, NULL, 0, NULL, NULL, NULL, NULL,
+ genericAnalyze,
+ genericDestruct,
+ genericPrint},
+ POC_XORWF,
+ "XORWF",
+ NULL, // operand
+ 2, // num ops
+ 1,0, // dest, bit instruction
+ (PCC_W | PCC_REGISTER), // inCond
+ (PCC_REGISTER | PCC_Z) // outCond
+};
+
+pCodeInstruction pciXORFW = {
+ {PC_OPCODE, NULL, NULL, 0, NULL, NULL, NULL, NULL,
+ genericAnalyze,
+ genericDestruct,
+ genericPrint},
+ POC_XORWF,
+ "XORWF",
+ NULL, // operand
+ 2, // num ops
+ 0,0, // dest, bit instruction
+ (PCC_W | PCC_REGISTER), // inCond
+ (PCC_W | PCC_Z) // outCond
+};
+
+pCodeInstruction pciXORLW = {
+ {PC_OPCODE, NULL, NULL, 0, NULL, NULL, NULL, NULL,
+ genericAnalyze,
+ genericDestruct,
+ genericPrint},
+ POC_XORLW,
+ "XORLW",
+ NULL, // operand
+ 1, // num ops
+ 0,0, // dest, bit instruction
+ PCC_W, // inCond
+ (PCC_W | PCC_Z | PCC_C | PCC_DC) // outCond
+};
+
+
+#define MAX_PIC14MNEMONICS 100
+pCodeInstruction *pic14Mnemonics[MAX_PIC14MNEMONICS];
+
+char *Safe_strdup(char *str)
+{
+ char *copy;
+
+ if(!str)
+ return NULL;
+
+ copy = strdup(str);
+ if(!copy) {
+ fprintf(stderr, "out of memory %s,%d\n",__FUNCTION__,__LINE__);
+ exit(1);
+ }
+
+ return copy;
+
+}
+
+void pCodeInitRegisters(void)
+{
+
+ pc_fsr.rIdx = 4;
+ pc_fsr.r = pic14_regWithIdx(4);
+
+}
+
+/*-----------------------------------------------------------------*/
+/* mnem2key - convert a pic mnemonic into a hash key */
+/* (BTW - this spreads the mnemonics quite well) */
+/* */
+/*-----------------------------------------------------------------*/
+
+int mnem2key(char const *mnem)
+{
+ int key = 0;
+
+ if(!mnem)
+ return 0;
+
+ while(*mnem) {
+
+ key += toupper(*mnem++) +1;
+
+ }
+
+ return (key & 0x1f);
+
+}
+
+void pic14initMnemonics(void)
+{
+ int i = 0;
+ int key;
+ // char *str;
+ pCodeInstruction *pci;
+
+ if(mnemonics_initialized)
+ return;
+
+ pic14Mnemonics[POC_ADDLW] = &pciADDLW;
+ pic14Mnemonics[POC_ADDWF] = &pciADDWF;
+ pic14Mnemonics[POC_ADDFW] = &pciADDFW;
+ pic14Mnemonics[POC_ANDLW] = &pciANDLW;
+ pic14Mnemonics[POC_ANDWF] = &pciANDWF;
+ pic14Mnemonics[POC_ANDFW] = &pciANDFW;
+ pic14Mnemonics[POC_BCF] = &pciBCF;
+ pic14Mnemonics[POC_BSF] = &pciBSF;
+ pic14Mnemonics[POC_BTFSC] = &pciBTFSC;
+ pic14Mnemonics[POC_BTFSS] = &pciBTFSS;
+ pic14Mnemonics[POC_CALL] = &pciCALL;
+ pic14Mnemonics[POC_COMF] = &pciCOMF;
+ pic14Mnemonics[POC_CLRF] = &pciCLRF;
+ pic14Mnemonics[POC_CLRW] = &pciCLRW;
+ pic14Mnemonics[POC_DECF] = &pciDECF;
+ pic14Mnemonics[POC_DECFW] = &pciDECFW;
+ pic14Mnemonics[POC_DECFSZ] = &pciDECFSZ;
+ pic14Mnemonics[POC_DECFSZW] = &pciDECFSZW;
+ pic14Mnemonics[POC_GOTO] = &pciGOTO;
+ pic14Mnemonics[POC_INCF] = &pciINCF;
+ pic14Mnemonics[POC_INCFW] = &pciINCFW;
+ pic14Mnemonics[POC_INCFSZ] = &pciINCFSZ;
+ pic14Mnemonics[POC_INCFSZW] = &pciINCFSZW;
+ pic14Mnemonics[POC_IORLW] = &pciIORLW;
+ pic14Mnemonics[POC_IORWF] = &pciIORWF;
+ pic14Mnemonics[POC_IORFW] = &pciIORFW;
+ pic14Mnemonics[POC_MOVF] = &pciMOVF;
+ pic14Mnemonics[POC_MOVFW] = &pciMOVFW;
+ pic14Mnemonics[POC_MOVLW] = &pciMOVLW;
+ pic14Mnemonics[POC_MOVWF] = &pciMOVWF;
+ pic14Mnemonics[POC_NEGF] = &pciNEGF;
+ pic14Mnemonics[POC_RETLW] = &pciRETLW;
+ pic14Mnemonics[POC_RETURN] = &pciRETURN;
+ pic14Mnemonics[POC_SUBLW] = &pciSUBLW;
+ pic14Mnemonics[POC_SUBWF] = &pciSUBWF;
+ pic14Mnemonics[POC_SUBFW] = &pciSUBFW;
+ pic14Mnemonics[POC_TRIS] = &pciTRIS;
+ pic14Mnemonics[POC_XORLW] = &pciXORLW;
+ pic14Mnemonics[POC_XORWF] = &pciXORWF;
+ pic14Mnemonics[POC_XORFW] = &pciXORFW;
+
+ for(i=0; i<MAX_PIC14MNEMONICS; i++)
+ if(pic14Mnemonics[i])
+ hTabAddItem(&pic14MnemonicsHash, mnem2key(pic14Mnemonics[i]->mnemonic), pic14Mnemonics[i]);
+ pci = hTabFirstItem(pic14MnemonicsHash, &key);
+
+ while(pci) {
+ fprintf( stderr, "element %d key %d, mnem %s\n",i++,key,pci->mnemonic);
+ pci = hTabNextItem(pic14MnemonicsHash, &key);
+ }
+
+ mnemonics_initialized = 1;
+}
+
+int getpCode(char *mnem,int dest)
+{
+
+ pCodeInstruction *pci;
+ int key = mnem2key(mnem);
+
+ if(!mnemonics_initialized)
+ pic14initMnemonics();
+
+ pci = hTabFirstItemWK(pic14MnemonicsHash, key);
+
+ while(pci) {
+
+ if(strcasecmp(pci->mnemonic, mnem) == 0) {
+ if((pci->num_ops <= 1) || (pci->dest == dest))
+ return(pci->op);
+ }
+
+ pci = hTabNextItemWK (pic14MnemonicsHash);
+
+ }
+
+ return -1;
+}
+
+char getpBlock_dbName(pBlock *pb)
+{
+ if(!pb)
+ return 0;
+
+ if(pb->cmemmap)
+ return pb->cmemmap->dbName;
+
+ return pb->dbName;
+}
+/*-----------------------------------------------------------------*/
+/* movepBlock2Head - given the dbname of a pBlock, move all */
+/* instances to the front of the doubly linked */
+/* list of pBlocks */
+/*-----------------------------------------------------------------*/
+
+void movepBlock2Head(char dbName)
+{
+ pBlock *pb;
+
+ pb = the_pFile->pbHead;
+
+ while(pb) {
+
+ if(getpBlock_dbName(pb) == dbName) {
+ pBlock *pbn = pb->next;
+ pb->next = the_pFile->pbHead;
+ the_pFile->pbHead->prev = pb;
+ the_pFile->pbHead = pb;
+
+ if(pb->prev)
+ pb->prev->next = pbn;
+
+ // If the pBlock that we just moved was the last
+ // one in the link of all of the pBlocks, then we
+ // need to point the tail to the block just before
+ // the one we moved.
+ // Note: if pb->next is NULL, then pb must have
+ // been the last pBlock in the chain.
+
+ if(pbn)
+ pbn->prev = pb->prev;
+ else
+ the_pFile->pbTail = pb->prev;
+
+ pb = pbn;
+
+ } else
+ pb = pb->next;
+
+ }
+
+}
void copypCode(FILE *of, char dbName)
{
if(!of || !the_pFile)
return;
- fprintf(of,";dumping pcode to a file");
-
for(pb = the_pFile->pbHead; pb; pb = pb->next) {
- if(pb->cmemmap->dbName == dbName)
+ if(getpBlock_dbName(pb) == dbName)
printpBlock(of,pb);
}
printf("pcode is alive!\n");
+ //initMnemonics();
+
if(the_pFile) {
pBlock *pb;
for(pb = the_pFile->pbHead; pb; pb = pb->next) {
fprintf(pFile,"\n\tNew pBlock\n\n");
- fprintf(pFile,"%s, dbName =%c\n",pb->cmemmap->sname,pb->cmemmap->dbName);
+ if(pb->cmemmap)
+ fprintf(pFile,"%s",pb->cmemmap->sname);
+ else
+ fprintf(pFile,"internal pblock");
+
+ fprintf(pFile,", dbName =%c\n",getpBlock_dbName(pb));
printpBlock(pFile,pb);
}
}
}
+static int RegCond(pCodeOp *pcop)
+{
+
+ if(!pcop)
+ return 0;
+
+ if(pcop->type == PO_BIT && !strcmp(pcop->name, pc_status.pcop.name)) {
+ switch(PCOB(pcop)->bit) {
+ case PIC_C_BIT:
+ return PCC_C;
+ case PIC_DC_BIT:
+ return PCC_DC;
+ case PIC_Z_BIT:
+ return PCC_Z;
+ }
+
+ }
+
+ return 0;
+}
/*-----------------------------------------------------------------*/
/* newpCode - create and return a newly initialized pCode */
+/* */
+/* fixme - rename this */
+/* */
+/* The purpose of this routine is to create a new Instruction */
+/* pCode. This is called by gen.c while the assembly code is being */
+/* generated. */
+/* */
+/* Inouts: */
+/* PIC_OPCODE op - the assembly instruction we wish to create. */
+/* (note that the op is analogous to but not the */
+/* same thing as the opcode of the instruction.) */
+/* pCdoeOp *pcop - pointer to the operand of the instruction. */
+/* */
+/* Outputs: */
+/* a pointer to the new malloc'd pCode is returned. */
+/* */
+/* */
+/* */
/*-----------------------------------------------------------------*/
pCode *newpCode (PIC_OPCODE op, pCodeOp *pcop)
{
pCodeInstruction *pci ;
+
+ if(!mnemonics_initialized)
+ pic14initMnemonics();
+ pci = Safe_calloc(1, sizeof(pCodeInstruction));
- _ALLOC(pci,sizeof(pCodeInstruction));
- pci->pc.analyze = genericAnalyze;
- pci->pc.destruct = genericDestruct;
- pci->pc.type = PC_OPCODE;
- pci->op = op;
- pci->pc.prev = pci->pc.next = NULL;
- pci->pcop = pcop;
- pci->dest = 0;
- pci->bit_inst = 0;
- pci->num_ops = 2;
- pci->pc.print = genericPrint;
- pci->pc.from = pci->pc.to = pci->pc.label = NULL;
-
- if(pcop && pcop->name)
- printf("newpCode operand name %s\n",pcop->name);
-
- switch(op) {
-
- case POC_ANDLW:
- pci->mnemonic = scpANDLW;
- pci->num_ops = 1;
- break;
- case POC_ANDWF:
- pci->dest = 1;
- case POC_ANDFW:
- pci->mnemonic = scpANDWF;
- break;
+ if((op>=0) && (op < MAX_PIC14MNEMONICS) && pic14Mnemonics[op]) {
+ memcpy(pci, pic14Mnemonics[op], sizeof(pCodeInstruction));
+ pci->pcop = pcop;
- case POC_ADDLW:
- pci->mnemonic = scpADDLW;
- pci->num_ops = 1;
- break;
- case POC_ADDWF:
- pci->dest = 1;
- case POC_ADDFW:
- pci->mnemonic = scpADDWF;
- break;
- case POC_BCF:
- pci->bit_inst = 1;
- pci->mnemonic = scpBCF;
- break;
- case POC_BSF:
- pci->bit_inst = 1;
- pci->mnemonic = scpBSF;
- break;
- case POC_BTFSC:
- pci->bit_inst = 1;
- pci->mnemonic = scpBTFSC;
- pci->pc.analyze = AnalyzeSKIP;
- break;
- case POC_BTFSS:
- pci->bit_inst = 1;
- pci->mnemonic = scpBTFSS;
- pci->pc.analyze = AnalyzeSKIP;
- break;
- case POC_CALL:
- pci->num_ops = 1;
- pci->mnemonic = scpCALL;
- break;
- case POC_COMF:
- pci->mnemonic = scpCOMF;
- break;
- case POC_CLRF:
- pci->num_ops = 1;
- pci->mnemonic = scpCLRF;
- break;
- case POC_CLRW:
- pci->num_ops = 0;
- pci->mnemonic = scpCLRW;
- break;
- case POC_DECF:
- pci->dest = 1;
- case POC_DECFW:
- pci->mnemonic = scpDECF;
- break;
- case POC_DECFSZ:
- pci->dest = 1;
- case POC_DECFSZW:
- pci->mnemonic = scpDECFSZ;
- pci->pc.analyze = AnalyzeSKIP;
- break;
- case POC_GOTO:
- pci->num_ops = 1;
- pci->mnemonic = scpGOTO;
- pci->pc.analyze = AnalyzeGOTO;
- break;
- case POC_INCF:
- pci->dest = 1;
- case POC_INCFW:
- pci->mnemonic = scpINCF;
- break;
- case POC_INCFSZ:
- pci->dest = 1;
- case POC_INCFSZW:
- pci->mnemonic = scpINCFSZ;
- pci->pc.analyze = AnalyzeSKIP;
- break;
- case POC_IORLW:
- pci->num_ops = 1;
- pci->mnemonic = scpIORLW;
- break;
- case POC_IORWF:
- pci->dest = 1;
- case POC_IORFW:
- pci->mnemonic = scpIORWF;
- break;
- case POC_MOVF:
- pci->dest = 1;
- case POC_MOVFW:
- pci->mnemonic = scpMOVF;
- break;
- case POC_MOVLW:
- pci->num_ops = 1;
- pci->mnemonic = scpMOVLW;
- break;
- case POC_MOVWF:
- pci->num_ops = 1;
- pci->mnemonic = scpMOVWF;
- break;
- case POC_NEGF:
- pci->mnemonic = scpNEGF;
- break;
- case POC_RETLW:
- pci->num_ops = 1;
- pci->mnemonic = scpRETLW;
- pci->pc.analyze = AnalyzeRETURN;
- break;
- case POC_RETURN:
- pci->num_ops = 0;
- pci->mnemonic = scpRETURN;
- pci->pc.analyze = AnalyzeRETURN;
- break;
- case POC_SUBLW:
- pci->mnemonic = scpSUBLW;
- pci->num_ops = 1;
- break;
- case POC_SUBWF:
- pci->dest = 1;
- case POC_SUBFW:
- pci->mnemonic = scpSUBWF;
- break;
- case POC_TRIS:
- pci->mnemonic = scpTRIS;
- break;
- case POC_XORLW:
- pci->num_ops = 1;
- pci->mnemonic = scpXORLW;
- break;
- case POC_XORWF:
- pci->dest = 1;
- case POC_XORFW:
- pci->mnemonic = scpXORWF;
- break;
+ if(pci->inCond == PCC_EXAMINE_PCOP)
+ pci->inCond = RegCond(pcop);
- default:
- pci->pc.print = genericPrint;
+ if(pci->outCond == PCC_EXAMINE_PCOP)
+ pci->outCond = RegCond(pcop);
+
+ return (pCode *)pci;
}
-
- return (pCode *)pci;
+
+ fprintf(stderr, "pCode mnemonic error %s,%d\n",__FUNCTION__,__LINE__);
+ exit(1);
+
+ return NULL;
}
+/*-----------------------------------------------------------------*/
+/* newpCodeWild - create a "wild" as in wild card pCode */
+/* */
+/* Wild pcodes are used during the peep hole optimizer to serve */
+/* as place holders for any instruction. When a snippet of code is */
+/* compared to a peep hole rule, the wild card opcode will match */
+/* any instruction. However, the optional operand and label are */
+/* additional qualifiers that must also be matched before the */
+/* line (of assembly code) is declared matched. Note that the */
+/* operand may be wild too. */
+/* */
+/* Note, a wild instruction is specified just like a wild var: */
+/* %4 ; A wild instruction, */
+/* See the peeph.def file for additional examples */
+/* */
+/*-----------------------------------------------------------------*/
+
+pCode *newpCodeWild(int pCodeID, pCodeOp *optional_operand, pCodeOp *optional_label)
+{
+
+ pCodeWild *pcw;
+
+ pcw = Safe_calloc(1,sizeof(pCodeWild));
+
+ pcw->pc.type = PC_WILD;
+ pcw->pc.prev = pcw->pc.next = NULL;
+ pcw->pc.from = pcw->pc.to = pcw->pc.label = NULL;
+ pcw->pc.pb = NULL;
+
+ pcw->pc.analyze = genericAnalyze;
+ pcw->pc.destruct = genericDestruct;
+ pcw->pc.print = genericPrint;
+
+ pcw->id = pCodeID; // this is the 'n' in %n
+ pcw->operand = optional_operand;
+ pcw->label = optional_label;
+
+ return ( (pCode *)pcw);
+
+}
/*-----------------------------------------------------------------*/
/* newPcodeCharP - create a new pCode from a char string */
pCodeComment *pcc ;
- _ALLOC(pcc,sizeof(pCodeComment));
-
+ pcc = Safe_calloc(1,sizeof(pCodeComment));
+
pcc->pc.type = PC_COMMENT;
pcc->pc.prev = pcc->pc.next = NULL;
pcc->pc.from = pcc->pc.to = pcc->pc.label = NULL;
+ pcc->pc.pb = NULL;
pcc->pc.analyze = genericAnalyze;
pcc->pc.destruct = genericDestruct;
pcc->pc.print = genericPrint;
- if(cP) {
- _ALLOC_ATOMIC(pcc->comment,strlen(cP)+1);
- strcpy(pcc->comment,cP);
- } else
- pcc->comment = NULL;
+ pcc->comment = Safe_strdup(cP);
return ( (pCode *)pcc);
pcf->pc.type = PC_FUNCTION;
pcf->pc.prev = pcf->pc.next = NULL;
pcf->pc.from = pcf->pc.to = pcf->pc.label = NULL;
+ pcf->pc.pb = NULL;
pcf->pc.analyze = genericAnalyze;
pcf->pc.destruct = genericDestruct;
}
+static void pCodeLabelDestruct(pCode *pc)
+{
+
+ if(!pc)
+ return;
+
+ unlinkPC(pc);
+
+ if(PCL(pc)->label)
+ free(PCL(pc)->label);
+
+ free(pc);
+
+}
pCode *newpCodeLabel(int key)
{
+ char *s = buffer;
pCodeLabel *pcl;
- _ALLOC(pcl,sizeof(pCodeLabel));
-
+ pcl = Safe_calloc(1,sizeof(pCodeLabel) );
+
pcl->pc.type = PC_LABEL;
pcl->pc.prev = pcl->pc.next = NULL;
pcl->pc.from = pcl->pc.to = pcl->pc.label = NULL;
+ pcl->pc.pb = NULL;
pcl->pc.analyze = genericAnalyze;
- pcl->pc.destruct = genericDestruct;
+ pcl->pc.destruct = pCodeLabelDestruct;
pcl->pc.print = pCodePrintLabel;
pcl->key = key;
+ if(key>0) {
+ sprintf(s,"_%05d_DS_",key);
+ pcl->label = Safe_strdup(s);
+ } else
+ pcl->label = NULL;
+
return ( (pCode *)pcl);
}
+pCode *newpCodeLabelStr(char *str)
+{
+ pCode *pc = newpCodeLabel(-1);
+
+ PCL(pc)->label = Safe_strdup(str);
+
+ return pc;
+}
/*-----------------------------------------------------------------*/
/* newpBlock - create and return a pointer to a new pBlock */
pBlock *PpB;
- _ALLOC(PpB,sizeof(pBlock));
+ PpB = Safe_calloc(1,sizeof(pBlock) );
PpB->next = PpB->prev = NULL;
+ PpB->function_entries = PpB->function_exits = PpB->function_calls = NULL;
+ PpB->registers = NULL;
+ PpB->visited = 0;
+
return PpB;
}
*-----------------------------------------------------------------*/
-pBlock *newpCodeChain(memmap *cm,pCode *pc)
+pBlock *newpCodeChain(memmap *cm,char c, pCode *pc)
{
- pBlock *pB = newpBlock();
+ pBlock *pB = newpBlock();
- pB->pcHead = pB->pcTail = pc;
+ pB->pcHead = pB->pcTail = pc;
pB->cmemmap = cm;
+ pB->dbName = c;
return pB;
}
/*-----------------------------------------------------------------*/
+/* newpCodeOpLabel - Create a new label given the key */
+/* Note, a negative key means that the label is part of wild card */
+/* (and hence a wild card label) used in the pCodePeep */
+/* optimizations). */
/*-----------------------------------------------------------------*/
-pCodeOp *newpCodeOp(char *name)
-{
- pCodeOp *pcop;
-
- _ALLOC(pcop,sizeof(pCodeOp) );
- pcop->type = PO_NONE;
- pcop->name = strdup(name);
-
- return pcop;
-}
-
pCodeOp *newpCodeOpLabel(int key)
{
char *s = buffer;
pCodeOp *pcop;
- _ALLOC(pcop,sizeof(pCodeOpLabel) );
- sprintf(s,"_%05d_DS_",key);
+ pcop = Safe_calloc(1,sizeof(pCodeOpLabel) );
pcop->type = PO_LABEL;
- pcop->name = strdup(s);
+
+ if(key>0) {
+ sprintf(s,"_%05d_DS_",key);
+ pcop->name = Safe_strdup(s);
+ } else
+ pcop->name = NULL;
+
((pCodeOpLabel *)pcop)->key = key;
return pcop;
pCodeOp *pcop;
- _ALLOC(pcop,sizeof(pCodeOpLit) );
+ pcop = Safe_calloc(1,sizeof(pCodeOpLit) );
pcop->type = PO_LITERAL;
- sprintf(s,"0x%02x",lit);
- _ALLOC_ATOMIC(pcop->name,strlen(s)+1);
- strcpy(pcop->name,s);
+ if(lit>=0) {
+ sprintf(s,"0x%02x",lit);
+ pcop->name = Safe_strdup(s);
+ } else
+ pcop->name = NULL;
+
((pCodeOpLit *)pcop)->lit = lit;
return pcop;
}
-pCodeOp *newpCodeOpWild(int id)
+pCodeOp *newpCodeOpWild(int id, pCodePeep *pcp, pCodeOp *subtype)
{
char *s = buffer;
pCodeOp *pcop;
- _ALLOC(pcop,sizeof(pCodeOpWild) );
+ if(!pcp || !subtype) {
+ fprintf(stderr, "Wild opcode declaration error: %s-%d\n",__FILE__,__LINE__);
+ exit(1);
+ }
+
+ pcop = Safe_calloc(1,sizeof(pCodeOpWild));
pcop->type = PO_WILD;
sprintf(s,"%%%d",id);
- _ALLOC_ATOMIC(pcop->name,strlen(s)+1);
- strcpy(pcop->name,s);
- ((pCodeOpWild *)pcop)->id = id;
+ pcop->name = Safe_strdup(s);
+
+ PCOW(pcop)->id = id;
+ PCOW(pcop)->pcp = pcp;
+ PCOW(pcop)->subtype = subtype;
+ PCOW(pcop)->matched = NULL;
return pcop;
}
{
pCodeOp *pcop;
- _ALLOC(pcop,sizeof(pCodeOpBit) );
+ pcop = Safe_calloc(1,sizeof(pCodeOpBit) );
pcop->type = PO_BIT;
- pcop->name = strdup(s);
- ((pCodeOpBit *)pcop)->bit = bit;
- ((pCodeOpBit *)pcop)->inBitSpace = 1;
+ pcop->name = Safe_strdup(s);
+
+ PCOB(pcop)->bit = bit;
+ if(bit>=0)
+ PCOB(pcop)->inBitSpace = 1;
+ else
+ PCOB(pcop)->inBitSpace = 0;
+
+ return pcop;
+}
+
+/*-----------------------------------------------------------------*/
+/*-----------------------------------------------------------------*/
+
+pCodeOp *newpCodeOp(char *name, PIC_OPTYPE type)
+{
+ pCodeOp *pcop;
+
+ switch(type) {
+ case PO_BIT:
+ pcop = newpCodeOpBit(name, -1);
+ break;
+
+ case PO_LITERAL:
+ pcop = newpCodeOpLit(-1);
+ break;
+
+ case PO_LABEL:
+ pcop = newpCodeOpLabel(-1);
+ break;
+
+ default:
+ pcop = Safe_calloc(1,sizeof(pCodeOp) );
+ pcop->type = type;
+ pcop->name = Safe_strdup(name);
+ }
return pcop;
}
pb->pcTail->next = pc;
pc->prev = pb->pcTail;
pc->next = NULL;
+ pc->pb = pb;
pb->pcTail = pc;
}
the_pFile->pbTail = pb;
}
-
/*-----------------------------------------------------------------*/
/* printpCode - write the contents of a pCode to a file */
/*-----------------------------------------------------------------*/
/* */
/* pCode processing */
/* */
-/* The stuff that follows is very PIC specific! */
-/* */
-/* */
/* */
/* */
/*-----------------------------------------------------------------*/
-static void unlink(pCode *pc)
+static void unlinkPC(pCode *pc)
{
if(pc && pc->prev && pc->next) {
}
static void genericDestruct(pCode *pc)
{
- unlink(pc);
-
fprintf(stderr,"warning, calling default pCode destructor\n");
+
+ unlinkPC(pc);
+
free(pc);
+
+}
+
+
+void pBlockRegs(FILE *of, pBlock *pb)
+{
+
+ regs *r;
+
+ r = setFirstItem(pb->registers);
+ while (r) {
+ fprintf(of," %s\n",r->name);
+ r = setNextItem(pb->registers);
+ }
}
+
static char *get_op( pCodeInstruction *pcc)
{
- if(pcc && pcc->pcop && pcc->pcop->name)
- return pcc->pcop->name;
- return "NO operand";
-#if 0
- operand *op;
+ regs *r;
- switch(pcc->lrr) {
+ if(pcc && pcc->pcop) {
- case POT_RESULT:
- op = IC_RESULT(pcc->ic);
- break;
- case POT_LEFT:
- op = IC_LEFT(pcc->ic);
- break;
- case POT_RIGHT:
- op = IC_RIGHT(pcc->ic);
- break;
- default:
- return "get_op bad lrr";
+ switch(pcc->pcop->type) {
+
+ case PO_FSR:
+ case PO_GPR_TEMP:
+ r = pic14_regWithIdx(PCOR(pcc->pcop)->r->rIdx);
+ fprintf(stderr,"getop: getting %s\nfrom:\n",r->name); //pcc->pcop->name);
+ pBlockRegs(stderr,pcc->pc.pb);
+ return r->name;
+
+ default:
+ if (pcc->pcop->name)
+ return pcc->pcop->name;
+
+ }
}
- return(OP_SYMBOL(op)->rname[0] ? OP_SYMBOL(op)->rname : OP_SYMBOL(op)->name);
-
-#endif
+ return "NO operand";
+}
+
+/*-----------------------------------------------------------------*/
+/*-----------------------------------------------------------------*/
+static void pCodeOpPrint(FILE *of, pCodeOp *pcop)
+{
+
+ fprintf(of,"pcodeopprint\n");
}
/*-----------------------------------------------------------------*/
} else {
if(PCI(pc)->pcop->type == PO_BIT) {
+ if( PCI(pc)->num_ops == 2)
+ fprintf(of,"(%s >> 3),%c",get_op(PCI(pc)),((PCI(pc)->dest) ? 'F':'W'));
+ else
+ fprintf(of,"(1 << (%s & 7))",get_op(PCI(pc)));
+
+/*
if( PCI(pc)->num_ops == 2)
fprintf(of,"(%s >> 3),%c",PCI(pc)->pcop->name,((PCI(pc)->dest) ? 'F':'W'));
else
fprintf(of,"(1 << (%s & 7))",PCI(pc)->pcop->name);
+*/
}else {
fprintf(of,"%s",get_op(PCI(pc)));
break;
+ case PC_WILD:
+ fprintf(of,";\tWild opcode: id=%d\n",PCW(pc)->id);
+ if(PCW(pc)->operand) {
+ fprintf(of,";\toperand ");
+ pCodeOpPrint(of,PCW(pc)->operand );
+ }
+ break;
+
case PC_LABEL:
default:
fprintf(of,"unknown pCode type %d\n",pc->type);
i++;
exits = exits->next;
}
- if(i) i--;
+ //if(i) i--;
fprintf(of,"; %d exit point%c\n",i, ((i==1) ? ' ':'s'));
}else {
if(!pc || !of)
return;
- fprintf(of,"_%05d_DS_:\n",((pCodeLabel *)pc)->key);
+ if(PCL(pc)->label)
+ fprintf(of,"%s\n",PCL(pc)->label);
+ else if (PCL(pc)->key >=0)
+ fprintf(of,"_%05d_DS_:\n",PCL(pc)->key);
+ else
+ fprintf(of,";wild card label\n");
}
-
/*-----------------------------------------------------------------*/
static pBranch * pBranchAppend(pBranch *h, pBranch *n)
}
-void optimizepBlock(pBlock *pb)
+void AnalyzepBlock(pBlock *pb)
{
pCode *pc;
if(!pb)
return;
+ /* Find all of the registers used in this pBlock */
+ for(pc = pb->pcHead; pc; pc = pc->next) {
+ if(pc->type == PC_OPCODE) {
+ if(PCI(pc)->pcop && PCI(pc)->pcop->type == PO_GPR_TEMP) {
+
+ /* Loop through all of the registers declared so far in
+ this block and see if we find this new there */
+
+ regs *r = setFirstItem(pb->registers);
+
+ while(r) {
+ if(r->rIdx == PCOR(PCI(pc)->pcop)->r->rIdx) {
+ PCOR(PCI(pc)->pcop)->r = r;
+ break;
+ }
+ r = setNextItem(pb->registers);
+ }
+
+ if(!r) {
+ /* register wasn't found */
+ r = Safe_calloc(1, sizeof(regs));
+ memcpy(r,PCOR(PCI(pc)->pcop)->r, sizeof(regs));
+ addSet(&pb->registers, r);
+ PCOR(PCI(pc)->pcop)->r = r;
+ fprintf(stderr,"added register to pblock: reg %d\n",r->rIdx);
+ } else
+ fprintf(stderr,"found register in pblock: reg %d\n",r->rIdx);
+ }
+ }
+ }
+}
+
+int OptimizepBlock(pBlock *pb)
+{
+ pCode *pc;
+ int matches =0;
+
+ if(!pb || !peepOptimizing)
+ return 0;
+
+ fprintf(stderr," Optimizing pBlock\n");
+
for(pc = pb->pcHead; pc; pc = pc->next)
- pc->analyze(pc);
+ matches += pCodePeepMatchRule(pc);
+
+ return matches;
}
/*-----------------------------------------------------------------*/
}
}
+
+/*-----------------------------------------------------------------*/
+/*-----------------------------------------------------------------*/
+void OptimizepCode(char dbName)
+{
+#define MAX_PASSES 4
+
+ int matches = 0;
+ int passes = 0;
+ pBlock *pb;
+
+ if(!the_pFile)
+ return;
+
+ fprintf(stderr," Optimizing pCode\n");
+
+ do {
+ for(pb = the_pFile->pbHead; pb; pb = pb->next) {
+ if('*' == dbName || getpBlock_dbName(pb) == dbName)
+ matches += OptimizepBlock(pb);
+ }
+ }
+ while(matches && ++passes < MAX_PASSES);
+
+}
+
/*-----------------------------------------------------------------*/
/* AnalyzepCode - parse the pCode that has been generated and form */
/* all of the logical connections. */
/* First, merge the labels with the instructions */
for(pb = the_pFile->pbHead; pb; pb = pb->next) {
- if(pb->cmemmap->dbName == dbName)
+ if('*' == dbName || getpBlock_dbName(pb) == dbName) {
pBlockMergeLabels(pb);
+ AnalyzepBlock(pb);
+ }
}
for(pb = the_pFile->pbHead; pb; pb = pb->next) {
- if(pb->cmemmap->dbName == dbName)
- optimizepBlock(pb);
+ if('*' == dbName || getpBlock_dbName(pb) == dbName)
+ OptimizepBlock(pb);
}
/* Now build the call tree.
First we examine all of the pCodes for functions.
-
+ Keep in mind that the function boundaries coincide
+ with pBlock boundaries.
+
+ The algorithm goes something like this:
+ We have two nested loops. The outer loop iterates
+ through all of the pBlocks/functions. The inner
+ loop iterates through all of the pCodes for
+ a given pBlock. When we begin iterating through
+ a pBlock, the variable pc_fstart, pCode of the start
+ of a function, is cleared. We then search for pCodes
+ of type PC_FUNCTION. When one is encountered, we
+ initialize pc_fstart to this and at the same time
+ associate a new pBranch object that signifies a
+ branch entry. If a return is found, then this signifies
+ a function exit point. We'll link the pCodes of these
+ returns to the matching pc_fstart.
+
+ When we're done, a doubly linked list of pBranches
+ will exist. The head of this list is stored in
+ `the_pFile', which is the meta structure for all
+ of the pCode. Look at the printCallTree function
+ on how the pBranches are linked together.
+
*/
for(pb = the_pFile->pbHead; pb; pb = pb->next) {
- if(pb->cmemmap->dbName == dbName) {
+ if('*' == dbName || getpBlock_dbName(pb) == dbName) {
pCode *pc_fstart=NULL;
for(pc = pb->pcHead; pc; pc = pc->next) {
if(pc->type == PC_FUNCTION) {
if (PCF(pc)->fname) {
+ // I'm not liking this....
// Found the beginning of a function.
_ALLOC(pbr,sizeof(pBranch));
pbr->pc = pc_fstart = pc;
pbr->next = NULL;
the_pFile->functions = pBranchAppend(the_pFile->functions,pbr);
+
+ // Here's a better way of doing the same:
+ addSet(&pb->function_entries, pc);
+
} else {
// Found an exit point in a function, e.g. return
// (Note, there may be more than one return per function)
if(pc_fstart)
pBranchLink(pc_fstart, pc);
+
+ addSet(&pb->function_exits, pc);
}
+ } else if(pc->type == PC_OPCODE && PCI(pc)->op == POC_CALL) {
+ addSet(&pb->function_calls,pc);
}
}
}
return 0;
}
-void printCallTree(FILE *of)
+/*-----------------------------------------------------------------*/
+/* findFunction - Search for a function by name (given the name) */
+/* in the set of all functions that are in a pBlock */
+/* (note - I expect this to change because I'm planning to limit */
+/* pBlock's to just one function declaration */
+/*-----------------------------------------------------------------*/
+pCode *findFunction(char *fname)
{
- pBranch *pbr;
+ pBlock *pb;
+ pCode *pc;
+ if(!fname)
+ return NULL;
- if(!the_pFile)
- return;
+ for(pb = the_pFile->pbHead; pb; pb = pb->next) {
- if(!of)
- of = stderr;
+ pc = setFirstItem(pb->function_entries);
+ while(pc) {
+
+ if((pc->type == PC_FUNCTION) &&
+ (PCF(pc)->fname) &&
+ (strcmp(fname, PCF(pc)->fname)==0))
+ return pc;
- pbr = the_pFile->functions;
+ pc = setNextItem(pb->function_entries);
- fprintf(of,"Call Tree\n");
- while(pbr) {
- if(pbr->pc) {
- pCode *pc = pbr->pc;
- if(!ispCodeFunction(pc))
- fprintf(of,"bug in call tree");
+ }
+ }
+ return NULL;
+}
- fprintf(of,"Function: %s\n", PCF(pc)->fname);
+void MarkUsedRegisters(set *regset)
+{
- while(pc->next && !ispCodeFunction(pc->next)) {
- pc = pc->next;
- if(pc->type == PC_OPCODE && PCI(pc)->op == POC_CALL)
- fprintf(of,"\t%s\n",get_op(PCI(pc)));
- }
- }
+ regs *r1,*r2;
- pbr = pbr->next;
+ for(r1=setFirstItem(regset); r1; r1=setNextItem(regset)) {
+ r2 = pic14_regWithIdx(r1->rIdx);
+ r2->isFree = 0;
+ r2->wasUsed = 1;
}
}
-#if 0
-/*-----------------------------------------------------------------*/
-/* pCodePeep */
-/*-----------------------------------------------------------------*/
-int pCodePeepCompare(pCode *pc, pCodePeep *pcp)
+
+void pBlockStats(FILE *of, pBlock *pb)
{
- pCode *pcfrom,*pcto;
- pcfrom = pc;
- for( pcto=pcp->target; pcto; pcto=pcto->next) {
+ pCode *pc;
+ regs *r;
- pcfrom = findNextInstruction(pcfrom);
+ fprintf(of,"***\n pBlock Stats\n***\n");
- if( pcfrom &&
- (PCI(pcfrom)->op == PCI(pcto)->op ||
- PCI(pcto)->op == POC_WILD))
- continue;
- return 0;
+ // for now just print the first element of each set
+ pc = setFirstItem(pb->function_entries);
+ if(pc) {
+ fprintf(of,"entry\n");
+ pc->print(of,pc);
+ }
+ pc = setFirstItem(pb->function_exits);
+ if(pc) {
+ fprintf(of,"has an exit\n");
+ pc->print(of,pc);
+ }
+
+ pc = setFirstItem(pb->function_calls);
+ if(pc) {
+ fprintf(of,"functions called\n");
+
+ while(pc) {
+ pc->print(of,pc);
+ pc = setNextItem(pb->function_calls);
+ }
+ }
+
+ r = setFirstItem(pb->registers);
+ if(r) {
+ int n = elementsInSet(pb->registers);
+
+ fprintf(of,"%d compiler assigned register%c:\n",n, ( (n!=1) ? 's' : ' '));
+
+ while (r) {
+ fprintf(of," %s\n",r->name);
+ r = setNextItem(pb->registers);
+ }
}
- return 0;
}
/*-----------------------------------------------------------------*/
-/* pCodePeep */
/*-----------------------------------------------------------------*/
-void pCodePeepSearch(pCodePeep *snippet)
+void sequencepCode(void)
{
pBlock *pb;
pCode *pc;
- if(!the_pFile)
- return;
- /* compare the chain to the pCode that we've
- got so far. If a match is found, then replace
- the pCode chain.
- */
for(pb = the_pFile->pbHead; pb; pb = pb->next) {
- for(pc = pb->pcHead; pc; pc = pc->next) {
- pCodePeepCompare(pc,snippet);
- }
+
+ pb->seq = GpCodeSequenceNumber+1;
+
+ for( pc = pb->pcHead; pc; pc = pc->next)
+ pc->seq = ++GpCodeSequenceNumber;
}
}
-#endif
-#if 0
-pBlock *pBlockAppend(pBlock *pb1, pBlock *pb2)
+/*-----------------------------------------------------------------*/
+/*-----------------------------------------------------------------*/
+set *register_usage(pBlock *pb)
{
- pBlock *pb;
+ pCode *pc,*pcn;
+ set *registers=NULL;
+ set *registersInCallPath = NULL;
+
+ /* check recursion */
+
+ pc = setFirstItem(pb->function_entries);
- if(!pb1->tail)
- return pb2;
+ if(!pc)
+ return registers;
- pb = pb1->tail;
+ pb->visited = 1;
+
+ if(pc->type != PC_FUNCTION)
+ fprintf(stderr,"%s, first pc is not a function???\n",__FUNCTION__);
+
+ pc = setFirstItem(pb->function_calls);
+ for( ; pc; pc = setNextItem(pb->function_calls)) {
+
+ if(pc->type == PC_OPCODE && PCI(pc)->op == POC_CALL) {
+ char *dest = get_op(PCI(pc));
+
+ pcn = findFunction(dest);
+ if(pcn)
+ registersInCallPath = register_usage(pcn->pb);
+ } else
+ fprintf(stderr,"BUG? pCode isn't a POC_CALL %d\n",__LINE__);
+
+ }
+
+
+ pBlockStats(stderr,pb); // debug
+ if(registersInCallPath) {
+ /* registers were used in the functions this pBlock has called */
+ /* so now, we need to see if these collide with the ones we are */
+ /* using here */
+
+ regs *r1,*r2, *newreg;
+
+ fprintf(stderr,"comparing registers\n");
+
+ r1 = setFirstItem(registersInCallPath);
+ while(r1) {
+
+ r2 = setFirstItem(pb->registers);
+
+ while(r2) {
+
+ if(r2->rIdx == r1->rIdx) {
+ newreg = pic14_findFreeReg();
+
+
+ if(!newreg) {
+ fprintf(stderr,"Bummer, no more registers.\n");
+ exit(1);
+ }
+
+ fprintf(stderr,"Cool found register collision nIdx=%d moving to %d\n",
+ r1->rIdx, newreg->rIdx);
+ r2->rIdx = newreg->rIdx;
+ //if(r2->name) free(r2->name);
+ r2->name = Safe_strdup(newreg->name);
+ newreg->isFree = 0;
+ newreg->wasUsed = 1;
+ }
+ r2 = setNextItem(pb->registers);
+ }
+
+ r1 = setNextItem(registersInCallPath);
+ }
+
+ /* Collisions have been resolved. Now free the registers in the call path */
+ r1 = setFirstItem(registersInCallPath);
+ while(r1) {
+ newreg = pic14_regWithIdx(r1->rIdx);
+ newreg->isFree = 1;
+ r1 = setNextItem(registersInCallPath);
+ }
+
+ } else
+ MarkUsedRegisters(pb->registers);
+
+ registers = unionSets(pb->registers, registersInCallPath, THROW_NONE);
+
+ if(registers)
+ fprintf(stderr,"returning regs\n");
+ else
+ fprintf(stderr,"not returning regs\n");
+
+ fprintf(stderr,"pBlock after register optim.\n");
+ pBlockStats(stderr,pb); // debug
+
+
+ return registers;
+}
+
+/*-----------------------------------------------------------------*/
+/* printCallTree - writes the call tree to a file */
+/* */
+/*-----------------------------------------------------------------*/
+void pct2(FILE *of,pBlock *pb,int indent)
+{
+ pCode *pc,*pcn;
+ int i;
+ // set *registersInCallPath = NULL;
+
+ if(!of)
+ return;// registers;
+
+ if(indent > 10)
+ return; // registers; //recursion ?
+
+ pc = setFirstItem(pb->function_entries);
+
+ if(!pc)
+ return;
+
+ pb->visited = 0;
+
+ for(i=0;i<indent;i++) // Indentation
+ fputc(' ',of);
+
+ if(pc->type == PC_FUNCTION)
+ fprintf(of,"%s\n",PCF(pc)->fname);
+ else
+ return; // ???
+
+
+ pc = setFirstItem(pb->function_calls);
+ for( ; pc; pc = setNextItem(pb->function_calls)) {
+
+ if(pc->type == PC_OPCODE && PCI(pc)->op == POC_CALL) {
+ char *dest = get_op(PCI(pc));
+
+ pcn = findFunction(dest);
+ if(pcn)
+ pct2(of,pcn->pb,indent+1);
+ } else
+ fprintf(of,"BUG? pCode isn't a POC_CALL %d\n",__LINE__);
+
+ }
- pb2->head = pb1;
- pb2->tail = NULL;
- pb1->tail = pb2;
}
+#if 0
+ fprintf(stderr,"pBlock before register optim.\n");
+ pBlockStats(stderr,pb); // debug
+
+ if(registersInCallPath) {
+ /* registers were used in the functions this pBlock has called */
+ /* so now, we need to see if these collide with the ones we are using here */
+
+ regs *r1,*r2, *newreg;
+
+ fprintf(stderr,"comparing registers\n");
+
+ r1 = setFirstItem(registersInCallPath);
+ while(r1) {
+
+ r2 = setFirstItem(pb->registers);
+
+ while(r2) {
+
+ if(r2->rIdx == r1->rIdx) {
+ newreg = pic14_findFreeReg();
+
+
+ if(!newreg) {
+ fprintf(stderr,"Bummer, no more registers.\n");
+ exit(1);
+ }
+
+ fprintf(stderr,"Cool found register collision nIdx=%d moving to %d\n",
+ r1->rIdx, newreg->rIdx);
+ r2->rIdx = newreg->rIdx;
+ //if(r2->name) free(r2->name);
+ r2->name = Safe_strdup(newreg->name);
+ newreg->isFree = 0;
+ newreg->wasUsed = 1;
+ }
+ r2 = setNextItem(pb->registers);
+ }
+
+ r1 = setNextItem(registersInCallPath);
+ }
+
+ /* Collisions have been resolved. Now free the registers in the call path */
+ r1 = setFirstItem(registersInCallPath);
+ while(r1) {
+ newreg = pic14_regWithIdx(r1->rIdx);
+ newreg->isFree = 1;
+ r1 = setNextItem(registersInCallPath);
+ }
+
+ } else
+ MarkUsedRegisters(pb->registers);
+
+ registers = unionSets(pb->registers, registersInCallPath, THROW_NONE);
+
+ if(registers)
+ fprintf(stderr,"returning regs\n");
+ else
+ fprintf(stderr,"not returning regs\n");
+
+ fprintf(stderr,"pBlock after register optim.\n");
+ pBlockStats(stderr,pb); // debug
+
+
+ return registers;
+
#endif
-void pCodePeepInit(void)
+
+/*-----------------------------------------------------------------*/
+/* printCallTree - writes the call tree to a file */
+/* */
+/*-----------------------------------------------------------------*/
+
+void printCallTree(FILE *of)
{
- pBlock *pb;
- // pCode *pc;
+ pBranch *pbr;
+ pBlock *pb;
+ pCode *pc;
+
+ if(!the_pFile)
+ return;
+
+ if(!of)
+ of = stderr;
+
+ fprintf(of, "\npBlock statistics\n");
+ for(pb = the_pFile->pbHead; pb; pb = pb->next )
+ pBlockStats(stderr,pb);
+
+
+
+ fprintf(of,"Call Tree\n");
+ pbr = the_pFile->functions;
+ while(pbr) {
+ if(pbr->pc) {
+ pc = pbr->pc;
+ if(!ispCodeFunction(pc))
+ fprintf(of,"bug in call tree");
+
+
+ fprintf(of,"Function: %s\n", PCF(pc)->fname);
- if(!peepSnippets)
- _ALLOC(peepSnippets,sizeof(pBlock));
+ while(pc->next && !ispCodeFunction(pc->next)) {
+ pc = pc->next;
+ if(pc->type == PC_OPCODE && PCI(pc)->op == POC_CALL)
+ fprintf(of,"\t%s\n",get_op(PCI(pc)));
+ }
+ }
+ pbr = pbr->next;
+ }
- pb = newpCodeChain(NULL,newpCodeCharP("; Starting pCode block"));
- if(!peepSnippets->next)
- peepSnippets->next = pb;
- else {
- peepSnippets->next->next = pb;
- pb->prev = peepSnippets->next;
+ /* Re-allocate the registers so that there are no collisions
+ * between local variables when one function call another */
+
+ pic14_deallocateAllRegs();
+
+ for(pb = the_pFile->pbHead; pb; pb = pb->next) {
+ if(!pb->visited)
+ register_usage(pb);
}
- // now create some sample peep pcodes
- addpCode2pBlock( pb, newpCode(POC_MOVWF, newpCodeOpWild(1)) );
- addpCode2pBlock( pb, newpCode(POC_MOVFW, newpCodeOpWild(1)) );
- // addpBlock(pb);
+ fprintf(of,"\n**************\n\na better call tree\n");
+ for(pb = the_pFile->pbHead; pb; pb = pb->next) {
+ if(pb->visited)
+ pct2(of,pb,0);
+ }
+ for(pb = the_pFile->pbHead; pb; pb = pb->next) {
+ fprintf(of,"block dbname: %c\n", getpBlock_dbName(pb));
+ }
}
projects / fw / sdcc / blobdiff