X-Git-Url: https://git.gag.com/?a=blobdiff_plain;f=src%2Fpic16%2Fpcode.h;h=df8b8196a9d162ebeb5b94e36570c003c555f2bd;hb=043c22a94f39d137aaa14e5b54ec2a3e076580c9;hp=7c1bd2d503d09e5e460238c833fe1ebbf390748a;hpb=bb3ed9c4d30727532a9499e0bb86f1d0cdca4361;p=fw%2Fsdcc diff --git a/src/pic16/pcode.h b/src/pic16/pcode.h index 7c1bd2d5..df8b8196 100644 --- a/src/pic16/pcode.h +++ b/src/pic16/pcode.h @@ -86,6 +86,23 @@ struct regs; #endif +#ifdef WORDS_BIGENDIAN + #define _ENDIAN(x) (3-x) +#else + #define _ENDIAN(x) (x) +#endif + + +#define BYTE_IN_LONG(x,b) ((x>>(8*_ENDIAN(b)))&0xff) + + +/*********************************************************************** + * Extended Instruction Set/Indexed Literal Offset Mode * + * Set this macro to enable code generation with the extended * + * instruction set and the new Indexed Literal Offset Mode * + ***********************************************************************/ +#define XINST 1 + /*********************************************************************** * PIC status bits - this will move into device dependent headers ***********************************************************************/ @@ -168,7 +185,8 @@ typedef enum PO_BIT, // bit operand. PO_STR, // (8051 legacy) PO_LABEL, - PO_WILD // Wild card operand in peep optimizer + PO_WILD, // Wild card operand in peep optimizer + PO_TWO_OPS // combine two operands } PIC_OPTYPE; @@ -228,6 +246,7 @@ typedef enum POC_INCFSZ, POC_INCFSZW, POC_INFSNZ, + POC_INFSNZW, POC_IORWF, POC_IORFW, POC_IORLW, @@ -267,19 +286,22 @@ typedef enum POC_SUBFWB_D1, POC_SWAPF, POC_SWAPFW, -// POC_TRIS , // To be removed - POC_TBLRD, // patch 15 - POC_TBLRD_POSTINC, // - POC_TBLRD_POSTDEC, // - POC_TBLRD_PREINC, // - POC_TBLWT, // - POC_TBLWT_POSTINC, // - POC_TBLWT_POSTDEC, // - POC_TBLWT_PREINC, // patch 15 + POC_TBLRD, + POC_TBLRD_POSTINC, + POC_TBLRD_POSTDEC, + POC_TBLRD_PREINC, + POC_TBLWT, + POC_TBLWT_POSTINC, + POC_TBLWT_POSTDEC, + POC_TBLWT_PREINC, POC_TSTFSZ, POC_XORLW, POC_XORWF, - POC_XORFW + POC_XORFW, + + POC_BANKSEL + + /* pseudo-instructions */ } PIC_OPCODE; @@ -299,9 +321,48 @@ typedef enum * in the pCode peep hole optimizer */ PC_CSOURCE, /* C-Source Line */ PC_ASMDIR, /* Assembler directive */ - PC_BAD /* Mark the pCode object as being bad */ + PC_BAD, /* Mark the pCode object as being bad */ + PC_INFO /* pCode information node, used primarily in optimizing */ } PC_TYPE; + +/*********************************************************************** + * INFO_TYPE - information node types + ***********************************************************************/ + +typedef enum +{ + INF_OPTIMIZATION, /* structure contains optimization information */ + INF_LOCALREGS /* structure contains local register information */ +} INFO_TYPE; + + + +/*********************************************************************** + * OPT_TYPE - optimization node types + ***********************************************************************/ + +typedef enum +{ + OPT_BEGIN, /* mark beginning of optimization block */ + OPT_END, /* mark ending of optimization block */ + OPT_JUMPTABLE_BEGIN, /* mark beginning of a jumptable */ + OPT_JUMPTABLE_END /* mark end of jumptable */ +} OPT_TYPE; + +/*********************************************************************** + * LR_TYPE - optimization node types + ***********************************************************************/ + +typedef enum +{ + LR_ENTRY_BEGIN, /* mark beginning of optimization block */ + LR_ENTRY_END, /* mark ending of optimization block */ + LR_EXIT_BEGIN, + LR_EXIT_END +} LR_TYPE; + + /************************************************/ /*************** Structures ********************/ /************************************************/ @@ -365,10 +426,12 @@ typedef struct pCodeOpBit just a bit of a register */ } pCodeOpBit; #endif + typedef struct pCodeOpLit { pCodeOp pcop; int lit; + pCodeOp *arg2; /* needed as pCodeOpLit and pCodeOpLit2 are not separable via their type (PO_LITERAL) */ } pCodeOpLit; typedef struct pCodeOpLit2 @@ -406,16 +469,12 @@ typedef struct pCodeOpReg struct pBlock *pb; } pCodeOpReg; -typedef struct pCodeOpReg2 +typedef struct pCodeOp2 { - pCodeOp pcop; // used by default to all references - int rIdx; - struct regs *r; - int instance; // assume same instance for both operands - struct pBlock *pb; - - pCodeOp *pcop2; // second memory operand -} pCodeOpReg2; + pCodeOp pcop; // describes this pCodeOp + pCodeOp *pcopL; // reference to left pCodeOp (src) + pCodeOp *pcopR; // reference to right pCodeOp (dest) +} pCodeOp2; typedef struct pCodeOpRegBit { @@ -445,6 +504,22 @@ typedef struct pCodeOpWild } pCodeOpWild; +typedef struct pCodeOpOpt +{ + pCodeOp pcop; + + OPT_TYPE type; /* optimization node type */ + + char *key; /* key by which a block is identified */ +} pCodeOpOpt; + +typedef struct pCodeOpLocalReg +{ + pCodeOp pcop; + + LR_TYPE type; +} pCodeOpLocalReg; + /************************************************* pCode @@ -522,6 +597,7 @@ typedef struct pCodeCSource contiguous chunk. **************************************************/ +struct defmap_s; // defined in pcode.c typedef struct pCodeFlow { @@ -554,6 +630,13 @@ typedef struct pCodeFlow set *registers;/* Registers used in this flow */ + struct defmap_s *defmap; /* chronologically ordered list of definitions performed + in this flow (most recent at the front) */ + struct defmap_s *in_vals; /* definitions of all symbols reaching this flow + * symbols with multiple different definitions are stored + * with an assigned value of 0. */ + struct defmap_s *out_vals; /* definitions valid AFTER thie flow */ + } pCodeFlow; /************************************************* @@ -594,6 +677,8 @@ typedef struct pCodeInstruction char const * const mnemonic; // Pointer to mnemonic string + char isize; // pCode instruction size + pBranch *from; // pCodes that execute before this one pBranch *to; // pCodes that execute after pBranch *label; // pCode instructions that have labels @@ -674,6 +759,8 @@ typedef struct pCodeFunction int absblock; /* hack to emulate a block pCodes in absolute position but not inside a function */ + int stackusage; /* stack positions used in function */ + } pCodeFunction; @@ -700,6 +787,22 @@ typedef struct pCodeWild } pCodeWild; + +/************************************************* + pInfo + + Here are stored generic informaton +*************************************************/ +typedef struct pCodeInfo +{ + pCodeInstruction pci; + + INFO_TYPE type; /* info node type */ + + pCodeOp *oper1; /* info node arguments */ +} pCodeInfo; + + /************************************************* pBlock @@ -851,15 +954,19 @@ typedef struct peepCommand { #define PCW(x) ((pCodeWild *)(x)) #define PCCS(x) ((pCodeCSource *)(x)) #define PCAD(x) ((pCodeAsmDir *)(x)) +#define PCINF(x) ((pCodeInfo *)(x)) #define PCOP(x) ((pCodeOp *)(x)) +#define PCOP2(x) ((pCodeOp2 *)(x)) //#define PCOB(x) ((pCodeOpBit *)(x)) #define PCOL(x) ((pCodeOpLit *)(x)) #define PCOI(x) ((pCodeOpImmd *)(x)) #define PCOLAB(x) ((pCodeOpLabel *)(x)) #define PCOR(x) ((pCodeOpReg *)(x)) -#define PCOR2(x) ((pCodeOpReg2 *)(x)) +//#define PCOR2(x) ((pCodeOpReg2 *)(x)) #define PCORB(x) ((pCodeOpRegBit *)(x)) +#define PCOO(x) ((pCodeOpOpt *)(x)) +#define PCOLR(x) ((pCodeOpLocalReg *)(x)) #define PCOW(x) ((pCodeOpWild *)(x)) #define PCOW2(x) (PCOW(PCOW(x)->pcop2)) #define PBR(x) ((pBranch *)(x)) @@ -880,7 +987,8 @@ typedef struct peepCommand { #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 isASMDIR(x) ((PCODE(x)->type == PC_ASMDIR)) +#define isPCAD(x) ((PCODE(x)->type == PC_ASMDIR)) +#define isPCINFO(x) ((PCODE(x)->type == PC_INFO)) #define isCALL(x) ((isPCI(x)) && (PCI(x)->op == POC_CALL)) #define isSTATUS_REG(r) ((r)->pc_type == PO_STATUS) @@ -909,35 +1017,65 @@ void pic16_addpBlock(pBlock *pb); // Add a pBlock to a pFile void pic16_copypCode(FILE *of, char dbName); // Write all pBlocks with dbName to *of void pic16_movepBlock2Head(char dbName); // move pBlocks around void pic16_AnalyzepCode(char dbName); +void pic16_OptimizeLocalRegs(void); void pic16_AssignRegBanks(void); void pic16_printCallTree(FILE *of); void pCodePeepInit(void); void pic16_pBlockConvert2ISR(pBlock *pb); void pic16_pBlockConvert2Absolute(pBlock *pb); -void pic16_emitDB(pBlock *pb, char c); // Add DB directives to a pBlock -void pic16_flushDB(pBlock *pb); // Add pending DB data to a pBlock +void pic16_initDB(void); +void pic16_emitDB(int c, char ptype, void *p); // Add DB directives to a pBlock +void pic16_emitDS(char *s, char ptype, void *p); +void pic16_flushDB(char ptype, void *p); // Add pending DB data to a pBlock pCode *pic16_newpCodeAsmDir(char *asdir, char *argfmt, ...); pCodeOp *pic16_newpCodeOpLabel(char *name, int key); pCodeOp *pic16_newpCodeOpImmd(char *name, int offset, int index, int code_space); pCodeOp *pic16_newpCodeOpLit(int lit); +pCodeOp *pic16_newpCodeOpLit12(int lit); pCodeOp *pic16_newpCodeOpLit2(int lit, pCodeOp *arg2); -pCodeOp *pic16_newpCodeOpBit(char *name, int bit,int inBitSpace); +pCodeOp *pic16_newpCodeOpBit(char *name, int bit,int inBitSpace, PIC_OPTYPE subt); +pCodeOp *pic16_newpCodeOpBit_simple (struct asmop *op, int offs, int bit); pCodeOp *pic16_newpCodeOpRegFromStr(char *name); +pCodeOp *pic16_newpCodeOpReg(int rIdx); pCodeOp *pic16_newpCodeOp(char *name, PIC_OPTYPE p); +pCodeOp *pic16_newpCodeOp2(pCodeOp *src, pCodeOp *dst); +pCodeOp *pic16_newpCodeOpRegNotVect(bitVect *bv); pCodeOp *pic16_pCodeOpCopy(pCodeOp *pcop); +pCode *pic16_newpCodeInfo(INFO_TYPE type, pCodeOp *pcop); +pCodeOp *pic16_newpCodeOpOpt(OPT_TYPE type, char *key); +pCodeOp *pic16_newpCodeOpLocalRegs(LR_TYPE type); +pCodeOp *pic16_newpCodeOpReg(int rIdx); + pCode * pic16_findNextInstruction(pCode *pci); pCode * pic16_findNextpCode(pCode *pc, PC_TYPE pct); int pic16_isPCinFlow(pCode *pc, pCode *pcflow); struct regs * pic16_getRegFromInstruction(pCode *pc); struct regs * pic16_getRegFromInstruction2(pCode *pc); +char *pic16_get_op(pCodeOp *pcop,char *buffer, size_t size); +char *pic16_get_op2(pCodeOp *pcop,char *buffer, size_t size); +char *dumpPicOptype(PIC_OPTYPE type); extern void pic16_pcode_test(void); extern int pic16_debug_verbose; extern int pic16_pcode_verbose; +extern char *LR_TYPE_STR[]; + + +#ifndef debugf +//#define debugf(frm, rest...) _debugf(__FILE__, __LINE__, frm, rest) +#define debugf(frm, rest) _debugf(__FILE__, __LINE__, frm, rest) +#define debugf2(frm, arg1, arg2) _debugf(__FILE__, __LINE__, frm, arg1, arg2) +#define debugf3(frm, arg1, arg2, arg3) _debugf(__FILE__, __LINE__, frm, arg1, arg2, arg3) + +#endif + +extern void _debugf(char *f, int l, char *frm, ...); + + /*-----------------------------------------------------------------* * pCode objects. *-----------------------------------------------------------------*/ @@ -946,15 +1084,15 @@ extern pCodeOpReg pic16_pc_status; extern pCodeOpReg pic16_pc_intcon; extern pCodeOpReg pic16_pc_pcl; extern pCodeOpReg pic16_pc_pclath; -extern pCodeOpReg pic16_pc_pclatu; // patch 14 +extern pCodeOpReg pic16_pc_pclatu; extern pCodeOpReg pic16_pc_wreg; -extern pCodeOpReg pic16_pc_tosl; // patch 14 -extern pCodeOpReg pic16_pc_tosh; // patch 14 -extern pCodeOpReg pic16_pc_tosu; // patch 14 -extern pCodeOpReg pic16_pc_tblptrl; // patch 15 -extern pCodeOpReg pic16_pc_tblptrh; // -extern pCodeOpReg pic16_pc_tblptru; // -extern pCodeOpReg pic16_pc_tablat; // patch 15 +extern pCodeOpReg pic16_pc_tosl; +extern pCodeOpReg pic16_pc_tosh; +extern pCodeOpReg pic16_pc_tosu; +extern pCodeOpReg pic16_pc_tblptrl; +extern pCodeOpReg pic16_pc_tblptrh; +extern pCodeOpReg pic16_pc_tblptru; +extern pCodeOpReg pic16_pc_tablat; extern pCodeOpReg pic16_pc_bsr; extern pCodeOpReg pic16_pc_fsr0; extern pCodeOpReg pic16_pc_fsr0l; @@ -981,9 +1119,30 @@ extern pCodeOpReg pic16_pc_plusw2; extern pCodeOpReg pic16_pc_prodl; extern pCodeOpReg pic16_pc_prodh; +extern pCodeOpReg pic16_pc_eecon1; +extern pCodeOpReg pic16_pc_eecon2; +extern pCodeOpReg pic16_pc_eedata; +extern pCodeOpReg pic16_pc_eeadr; + extern pCodeOpReg pic16_pc_kzero; extern pCodeOpReg pic16_pc_wsave; /* wsave and ssave are used to save W and the Status */ extern pCodeOpReg pic16_pc_ssave; /* registers during an interrupt */ +extern pCodeOpReg *pic16_stackpnt_lo; +extern pCodeOpReg *pic16_stackpnt_hi; +extern pCodeOpReg *pic16_stack_postinc; +extern pCodeOpReg *pic16_stack_postdec; +extern pCodeOpReg *pic16_stack_preinc; +extern pCodeOpReg *pic16_stack_plusw; + +extern pCodeOpReg *pic16_framepnt_lo; +extern pCodeOpReg *pic16_framepnt_hi; +extern pCodeOpReg *pic16_frame_postinc; +extern pCodeOpReg *pic16_frame_postdec; +extern pCodeOpReg *pic16_frame_preinc; +extern pCodeOpReg *pic16_frame_plusw; + +extern pCodeOpReg pic16_pc_gpsimio; +extern pCodeOpReg pic16_pc_gpsimio2; #endif // __PCODE_H__