1 /*-------------------------------------------------------------------------
3 pcode.h - post code generation
4 Written By - Scott Dattalo scott@dattalo.com
5 Ported to PIC16 By - Martin Dubuc m.dubuc@rogers.com
7 This program is free software; you can redistribute it and/or modify it
8 under the terms of the GNU General Public License as published by the
9 Free Software Foundation; either version 2, or (at your option) any
12 This program is distributed in the hope that it will be useful,
13 but WITHOUT ANY WARRANTY; without even the implied warranty of
14 MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
15 GNU General Public License for more details.
17 You should have received a copy of the GNU General Public License
18 along with this program; if not, write to the Free Software
19 Foundation, 59 Temple Place - Suite 330, Boston, MA 02111-1307, USA.
21 -------------------------------------------------------------------------*/
29 The post code generation is an assembler optimizer. The assembly code
30 produced by all of the previous steps is fully functional. This step
31 will attempt to analyze the flow of the assembly code and agressively
32 optimize it. The peep hole optimizer attempts to do the same thing.
33 As you may recall, the peep hole optimizer replaces blocks of assembly
34 with more optimal blocks (e.g. removing redundant register loads).
35 However, the peep hole optimizer has to be somewhat conservative since
36 an assembly program has implicit state information that's unavailable
37 when only a few instructions are examined.
38 Consider this example:
44 The movf seems redundant since we know that the W register already
45 contains the same value of t1. So a peep hole optimizer is tempted to
46 remove the "movf". However, this is dangerous since the movf affects
47 the flags in the status register (specifically the Z flag) and subsequent
48 code may depend upon this. Look at these two examples:
52 movf t1,w ; Can't remove this movf
58 movf t1,w ; This movf can be removed
59 xorwf t2,w ; since xorwf will over write Z
69 /***********************************************************************
72 * The DFPRINTF macro will call fprintf if PCODE_DEBUG is defined.
73 * The macro is used like:
75 * DPRINTF(("%s #%d\n","test", 1));
77 * The double parenthesis (()) are necessary
79 ***********************************************************************/
83 #define DFPRINTF(args) (fprintf args)
85 #define DFPRINTF(args) ;
89 /***********************************************************************
90 * PIC status bits - this will move into device dependent headers
91 ***********************************************************************/
97 #define PIC_IRP_BIT 7 /* Indirect register page select */
99 /***********************************************************************
100 * PIC INTCON bits - this will move into device dependent headers
101 ***********************************************************************/
102 #define PIC_RBIF_BIT 0 /* Port B level has changed flag */
103 #define PIC_INTF_BIT 1 /* Port B bit 0 interrupt on edge flag */
104 #define PIC_T0IF_BIT 2 /* TMR0 has overflowed flag */
105 #define PIC_RBIE_BIT 3 /* Port B level has changed - Interrupt Enable */
106 #define PIC_INTE_BIT 4 /* Port B bit 0 interrupt on edge - Int Enable */
107 #define PIC_T0IE_BIT 5 /* TMR0 overflow Interrupt Enable */
108 #define PIC_PIE_BIT 6 /* Peripheral Interrupt Enable */
109 #define PIC_GIE_BIT 7 /* Global Interrupt Enable */
111 /***********************************************************************
112 * PIC bank definitions
113 ***********************************************************************/
114 #define PIC_BANK_FIRST 0
115 #define PIC_BANK_LAST 0xf
118 /***********************************************************************
120 ***********************************************************************/
126 /***********************************************************************
128 * PIC_OPTYPE - Operand types that are specific to the PIC architecture
130 * If a PIC assembly instruction has an operand then here is where we
131 * associate a type to it. For example,
135 * The movf has two operands: 'reg' and the W register. 'reg' is some
136 * arbitrary general purpose register, hence it has the type PO_GPR_REGISTER.
137 * The W register, which is the PIC's accumulator, has the type PO_W.
139 ***********************************************************************/
145 PO_NONE=0, // No operand e.g. NOP
146 PO_W, // The working register (as a destination)
147 PO_WREG, // The working register (as a file register)
148 PO_STATUS, // The 'STATUS' register
149 PO_BSR, // The 'BSR' register
150 PO_FSR0, // The "file select register" (in PIC18 family it's one
152 PO_INDF0, // The Indirect register
153 PO_INTCON, // Interrupt Control register
154 PO_GPR_REGISTER, // A general purpose register
155 PO_GPR_BIT, // A bit of a general purpose register
156 PO_GPR_TEMP, // A general purpose temporary register
157 PO_SFR_REGISTER, // A special function register (e.g. PORTA)
158 PO_PCL, // Program counter Low register
159 PO_PCLATH, // Program counter Latch high register
160 PO_PCLATU, // Program counter Latch upper register
161 PO_PRODL, // Product Register Low
162 PO_PRODH, // Product Register High
163 PO_LITERAL, // A constant
164 PO_REL_ADDR, // A relative address
165 PO_IMMEDIATE, // (8051 legacy)
166 PO_DIR, // Direct memory (8051 legacy)
167 PO_CRY, // bit memory (8051 legacy)
168 PO_BIT, // bit operand.
169 PO_STR, // (8051 legacy)
171 PO_WILD // Wild card operand in peep optimizer
175 /***********************************************************************
179 * This is not a list of the PIC's opcodes per se, but instead
180 * an enumeration of all of the different types of pic opcodes.
182 ***********************************************************************/
186 POC_WILD=-1, /* Wild card - used in the pCode peep hole optimizer
187 * to represent ANY pic opcode */
288 /***********************************************************************
289 * PC_TYPE - pCode Types
290 ***********************************************************************/
294 PC_COMMENT=0, /* pCode is a comment */
295 PC_INLINE, /* user's inline code */
296 PC_OPCODE, /* PORT dependent opcode */
297 PC_LABEL, /* assembly label */
298 PC_FLOW, /* flow analysis */
299 PC_FUNCTION, /* Function start or end */
300 PC_WILD, /* wildcard - an opcode place holder used
301 * in the pCode peep hole optimizer */
302 PC_CSOURCE, /* C-Source Line */
303 PC_ASMDIR, /* Assembler directive */
304 PC_BAD, /* Mark the pCode object as being bad */
305 PC_INFO /* pCode information node, used primarily in optimizing */
309 /***********************************************************************
310 * INFO_TYPE - information node types
311 ***********************************************************************/
315 INF_OPTIMIZATION, /* structure contains optimization information */
316 INF_LOCALREGS /* structure contains local register information */
321 /***********************************************************************
322 * OPT_TYPE - optimization node types
323 ***********************************************************************/
327 OPT_BEGIN, /* mark beginning of optimization block */
328 OPT_END, /* mark ending of optimization block */
329 OPT_JUMPTABLE_BEGIN, /* mark beginning of a jumptable */
330 OPT_JUMPTABLE_END /* mark end of jumptable */
333 /***********************************************************************
334 * LR_TYPE - optimization node types
335 ***********************************************************************/
339 LR_ENTRY_BEGIN, /* mark beginning of optimization block */
340 LR_ENTRY_END, /* mark ending of optimization block */
346 /************************************************/
347 /*************** Structures ********************/
348 /************************************************/
349 /* These are here as forward references - the
350 * full definition of these are below */
352 struct pCodeWildBlock;
353 struct pCodeRegLives;
355 /*************************************************
358 The first step in optimizing pCode is determining
359 the program flow. This information is stored in
360 single-linked lists in the for of 'from' and 'to'
361 objects with in a pcode. For example, most instructions
362 don't involve any branching. So their from branch
363 points to the pCode immediately preceding them and
364 their 'to' branch points to the pcode immediately
365 following them. A skip instruction is an example of
366 a pcode that has multiple (in this case two) elements
367 in the 'to' branch. A 'label' pcode is an where there
368 may be multiple 'from' branches.
369 *************************************************/
371 typedef struct pBranch
373 struct pCode *pc; // Next pCode in a branch
374 struct pBranch *next; /* If more than one branch
375 * the next one is here */
379 /*************************************************
382 pCode Operand structure.
383 For those assembly instructions that have arguments,
384 the pCode will have a pCodeOp in which the argument
385 can be stored. For example
389 'some_register' will be stored/referenced in a pCodeOp
391 *************************************************/
393 typedef struct pCodeOp
401 typedef struct pCodeOpBit
405 unsigned int inBitSpace: 1; /* True if in bit space, else
406 just a bit of a register */
410 typedef struct pCodeOpLit
414 pCodeOp *arg2; /* needed as pCodeOpLit and pCodeOpLit2 are not separable via their type (PO_LITERAL) */
417 typedef struct pCodeOpLit2
425 typedef struct pCodeOpImmd
428 int offset; /* low,high or upper byte of immediate value */
429 int index; /* add this to the immediate value */
430 unsigned _const:1; /* is in code space */
432 int rIdx; /* If this immd points to a register */
433 struct regs *r; /* then this is the reg. */
437 typedef struct pCodeOpLabel
443 typedef struct pCodeOpReg
445 pCodeOp pcop; // Can be either GPR or SFR
446 int rIdx; // Index into the register table
448 int instance; // byte # of Multi-byte registers
451 pCodeOp *pcop2; // second memory operand (NEEDED IN gen.c:pic16_popGet2p (pCodeOpReg casted into pCodeOpReg2)
454 typedef struct pCodeOpReg2
456 pCodeOp pcop; // used by default to all references
459 int instance; // assume same instance for both operands
462 pCodeOp *pcop2; // second memory operand
465 typedef struct pCodeOpRegBit
467 pCodeOpReg pcor; // The Register containing this bit
468 int bit; // 0-7 bit number.
469 PIC_OPTYPE subtype; // The type of this register.
470 unsigned int inBitSpace: 1; /* True if in bit space, else
471 just a bit of a register */
475 typedef struct pCodeOpWild
479 struct pCodeWildBlock *pcwb;
481 int id; /* index into an array of char *'s that will match
482 * the wild card. The array is in *pcp. */
483 pCodeOp *subtype; /* Pointer to the Operand type into which this wild
484 * card will be expanded */
485 pCodeOp *matched; /* When a wild matches, we'll store a pointer to the
486 * opcode we matched */
488 pCodeOp *pcop2; /* second operand if exists */
493 typedef struct pCodeOpOpt
497 OPT_TYPE type; /* optimization node type */
499 char *key; /* key by which a block is identified */
502 typedef struct pCodeOpLocalReg
509 /*************************************************
512 Here is the basic build block of a PIC instruction.
513 Each pic instruction will get allocated a pCode.
514 A linked list of pCodes makes a program.
516 **************************************************/
522 struct pCode *prev; // The pCode objects are linked together
523 struct pCode *next; // in doubly linked lists.
525 int seq; // sequence number
527 struct pBlock *pb; // The pBlock that contains this pCode.
529 /* "virtual functions"
530 * The pCode structure is like a base class
531 * in C++. The subsequent structures that "inherit"
532 * the pCode structure will initialize these function
533 * pointers to something useful */
534 // void (*analyze) (struct pCode *_this);
535 void (*destruct)(struct pCode *_this);
536 void (*print) (FILE *of,struct pCode *_this);
541 /*************************************************
543 **************************************************/
545 typedef struct pCodeComment
555 /*************************************************
557 **************************************************/
559 typedef struct pCodeCSource
571 /*************************************************
573 **************************************************/
575 /*************************************************
578 The Flow object is used as marker to separate
579 the assembly code into contiguous chunks. In other
580 words, everytime an instruction cause or potentially
581 causes a branch, a Flow object will be inserted into
582 the pCode chain to mark the beginning of the next
585 **************************************************/
586 struct defmap_s; // defined in pcode.c
588 typedef struct pCodeFlow
593 pCode *end; /* Last pCode in this flow. Note that
594 the first pCode is pc.next */
596 /* set **uses; * map the pCode instruction inCond and outCond conditions
597 * in this array of set's. The reason we allocate an
598 * array of pointers instead of declaring each type of
599 * usage is because there are port dependent usage definitions */
600 //int nuses; /* number of uses sets */
602 set *from; /* flow blocks that can send control to this flow block */
603 set *to; /* flow blocks to which this one can send control */
604 struct pCodeFlow *ancestor; /* The most immediate "single" pCodeFlow object that
605 * executes prior to this one. In many cases, this
606 * will be just the previous */
608 int inCond; /* Input conditions - stuff assumed defined at entry */
609 int outCond; /* Output conditions - stuff modified by flow block */
611 int firstBank; /* The first and last bank flags are the first and last */
612 int lastBank; /* register banks used within one flow object */
617 set *registers;/* Registers used in this flow */
619 struct defmap_s *defmap; /* chronologically ordered list of definitions performed
620 in this flow (most recent at the front) */
621 struct defmap_s *in_vals; /* definitions of all symbols reaching this flow
622 * symbols with multiple different definitions are stored
623 * with an assigned value of 0. */
624 struct defmap_s *out_vals; /* definitions valid AFTER thie flow */
628 /*************************************************
631 The Flow Link object is used to record information
632 about how consecutive excutive Flow objects are related.
633 The pCodeFlow objects demarcate the pCodeInstructions
634 into contiguous chunks. The FlowLink records conflicts
635 in the discontinuities. For example, if one Flow object
636 references a register in bank 0 and the next Flow object
637 references a register in bank 1, then there is a discontinuity
638 in the banking registers.
641 typedef struct pCodeFlowLink
643 pCodeFlow *pcflow; /* pointer to linked pCodeFlow object */
645 int bank_conflict; /* records bank conflicts */
649 /*************************************************
652 Here we describe all the facets of a PIC instruction
653 (expansion for the 18cxxx is also provided).
655 **************************************************/
657 typedef struct pCodeInstruction
662 PIC_OPCODE op; // The opcode of the instruction.
664 char const * const mnemonic; // Pointer to mnemonic string
666 char isize; // pCode instruction size
668 pBranch *from; // pCodes that execute before this one
669 pBranch *to; // pCodes that execute after
670 pBranch *label; // pCode instructions that have labels
672 pCodeOp *pcop; /* Operand, if this instruction has one */
673 pCodeFlow *pcflow; /* flow block to which this instruction belongs */
674 pCodeCSource *cline; /* C Source from which this instruction was derived */
676 unsigned int num_ops; /* Number of operands (0,1,2 for mid range pics) */
677 unsigned int isModReg: 1; /* If destination is W or F, then 1==F */
678 unsigned int isBitInst: 1; /* e.g. BCF */
679 unsigned int isBranch: 1; /* True if this is a branching instruction */
680 unsigned int isSkip: 1; /* True if this is a skip instruction */
681 unsigned int isLit: 1; /* True if this instruction has an literal operand */
682 unsigned int isAccess: 1; /* True if this instruction has an access RAM operand */
683 unsigned int isFastCall: 1; /* True if this instruction has a fast call/return mode select operand */
684 unsigned int is2MemOp: 1; /* True is second operand is a memory operand VR - support for MOVFF */
685 unsigned int is2LitOp: 1; /* True if instruction takes 2 literal operands VR - support for LFSR */
687 PIC_OPCODE inverted_op; /* Opcode of instruction that's the opposite of this one */
688 unsigned int inCond; // Input conditions for this instruction
689 unsigned int outCond; // Output conditions for this instruction
691 #define PCI_MAGIC 0x6e12
692 unsigned int pci_magic; // sanity check for pci initialization
697 /*************************************************
699 **************************************************/
701 typedef struct pCodeAsmDir
703 pCodeInstruction pci;
710 /*************************************************
712 **************************************************/
714 typedef struct pCodeLabel
721 int force; /* label cannot be optimized out */
725 /*************************************************
727 **************************************************/
729 typedef struct pCodeFunction
735 char *fname; /* If NULL, then this is the end of
736 a function. Otherwise, it's the
737 start and the name is contained
740 pBranch *from; // pCodes that execute before this one
741 pBranch *to; // pCodes that execute after
742 pBranch *label; // pCode instructions that have labels
744 int ncalled; /* Number of times function is called */
746 int absblock; /* hack to emulate a block pCodes in absolute position
747 but not inside a function */
748 int stackusage; /* stack positions used in function */
753 /*************************************************
755 **************************************************/
757 typedef struct pCodeWild
760 pCodeInstruction pci;
762 int id; /* Index into the wild card array of a peepBlock
763 * - this wild card will get expanded into that pCode
764 * that is stored at this index */
766 /* Conditions on wild pcode instruction */
767 int mustBeBitSkipInst:1;
768 int mustNotBeBitSkipInst:1;
769 int invertBitSkipInst:1;
771 pCodeOp *operand; // Optional operand
772 pCodeOp *label; // Optional label
777 /*************************************************
780 Here are stored generic informaton
781 *************************************************/
782 typedef struct pCodeInfo
784 pCodeInstruction pci;
786 INFO_TYPE type; /* info node type */
788 pCodeOp *oper1; /* info node arguments */
792 /*************************************************
795 Here are PIC program snippets. There's a strong
796 correlation between the eBBlocks and pBlocks.
797 SDCC subdivides a C program into managable chunks.
798 Each chunk becomes a eBBlock and ultimately in the
801 **************************************************/
803 typedef struct pBlock
805 memmap *cmemmap; /* The snippet is from this memmap */
806 char dbName; /* if cmemmap is NULL, then dbName will identify the block */
807 pCode *pcHead; /* A pointer to the first pCode in a link list of pCodes */
808 pCode *pcTail; /* A pointer to the last pCode in a link list of pCodes */
810 struct pBlock *next; /* The pBlocks will form a doubly linked list */
813 set *function_entries; /* dll of functions in this pblock */
819 unsigned visited:1; /* set true if traversed in call tree */
821 unsigned seq; /* sequence number of this pBlock */
825 /*************************************************
828 The collection of pBlock program snippets are
829 placed into a linked list that is implemented
830 in the pFile structure.
832 The pcode optimizer will parse the pFile.
834 **************************************************/
838 pBlock *pbHead; /* A pointer to the first pBlock */
839 pBlock *pbTail; /* A pointer to the last pBlock */
841 pBranch *functions; /* A SLL of functions in this pFile */
847 /*************************************************
850 The pCodeWildBlock object keeps track of the wild
851 variables, operands, and opcodes that exist in
853 **************************************************/
854 typedef struct pCodeWildBlock {
856 struct pCodePeep *pcp; // pointer back to ... I don't like this...
858 int nvars; // Number of wildcard registers in target.
859 char **vars; // array of pointers to them
861 int nops; // Number of wildcard operands in target.
862 pCodeOp **wildpCodeOps; // array of pointers to the pCodeOp's.
864 int nwildpCodes; // Number of wildcard pCodes in target/replace
865 pCode **wildpCodes; // array of pointers to the pCode's.
869 /*************************************************
872 The pCodePeep object mimics the peep hole optimizer
873 in the main SDCC src (e.g. SDCCpeeph.c). Essentially
874 there is a target pCode chain and a replacement
875 pCode chain. The target chain is compared to the
876 pCode that is generated by gen.c. If a match is
877 found then the pCode is replaced by the replacement
879 **************************************************/
880 typedef struct pCodePeep {
881 pCodeWildBlock target; // code we'd like to optimize
882 pCodeWildBlock replace; // and this is what we'll optimize it with.
885 //pBlock replace; // and this is what we'll optimize it with.
889 /* (Note: a wildcard register is a place holder. Any register
890 * can be replaced by the wildcard when the pcode is being
891 * compared to the target. */
893 /* Post Conditions. A post condition is a condition that
894 * must be either true or false before the peep rule is
895 * accepted. For example, a certain rule may be accepted
896 * if and only if the Z-bit is not used as an input to
897 * the subsequent instructions in a pCode chain.
899 unsigned int postFalseCond;
900 unsigned int postTrueCond;
904 /*************************************************
906 pCode peep command definitions
908 Here are some special commands that control the
909 way the peep hole optimizer behaves
911 **************************************************/
913 enum peepCommandTypes{
920 /*************************************************
921 peepCommand structure stores the peep commands.
923 **************************************************/
925 typedef struct peepCommand {
930 /*************************************************
933 **************************************************/
934 #define PCODE(x) ((pCode *)(x))
935 #define PCI(x) ((pCodeInstruction *)(x))
936 #define PCL(x) ((pCodeLabel *)(x))
937 #define PCF(x) ((pCodeFunction *)(x))
938 #define PCFL(x) ((pCodeFlow *)(x))
939 #define PCFLINK(x)((pCodeFlowLink *)(x))
940 #define PCW(x) ((pCodeWild *)(x))
941 #define PCCS(x) ((pCodeCSource *)(x))
942 #define PCAD(x) ((pCodeAsmDir *)(x))
943 #define PCINF(x) ((pCodeInfo *)(x))
945 #define PCOP(x) ((pCodeOp *)(x))
946 //#define PCOB(x) ((pCodeOpBit *)(x))
947 #define PCOL(x) ((pCodeOpLit *)(x))
948 #define PCOI(x) ((pCodeOpImmd *)(x))
949 #define PCOLAB(x) ((pCodeOpLabel *)(x))
950 #define PCOR(x) ((pCodeOpReg *)(x))
951 #define PCOR2(x) ((pCodeOpReg2 *)(x))
952 #define PCORB(x) ((pCodeOpRegBit *)(x))
953 #define PCOO(x) ((pCodeOpOpt *)(x))
954 #define PCOLR(x) ((pCodeOpLocalReg *)(x))
955 #define PCOW(x) ((pCodeOpWild *)(x))
956 #define PCOW2(x) (PCOW(PCOW(x)->pcop2))
957 #define PBR(x) ((pBranch *)(x))
959 #define PCWB(x) ((pCodeWildBlock *)(x))
963 macros for checking pCode types
965 #define isPCI(x) ((PCODE(x)->type == PC_OPCODE))
966 #define isPCI_BRANCH(x) ((PCODE(x)->type == PC_OPCODE) && PCI(x)->isBranch)
967 #define isPCI_SKIP(x) ((PCODE(x)->type == PC_OPCODE) && PCI(x)->isSkip)
968 #define isPCI_LIT(x) ((PCODE(x)->type == PC_OPCODE) && PCI(x)->isLit)
969 #define isPCI_BITSKIP(x)((PCODE(x)->type == PC_OPCODE) && PCI(x)->isSkip && PCI(x)->isBitInst)
970 #define isPCFL(x) ((PCODE(x)->type == PC_FLOW))
971 #define isPCF(x) ((PCODE(x)->type == PC_FUNCTION))
972 #define isPCL(x) ((PCODE(x)->type == PC_LABEL))
973 #define isPCW(x) ((PCODE(x)->type == PC_WILD))
974 #define isPCCS(x) ((PCODE(x)->type == PC_CSOURCE))
975 #define isPCAD(x) ((PCODE(x)->type == PC_ASMDIR))
976 #define isPCINFO(x) ((PCODE(x)->type == PC_INFO))
978 #define isCALL(x) ((isPCI(x)) && (PCI(x)->op == POC_CALL))
979 #define isSTATUS_REG(r) ((r)->pc_type == PO_STATUS)
980 #define isBSR_REG(r) ((r)->pc_type == PO_BSR)
981 #define isACCESS_BANK(r) (r->accessBank)
985 #define isPCOLAB(x) ((PCOP(x)->type) == PO_LABEL)
987 /*-----------------------------------------------------------------*
989 *-----------------------------------------------------------------*/
991 pCode *pic16_newpCode (PIC_OPCODE op, pCodeOp *pcop); // Create a new pCode given an operand
992 pCode *pic16_newpCodeCharP(char *cP); // Create a new pCode given a char *
993 pCode *pic16_newpCodeInlineP(char *cP); // Create a new pCode given a char *
994 pCode *pic16_newpCodeFunction(char *g, char *f); // Create a new function
995 pCode *pic16_newpCodeLabel(char *name,int key); // Create a new label given a key
996 pCode *pic16_newpCodeLabelFORCE(char *name, int key); // Same as newpCodeLabel but label cannot be optimized out
997 pCode *pic16_newpCodeCSource(int ln, char *f, char *l); // Create a new symbol line
998 pBlock *pic16_newpCodeChain(memmap *cm,char c, pCode *pc); // Create a new pBlock
999 void pic16_printpBlock(FILE *of, pBlock *pb); // Write a pBlock to a file
1000 void pic16_addpCode2pBlock(pBlock *pb, pCode *pc); // Add a pCode to a pBlock
1001 void pic16_addpBlock(pBlock *pb); // Add a pBlock to a pFile
1002 void pic16_copypCode(FILE *of, char dbName); // Write all pBlocks with dbName to *of
1003 void pic16_movepBlock2Head(char dbName); // move pBlocks around
1004 void pic16_AnalyzepCode(char dbName);
1005 void pic16_OptimizeLocalRegs(void);
1006 void pic16_AssignRegBanks(void);
1007 void pic16_printCallTree(FILE *of);
1008 void pCodePeepInit(void);
1009 void pic16_pBlockConvert2ISR(pBlock *pb);
1010 void pic16_pBlockConvert2Absolute(pBlock *pb);
1011 void pic16_initDB(void);
1012 void pic16_emitDB(char c, char ptype, void *p); // Add DB directives to a pBlock
1013 void pic16_emitDS(char *s, char ptype, void *p);
1014 void pic16_flushDB(char ptype, void *p); // Add pending DB data to a pBlock
1016 pCode *pic16_newpCodeAsmDir(char *asdir, char *argfmt, ...);
1018 pCodeOp *pic16_newpCodeOpLabel(char *name, int key);
1019 pCodeOp *pic16_newpCodeOpImmd(char *name, int offset, int index, int code_space);
1020 pCodeOp *pic16_newpCodeOpLit(int lit);
1021 pCodeOp *pic16_newpCodeOpLit2(int lit, pCodeOp *arg2);
1022 pCodeOp *pic16_newpCodeOpBit(char *name, int bit,int inBitSpace, PIC_OPTYPE subt);
1023 pCodeOp *pic16_newpCodeOpBit_simple (struct asmop *op, int offs, int bit);
1024 pCodeOp *pic16_newpCodeOpRegFromStr(char *name);
1025 pCodeOp *pic16_newpCodeOpReg(int rIdx);
1026 pCodeOp *pic16_newpCodeOp(char *name, PIC_OPTYPE p);
1027 pCodeOp *pic16_newpCodeOpRegNotVect(bitVect *bv);
1028 pCodeOp *pic16_pCodeOpCopy(pCodeOp *pcop);
1030 pCode *pic16_newpCodeInfo(INFO_TYPE type, pCodeOp *pcop);
1031 pCodeOp *pic16_newpCodeOpOpt(OPT_TYPE type, char *key);
1032 pCodeOp *pic16_newpCodeOpLocalRegs(LR_TYPE type);
1033 pCodeOp *pic16_newpCodeOpReg(int rIdx);
1035 pCode * pic16_findNextInstruction(pCode *pci);
1036 pCode * pic16_findNextpCode(pCode *pc, PC_TYPE pct);
1037 int pic16_isPCinFlow(pCode *pc, pCode *pcflow);
1038 struct regs * pic16_getRegFromInstruction(pCode *pc);
1039 struct regs * pic16_getRegFromInstruction2(pCode *pc);
1040 char *pic16_get_op(pCodeOp *pcop,char *buffer, size_t size);
1041 char *pic16_get_op2(pCodeOp *pcop,char *buffer, size_t size);
1042 char *dumpPicOptype(PIC_OPTYPE type);
1044 extern void pic16_pcode_test(void);
1045 extern int pic16_debug_verbose;
1046 extern int pic16_pcode_verbose;
1048 extern char *LR_TYPE_STR[];
1052 //#define debugf(frm, rest...) _debugf(__FILE__, __LINE__, frm, rest)
1053 #define debugf(frm, rest) _debugf(__FILE__, __LINE__, frm, rest)
1054 #define debugf2(frm, arg1, arg2) _debugf(__FILE__, __LINE__, frm, arg1, arg2)
1055 #define debugf3(frm, arg1, arg2, arg3) _debugf(__FILE__, __LINE__, frm, arg1, arg2, arg3)
1059 extern void _debugf(char *f, int l, char *frm, ...);
1062 /*-----------------------------------------------------------------*
1064 *-----------------------------------------------------------------*/
1066 extern pCodeOpReg pic16_pc_status;
1067 extern pCodeOpReg pic16_pc_intcon;
1068 extern pCodeOpReg pic16_pc_pcl;
1069 extern pCodeOpReg pic16_pc_pclath;
1070 extern pCodeOpReg pic16_pc_pclatu;
1071 extern pCodeOpReg pic16_pc_wreg;
1072 extern pCodeOpReg pic16_pc_tosl;
1073 extern pCodeOpReg pic16_pc_tosh;
1074 extern pCodeOpReg pic16_pc_tosu;
1075 extern pCodeOpReg pic16_pc_tblptrl;
1076 extern pCodeOpReg pic16_pc_tblptrh;
1077 extern pCodeOpReg pic16_pc_tblptru;
1078 extern pCodeOpReg pic16_pc_tablat;
1079 extern pCodeOpReg pic16_pc_bsr;
1080 extern pCodeOpReg pic16_pc_fsr0;
1081 extern pCodeOpReg pic16_pc_fsr0l;
1082 extern pCodeOpReg pic16_pc_fsr0h;
1083 extern pCodeOpReg pic16_pc_fsr1l;
1084 extern pCodeOpReg pic16_pc_fsr1h;
1085 extern pCodeOpReg pic16_pc_fsr2l;
1086 extern pCodeOpReg pic16_pc_fsr2h;
1087 extern pCodeOpReg pic16_pc_indf0;
1088 extern pCodeOpReg pic16_pc_postinc0;
1089 extern pCodeOpReg pic16_pc_postdec0;
1090 extern pCodeOpReg pic16_pc_preinc0;
1091 extern pCodeOpReg pic16_pc_plusw0;
1092 extern pCodeOpReg pic16_pc_indf1;
1093 extern pCodeOpReg pic16_pc_postinc1;
1094 extern pCodeOpReg pic16_pc_postdec1;
1095 extern pCodeOpReg pic16_pc_preinc1;
1096 extern pCodeOpReg pic16_pc_plusw1;
1097 extern pCodeOpReg pic16_pc_indf2;
1098 extern pCodeOpReg pic16_pc_postinc2;
1099 extern pCodeOpReg pic16_pc_postdec2;
1100 extern pCodeOpReg pic16_pc_preinc2;
1101 extern pCodeOpReg pic16_pc_plusw2;
1102 extern pCodeOpReg pic16_pc_prodl;
1103 extern pCodeOpReg pic16_pc_prodh;
1105 extern pCodeOpReg pic16_pc_eecon1;
1106 extern pCodeOpReg pic16_pc_eecon2;
1107 extern pCodeOpReg pic16_pc_eedata;
1108 extern pCodeOpReg pic16_pc_eeadr;
1110 extern pCodeOpReg pic16_pc_kzero;
1111 extern pCodeOpReg pic16_pc_wsave; /* wsave and ssave are used to save W and the Status */
1112 extern pCodeOpReg pic16_pc_ssave; /* registers during an interrupt */
1114 extern pCodeOpReg *pic16_stackpnt_lo;
1115 extern pCodeOpReg *pic16_stackpnt_hi;
1116 extern pCodeOpReg *pic16_stack_postinc;
1117 extern pCodeOpReg *pic16_stack_postdec;
1118 extern pCodeOpReg *pic16_stack_preinc;
1119 extern pCodeOpReg *pic16_stack_plusw;
1121 extern pCodeOpReg *pic16_framepnt_lo;
1122 extern pCodeOpReg *pic16_framepnt_hi;
1123 extern pCodeOpReg *pic16_frame_postinc;
1124 extern pCodeOpReg *pic16_frame_postdec;
1125 extern pCodeOpReg *pic16_frame_preinc;
1126 extern pCodeOpReg *pic16_frame_plusw;
1128 extern pCodeOpReg pic16_pc_gpsimio;
1129 extern pCodeOpReg pic16_pc_gpsimio2;
1131 #endif // __PCODE_H__