POC_COMFW,
POC_CLRF,
POC_CLRW,
+ POC_CLRWDT,
POC_DECF,
POC_DECFW,
POC_DECFSZ,
PC_FUNCTION, /* Function start or end */
PC_WILD, /* wildcard - an opcode place holder used
* in the pCode peep hole optimizer */
- PC_CSOURCE /* C-Source Line */
+ PC_CSOURCE, /* C-Source Line */
+ PC_BAD /* Mark the pCode object as being bad */
} PC_TYPE;
/************************************************/
/*************** Structures ********************/
/************************************************/
+/* These are here as forward references - the
+ * full definition of these are below */
struct pCode;
struct pCodeWildBlock;
+struct pCodeRegLives;
/*************************************************
pBranch
typedef struct pCodeOpImmd
{
pCodeOp pcop;
- int offset; /* low,med, or high byte of immediat value */
- int index; /* add this to the immediate value */
- unsigned _const:1; /* is in code space */
+ int offset; /* low,med, or high byte of immediat value */
+ int index; /* add this to the immediate value */
+ unsigned _const:1; /* is in code space */
+
+ int rIdx; /* If this immd points to a register */
+ struct regs *r; /* then this is the reg. */
} pCodeOpImmd;
causes a branch, a Flow object will be inserted into
the pCode chain to mark the beginning of the next
contiguous chunk.
+
**************************************************/
typedef struct pCodeFlow
pCode *end; /* Last pCode in this flow. Note that
the first pCode is pc.next */
- set **uses; /* map the pCode instruction inCond and outCond conditions
+ /* set **uses; * map the pCode instruction inCond and outCond conditions
* in this array of set's. The reason we allocate an
* array of pointers instead of declaring each type of
* usage is because there are port dependent usage definitions */
- int nuses; /* number of uses sets */
+ //int nuses; /* number of uses sets */
set *from; /* flow blocks that can send control to this flow block */
set *to; /* flow blocks to which this one can send control */
+ struct pCodeFlow *ancestor; /* The most immediate "single" pCodeFlow object that
+ * executes prior to this one. In many cases, this
+ * will be just the previous */
int inCond; /* Input conditions - stuff assumed defined at entry */
int outCond; /* Output conditions - stuff modified by flow block */
+ int firstBank; /* The first and last bank flags are the first and last */
+ int lastBank; /* register banks used within one flow object */
+
+ int FromConflicts;
+ int ToConflicts;
+
+ set *registers;/* Registers used in this flow */
+
} pCodeFlow;
+/*************************************************
+ pCodeFlowLink
+
+ The Flow Link object is used to record information
+ about how consecutive excutive Flow objects are related.
+ The pCodeFlow objects demarcate the pCodeInstructions
+ into contiguous chunks. The FlowLink records conflicts
+ in the discontinuities. For example, if one Flow object
+ references a register in bank 0 and the next Flow object
+ references a register in bank 1, then there is a discontinuity
+ in the banking registers.
+
+*/
+typedef struct pCodeFlowLink
+{
+ pCodeFlow *pcflow; /* pointer to linked pCodeFlow object */
+
+ int bank_conflict; /* records bank conflicts */
+
+} pCodeFlowLink;
+
/*************************************************
pCodeInstruction
unsigned int isBitInst: 1; /* e.g. BCF */
unsigned int isBranch: 1; /* True if this is a branching instruction */
unsigned int isSkip: 1; /* True if this is a skip instruction */
+ unsigned int isLit: 1; /* True if this instruction has an literal operand */
PIC_OPCODE inverted_op; /* Opcode of instruction that's the opposite of this one */
unsigned int inCond; // Input conditions for this instruction
set *function_calls;
set *tregisters;
+ set *FlowTree;
unsigned visited:1; /* set true if traversed in call tree */
unsigned seq; /* sequence number of this pBlock */
char *cmd;
} peepCommand;
-
/*************************************************
pCode Macros
#define PCL(x) ((pCodeLabel *)(x))
#define PCF(x) ((pCodeFunction *)(x))
#define PCFL(x) ((pCodeFlow *)(x))
+#define PCFLINK(x)((pCodeFlowLink *)(x))
#define PCW(x) ((pCodeWild *)(x))
#define PCCS(x) ((pCodeCSource *)(x))
#define PCWB(x) ((pCodeWildBlock *)(x))
+
+/*
+ macros for checking pCode types
+*/
+#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 isPCI_LIT(x) ((PCODE(x)->type == PC_OPCODE) && PCI(x)->isLit)
+#define isPCI_BITSKIP(x)((PCODE(x)->type == PC_OPCODE) && PCI(x)->isSkip && PCI(x)->isBitInst)
+#define isPCFL(x) ((PCODE(x)->type == PC_FLOW))
+#define isPCF(x) ((PCODE(x)->type == PC_FUNCTION))
+#define isPCL(x) ((PCODE(x)->type == PC_LABEL))
+#define isPCW(x) ((PCODE(x)->type == PC_WILD))
+#define isPCCS(x) ((PCODE(x)->type == PC_CSOURCE))
+
+#define isCALL(x) ((isPCI(x)) && (PCI(x)->op == POC_CALL))
+#define isSTATUS_REG(r) ((r)->pc_type == PO_STATUS)
+
+#define isPCOLAB(x) ((PCOP(x)->type) == PO_LABEL)
+
/*-----------------------------------------------------------------*
* pCode functions.
*-----------------------------------------------------------------*/
pCodeOp *newpCodeOp(char *name, PIC_OPTYPE p);
pCodeOp *pCodeOpCopy(pCodeOp *pcop);
+pCode * findNextInstruction(pCode *pci);
+pCode * findNextpCode(pCode *pc, PC_TYPE pct);
+int isPCinFlow(pCode *pc, pCode *pcflow);
+struct regs * getRegFromInstruction(pCode *pc);
+
extern void pcode_test(void);
/*-----------------------------------------------------------------*
projects / fw / sdcc / blobdiff