#include "pcode.h"
+#include "pcodeflow.h"
#include "ralloc.h"
+#include "device.h"
#if defined(__BORLANDC__) || defined(_MSC_VER)
#define STRCASECMP stricmp
#define STRCASECMP strcasecmp
#endif
+
// 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};
-pCodeOpReg pc_pcl = {{PO_PCL, "PCL"}, -1, NULL,NULL};
-pCodeOpReg pc_pclath = {{PO_PCLATH, "PCLATH"}, -1, NULL,NULL};
+pCodeOpReg pc_status = {{PO_STATUS, "STATUS"}, -1, NULL,0,NULL};
+pCodeOpReg pc_indf = {{PO_INDF, "INDF"}, -1, NULL,0,NULL};
+pCodeOpReg pc_fsr = {{PO_FSR, "FSR"}, -1, NULL,0,NULL};
+pCodeOpReg pc_intcon = {{PO_INTCON, ""}, -1, NULL,0,NULL};
+pCodeOpReg pc_pcl = {{PO_PCL, "PCL"}, -1, NULL,0,NULL};
+pCodeOpReg pc_pclath = {{PO_PCLATH, "PCLATH"}, -1, NULL,0,NULL};
-pCodeOpReg pc_kzero = {{PO_GPR_REGISTER, "KZ"}, -1, NULL,NULL};
+pCodeOpReg pc_kzero = {{PO_GPR_REGISTER, "KZ"}, -1, NULL,0,NULL};
+pCodeOpReg pc_wsave = {{PO_GPR_REGISTER, "W_SAVE"}, -1, NULL,0,NULL};
+pCodeOpReg pc_ssave = {{PO_GPR_REGISTER, "STATUS_SAVE"}, -1, NULL,0,NULL};
static int mnemonics_initialized = 0;
static pFile *the_pFile = NULL;
static int peepOptimizing = 0;
static int GpCodeSequenceNumber = 1;
+static int GpcFlowSeq = 1;
+
+#define isPCI(x) ((PCODE(x)->type == PC_OPCODE))
+#define isPCI_BRANCH(x) ((PCODE(x)->type == PC_OPCODE) && PCI(x)->isBranch)
+#define isPCI_SKIP(x) ((PCODE(x)->type == PC_OPCODE) && PCI(x)->isSkip)
+#define isPCFL(x) ((PCODE(x)->type == PC_FLOW))
+#define isPCF(x) ((PCODE(x)->type == PC_FUNCTION))
+#define isCALL(x) ((isPCI(x)) && (PCI(x)->op == POC_CALL))
+#define isSTATUS_REG(r) ((r)->pc_type == PO_STATUS)
/****************************************************************/
/* Forward declarations */
/****************************************************************/
static void unlinkPC(pCode *pc);
+#if 0
static void genericAnalyze(pCode *pc);
static void AnalyzeGOTO(pCode *pc);
static void AnalyzeSKIP(pCode *pc);
static void AnalyzeRETURN(pCode *pc);
+#endif
static void genericDestruct(pCode *pc);
static void genericPrint(FILE *of,pCode *pc);
int pCodePeepMatchLine(pCodePeep *peepBlock, pCode *pcs, pCode *pcd);
int pCodePeepMatchRule(pCode *pc);
void pBlockStats(FILE *of, pBlock *pb);
-
+extern void pCodeInsertAfter(pCode *pc1, pCode *pc2);
pCodeInstruction pciADDWF = {
- {PC_OPCODE, NULL, NULL, 0, NULL, NULL, NULL, NULL,
- genericAnalyze,
+ {PC_OPCODE, NULL, NULL, 0, NULL,
+ // genericAnalyze,
genericDestruct,
genericPrint},
POC_ADDWF,
"ADDWF",
+ NULL, // from branch
+ NULL, // to branch
+ NULL, // label
NULL, // operand
+ NULL, // flow block
2, // num ops
1,0, // dest, bit instruction
+ 0,0, // branch, skip
(PCC_W | PCC_REGISTER), // inCond
(PCC_REGISTER | PCC_Z) // outCond
};
pCodeInstruction pciADDFW = {
- {PC_OPCODE, NULL, NULL, 0, NULL, NULL, NULL, NULL,
- genericAnalyze,
+ {PC_OPCODE, NULL, NULL, 0, NULL,
+ // genericAnalyze,
genericDestruct,
genericPrint},
POC_ADDWF,
"ADDWF",
+ NULL, // from branch
+ NULL, // to branch
+ NULL, // label
NULL, // operand
+ NULL, // flow block
2, // num ops
0,0, // dest, bit instruction
+ 0,0, // branch, skip
(PCC_W | PCC_REGISTER), // inCond
(PCC_W | PCC_Z) // outCond
};
pCodeInstruction pciADDLW = {
- {PC_OPCODE, NULL, NULL, 0, NULL, NULL, NULL, NULL,
- genericAnalyze,
+ {PC_OPCODE, NULL, NULL, 0, NULL,
+ // genericAnalyze,
genericDestruct,
genericPrint},
POC_ADDLW,
"ADDLW",
+ NULL, // from branch
+ NULL, // to branch
+ NULL, // label
NULL, // operand
+ NULL, // flow block
1, // num ops
0,0, // dest, bit instruction
+ 0,0, // branch, skip
PCC_W, // inCond
(PCC_W | PCC_Z | PCC_C | PCC_DC) // outCond
};
pCodeInstruction pciANDLW = {
- {PC_OPCODE, NULL, NULL, 0, NULL, NULL, NULL, NULL,
- genericAnalyze,
+ {PC_OPCODE, NULL, NULL, 0, NULL,
+ // genericAnalyze,
genericDestruct,
genericPrint},
POC_ANDLW,
"ANDLW",
+ NULL, // from branch
+ NULL, // to branch
+ NULL, // label
NULL, // operand
+ NULL, // flow block
1, // num ops
0,0, // dest, bit instruction
+ 0,0, // branch, skip
PCC_W, // inCond
(PCC_W | PCC_Z) // outCond
};
pCodeInstruction pciANDWF = {
- {PC_OPCODE, NULL, NULL, 0, NULL, NULL, NULL, NULL,
- genericAnalyze,
+ {PC_OPCODE, NULL, NULL, 0, NULL,
+ // genericAnalyze,
genericDestruct,
genericPrint},
POC_ANDWF,
"ANDWF",
+ NULL, // from branch
+ NULL, // to branch
+ NULL, // label
NULL, // operand
+ NULL, // flow block
2, // num ops
1,0, // dest, bit instruction
+ 0,0, // branch, skip
(PCC_W | PCC_REGISTER), // inCond
(PCC_REGISTER | PCC_Z) // outCond
};
pCodeInstruction pciANDFW = {
- {PC_OPCODE, NULL, NULL, 0, NULL, NULL, NULL, NULL,
- genericAnalyze,
+ {PC_OPCODE, NULL, NULL, 0, NULL,
+ // genericAnalyze,
genericDestruct,
genericPrint},
POC_ANDWF,
"ANDWF",
+ NULL, // from branch
+ NULL, // to branch
+ NULL, // label
NULL, // operand
+ NULL, // flow block
2, // num ops
0,0, // dest, bit instruction
+ 0,0, // branch, skip
(PCC_W | PCC_REGISTER), // inCond
(PCC_W | PCC_Z) // outCond
};
pCodeInstruction pciBCF = {
- {PC_OPCODE, NULL, NULL, 0, NULL, NULL, NULL, NULL,
- genericAnalyze,
+ {PC_OPCODE, NULL, NULL, 0, NULL,
+ // genericAnalyze,
genericDestruct,
genericPrint},
POC_BCF,
"BCF",
+ NULL, // from branch
+ NULL, // to branch
+ NULL, // label
NULL, // operand
+ NULL, // flow block
2, // num ops
- 0,1, // dest, bit instruction
- PCC_NONE, // inCond
- PCC_EXAMINE_PCOP // outCond
+ 1,1, // dest, bit instruction
+ 0,0, // branch, skip
+ PCC_REGISTER, // inCond
+ PCC_REGISTER // outCond
};
pCodeInstruction pciBSF = {
- {PC_OPCODE, NULL, NULL, 0, NULL, NULL, NULL, NULL,
- genericAnalyze,
+ {PC_OPCODE, NULL, NULL, 0, NULL,
+ // genericAnalyze,
genericDestruct,
genericPrint},
POC_BSF,
"BSF",
+ NULL, // from branch
+ NULL, // to branch
+ NULL, // label
NULL, // operand
+ NULL, // flow block
2, // num ops
- 0,1, // dest, bit instruction
- PCC_NONE, // inCond
- PCC_EXAMINE_PCOP // outCond
+ 1,1, // dest, bit instruction
+ 0,0, // branch, skip
+ PCC_REGISTER, // inCond
+ PCC_REGISTER // outCond
};
pCodeInstruction pciBTFSC = {
- {PC_OPCODE, NULL, NULL, 0, NULL, NULL, NULL, NULL,
- AnalyzeSKIP,
+ {PC_OPCODE, NULL, NULL, 0, NULL,
+ // AnalyzeSKIP,
genericDestruct,
genericPrint},
POC_BTFSC,
"BTFSC",
+ NULL, // from branch
+ NULL, // to branch
+ NULL, // label
NULL, // operand
+ NULL, // flow block
2, // num ops
0,1, // dest, bit instruction
- PCC_EXAMINE_PCOP, // inCond
+ 1,1, // branch, skip
+ PCC_REGISTER, // inCond
PCC_NONE // outCond
};
pCodeInstruction pciBTFSS = {
- {PC_OPCODE, NULL, NULL, 0, NULL, NULL, NULL, NULL,
- AnalyzeSKIP,
+ {PC_OPCODE, NULL, NULL, 0, NULL,
+ // AnalyzeSKIP,
genericDestruct,
genericPrint},
POC_BTFSS,
"BTFSS",
+ NULL, // from branch
+ NULL, // to branch
+ NULL, // label
NULL, // operand
+ NULL, // flow block
2, // num ops
0,1, // dest, bit instruction
- PCC_EXAMINE_PCOP, // inCond
+ 1,1, // branch, skip
+ PCC_REGISTER, // inCond
PCC_NONE // outCond
};
pCodeInstruction pciCALL = {
- {PC_OPCODE, NULL, NULL, 0, NULL, NULL, NULL, NULL,
- genericAnalyze,
+ {PC_OPCODE, NULL, NULL, 0, NULL,
+ // genericAnalyze,
genericDestruct,
genericPrint},
POC_CALL,
"CALL",
+ NULL, // from branch
+ NULL, // to branch
+ NULL, // label
NULL, // operand
+ NULL, // flow block
1, // num ops
0,0, // dest, bit instruction
+ 1,0, // branch, skip
PCC_NONE, // inCond
PCC_NONE // outCond
};
pCodeInstruction pciCOMF = {
- {PC_OPCODE, NULL, NULL, 0, NULL, NULL, NULL, NULL,
- genericAnalyze,
+ {PC_OPCODE, NULL, NULL, 0, NULL,
+ // genericAnalyze,
genericDestruct,
genericPrint},
POC_COMF,
"COMF",
+ NULL, // from branch
+ NULL, // to branch
+ NULL, // label
NULL, // operand
+ NULL, // flow block
2, // num ops
1,0, // dest, bit instruction
+ 0,0, // branch, skip
PCC_REGISTER, // inCond
PCC_REGISTER // outCond
};
pCodeInstruction pciCOMFW = {
- {PC_OPCODE, NULL, NULL, 0, NULL, NULL, NULL, NULL,
- genericAnalyze,
+ {PC_OPCODE, NULL, NULL, 0, NULL,
+ // genericAnalyze,
genericDestruct,
genericPrint},
POC_COMFW,
"COMF",
+ NULL, // from branch
+ NULL, // to branch
+ NULL, // label
NULL, // operand
+ NULL, // flow block
2, // num ops
0,0, // dest, bit instruction
+ 0,0, // branch, skip
PCC_REGISTER, // inCond
PCC_W // outCond
};
pCodeInstruction pciCLRF = {
- {PC_OPCODE, NULL, NULL, 0, NULL, NULL, NULL, NULL,
- genericAnalyze,
+ {PC_OPCODE, NULL, NULL, 0, NULL,
+ // genericAnalyze,
genericDestruct,
genericPrint},
POC_CLRF,
"CLRF",
+ NULL, // from branch
+ NULL, // to branch
+ NULL, // label
NULL, // operand
+ NULL, // flow block
1, // num ops
0,0, // dest, bit instruction
+ 0,0, // branch, skip
PCC_REGISTER, // inCond
PCC_REGISTER // outCond
};
pCodeInstruction pciCLRW = {
- {PC_OPCODE, NULL, NULL, 0, NULL, NULL, NULL, NULL,
- genericAnalyze,
+ {PC_OPCODE, NULL, NULL, 0, NULL,
+ // genericAnalyze,
genericDestruct,
genericPrint},
POC_CLRW,
"CLRW",
+ NULL, // from branch
+ NULL, // to branch
+ NULL, // label
NULL, // operand
+ NULL, // flow block
0, // num ops
0,0, // dest, bit instruction
+ 0,0, // branch, skip
PCC_W, // inCond
PCC_W // outCond
};
pCodeInstruction pciDECF = {
- {PC_OPCODE, NULL, NULL, 0, NULL, NULL, NULL, NULL,
- genericAnalyze,
+ {PC_OPCODE, NULL, NULL, 0, NULL,
+ // genericAnalyze,
genericDestruct,
genericPrint},
POC_DECF,
"DECF",
+ NULL, // from branch
+ NULL, // to branch
+ NULL, // label
NULL, // operand
+ NULL, // flow block
2, // num ops
1,0, // dest, bit instruction
+ 0,0, // branch, skip
PCC_REGISTER, // inCond
PCC_REGISTER // outCond
};
pCodeInstruction pciDECFW = {
- {PC_OPCODE, NULL, NULL, 0, NULL, NULL, NULL, NULL,
- genericAnalyze,
+ {PC_OPCODE, NULL, NULL, 0, NULL,
+ // genericAnalyze,
genericDestruct,
genericPrint},
POC_DECFW,
"DECF",
+ NULL, // from branch
+ NULL, // to branch
+ NULL, // label
NULL, // operand
+ NULL, // flow block
2, // num ops
0,0, // dest, bit instruction
+ 0,0, // branch, skip
PCC_REGISTER, // inCond
PCC_W // outCond
};
pCodeInstruction pciDECFSZ = {
- {PC_OPCODE, NULL, NULL, 0, NULL, NULL, NULL, NULL,
- AnalyzeSKIP,
+ {PC_OPCODE, NULL, NULL, 0, NULL,
+ // AnalyzeSKIP,
genericDestruct,
genericPrint},
POC_DECFSZ,
"DECFSZ",
+ NULL, // from branch
+ NULL, // to branch
+ NULL, // label
NULL, // operand
+ NULL, // flow block
2, // num ops
1,0, // dest, bit instruction
+ 1,1, // branch, skip
PCC_REGISTER, // inCond
PCC_REGISTER // outCond
};
pCodeInstruction pciDECFSZW = {
- {PC_OPCODE, NULL, NULL, 0, NULL, NULL, NULL, NULL,
- AnalyzeSKIP,
+ {PC_OPCODE, NULL, NULL, 0, NULL,
+ // AnalyzeSKIP,
genericDestruct,
genericPrint},
POC_DECFSZW,
"DECFSZ",
+ NULL, // from branch
+ NULL, // to branch
+ NULL, // label
NULL, // operand
+ NULL, // flow block
2, // num ops
0,0, // dest, bit instruction
+ 1,1, // branch, skip
PCC_REGISTER, // inCond
PCC_W // outCond
};
pCodeInstruction pciGOTO = {
- {PC_OPCODE, NULL, NULL, 0, NULL, NULL, NULL, NULL,
- AnalyzeGOTO,
+ {PC_OPCODE, NULL, NULL, 0, NULL,
+ // AnalyzeGOTO,
genericDestruct,
genericPrint},
POC_GOTO,
"GOTO",
+ NULL, // from branch
+ NULL, // to branch
+ NULL, // label
NULL, // operand
+ NULL, // flow block
1, // num ops
0,0, // dest, bit instruction
+ 1,0, // branch, skip
PCC_NONE, // inCond
PCC_NONE // outCond
};
pCodeInstruction pciINCF = {
- {PC_OPCODE, NULL, NULL, 0, NULL, NULL, NULL, NULL,
- genericAnalyze,
+ {PC_OPCODE, NULL, NULL, 0, NULL,
+ // genericAnalyze,
genericDestruct,
genericPrint},
POC_INCF,
"INCF",
+ NULL, // from branch
+ NULL, // to branch
+ NULL, // label
NULL, // operand
+ NULL, // flow block
2, // num ops
1,0, // dest, bit instruction
+ 0,0, // branch, skip
PCC_REGISTER, // inCond
PCC_REGISTER // outCond
};
pCodeInstruction pciINCFW = {
- {PC_OPCODE, NULL, NULL, 0, NULL, NULL, NULL, NULL,
- genericAnalyze,
+ {PC_OPCODE, NULL, NULL, 0, NULL,
+ // genericAnalyze,
genericDestruct,
genericPrint},
POC_INCFW,
"INCF",
+ NULL, // from branch
+ NULL, // to branch
+ NULL, // label
NULL, // operand
+ NULL, // flow block
2, // num ops
0,0, // dest, bit instruction
+ 0,0, // branch, skip
PCC_REGISTER, // inCond
PCC_W // outCond
};
pCodeInstruction pciINCFSZ = {
- {PC_OPCODE, NULL, NULL, 0, NULL, NULL, NULL, NULL,
- AnalyzeSKIP,
+ {PC_OPCODE, NULL, NULL, 0, NULL,
+ // AnalyzeSKIP,
genericDestruct,
genericPrint},
POC_INCFSZ,
"INCFSZ",
+ NULL, // from branch
+ NULL, // to branch
+ NULL, // label
NULL, // operand
+ NULL, // flow block
2, // num ops
1,0, // dest, bit instruction
+ 1,1, // branch, skip
PCC_REGISTER, // inCond
PCC_REGISTER // outCond
};
pCodeInstruction pciINCFSZW = {
- {PC_OPCODE, NULL, NULL, 0, NULL, NULL, NULL, NULL,
- AnalyzeSKIP,
+ {PC_OPCODE, NULL, NULL, 0, NULL,
+ // AnalyzeSKIP,
genericDestruct,
genericPrint},
POC_INCFSZW,
"INCFSZ",
+ NULL, // from branch
+ NULL, // to branch
+ NULL, // label
NULL, // operand
+ NULL, // flow block
2, // num ops
0,0, // dest, bit instruction
+ 1,1, // branch, skip
PCC_REGISTER, // inCond
PCC_W // outCond
};
pCodeInstruction pciIORWF = {
- {PC_OPCODE, NULL, NULL, 0, NULL, NULL, NULL, NULL,
- genericAnalyze,
+ {PC_OPCODE, NULL, NULL, 0, NULL,
+ // genericAnalyze,
genericDestruct,
genericPrint},
POC_IORWF,
"IORWF",
+ NULL, // from branch
+ NULL, // to branch
+ NULL, // label
NULL, // operand
+ NULL, // flow block
2, // num ops
1,0, // dest, bit instruction
+ 0,0, // branch, skip
(PCC_W | PCC_REGISTER), // inCond
(PCC_REGISTER | PCC_Z) // outCond
};
pCodeInstruction pciIORFW = {
- {PC_OPCODE, NULL, NULL, 0, NULL, NULL, NULL, NULL,
- genericAnalyze,
+ {PC_OPCODE, NULL, NULL, 0, NULL,
+ // genericAnalyze,
genericDestruct,
genericPrint},
POC_IORWF,
"IORWF",
+ NULL, // from branch
+ NULL, // to branch
+ NULL, // label
NULL, // operand
+ NULL, // flow block
2, // num ops
0,0, // dest, bit instruction
+ 0,0, // branch, skip
(PCC_W | PCC_REGISTER), // inCond
(PCC_W | PCC_Z) // outCond
};
pCodeInstruction pciIORLW = {
- {PC_OPCODE, NULL, NULL, 0, NULL, NULL, NULL, NULL,
- genericAnalyze,
+ {PC_OPCODE, NULL, NULL, 0, NULL,
+ // genericAnalyze,
genericDestruct,
genericPrint},
POC_IORLW,
"IORLW",
+ NULL, // from branch
+ NULL, // to branch
+ NULL, // label
NULL, // operand
+ NULL, // flow block
1, // num ops
0,0, // dest, bit instruction
+ 0,0, // branch, skip
PCC_W, // inCond
(PCC_W | PCC_Z) // outCond
};
pCodeInstruction pciMOVF = {
- {PC_OPCODE, NULL, NULL, 0, NULL, NULL, NULL, NULL,
- genericAnalyze,
+ {PC_OPCODE, NULL, NULL, 0, NULL,
+ // genericAnalyze,
genericDestruct,
genericPrint},
POC_MOVF,
"MOVF",
+ NULL, // from branch
+ NULL, // to branch
+ NULL, // label
NULL, // operand
+ NULL, // flow block
2, // num ops
1,0, // dest, bit instruction
+ 0,0, // branch, skip
PCC_REGISTER, // inCond
PCC_Z // outCond
};
pCodeInstruction pciMOVFW = {
- {PC_OPCODE, NULL, NULL, 0, NULL, NULL, NULL, NULL,
- genericAnalyze,
+ {PC_OPCODE, NULL, NULL, 0, NULL,
+ // genericAnalyze,
genericDestruct,
genericPrint},
POC_MOVFW,
"MOVF",
+ NULL, // from branch
+ NULL, // to branch
+ NULL, // label
NULL, // operand
+ NULL, // flow block
2, // num ops
0,0, // dest, bit instruction
+ 0,0, // branch, skip
PCC_REGISTER, // inCond
(PCC_W | PCC_Z) // outCond
};
pCodeInstruction pciMOVWF = {
- {PC_OPCODE, NULL, NULL, 0, NULL, NULL, NULL, NULL,
- genericAnalyze,
+ {PC_OPCODE, NULL, NULL, 0, NULL,
+ // genericAnalyze,
genericDestruct,
genericPrint},
POC_MOVWF,
"MOVWF",
+ NULL, // from branch
+ NULL, // to branch
+ NULL, // label
NULL, // operand
+ NULL, // flow block
1, // num ops
0,0, // dest, bit instruction
+ 0,0, // branch, skip
PCC_W, // inCond
- 0 // outCond
+ PCC_REGISTER // outCond
};
pCodeInstruction pciMOVLW = {
- {PC_OPCODE, NULL, NULL, 0, NULL, NULL, NULL, NULL,
- genericAnalyze,
+ {PC_OPCODE, NULL, NULL, 0, NULL,
+ // genericAnalyze,
genericDestruct,
genericPrint},
POC_MOVLW,
"MOVLW",
+ NULL, // from branch
+ NULL, // to branch
+ NULL, // label
NULL, // operand
+ NULL, // flow block
1, // num ops
0,0, // dest, bit instruction
+ 0,0, // branch, skip
PCC_NONE, // inCond
PCC_W // outCond
};
-pCodeInstruction pciNEGF = {
- {PC_OPCODE, NULL, NULL, 0, NULL, NULL, NULL, NULL,
- genericAnalyze,
+pCodeInstruction pciNOP = {
+ {PC_OPCODE, NULL, NULL, 0, NULL,
genericDestruct,
genericPrint},
- POC_NEGF,
- "NEGF",
+ POC_NOP,
+ "NOP",
+ NULL, // from branch
+ NULL, // to branch
+ NULL, // label
NULL, // operand
- 1, // num ops
+ NULL, // flow block
+ 0, // num ops
0,0, // dest, bit instruction
- PCC_REGISTER, // inCond
+ 0,0, // branch, skip
+ PCC_NONE, // inCond
PCC_NONE // outCond
};
+pCodeInstruction pciRETFIE = {
+ {PC_OPCODE, NULL, NULL, 0, NULL,
+ // AnalyzeRETURN,
+ genericDestruct,
+ genericPrint},
+ POC_RETFIE,
+ "RETFIE",
+ NULL, // from branch
+ NULL, // to branch
+ NULL, // label
+ NULL, // operand
+ NULL, // flow block
+ 0, // num ops
+ 0,0, // dest, bit instruction
+ 1,0, // branch, skip
+ PCC_NONE, // inCond
+ PCC_NONE // outCond (not true... affects the GIE bit too)
+};
pCodeInstruction pciRETLW = {
- {PC_OPCODE, NULL, NULL, 0, NULL, NULL, NULL, NULL,
- AnalyzeRETURN,
+ {PC_OPCODE, NULL, NULL, 0, NULL,
+ // AnalyzeRETURN,
genericDestruct,
genericPrint},
POC_RETLW,
"RETLW",
+ NULL, // from branch
+ NULL, // to branch
+ NULL, // label
NULL, // operand
+ NULL, // flow block
1, // num ops
0,0, // dest, bit instruction
+ 1,0, // branch, skip
PCC_NONE, // inCond
PCC_W // outCond
};
pCodeInstruction pciRETURN = {
- {PC_OPCODE, NULL, NULL, 0, NULL, NULL, NULL, NULL,
- AnalyzeRETURN,
+ {PC_OPCODE, NULL, NULL, 0, NULL,
+ // AnalyzeRETURN,
genericDestruct,
genericPrint},
POC_RETURN,
"RETURN",
+ NULL, // from branch
+ NULL, // to branch
+ NULL, // label
NULL, // operand
+ NULL, // flow block
0, // num ops
0,0, // dest, bit instruction
+ 1,0, // branch, skip
PCC_NONE, // inCond
- PCC_W // outCond
+ PCC_NONE // outCond
};
-
pCodeInstruction pciRLF = {
- {PC_OPCODE, NULL, NULL, 0, NULL, NULL, NULL, NULL,
- genericAnalyze,
+ {PC_OPCODE, NULL, NULL, 0, NULL,
+ // genericAnalyze,
genericDestruct,
genericPrint},
POC_RLF,
"RLF",
+ NULL, // from branch
+ NULL, // to branch
+ NULL, // label
NULL, // operand
+ NULL, // flow block
2, // num ops
1,0, // dest, bit instruction
+ 0,0, // branch, skip
(PCC_C | PCC_REGISTER), // inCond
(PCC_REGISTER | PCC_Z | PCC_C | PCC_DC) // outCond
};
pCodeInstruction pciRLFW = {
- {PC_OPCODE, NULL, NULL, 0, NULL, NULL, NULL, NULL,
- genericAnalyze,
+ {PC_OPCODE, NULL, NULL, 0, NULL,
+ // genericAnalyze,
genericDestruct,
genericPrint},
POC_RLFW,
"RLF",
+ NULL, // from branch
+ NULL, // to branch
+ NULL, // label
NULL, // operand
+ NULL, // flow block
2, // num ops
0,0, // dest, bit instruction
+ 0,0, // branch, skip
(PCC_C | PCC_REGISTER), // inCond
(PCC_W | PCC_Z | PCC_C | PCC_DC) // outCond
};
pCodeInstruction pciRRF = {
- {PC_OPCODE, NULL, NULL, 0, NULL, NULL, NULL, NULL,
- genericAnalyze,
+ {PC_OPCODE, NULL, NULL, 0, NULL,
+ // genericAnalyze,
genericDestruct,
genericPrint},
POC_RRF,
"RRF",
+ NULL, // from branch
+ NULL, // to branch
+ NULL, // label
NULL, // operand
+ NULL, // flow block
2, // num ops
1,0, // dest, bit instruction
+ 0,0, // branch, skip
(PCC_C | PCC_REGISTER), // inCond
(PCC_REGISTER | PCC_Z | PCC_C | PCC_DC) // outCond
};
pCodeInstruction pciRRFW = {
- {PC_OPCODE, NULL, NULL, 0, NULL, NULL, NULL, NULL,
- genericAnalyze,
+ {PC_OPCODE, NULL, NULL, 0, NULL,
+ // genericAnalyze,
genericDestruct,
genericPrint},
POC_RRFW,
"RRF",
+ NULL, // from branch
+ NULL, // to branch
+ NULL, // label
NULL, // operand
+ NULL, // flow block
2, // num ops
0,0, // dest, bit instruction
+ 0,0, // branch, skip
(PCC_C | PCC_REGISTER), // inCond
(PCC_W | PCC_Z | PCC_C | PCC_DC) // outCond
};
pCodeInstruction pciSUBWF = {
- {PC_OPCODE, NULL, NULL, 0, NULL, NULL, NULL, NULL,
- genericAnalyze,
+ {PC_OPCODE, NULL, NULL, 0, NULL,
+ // genericAnalyze,
genericDestruct,
genericPrint},
POC_SUBWF,
"SUBWF",
+ NULL, // from branch
+ NULL, // to branch
+ NULL, // label
NULL, // operand
+ NULL, // flow block
2, // num ops
1,0, // dest, bit instruction
+ 0,0, // branch, skip
(PCC_W | PCC_REGISTER), // inCond
(PCC_REGISTER | PCC_Z) // outCond
};
pCodeInstruction pciSUBFW = {
- {PC_OPCODE, NULL, NULL, 0, NULL, NULL, NULL, NULL,
- genericAnalyze,
+ {PC_OPCODE, NULL, NULL, 0, NULL,
+ // genericAnalyze,
genericDestruct,
genericPrint},
POC_SUBWF,
"SUBWF",
+ NULL, // from branch
+ NULL, // to branch
+ NULL, // label
NULL, // operand
+ NULL, // flow block
2, // num ops
0,0, // dest, bit instruction
+ 0,0, // branch, skip
(PCC_W | PCC_REGISTER), // inCond
(PCC_W | PCC_Z) // outCond
};
pCodeInstruction pciSUBLW = {
- {PC_OPCODE, NULL, NULL, 0, NULL, NULL, NULL, NULL,
- genericAnalyze,
+ {PC_OPCODE, NULL, NULL, 0, NULL,
+ // genericAnalyze,
genericDestruct,
genericPrint},
POC_SUBLW,
"SUBLW",
+ NULL, // from branch
+ NULL, // to branch
+ NULL, // label
NULL, // operand
+ NULL, // flow block
1, // num ops
0,0, // dest, bit instruction
+ 0,0, // branch, skip
PCC_W, // inCond
(PCC_W | PCC_Z | PCC_C | PCC_DC) // outCond
};
pCodeInstruction pciSWAPF = {
- {PC_OPCODE, NULL, NULL, 0, NULL, NULL, NULL, NULL,
- genericAnalyze,
+ {PC_OPCODE, NULL, NULL, 0, NULL,
+ // genericAnalyze,
genericDestruct,
genericPrint},
POC_SWAPF,
"SWAPF",
+ NULL, // from branch
+ NULL, // to branch
+ NULL, // label
NULL, // operand
+ NULL, // flow block
2, // num ops
1,0, // dest, bit instruction
+ 0,0, // branch, skip
(PCC_REGISTER), // inCond
(PCC_REGISTER) // outCond
};
pCodeInstruction pciSWAPFW = {
- {PC_OPCODE, NULL, NULL, 0, NULL, NULL, NULL, NULL,
- genericAnalyze,
+ {PC_OPCODE, NULL, NULL, 0, NULL,
+ // genericAnalyze,
genericDestruct,
genericPrint},
POC_SWAPFW,
"SWAPF",
+ NULL, // from branch
+ NULL, // to branch
+ NULL, // label
NULL, // operand
+ NULL, // flow block
2, // num ops
0,0, // dest, bit instruction
+ 0,0, // branch, skip
(PCC_REGISTER), // inCond
(PCC_W) // outCond
};
+
pCodeInstruction pciTRIS = {
- {PC_OPCODE, NULL, NULL, 0, NULL, NULL, NULL, NULL,
- genericAnalyze,
+ {PC_OPCODE, NULL, NULL, 0, NULL,
+ // genericAnalyze,
genericDestruct,
genericPrint},
POC_TRIS,
"TRIS",
+ NULL, // from branch
+ NULL, // to branch
+ NULL, // label
NULL, // operand
+ NULL, // flow block
1, // num ops
0,0, // dest, bit instruction
+ 0,0, // branch, skip
PCC_NONE, // inCond
- PCC_NONE
+ PCC_REGISTER // outCond
};
-
pCodeInstruction pciXORWF = {
- {PC_OPCODE, NULL, NULL, 0, NULL, NULL, NULL, NULL,
- genericAnalyze,
+ {PC_OPCODE, NULL, NULL, 0, NULL,
+ // genericAnalyze,
genericDestruct,
genericPrint},
POC_XORWF,
"XORWF",
+ NULL, // from branch
+ NULL, // to branch
+ NULL, // label
NULL, // operand
+ NULL, // flow block
2, // num ops
1,0, // dest, bit instruction
+ 0,0, // branch, skip
(PCC_W | PCC_REGISTER), // inCond
(PCC_REGISTER | PCC_Z) // outCond
};
pCodeInstruction pciXORFW = {
- {PC_OPCODE, NULL, NULL, 0, NULL, NULL, NULL, NULL,
- genericAnalyze,
+ {PC_OPCODE, NULL, NULL, 0, NULL,
+ // genericAnalyze,
genericDestruct,
genericPrint},
POC_XORWF,
"XORWF",
+ NULL, // from branch
+ NULL, // to branch
+ NULL, // label
NULL, // operand
+ NULL, // flow block
2, // num ops
0,0, // dest, bit instruction
+ 0,0, // branch, skip
(PCC_W | PCC_REGISTER), // inCond
(PCC_W | PCC_Z) // outCond
};
pCodeInstruction pciXORLW = {
- {PC_OPCODE, NULL, NULL, 0, NULL, NULL, NULL, NULL,
- genericAnalyze,
+ {PC_OPCODE, NULL, NULL, 0, NULL,
+ // genericAnalyze,
genericDestruct,
genericPrint},
POC_XORLW,
"XORLW",
+ NULL, // from branch
+ NULL, // to branch
+ NULL, // label
NULL, // operand
+ NULL, // flow block
1, // num ops
0,0, // dest, bit instruction
+ 0,0, // branch, skip
PCC_W, // inCond
(PCC_W | PCC_Z | PCC_C | PCC_DC) // outCond
};
#define MAX_PIC14MNEMONICS 100
pCodeInstruction *pic14Mnemonics[MAX_PIC14MNEMONICS];
+/* This definition needs to be part of configure.in */
+// #define USE_VSNPRINTF
+
+#ifdef USE_VSNPRINTF
+ // Alas, vsnprintf is not ANSI standard, and does not exist
+ // on Solaris (and probably other non-Gnu flavored Unixes).
+
/*-----------------------------------------------------------------*/
/* SAFE_snprintf - like snprintf except the string pointer is */
/* after the string has been printed to. This is */
return;
va_start(val, format);
-#if 0
- // Alas, vsnprintf is not ANSI standard, and does not exist
- // on Solaris (and probably other non-Gnu flavored Unixes).
+
vsnprintf(*str, *size, format, val);
-#else
- // This, of course, is *not* safe, despite the name.
- vsprintf(*str, format, val);
-#endif
-
+
va_end (val);
len = strlen(*str);
+ if(len > *size) {
+ fprintf(stderr,"WARNING, it looks like %s has overflowed\n",__FUNCTION__);
+ }
+
+ *str += len;
+ *size -= len;
+
+}
+
+#else // USE_VSNPRINTF
+
+// This version is *not* safe, despite the name.
+
+void SAFE_snprintf(char **str, size_t *size, const char *format, ...)
+{
+ va_list val;
+ int len;
+ static char buffer[1024]; /* grossly conservative, but still not inherently safe */
+
+ if(!str || !*str)
+ return;
+
+ va_start(val, format);
+
+ vsprintf(buffer, format, val);
+ va_end (val);
+
+ len = strlen(buffer);
+ if(len > *size) {
+ fprintf(stderr,"WARNING, it looks like %s has overflowed\n",__FUNCTION__);
+ }
+
+ strcpy(*str, buffer);
*str += len;
*size -= len;
}
+#endif // USE_VSNPRINTF
+
+
+extern void initStack(int base_address, int size);
+extern regs *allocProcessorRegister(int rIdx, char * name, short po_type, int alias);
+extern regs *allocInternalRegister(int rIdx, char * name, short po_type, int alias);
+extern void init_pic(void);
+
void pCodeInitRegisters(void)
{
- pc_fsr.rIdx = IDX_FSR;
- pc_fsr.r = pic14_regWithIdx(IDX_FSR);
+ initStack(0x38, 8);
+ init_pic();
+ pc_status.r = allocProcessorRegister(IDX_STATUS,"STATUS", PO_STATUS, 0x80);
+ pc_pcl.r = allocProcessorRegister(IDX_PCL,"PCL", PO_PCL, 0x80);
+ pc_pclath.r = allocProcessorRegister(IDX_PCLATH,"PCLATH", PO_PCLATH, 0x80);
+ pc_fsr.r = allocProcessorRegister(IDX_FSR,"FSR", PO_FSR, 0x80);
+ pc_indf.r = allocProcessorRegister(IDX_INDF,"INDF", PO_INDF, 0x80);
+ pc_intcon.r = allocProcessorRegister(IDX_INTCON,"INTCON", PO_INTCON, 0x80);
+
+ pc_status.rIdx = IDX_STATUS;
+ pc_fsr.rIdx = IDX_FSR;
pc_indf.rIdx = IDX_INDF;
- pc_indf.r = pic14_regWithIdx(IDX_INDF);
+ pc_intcon.rIdx = IDX_INTCON;
+ pc_pcl.rIdx = IDX_PCL;
+ pc_pclath.rIdx = IDX_PCLATH;
+
+ pc_kzero.r = allocInternalRegister(IDX_KZ,"KZ",PO_GPR_REGISTER,0);
+ pc_ssave.r = allocInternalRegister(IDX_SSAVE,"SSAVE", PO_GPR_REGISTER, 0x80);
+ pc_wsave.r = allocInternalRegister(IDX_WSAVE,"WSAVE", PO_GPR_REGISTER, 0);
pc_kzero.rIdx = IDX_KZ;
- pc_kzero.r = pic14_regWithIdx(IDX_KZ);
+ pc_wsave.rIdx = IDX_WSAVE;
+ pc_ssave.rIdx = IDX_SSAVE;
}
pic14Mnemonics[POC_MOVFW] = &pciMOVFW;
pic14Mnemonics[POC_MOVLW] = &pciMOVLW;
pic14Mnemonics[POC_MOVWF] = &pciMOVWF;
- pic14Mnemonics[POC_NEGF] = &pciNEGF;
+ pic14Mnemonics[POC_NOP] = &pciNOP;
+ pic14Mnemonics[POC_RETFIE] = &pciRETFIE;
pic14Mnemonics[POC_RETLW] = &pciRETLW;
pic14Mnemonics[POC_RETURN] = &pciRETURN;
pic14Mnemonics[POC_RLF] = &pciRLF;
while(pci) {
if(STRCASECMP(pci->mnemonic, mnem) == 0) {
- if((pci->num_ops <= 1) || (pci->dest == dest))
+ if((pci->num_ops <= 1) || (pci->isModReg == dest))
return(pci->op);
}
return pb->dbName;
}
+void pBlockConvert2ISR(pBlock *pb)
+{
+ if(!pb)
+ return;
+
+ if(pb->cmemmap)
+ pb->cmemmap = NULL;
+
+ pb->dbName = 'I';
+}
+
/*-----------------------------------------------------------------*/
/* movepBlock2Head - given the dbname of a pBlock, move all */
/* instances to the front of the doubly linked */
if(!pcop)
return 0;
- if(pcop->type == PO_BIT && !strcmp(pcop->name, pc_status.pcop.name)) {
- switch(PCOB(pcop)->bit) {
+ if(pcop->type == PO_GPR_BIT && !strcmp(pcop->name, pc_status.pcop.name)) {
+ switch(PCORB(pcop)->bit) {
case PIC_C_BIT:
return PCC_C;
case PIC_DC_BIT:
if(pci->outCond == PCC_EXAMINE_PCOP)
pci->outCond = RegCond(pcop);
+ pci->pc.prev = pci->pc.next = NULL;
return (pCode *)pci;
}
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->pci.pc.type = PC_WILD;
+ pcw->pci.pc.prev = pcw->pci.pc.next = NULL;
+ pcw->pci.from = pcw->pci.to = pcw->pci.label = NULL;
+ pcw->pci.pc.pb = NULL;
- pcw->pc.analyze = genericAnalyze;
- pcw->pc.destruct = genericDestruct;
- pcw->pc.print = genericPrint;
+ // pcw->pci.pc.analyze = genericAnalyze;
+ pcw->pci.pc.destruct = genericDestruct;
+ pcw->pci.pc.print = genericPrint;
pcw->id = pCodeID; // this is the 'n' in %n
pcw->operand = optional_operand;
pcc->pc.type = PC_COMMENT;
pcc->pc.prev = pcc->pc.next = NULL;
- pcc->pc.from = pcc->pc.to = pcc->pc.label = NULL;
+ //pcc->pc.from = pcc->pc.to = pcc->pc.label = NULL;
pcc->pc.pb = NULL;
- pcc->pc.analyze = genericAnalyze;
+ // pcc->pc.analyze = genericAnalyze;
pcc->pc.destruct = genericDestruct;
pcc->pc.print = genericPrint;
}
/*-----------------------------------------------------------------*/
-/* newpCodeGLabel - create a new global label */
+/* newpCodeFunction - */
/*-----------------------------------------------------------------*/
{
pCodeFunction *pcf;
- _ALLOC(pcf,sizeof(pCodeFunction));
+ pcf = Safe_calloc(1,sizeof(pCodeFunction));
+ //_ALLOC(pcf,sizeof(pCodeFunction));
pcf->pc.type = PC_FUNCTION;
pcf->pc.prev = pcf->pc.next = NULL;
- pcf->pc.from = pcf->pc.to = pcf->pc.label = NULL;
+ //pcf->pc.from = pcf->pc.to = pcf->pc.label = NULL;
pcf->pc.pb = NULL;
- pcf->pc.analyze = genericAnalyze;
+ // pcf->pc.analyze = genericAnalyze;
pcf->pc.destruct = genericDestruct;
pcf->pc.print = pCodePrintFunction;
if(mod) {
- _ALLOC_ATOMIC(pcf->modname,strlen(mod)+1);
+ //_ALLOC_ATOMIC(pcf->modname,strlen(mod)+1);
+ pcf->modname = Safe_calloc(1,strlen(mod)+1);
strcpy(pcf->modname,mod);
} else
pcf->modname = NULL;
if(f) {
- _ALLOC_ATOMIC(pcf->fname,strlen(f)+1);
+ //_ALLOC_ATOMIC(pcf->fname,strlen(f)+1);
+ pcf->fname = Safe_calloc(1,strlen(f)+1);
strcpy(pcf->fname,f);
} else
pcf->fname = NULL;
}
+/*-----------------------------------------------------------------*/
+/* newpCodeFlow */
+/*-----------------------------------------------------------------*/
+
+
+pCode *newpCodeFlow(void )
+{
+ pCodeFlow *pcflow;
+
+ //_ALLOC(pcflow,sizeof(pCodeFlow));
+ pcflow = Safe_calloc(1,sizeof(pCodeFlow));
+
+ pcflow->pc.type = PC_FLOW;
+ pcflow->pc.prev = pcflow->pc.next = NULL;
+ //pcflow->pc.from = pcflow->pc.to = pcflow->pc.label = NULL;
+ pcflow->pc.pb = NULL;
+
+ // pcflow->pc.analyze = genericAnalyze;
+ pcflow->pc.destruct = genericDestruct;
+ pcflow->pc.print = genericPrint;
+
+ pcflow->pc.seq = GpcFlowSeq++;
+
+ pcflow->nuses = 7;
+ pcflow->uses = Safe_calloc(pcflow->nuses, sizeof(set *));
+
+ pcflow->from = pcflow->to = NULL;
+
+ pcflow->inCond = PCC_NONE;
+ pcflow->outCond = PCC_NONE;
+
+ pcflow->end = NULL;
+ return ( (pCode *)pcflow);
+
+}
+
/*-----------------------------------------------------------------*/
/* pCodeLabelDestruct - free memory used by a label. */
/*-----------------------------------------------------------------*/
}
-pCode *newpCodeLabel(int key)
+pCode *newpCodeLabel(char *name, int key)
{
char *s = buffer;
pcl->pc.type = PC_LABEL;
pcl->pc.prev = pcl->pc.next = NULL;
- pcl->pc.from = pcl->pc.to = pcl->pc.label = NULL;
+ //pcl->pc.from = pcl->pc.to = pcl->pc.label = NULL;
pcl->pc.pb = NULL;
- pcl->pc.analyze = genericAnalyze;
+ // pcl->pc.analyze = genericAnalyze;
pcl->pc.destruct = pCodeLabelDestruct;
pcl->pc.print = pCodePrintLabel;
pcl->label = NULL;
if(key>0) {
sprintf(s,"_%05d_DS_",key);
- if(s)
- pcl->label = Safe_strdup(s);
- }
+ } else
+ s = name;
+
+ if(s)
+ pcl->label = Safe_strdup(s);
return ( (pCode *)pcl);
}
-pCode *newpCodeLabelStr(char *str)
-{
- pCode *pc = newpCodeLabel(-1);
-
- if(str)
- PCL(pc)->label = Safe_strdup(str);
- else
- PCL(pc)->label = NULL;
- return pc;
-}
/*-----------------------------------------------------------------*/
/* newpBlock - create and return a pointer to a new pBlock */
PpB->next = PpB->prev = NULL;
PpB->function_entries = PpB->function_exits = PpB->function_calls = NULL;
- PpB->registers = NULL;
+ PpB->tregisters = NULL;
PpB->visited = 0;
return PpB;
/* optimizations). */
/*-----------------------------------------------------------------*/
-pCodeOp *newpCodeOpLabel(int key)
+pCodeOp *newpCodeOpLabel(char *name, int key)
{
- char *s = buffer;
+ char *s=NULL;
+ static int label_key=-1;
+
pCodeOp *pcop;
pcop = Safe_calloc(1,sizeof(pCodeOpLabel) );
pcop->type = PO_LABEL;
pcop->name = NULL;
- if(key>0) {
- sprintf(s,"_%05d_DS_",key);
- if(s)
- pcop->name = Safe_strdup(s);
- }
+ if(key>0)
+ sprintf(s=buffer,"_%05d_DS_",key);
+ else
+ s = name, key = label_key--;
+
+ if(s)
+ pcop->name = Safe_strdup(s);
((pCodeOpLabel *)pcop)->key = key;
pcop = Safe_calloc(1,sizeof(pCodeOpLit) );
pcop->type = PO_LITERAL;
+
pcop->name = NULL;
if(lit>=0) {
sprintf(s,"0x%02x",lit);
if(s)
pcop->name = Safe_strdup(s);
- }
-
+ }
((pCodeOpLit *)pcop)->lit = lit;
return pcop;
}
+/*-----------------------------------------------------------------*/
+/*-----------------------------------------------------------------*/
+pCodeOp *newpCodeOpImmd(char *name, int offset)
+{
+ pCodeOp *pcop;
+
+
+ pcop = Safe_calloc(1,sizeof(pCodeOpImmd) );
+ pcop->type = PO_IMMEDIATE;
+ if(name) {
+ pcop->name = Safe_strdup(name);
+ } else {
+ pcop->name = NULL;
+ }
+
+
+ PCOI(pcop)->offset = offset;
+
+ return pcop;
+}
+
/*-----------------------------------------------------------------*/
/*-----------------------------------------------------------------*/
pCodeOp *newpCodeOpWild(int id, pCodePeep *pcp, pCodeOp *subtype)
{
pCodeOp *pcop;
- pcop = Safe_calloc(1,sizeof(pCodeOpBit) );
- pcop->type = PO_BIT;
+ pcop = Safe_calloc(1,sizeof(pCodeOpRegBit) );
+ pcop->type = PO_GPR_BIT;
if(s)
pcop->name = Safe_strdup(s);
else
pcop->name = NULL;
- PCOB(pcop)->bit = bit;
- PCOB(pcop)->inBitSpace = inBitSpace;
+ PCORB(pcop)->bit = bit;
+ PCORB(pcop)->inBitSpace = inBitSpace;
return pcop;
}
pcop = Safe_calloc(1,sizeof(pCodeOpReg) );
+ pcop->name = NULL;
PCOR(pcop)->rIdx = rIdx;
PCOR(pcop)->r = pic14_regWithIdx(rIdx);
pcop->type = PCOR(pcop)->r->pc_type;
return pcop;
}
+pCodeOp *newpCodeOpRegFromStr(char *name)
+{
+ pCodeOp *pcop;
+
+ pcop = Safe_calloc(1,sizeof(pCodeOpReg) );
+ PCOR(pcop)->r = allocRegByName(name);
+ PCOR(pcop)->rIdx = PCOR(pcop)->r->rIdx;
+ pcop->type = PCOR(pcop)->r->pc_type;
+ pcop->name = PCOR(pcop)->r->name;
+
+ return pcop;
+}
/*-----------------------------------------------------------------*/
/*-----------------------------------------------------------------*/
switch(type) {
case PO_BIT:
+ case PO_GPR_BIT:
pcop = newpCodeOpBit(name, -1,0);
break;
break;
case PO_LABEL:
- pcop = newpCodeOpLabel(-1);
+ pcop = newpCodeOpLabel(NULL,-1);
break;
default:
return pcop;
}
+/*-----------------------------------------------------------------*/
+/*-----------------------------------------------------------------*/
+void pCodeConstString(char *name, char *value)
+{
+ pBlock *pb;
+
+ // fprintf(stderr, " %s %s %s\n",__FUNCTION__,name,value);
+
+ if(!name || !value)
+ return;
+
+ pb = newpCodeChain(NULL, 'P',newpCodeCharP("; Starting pCode block"));
+
+ addpBlock(pb);
+
+ sprintf(buffer,"; %s = %s",name,value);
+
+ addpCode2pBlock(pb,newpCodeCharP(buffer));
+ addpCode2pBlock(pb,newpCodeLabel(name,-1));
+
+ do {
+ addpCode2pBlock(pb,newpCode(POC_RETLW,newpCodeOpLit(*value)));
+ }while (*value++);
+
+
+}
+
+/*-----------------------------------------------------------------*/
+/*-----------------------------------------------------------------*/
+void pCodeReadCodeTable(void)
+{
+ pBlock *pb;
+
+ fprintf(stderr, " %s\n",__FUNCTION__);
+
+ pb = newpCodeChain(NULL, 'P',newpCodeCharP("; Starting pCode block"));
+
+ addpBlock(pb);
+
+ addpCode2pBlock(pb,newpCodeCharP("; ReadCodeTable - built in function"));
+ addpCode2pBlock(pb,newpCodeCharP("; Inputs: temp1,temp2 = code pointer"));
+ addpCode2pBlock(pb,newpCodeCharP("; Outpus: W (from RETLW at temp2:temp1)"));
+ addpCode2pBlock(pb,newpCodeLabel("ReadCodeTable:",-1));
+
+ addpCode2pBlock(pb,newpCode(POC_MOVFW,newpCodeOpRegFromStr("temp2")));
+ addpCode2pBlock(pb,newpCode(POC_MOVWF,newpCodeOpRegFromStr("PCLATH")));
+ addpCode2pBlock(pb,newpCode(POC_MOVFW,newpCodeOpRegFromStr("temp1")));
+ addpCode2pBlock(pb,newpCode(POC_MOVWF,newpCodeOpRegFromStr("PCL")));
+
+
+}
+
/*-----------------------------------------------------------------*/
/* addpCode2pBlock - place the pCode into the pBlock linked list */
/*-----------------------------------------------------------------*/
} else {
pb->pcTail->next = pc;
pc->prev = pb->pcTail;
- pc->next = NULL;
+ //pc->next = NULL;
pc->pb = pb;
pb->pcTail = pc;
}
/*-----------------------------------------------------------------*/
void addpBlock(pBlock *pb)
{
+ // fprintf(stderr," Adding pBlock: dbName =%c\n",getpBlock_dbName(pb));
if(!the_pFile) {
/* First time called, we'll pass through here. */
- _ALLOC(the_pFile,sizeof(pFile));
+ //_ALLOC(the_pFile,sizeof(pFile));
+ the_pFile = Safe_calloc(1,sizeof(pFile));
the_pFile->pbHead = the_pFile->pbTail = pb;
the_pFile->functions = NULL;
return;
if(pc) {
-
if(pc->prev)
pc->prev->next = pc->next;
if(pc->next)
regs *r;
- r = setFirstItem(pb->registers);
+ r = setFirstItem(pb->tregisters);
while (r) {
- r = setNextItem(pb->registers);
+ r = setNextItem(pb->tregisters);
}
}
static char *get_op( pCodeInstruction *pcc)
{
regs *r;
+ static char buffer[50];
+ char *s;
+ int size;
if(pcc && pcc->pcop) {
case PO_INDF:
case PO_FSR:
//fprintf(stderr,"get_op getting register name rIdx=%d\n",PCOR(pcc->pcop)->rIdx);
- r = pic14_regWithIdx(PCOR(pcc->pcop)->rIdx);
- return r->name;
+ //r = pic14_regWithIdx(PCOR(pcc->pcop)->rIdx);
+ //return r->name;
+ return PCOR(pcc->pcop)->r->name;
break;
case PO_GPR_TEMP:
- case PO_GPR_BIT:
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;
+ // case PO_GPR_BIT:
+ // return PCOR(pcc->pcop)->r)->name;
+ case PO_IMMEDIATE:
+ s = buffer;
+ size = sizeof(buffer);
+ if( PCOI(pcc->pcop)->offset && PCOI(pcc->pcop)->offset<4) {
+ SAFE_snprintf(&s,&size,"((%s >> %d)&0xff)",
+ pcc->pcop->name,
+ 8 * PCOI(pcc->pcop)->offset );
+ } else
+ SAFE_snprintf(&s,&size,"LOW(%s)",pcc->pcop->name);
+
+
+ return buffer;
+
default:
if (pcc->pcop->name)
return pcc->pcop->name;
if( (PCI(pc)->num_ops >= 1) && (PCI(pc)->pcop)) {
- if(PCI(pc)->bit_inst) {
- if(PCI(pc)->pcop->type == PO_BIT) {
- if( (((pCodeOpBit *)(PCI(pc)->pcop))->inBitSpace) )
+ if(PCI(pc)->isBitInst) {
+ if(PCI(pc)->pcop->type == PO_GPR_BIT) {
+ if( (((pCodeOpRegBit *)(PCI(pc)->pcop))->inBitSpace) )
SAFE_snprintf(&s,&size,"(%s >> 3), (%s & 7)",
PCI(pc)->pcop->name ,
PCI(pc)->pcop->name );
else
SAFE_snprintf(&s,&size,"%s,%d", get_op(PCI(pc)),
- (((pCodeOpBit *)(PCI(pc)->pcop))->bit ));
+ (((pCodeOpRegBit *)(PCI(pc)->pcop))->bit ));
} else if(PCI(pc)->pcop->type == PO_GPR_BIT) {
SAFE_snprintf(&s,&size,"%s,%d", get_op(PCI(pc)),PCORB(PCI(pc)->pcop)->bit);
}else
//PCI(pc)->pcop->t.bit );
} else {
- if(PCI(pc)->pcop->type == PO_BIT) {
+ if(PCI(pc)->pcop->type == PO_GPR_BIT) {
if( PCI(pc)->num_ops == 2)
- SAFE_snprintf(&s,&size,"(%s >> 3),%c",get_op(PCI(pc)),((PCI(pc)->dest) ? 'F':'W'));
+ SAFE_snprintf(&s,&size,"(%s >> 3),%c",get_op(PCI(pc)),((PCI(pc)->isModReg) ? 'F':'W'));
else
SAFE_snprintf(&s,&size,"(1 << (%s & 7))",get_op(PCI(pc)));
SAFE_snprintf(&s,&size,"%s",get_op(PCI(pc)));
if( PCI(pc)->num_ops == 2)
- SAFE_snprintf(&s,&size,",%c", ( (PCI(pc)->dest) ? 'F':'W'));
+ SAFE_snprintf(&s,&size,",%c", ( (PCI(pc)->isModReg) ? 'F':'W'));
}
}
case PC_WILD:
SAFE_snprintf(&s,&size,";\tWild opcode: id=%d\n",PCW(pc)->id);
break;
-
+ case PC_FLOW:
+ SAFE_snprintf(&s,&size,";\t--FLOW change\n");
+ break;
}
return str;
case PC_OPCODE:
// If the opcode has a label, print that first
{
- pBranch *pbl = pc->label;
+ pBranch *pbl = PCI(pc)->label;
while(pbl && pbl->pc) {
if(pbl->pc->type == PC_LABEL)
pCodePrintLabel(of, pbl->pc);
pCode2str(str, 256, pc);
fprintf(of,"%s",str);
- }
+ /* Debug */
+ fprintf(of, "\t;key=%03x",pc->seq);
+ if(PCI(pc)->pcflow)
+ fprintf(of,",flow seq=%03x",PCI(pc)->pcflow->pc.seq);
+ }
+#if 0
{
pBranch *dpb = pc->to; // debug
while(dpb) {
case PC_FUNCTION:
fprintf(of, "\t;function %s", ( (PCF(dpb->pc)->fname) ? (PCF(dpb->pc)->fname) : "[END]"));
break;
+ case PC_FLOW:
+ fprintf(of, "\t;flow");
+ break;
case PC_COMMENT:
case PC_WILD:
break;
}
dpb = dpb->next;
}
- fprintf(of,"\n");
}
-
+#endif
+ fprintf(of,"\n");
break;
case PC_WILD:
fprintf(of,";\tWild opcode: id=%d\n",PCW(pc)->id);
- if(pc->label)
- pCodePrintLabel(of, pc->label->pc);
+ if(PCW(pc)->pci.label)
+ pCodePrintLabel(of, PCW(pc)->pci.label->pc);
if(PCW(pc)->operand) {
fprintf(of,";\toperand ");
}
break;
+ case PC_FLOW:
+ fprintf(of,";Start of new flow, seq=%d\n",pc->seq);
+ break;
+
case PC_LABEL:
default:
fprintf(of,"unknown pCode type %d\n",pc->type);
fprintf(of,"F_%s",((pCodeFunction *)pc)->modname);
if(PCF(pc)->fname) {
- pBranch *exits = pc->to;
+ pBranch *exits = PCF(pc)->to;
int i=0;
fprintf(of,"%s\t;Function start\n",PCF(pc)->fname);
while(exits) {
fprintf(of,"; %d exit point%c\n",i, ((i==1) ? ' ':'s'));
}else {
- if(pc->from &&
- pc->from->pc->type == PC_FUNCTION &&
- PCF(pc->from->pc)->fname)
- fprintf(of,"; exit point of %s\n",PCF(pc->from->pc)->fname);
+ if((PCF(pc)->from &&
+ PCF(pc)->from->pc->type == PC_FUNCTION &&
+ PCF(PCF(pc)->from->pc)->fname) )
+ fprintf(of,"; exit point of %s\n",PCF(PCF(pc)->from->pc)->fname);
else
fprintf(of,"; exit point [can't find entry point]\n");
}
{
pBranch *b, *bprev;
+
+ bprev = NULL;
+
+ if(pcl->type == PC_OPCODE)
+ b = PCI(pcl)->label;
+ else {
+ fprintf(stderr, "LINE %d. can't unlink from non opcode\n",__LINE__);
+ exit(1);
+
+ }
+
+ while(b) {
+ if(b->pc == pc) {
+
+ /* Found a label */
+ if(bprev) {
+ bprev->next = b->next; /* Not first pCode in chain */
+ free(b);
+ } else {
+ pc->destruct(pc);
+ PCI(pcl)->label = b->next; /* First pCode in chain */
+ free(b);
+ }
+ return; /* A label can't occur more than once */
+ }
+ bprev = b;
+ b = b->next;
+ }
+
+#if 0
+
+ original stuff:
+
bprev = NULL;
b = pcl->label;
while(b) {
bprev = b;
b = b->next;
}
-
+#endif
}
/*-----------------------------------------------------------------*/
/* pBranchLink - given two pcodes, this function will link them */
/* together through their pBranches */
/*-----------------------------------------------------------------*/
-static void pBranchLink(pCode *f, pCode *t)
+static void pBranchLink(pCodeFunction *f, pCodeFunction *t)
{
pBranch *b;
// Declare a new branch object for the 'from' pCode.
- _ALLOC(b,sizeof(pBranch));
- b->pc = t; // The link to the 'to' pCode.
+ //_ALLOC(b,sizeof(pBranch));
+ b = Safe_calloc(1,sizeof(pBranch));
+ b->pc = PCODE(t); // The link to the 'to' pCode.
b->next = NULL;
f->to = pBranchAppend(f->to,b);
// Now do the same for the 'to' pCode.
- _ALLOC(b,sizeof(pBranch));
- b->pc = f;
+ //_ALLOC(b,sizeof(pBranch));
+ b = Safe_calloc(1,sizeof(pBranch));
+ b->pc = PCODE(f);
b->next = NULL;
t->from = pBranchAppend(t->from,b);
#endif
/*-----------------------------------------------------------------*/
/*-----------------------------------------------------------------*/
+#if 0
static void genericAnalyze(pCode *pc)
{
switch(pc->type) {
/* reached the end of the pcode chain without finding
* an instruction we could link to. */
}
+ break;
+ case PC_FLOW:
+ fprintf(stderr,"analyze PC_FLOW\n");
+
+ return;
}
}
+#endif
/*-----------------------------------------------------------------*/
int compareLabel(pCode *pc, pCodeOpLabel *pcop_label)
return TRUE;
}
if(pc->type == PC_OPCODE) {
- pbr = pc->label;
+ pbr = PCI(pc)->label;
while(pbr) {
if(pbr->pc->type == PC_LABEL) {
if( ((pCodeLabel *)(pbr->pc))->key == pcop_label->key)
return NULL;
}
+/*-----------------------------------------------------------------*/
+/* findNextpCode - given a pCode, find the next of type 'pct' */
+/* in the linked list */
+/*-----------------------------------------------------------------*/
+pCode * findNextpCode(pCode *pc, PC_TYPE pct)
+{
+
+ while(pc) {
+ if(pc->type == pct)
+ return pc;
+
+ pc = pc->next;
+ }
+
+ return NULL;
+}
+
+/*-----------------------------------------------------------------*/
+/* findPrevpCode - given a pCode, find the previous of type 'pct' */
+/* in the linked list */
+/*-----------------------------------------------------------------*/
+pCode * findPrevpCode(pCode *pc, PC_TYPE pct)
+{
+
+ while(pc) {
+ if(pc->type == pct)
+ return pc;
+
+ pc = pc->prev;
+ }
+
+ return NULL;
+}
/*-----------------------------------------------------------------*/
/* findNextInstruction - given a pCode, find the next instruction */
/* in the linked list */
pc = pc->next;
}
- fprintf(stderr,"Couldn't find instruction\n");
+ //fprintf(stderr,"Couldn't find instruction\n");
return NULL;
}
}
#endif
+#if 0
static void AnalyzeGOTO(pCode *pc)
{
}
+#endif
+
/*-----------------------------------------------------------------*/
/*-----------------------------------------------------------------*/
-
-void AnalyzepBlock(pBlock *pb)
+regs * getRegFromInstruction(pCode *pc)
{
- pCode *pc;
+ if(!pc ||
+ !isPCI(pc) ||
+ !PCI(pc)->pcop ||
+ PCI(pc)->num_ops == 0 )
+ return NULL;
- if(!pb)
- return;
+ switch(PCI(pc)->pcop->type) {
+ case PO_INDF:
+ case PO_FSR:
+ return pic14_regWithIdx(PCOR(PCI(pc)->pcop)->rIdx);
- /* Find all of the registers used in this pBlock
- * by looking at each instruction and examining it's
- * operands
- */
- for(pc = pb->pcHead; pc; pc = pc->next) {
+ case PO_BIT:
+ case PO_GPR_TEMP:
+ fprintf(stderr, "getRegFromInstruction - bit or temp\n");
+ return PCOR(PCI(pc)->pcop)->r;
+
+ case PO_IMMEDIATE:
+ fprintf(stderr, "getRegFromInstruction - immediate\n");
+ return NULL; // PCOR(PCI(pc)->pcop)->r;
+
+ case PO_GPR_BIT:
+ return PCOR(PCI(pc)->pcop)->r;
+
+ case PO_DIR:
+ fprintf(stderr, "getRegFromInstruction - dir\n");
+ //return NULL; PCOR(PCI(pc)->pcop)->r;
+ return PCOR(PCI(pc)->pcop)->r;
+ case PO_LITERAL:
+ fprintf(stderr, "getRegFromInstruction - literal\n");
+ break;
+
+ default:
+ fprintf(stderr, "getRegFromInstruction - unknown reg type %d\n",PCI(pc)->pcop->type);
+ genericPrint(stderr, pc);
+ break;
+ }
+
+ return NULL;
+
+}
+
+/*-----------------------------------------------------------------*/
+/*-----------------------------------------------------------------*/
+
+void AnalyzepBlock(pBlock *pb)
+{
+ pCode *pc;
+
+ if(!pb)
+ return;
+
+ /* Find all of the registers used in this pBlock
+ * by looking at each instruction and examining it's
+ * operands
+ */
+ for(pc = pb->pcHead; pc; pc = pc->next) {
/* Is this an instruction with operands? */
if(pc->type == PC_OPCODE && PCI(pc)->pcop) {
/* Loop through all of the registers declared so far in
this block and see if we find this one there */
- regs *r = setFirstItem(pb->registers);
+ regs *r = setFirstItem(pb->tregisters);
while(r) {
if(r->rIdx == PCOR(PCI(pc)->pcop)->r->rIdx) {
PCOR(PCI(pc)->pcop)->r = r;
break;
}
- r = setNextItem(pb->registers);
+ r = setNextItem(pb->tregisters);
}
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);
+ addSet(&pb->tregisters, r);
PCOR(PCI(pc)->pcop)->r = r;
//fprintf(stderr,"added register to pblock: reg %d\n",r->rIdx);
}/* else
}
}
+/*-----------------------------------------------------------------*/
+/* */
+/*-----------------------------------------------------------------*/
+#define PCI_HAS_LABEL(x) ((x) && (PCI(x)->label != NULL))
+
+void InsertpFlow(pCode *pc, pCode **pflow)
+{
+ PCFL(*pflow)->end = pc;
+
+ if(!pc || !pc->next)
+ return;
+
+ *pflow = newpCodeFlow();
+ pCodeInsertAfter(pc, *pflow);
+}
+
+/*-----------------------------------------------------------------*/
+/* BuildFlow(pBlock *pb) - examine the code in a pBlock and build */
+/* the flow blocks. */
+/*
+ * BuildFlow inserts pCodeFlow objects into the pCode chain at each
+ * point the instruction flow changes.
+ */
+/*-----------------------------------------------------------------*/
+void BuildFlow(pBlock *pb)
+{
+ pCode *pc;
+ pCode *last_pci=NULL;
+ pCode *pflow;
+ int seq = 0;
+
+ if(!pb)
+ return;
+
+ //fprintf (stderr,"build flow start seq %d ",GpcFlowSeq);
+ /* Insert a pCodeFlow object at the beginning of a pBlock */
+
+ pflow = newpCodeFlow(); /* Create a new Flow object */
+ pflow->next = pb->pcHead; /* Make the current head the next object */
+ pb->pcHead->prev = pflow; /* let the current head point back to the flow object */
+ pb->pcHead = pflow; /* Make the Flow object the head */
+ pflow->pb = pb;
+
+ for( pc = findNextInstruction(pb->pcHead);
+ (pc=findNextInstruction(pc)) != NULL; ) {
+
+ pc->seq = seq++;
+ PCI(pc)->pcflow = PCFL(pflow);
+
+ if(PCI(pc)->isSkip || PCI(pc)->isBranch) {
+
+ /* The instruction immediately following this one
+ * marks the beginning of a new flow segment */
+
+ InsertpFlow(pc, &pflow);
+ seq = 0;
+
+ } else if (PCI_HAS_LABEL(pc)) {
+
+ /* This instruction marks the beginning of a
+ * new flow segment */
+
+ pc->seq = 0;
+ seq = 1;
+ InsertpFlow(pc->prev, &pflow);
+
+ PCI(pc)->pcflow = PCFL(pflow);
+
+ }
+ last_pci = pc;
+ pc = pc->next;
+ }
+
+ //fprintf (stderr,",end seq %d",GpcFlowSeq);
+ PCFL(pflow)->end = pb->pcTail;
+}
+
+/*-----------------------------------------------------------------*/
+/*-----------------------------------------------------------------*/
+void dumpCond(int cond)
+{
+
+ static char *pcc_str[] = {
+ //"PCC_NONE",
+ "PCC_REGISTER",
+ "PCC_C",
+ "PCC_Z",
+ "PCC_DC",
+ "PCC_W",
+ "PCC_EXAMINE_PCOP",
+ "PCC_REG_BANK0",
+ "PCC_REG_BANK1",
+ "PCC_REG_BANK2",
+ "PCC_REG_BANK3"
+ };
+
+ int ncond = sizeof(pcc_str) / sizeof(char *);
+ int i,j;
+
+ fprintf(stderr, "0x%04X\n",cond);
+
+ for(i=0,j=1; i<ncond; i++, j<<=1)
+ if(cond & j)
+ fprintf(stderr, " %s\n",pcc_str[i]);
+
+}
+
+/*-----------------------------------------------------------------*/
+/*-----------------------------------------------------------------*/
+void FillFlow(pCodeFlow *pcflow)
+{
+
+ pCode *pc;
+ int cur_bank;
+
+ if(!isPCFL(pcflow))
+ return;
+
+ // fprintf(stderr, " FillFlow - flow block (seq=%d)\n", pcflow->pc.seq);
+
+ pc = findNextpCode(PCODE(pcflow), PC_OPCODE);
+ if(!pc) {
+ // fprintf(stderr, " FillFlow - empty flow (seq=%d)\n", pcflow->pc.seq);
+ return;
+ }
+
+ cur_bank = -1;
+
+ do {
+ //regs *reg;
+
+ int inCond = PCI(pc)->inCond;
+ int outCond = PCI(pc)->outCond;
+#if 0
+ if( (reg = getRegFromInstruction(pc)) != NULL) {
+ if(isSTATUS_REG(reg)) {
+
+ //fprintf(stderr, " FillFlow - Status register\n");
+
+ /* Check to see if the register banks are changing */
+ if(PCI(pc)->isModReg) {
+
+ pCodeOp *pcop = PCI(pc)->pcop;
+ switch(PCI(pc)->op) {
+ case POC_BSF:
+ if(PCORB(pcop)->bit == PIC_RP0_BIT)
+ fprintf(stderr, " FillFlow - Set RP0\n");
+ //outCond |= PCC_REG_BANK1;
+ if(PCORB(pcop)->bit == PIC_RP1_BIT)
+ fprintf(stderr, " FillFlow - Set RP1\n");
+ //outCond |= PCC_REG_BANK3;
+ break;
+
+ case POC_BCF:
+ if(PCORB(pcop)->bit == PIC_RP0_BIT)
+ fprintf(stderr, " FillFlow - Clr RP0\n");
+ //outCond |= PCC_REG_BANK1;
+ if(PCORB(pcop)->bit == PIC_RP1_BIT)
+ fprintf(stderr, " FillFlow - Clr RP1\n");
+ //outCond |= PCC_REG_BANK3;
+ break;
+
+ default:
+ fprintf(stderr, " FillFlow - Status register is getting Modified by:\n");
+ genericPrint(stderr, pc);
+ }
+ }
+
+ } else
+ inCond |= PCC_REG_BANK0 << (REG_BANK(reg) & 3);
+ }
+#endif
+
+ pcflow->inCond |= (inCond & ~pcflow->outCond);
+ pcflow->outCond |= outCond;
+
+
+
+
+ pc = findNextpCode(pc->next, PC_OPCODE);
+ } while (pc && (pc != pcflow->end));
+
+#if 0
+ if(!pc)
+ fprintf(stderr, " FillFlow - Bad end of flow\n");
+
+
+ fprintf(stderr, " FillFlow inCond: ");
+ dumpCond(pcflow->inCond);
+ fprintf(stderr, " FillFlow outCond: ");
+ dumpCond(pcflow->outCond);
+#endif
+}
+/*-----------------------------------------------------------------*/
+/*-----------------------------------------------------------------*/
+void LinkFlow_pCode(pCodeInstruction *from, pCodeInstruction *to)
+{
+
+ if(!from || !to || !to->pcflow || !from->pcflow)
+ return;
+
+ addSet(&(from->pcflow->to), to->pcflow);
+ addSet(&(to->pcflow->from), from->pcflow);
+
+}
+
+/*-----------------------------------------------------------------*/
+/*-----------------------------------------------------------------*/
+void LinkFlow(pBlock *pb)
+{
+ pCode *pc=NULL;
+ pCode *pcflow;
+ pCode *pct;
+
+
+ for( pcflow = findNextpCode(pb->pcHead, PC_FLOW);
+ (pcflow = findNextpCode(pcflow, PC_FLOW)) != NULL;
+ pcflow = pcflow->next) {
+
+ if(!isPCFL(pcflow))
+ fprintf(stderr, "LinkFlow - pcflow is not a flow object ");
+
+ //FillFlow(PCFL(pcflow));
+
+ pc = PCFL(pcflow)->end;
+
+ //fprintf(stderr, "LinkFlow - flow block (seq=%d) ", pcflow->seq);
+ if(isPCI_SKIP(pc)) {
+ //fprintf(stderr, "ends with skip\n");
+ pct=findNextInstruction(pc->next);
+ LinkFlow_pCode(PCI(pc),PCI(pct));
+ pct=findNextInstruction(pct->next);
+ LinkFlow_pCode(PCI(pc),PCI(pct));
+ continue;
+ }
+
+ if(isPCI_BRANCH(pc)) {
+ //fprintf(stderr, "ends with branch\n");
+
+ continue;
+ }
+#if 0
+ if(pc) {
+ fprintf(stderr, "has an unrecognized ending:\n");
+ pc->print(stderr,pc);
+ }
+ else
+ fprintf(stderr, "has no end pcode\n");
+#endif
+
+ }
+}
/*-----------------------------------------------------------------*/
/*-----------------------------------------------------------------*/
int OptimizepBlock(pBlock *pb)
if(pc->type == PC_LABEL)
pcl = PCL(pc);
- else if (pc->label)
- pcl = PCL(pc->label->pc);
+ else if ((pc->type == PC_OPCODE) && PCI(pc)->label)
+ pcl = PCL(PCI(pc)->label->pc);
else continue;
/* This pCode is a label, so search the pBlock to see if anyone
// the labels are placed into the singly-linked list "label" as
// opposed to being a single member of the pCodeInstruction.)
- _ALLOC(pbr,sizeof(pBranch));
+ //_ALLOC(pbr,sizeof(pBranch));
+ pbr = Safe_calloc(1,sizeof(pBranch));
pbr->pc = pc;
pbr->next = NULL;
- pcnext->label = pBranchAppend(pcnext->label,pbr);
+ PCI(pcnext)->label = pBranchAppend(PCI(pcnext)->label,pbr);
if(pcnext->prev)
pc = pcnext->prev;
else
}
/*-----------------------------------------------------------------*/
-/* AnalyzepCode - parse the pCode that has been generated and form */
-/* all of the logical connections. */
-/* */
-/* Essentially what's done here is that the pCode flow is */
-/* determined. */
+/* popCopy - copy a pcode operator */
/*-----------------------------------------------------------------*/
+pCodeOp *popCopyGPR2Bit(pCodeOp *pc, int bitval)
+{
+ pCodeOp *pcop;
-void AnalyzepCode(char dbName)
+ pcop = newpCodeOpBit(pc->name, bitval, 0);
+
+ if( !( (pcop->type == PO_LABEL) ||
+ (pcop->type == PO_LITERAL) ||
+ (pcop->type == PO_STR) ))
+ PCOR(pcop)->r = PCOR(pc)->r; /* This is dangerous... */
+
+ return pcop;
+}
+
+
+
+#if 0
+/*-----------------------------------------------------------------*/
+/*-----------------------------------------------------------------*/
+int InstructionRegBank(pCode *pc)
{
- pBlock *pb;
- pCode *pc;
- pBranch *pbr;
+ regs *reg;
- int i,changes;
+ if( (reg = getRegFromInstruction(pc)) == NULL)
+ return -1;
- if(!the_pFile)
+ return REG_BANK(reg);
+
+}
+#endif
+
+/*-----------------------------------------------------------------*/
+/*-----------------------------------------------------------------*/
+void FixRegisterBanking(pBlock *pb)
+{
+ pCode *pc=NULL;
+ pCode *pcprev=NULL;
+ pCode *new_pc;
+
+ int cur_bank;
+ regs *reg;
+ return;
+ if(!pb)
return;
+ pc = findNextpCode(pb->pcHead, PC_FLOW);
+ if(!pc)
+ return;
+ /* loop through all of the flow blocks with in one pblock */
- i = 0;
+ // fprintf(stderr,"Register banking\n");
+ cur_bank = 0;
do {
+ /* at this point, pc should point to a PC_FLOW object */
- DFPRINTF((stderr," Analyzing pCode: PASS #%d\n",i+1));
- /* First, merge the labels with the instructions */
- for(pb = the_pFile->pbHead; pb; pb = pb->next) {
- if('*' == dbName || getpBlock_dbName(pb) == dbName) {
+ /* for each flow block, determine the register banking
+ requirements */
- DFPRINTF((stderr," analyze and merging block %c\n",dbName));
- pBlockMergeLabels(pb);
- AnalyzepBlock(pb);
+ do {
+ if(isPCI(pc)) {
+ genericPrint(stderr, pc);
+
+ reg = getRegFromInstruction(pc);
+ //#if 0
+ if(reg) {
+ fprintf(stderr, " %s ",reg->name);
+ fprintf(stderr, "addr = 0x%03x, bank = %d\n",reg->address,REG_BANK(reg));
+
+ }
+ //#endif
+ if(reg && REG_BANK(reg)!=cur_bank) {
+ /* Examine the instruction before this one to make sure it is
+ * not a skip type instruction */
+ pcprev = findPrevpCode(pc->prev, PC_OPCODE);
+ if(pcprev && !isPCI_SKIP(pcprev)) {
+ int b = cur_bank ^ REG_BANK(reg);
+
+ //fprintf(stderr, "Cool! can switch banks\n");
+ cur_bank = REG_BANK(reg);
+ if(b & 1) {
+ new_pc = newpCode(((cur_bank&1) ? POC_BSF : POC_BCF),
+ popCopyGPR2Bit(PCOP(&pc_status),PIC_RP0_BIT));
+ pCodeInsertAfter(pc->prev, new_pc);
+ if(PCI(pc)->label) {
+ PCI(new_pc)->label = PCI(pc)->label;
+ PCI(pc)->label = NULL;
+ }
+ /*
+ new_pc = newpCode(((cur_bank&1) ? POC_BCF : POC_BSF),
+ popCopyGPR2Bit(PCOP(&pc_status),PIC_RP0_BIT));
+ pCodeInsertAfter(pc, new_pc);
+ */
+
+ }
+
+ } else
+ fprintf(stderr, "Bummer can't switch banks\n");
+ }
}
+
+ pcprev = pc;
+ pc = pc->next;
+ } while(pc && !(isPCFL(pc)));
+
+ if(pcprev && cur_bank) {
+ /* Brute force - make sure that we point to bank 0 at the
+ * end of each flow block */
+ new_pc = newpCode(POC_BCF,
+ popCopyGPR2Bit(PCOP(&pc_status),PIC_RP0_BIT));
+ pCodeInsertAfter(pcprev, new_pc);
+ cur_bank = 0;
}
- changes = 0;
+ }while (pc);
- for(pb = the_pFile->pbHead; pb; pb = pb->next) {
- if('*' == dbName || getpBlock_dbName(pb) == dbName)
- changes += OptimizepBlock(pb);
+}
+
+void pBlockDestruct(pBlock *pb)
+{
+
+ if(!pb)
+ return;
+
+
+ free(pb);
+
+}
+
+/*-----------------------------------------------------------------*/
+/* void mergepBlocks(char dbName) - Search for all pBlocks with the*/
+/* name dbName and combine them */
+/* into one block */
+/*-----------------------------------------------------------------*/
+void mergepBlocks(char dbName)
+{
+
+ pBlock *pb, *pbmerged = NULL,*pbn;
+
+ pb = the_pFile->pbHead;
+
+ //fprintf(stderr," merging blocks named %c\n",dbName);
+ while(pb) {
+
+ pbn = pb->next;
+ //fprintf(stderr,"looking at %c\n",getpBlock_dbName(pb));
+ if( getpBlock_dbName(pb) == dbName) {
+
+ //fprintf(stderr," merged block %c\n",dbName);
+
+ if(!pbmerged) {
+ pbmerged = pb;
+ } else {
+ addpCode2pBlock(pbmerged, pb->pcHead);
+ /* addpCode2pBlock doesn't handle the tail: */
+ pbmerged->pcTail = pb->pcTail;
+
+ pb->prev->next = pbn;
+ if(pbn)
+ pbn->prev = pb->prev;
+
+
+ pBlockDestruct(pb);
+ }
+ //printpBlock(stderr, pbmerged);
+ }
+ pb = pbn;
+ }
+
+}
+
+/*-----------------------------------------------------------------*/
+/* AnalyzeBanking - Called after the memory addresses have been */
+/* assigned to the registers. */
+/* */
+/*-----------------------------------------------------------------*/
+void AnalyzeBanking(void)
+{
+
+ pBlock *pb;
+
+ if(!the_pFile)
+ return;
+
+
+ /* Phase 2 - Flow Analysis
+ *
+ * In this phase, the pCode is partition into pCodeFlow
+ * blocks. The flow blocks mark the points where a continuous
+ * stream of instructions changes flow (e.g. because of
+ * a call or goto or whatever).
+ */
+
+ for(pb = the_pFile->pbHead; pb; pb = pb->next)
+ BuildFlow(pb);
+
+ /* Phase 2 - Flow Analysis - linking flow blocks
+ *
+ * In this phase, the individual flow blocks are examined
+ * to determine their order of excution.
+ */
+
+ for(pb = the_pFile->pbHead; pb; pb = pb->next)
+ LinkFlow(pb);
+
+ for(pb = the_pFile->pbHead; pb; pb = pb->next)
+ FixRegisterBanking(pb);
+
+ /* debug stuff */
+ for(pb = the_pFile->pbHead; pb; pb = pb->next) {
+ pCode *pcflow;
+ for( pcflow = findNextpCode(pb->pcHead, PC_FLOW);
+ (pcflow = findNextpCode(pcflow, PC_FLOW)) != NULL;
+ pcflow = pcflow->next) {
+
+ FillFlow(PCFL(pcflow));
}
-
- } while(changes && (i++ < MAX_PASSES));
+ }
+
+
+}
+
+/*-----------------------------------------------------------------*/
+/* buildCallTree - look at the flow and extract all of the calls */
+/* */
+/*-----------------------------------------------------------------*/
+set *register_usage(pBlock *pb);
+
+void buildCallTree(void )
+{
+ pBranch *pbr;
+ pBlock *pb;
+ pCode *pc;
+
+ if(!the_pFile)
+ return;
+
+
/* Now build the call tree.
First we examine all of the pCodes for functions.
*/
for(pb = the_pFile->pbHead; pb; pb = pb->next) {
- 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);
+ pCode *pc_fstart=NULL;
+ for(pc = pb->pcHead; pc; pc = pc->next) {
+ if(isPCF(pc)) { //pc->type == PC_FUNCTION) {
+ if (PCF(pc)->fname) {
+
+ if(STRCASECMP(PCF(pc)->fname, "_main") == 0) {
+ fprintf(stderr," found main \n");
+ pb->cmemmap = NULL; /* FIXME do we need to free ? */
+ pb->dbName = 'M';
}
- } else if(pc->type == PC_OPCODE && PCI(pc)->op == POC_CALL) {
- addSet(&pb->function_calls,pc);
+
+ //_ALLOC(pbr,sizeof(pBranch));
+ pbr = Safe_calloc(1,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(PCF(pc_fstart), PCF(pc));
+
+ addSet(&pb->function_exits, pc);
}
+ } else if(isCALL(pc)) {// if(pc->type == PC_OPCODE && PCI(pc)->op == POC_CALL) {
+ addSet(&pb->function_calls,pc);
}
}
}
+
+ /* 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);
+ }
+
+}
+
+/*-----------------------------------------------------------------*/
+/* AnalyzepCode - parse the pCode that has been generated and form */
+/* all of the logical connections. */
+/* */
+/* Essentially what's done here is that the pCode flow is */
+/* determined. */
+/*-----------------------------------------------------------------*/
+
+void AnalyzepCode(char dbName)
+{
+ pBlock *pb;
+ int i,changes;
+
+ if(!the_pFile)
+ return;
+
+ mergepBlocks('D');
+
+
+ /* Phase 1 - Register allocation and peep hole optimization
+ *
+ * The first part of the analysis is to determine the registers
+ * that are used in the pCode. Once that is done, the peep rules
+ * are applied to the code. We continue to loop until no more
+ * peep rule optimizations are found (or until we exceed the
+ * MAX_PASSES threshold).
+ *
+ * When done, the required registers will be determined.
+ *
+ */
+ i = 0;
+ do {
+
+ DFPRINTF((stderr," Analyzing pCode: PASS #%d\n",i+1));
+
+ /* First, merge the labels with the instructions */
+ for(pb = the_pFile->pbHead; pb; pb = pb->next) {
+ if('*' == dbName || getpBlock_dbName(pb) == dbName) {
+
+ DFPRINTF((stderr," analyze and merging block %c\n",dbName));
+ //fprintf(stderr," analyze and merging block %c\n",getpBlock_dbName(pb));
+ pBlockMergeLabels(pb);
+ AnalyzepBlock(pb);
+ }
+ }
+
+ changes = 0;
+
+ for(pb = the_pFile->pbHead; pb; pb = pb->next) {
+ if('*' == dbName || getpBlock_dbName(pb) == dbName)
+ changes += OptimizepBlock(pb);
+ }
+
+ } while(changes && (i++ < MAX_PASSES));
+
+ buildCallTree();
}
/*-----------------------------------------------------------------*/
pCode *pc;
regs *r;
- fprintf(of,";***\n; pBlock Stats\n;***\n");
+ fprintf(of,";***\n; pBlock Stats: dbName = %c\n;***\n",getpBlock_dbName(pb));
// for now just print the first element of each set
pc = setFirstItem(pb->function_entries);
}
}
- r = setFirstItem(pb->registers);
+ r = setFirstItem(pb->tregisters);
if(r) {
- int n = elementsInSet(pb->registers);
+ int n = elementsInSet(pb->tregisters);
fprintf(of,";%d compiler assigned register%c:\n",n, ( (n!=1) ? 's' : ' '));
while (r) {
fprintf(of,"; %s\n",r->name);
- r = setNextItem(pb->registers);
+ r = setNextItem(pb->tregisters);
}
}
}
/*-----------------------------------------------------------------*/
/*-----------------------------------------------------------------*/
-void sequencepCode(void)
+static void sequencepCode(void)
{
pBlock *pb;
pCode *pc;
// Mark the registers in this block as used.
- MarkUsedRegisters(pb->registers);
+ MarkUsedRegisters(pb->tregisters);
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 */
r1 = setFirstItem(registersInCallPath);
while(r1) {
- r2 = setFirstItem(pb->registers);
+ r2 = setFirstItem(pb->tregisters);
while(r2 && (r1->type != REG_STK)) {
newreg->isFree = 0;
newreg->wasUsed = 1;
}
- r2 = setNextItem(pb->registers);
+ r2 = setNextItem(pb->tregisters);
}
r1 = setNextItem(registersInCallPath);
}// else
// MarkUsedRegisters(pb->registers);
- registers = unionSets(pb->registers, registersInCallPath, THROW_NONE);
+ registers = unionSets(pb->tregisters, registersInCallPath, THROW_NONE);
#ifdef PCODE_DEBUG
if(registers)
DFPRINTF((stderr,"returning regs\n"));
/* Re-allocate the registers so that there are no collisions
* between local variables when one function call another */
-
+#if 0
pic14_deallocateAllRegs();
for(pb = the_pFile->pbHead; pb; pb = pb->next) {
if(!pb->visited)
register_usage(pb);
}
+#endif
fprintf(of,"\n**************\n\na better call tree\n");
for(pb = the_pFile->pbHead; pb; pb = pb->next) {
projects / fw / sdcc / blobdiff