1 /*-------------------------------------------------------------------------
3 pcoderegs.c - post code generation register optimizations
5 Written By - Scott Dattalo scott@dattalo.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 -------------------------------------------------------------------------*/
26 The purpose of the code in this file is to optimize the register usage.
31 #include "common.h" // Include everything in the SDCC src directory
36 #include "pcoderegs.h"
37 #include "pcodeflow.h"
39 extern void dbg_dumpregusage(void);
40 extern pCode * findPrevInstruction(pCode *pci);
41 extern pBranch * pBranchAppend(pBranch *h, pBranch *n);
42 void unlinkpCode(pCode *pc);
43 extern int pCodeSearchCondition(pCode *pc, unsigned int cond, int contIfSkip);
44 char *pCode2str(char *str, int size, pCode *pc);
45 void SAFE_snprintf(char **str, size_t *size, const char *format, ...);
46 int total_registers_saved=0;
47 int register_optimization=1;
49 /*-----------------------------------------------------------------*
50 * void AddRegToFlow(regs *reg, pCodeFlow *pcfl)
51 *-----------------------------------------------------------------*/
53 void AddRegToFlow(regs *reg, pCodeFlow *pcfl)
56 if(!reg || ! pcfl || !isPCFL(pcflow))
60 pcfl->registers = newSet();
66 /*-----------------------------------------------------------------*
68 *-----------------------------------------------------------------*/
69 void dbg_regusage(set *fregs)
76 for (reg = setFirstItem(fregs) ; reg ;
77 reg = setNextItem(fregs)) {
79 if(elementsInSet(reg->reglives.usedpCodes)) {
81 fprintf (stderr, "%s addr=0x%03x rIdx=0x%03x",
86 pcfl = setFirstItem(reg->reglives.usedpFlows);
88 fprintf(stderr, "\n used in seq");
91 fprintf(stderr," 0x%03x",pcfl->seq);
92 pcfl = setNextItem(reg->reglives.usedpFlows);
95 pcfl = setFirstItem(reg->reglives.assignedpFlows);
97 fprintf(stderr, "\n assigned in seq");
100 fprintf(stderr," 0x%03x",pcfl->seq);
101 pcfl = setNextItem(reg->reglives.assignedpFlows);
104 pc = setFirstItem(reg->reglives.usedpCodes);
106 fprintf(stderr, "\n used in instructions ");
109 pcfl = PCODE(PCI(pc)->pcflow);
111 fprintf(stderr," 0x%03x:",pcfl->seq);
112 fprintf(stderr,"0x%03x",pc->seq);
114 pc = setNextItem(reg->reglives.usedpCodes);
117 fprintf(stderr, "\n");
122 /*-----------------------------------------------------------------*
124 *-----------------------------------------------------------------*/
125 void dbg_dumpregusage(void)
128 fprintf(stderr,"*** Register Usage ***\n");
129 fprintf(stderr,"InternalRegs:\n");
130 dbg_regusage(dynInternalRegs);
131 fprintf(stderr,"AllocRegs:\n");
132 dbg_regusage(dynAllocRegs);
133 fprintf(stderr,"StackRegs:\n");
134 dbg_regusage(dynStackRegs);
135 fprintf(stderr,"DirectRegs:\n");
136 dbg_regusage(dynDirectRegs);
137 fprintf(stderr,"DirectBitRegs:\n");
138 dbg_regusage(dynDirectBitRegs);
139 fprintf(stderr,"ProcessorRegs:\n");
140 dbg_regusage(dynProcessorRegs);
145 /*-----------------------------------------------------------------*
146 * void pCodeRegMapLiveRangesInFlow(pCodeFlow *pcfl)
147 *-----------------------------------------------------------------*/
148 void pCodeRegMapLiveRangesInFlow(pCodeFlow *pcfl)
160 pc = findNextInstruction(pcfl->pc.next);
162 while(isPCinFlow(pc,PCODE(pcfl))) {
165 reg = getRegFromInstruction(pc);
169 fprintf(stderr, "flow seq %d, inst seq %d %s ",PCODE(pcfl)->seq,pc->seq,reg->name);
170 fprintf(stderr, "addr = 0x%03x, type = %d rIdx=0x%03x\n",
171 reg->address,reg->type,reg->rIdx);
174 addSetIfnotP(& (PCFL(pcfl)->registers), reg);
176 if((PCC_REGISTER | PCC_LITERAL) & PCI(pc)->inCond)
177 addSetIfnotP(& (reg->reglives.usedpFlows), pcfl);
179 if(PCC_REGISTER & PCI(pc)->outCond)
180 addSetIfnotP(& (reg->reglives.assignedpFlows), pcfl);
182 addSetIfnotP(& (reg->reglives.usedpCodes), pc);
187 pc = findNextInstruction(pc->next);
193 /*-----------------------------------------------------------------*
194 * void pCodeRegMapLiveRanges(pBlock *pb)
195 *-----------------------------------------------------------------*/
196 void pCodeRegMapLiveRanges(pBlock *pb)
200 for( pcflow = findNextpCode(pb->pcHead, PC_FLOW);
202 pcflow = findNextpCode(pcflow->next, PC_FLOW) ) {
204 if(!isPCFL(pcflow)) {
205 fprintf(stderr, "pCodeRegMapLiveRanges - pcflow is not a flow object ");
208 pCodeRegMapLiveRangesInFlow(PCFL(pcflow));
212 for( pcflow = findNextpCode(pb->pcHead, PC_FLOW);
214 pcflow = findNextpCode(pcflow->next, PC_FLOW) ) {
216 regs *r = setFirstItem(PCFL(pcflow)->registers);
217 fprintf(stderr,"flow seq %d\n", pcflow->seq);
220 fprintf(stderr, " %s\n",r->name);
221 r = setNextItem(PCFL(pcflow)->registers);
228 // dbg_dumpregusage();
233 /*-----------------------------------------------------------------*
235 *-----------------------------------------------------------------*/
236 static void Remove1pcode(pCode *pc, regs *reg, int debug_code)
244 deleteSetItem (&(reg->reglives.usedpCodes),pc);
247 pcn = findNextInstruction(pc->next);
250 PCI(pcn)->label = pBranchAppend(PCI(pcn)->label,PCI(pc)->label);
255 pcn = findNextInstruction(pc->next);
258 if(PCI(pcn)->cline) {
259 //fprintf(stderr, "source line has been optimized completely out\n");
260 //pc->print(stderr,pc);
262 PCI(pcn)->cline = PCI(pc)->cline;
270 Debug stuff. Comment out the instruction we're about to delete.
276 char *pbuff,**ppbuff;
280 SAFE_snprintf(ppbuff,&size, ";%d", debug_code);
281 pCode2str(*ppbuff, size, pc);
282 pCodeInsertBefore(pc, newpCodeCharP(buff1));
283 //fprintf(stderr,"removing instruction:\n%s\n",buff1);
290 /*-----------------------------------------------------------------*
291 * void RemoveRegsFromSet(set *regset)
293 *-----------------------------------------------------------------*/
294 void RemoveRegsFromSet(set *regset)
301 regset = regset->next;
303 used = elementsInSet(reg->reglives.usedpCodes);
307 //fprintf(stderr," reg %s isfree=%d, wasused=%d\n",reg->name,reg->isFree,reg->wasUsed);
309 //fprintf(stderr," getting rid of reg %s\n",reg->name);
316 pc = setFirstItem(reg->reglives.usedpCodes);
318 if(reg->type == REG_SFR || reg->type == REG_STK || reg->isPublic || reg->isExtern) {
319 //fprintf(stderr, "not removing SFR reg %s even though used only once\n",reg->name);
326 pCode *pcn = findNextInstruction(pc->next);
328 if(pcn && PCI(pcn)->label) {
329 //fprintf(stderr,"can't delete instruction with label...\n");
330 //pc->print(stderr,pc);
333 /* Move the label to the next instruction */
335 PCI(pcn)->label = PCI(pc)->label;
340 regs *r = getRegFromInstruction(pc);
341 fprintf(stderr, "WARNING, a skip instruction is being optimized out\n");
342 pc->print(stderr,pc);
343 fprintf(stderr,"reg %s, type =%d\n",r->name, r->type);
345 //fprintf(stderr," removing reg %s because it is used only once\n",reg->name);
346 Remove1pcode(pc, reg, 1);
349 deleteSetItem (&(reg->reglives.usedpCodes),pc);
353 total_registers_saved++; // debugging stats.
360 /*-----------------------------------------------------------------*
361 * void RemoveUnusedRegisters(void)
363 *-----------------------------------------------------------------*/
364 void RemoveUnusedRegisters(void)
366 /* First, get rid of registers that are used only one time */
368 //RemoveRegsFromSet(dynInternalRegs);
369 RemoveRegsFromSet(dynAllocRegs);
370 RemoveRegsFromSet(dynStackRegs);
372 don't do DirectRegs yet - there's a problem with arrays
373 RemoveRegsFromSet(dynDirectRegs);
375 RemoveRegsFromSet(dynDirectBitRegs);
377 if(total_registers_saved) DFPRINTF((stderr, " *** Saved %d registers ***\n", total_registers_saved));
381 /*-----------------------------------------------------------------*
383 *-----------------------------------------------------------------*/
384 static void Remove2pcodes(pCode *pcflow, pCode *pc1, pCode *pc2, regs *reg, int can_free)
386 static int debug_code=99;
390 //fprintf(stderr,"%s\n",__FUNCTION__);
392 Remove1pcode(pc1, reg, debug_code++);
395 Remove1pcode(pc2, reg, debug_code++);
396 deleteSetItem (&(PCFL(pcflow)->registers), reg);
405 pCodeRegMapLiveRangesInFlow(PCFL(pcflow));
408 /*-----------------------------------------------------------------*
410 *-----------------------------------------------------------------*/
411 int regUsedinRange(pCode *pc1, pCode *pc2, regs *reg)
417 testreg = getRegFromInstruction(pc1);
418 if(testreg && (testreg->rIdx == reg->rIdx)) {
422 pc1 = findNextInstruction(pc1->next);
424 } while (pc1 && (pc1 != pc2) && (i++ < 100)) ;
427 fprintf(stderr, "warning, regUsedinRange searched through too many pcodes\n");
432 /*-----------------------------------------------------------------*
433 * void pCodeOptime2pCodes(pCode *pc1, pCode *pc2)
435 * ADHOC pattern checking
436 * Now look for specific sequences that are easy to optimize.
437 * Many of these sequences are characteristic of the compiler
438 * (i.e. it'd probably be a waste of time to apply these adhoc
439 * checks to hand written assembly.)
442 *-----------------------------------------------------------------*/
443 int pCodeOptime2pCodes(pCode *pc1, pCode *pc2, pCode *pcfl_used, regs *reg, int can_free, int optimize_level)
448 int t = total_registers_saved;
450 if(pc2->seq < pc1->seq) {
456 //fprintf(stderr,"pCodeOptime2pCodes\n");
457 //pc1->print(stderr,pc1);
458 //pc2->print(stderr,pc2);
460 if((PCI(pc1)->op == POC_CLRF) && (PCI(pc2)->op == POC_MOVFW) ){
470 can be replaced with (only if following instructions are not going to use W and reg is not used again later)
475 DFPRINTF((stderr, " optimising CLRF reg ... MOVF reg,W to ... MOVLW 0\n"));
476 pct2 = findNextInstruction(pc2->next);
478 if(pct2 && PCI(pct2)->op == POC_MOVWF) {
479 wSaved = wUsed = 1; /* Maybe able to replace with clrf pc2->next->reg. */
481 wUsed = pCodeSearchCondition(pct2,PCC_W,1) > 0;
483 regUsed = regUsedinRange(pct2,0,reg);
484 if ((regUsed&&wUsed) || (pCodeSearchCondition(pct2,PCC_Z,0) > 1)) {
485 /* Do not optimise as exisiting code is required. */
489 newpc = newpCode(POC_CLRF, PCI(pc1)->pcop);
490 } else if(wSaved && !wUsed) {
491 newpc = newpCode(POC_CLRF, PCI(pct2)->pcop);
492 pct2->destruct(pct2);
494 newpc = newpCode(POC_MOVLW, newpCodeOpLit(0));
497 pCodeInsertAfter(pc2, newpc);
498 PCI(newpc)->pcflow = PCFL(pcfl_used);
499 newpc->seq = pc2->seq;
501 Remove2pcodes(pcfl_used, pc1, pc2, reg, can_free);
502 total_registers_saved++; // debugging stats.
504 } else if((PCI(pc1)->op == POC_CLRF) && (PCI(pc2)->op == POC_IORFW) ){
505 DFPRINTF((stderr, " optimising CLRF/IORFW\n"));
507 pct2 = findNextInstruction(pc2->next);
509 if(pCodeSearchCondition(pct2, PCC_Z,0) > 0) {
510 pct2 = newpCode(POC_IORLW, newpCodeOpLit(0));
511 pct2->seq = pc2->seq;
512 PCI(pct2)->pcflow = PCFL(pcfl_used);
513 pCodeInsertAfter(pc1,pct2);
515 Remove2pcodes(pcfl_used, pc1, pc2, reg, can_free);
516 total_registers_saved++; // debugging stats.
518 } else if(PCI(pc1)->op == POC_MOVWF) {
519 // Optimising MOVWF reg ...
521 pct2 = findNextInstruction(pc2->next);
523 if(PCI(pc2)->op == POC_MOVFW) {
524 // Optimising MOVWF reg ... MOVF reg,W
526 if(PCI(pct2)->op == POC_MOVWF) {
535 To: ( as long as 'stuff' does not use reg2 or if following instructions do not use W or reg is not used later)
541 reg2 = getRegFromInstruction(pct2);
542 /* Check reg2 is not used for something else before it is loaded with reg */
543 if (reg2 && !regUsedinRange(pc1,pc2,reg2)) {
544 pCode *pct3 = findNextInstruction(pct2->next);
545 /* Check following instructions are not relying on the use of W or the Z flag condiction */
546 if ((pCodeSearchCondition(pct3,PCC_Z,0) < 1) || (pCodeSearchCondition(pct3,PCC_W,0) < 1)) {
547 DFPRINTF((stderr, " optimising MOVF reg ... MOVF reg,W MOVWF reg2 to MOVWF reg2 ...\n"));
548 pct2->seq = pc1->seq;
550 pCodeInsertBefore(pc1,pct2);
551 if(regUsedinRange(pct2,0,reg))
552 Remove2pcodes(pcfl_used, pc2, NULL, reg, can_free);
554 Remove2pcodes(pcfl_used, pc1, pc2, reg, can_free);
556 total_registers_saved++; // debugging stats.
563 pct1 = findPrevInstruction(pc1->prev);
564 if(pct1 && (PCI(pct1)->pcflow == PCI(pc1)->pcflow)) {
566 if ( (PCI(pct1)->op == POC_MOVFW) &&
567 (PCI(pc2)->op == POC_MOVFW)) {
569 reg1 = getRegFromInstruction(pct1);
570 if(reg1 && !regUsedinRange(pc1,pc2,reg1)) {
571 DFPRINTF((stderr, " optimising MOVF reg1,W MOVWF reg ... MOVF reg,W\n"));
587 Or, if we're not deleting the register then the "To" is:
594 pct2 = newpCode(PCI(pc2)->op, PCI(pct1)->pcop);
595 pCodeInsertAfter(pc2, pct2);
596 PCI(pct2)->pcflow = PCFL(pcfl_used);
597 pct2->seq = pc2->seq;
600 Remove2pcodes(pcfl_used, pc1, pc2, reg, can_free);
602 /* If we're not freeing the register then that means (probably)
603 * the register is needed somewhere else.*/
605 pCodeInsertAfter(pct2, pc1);
607 Remove2pcodes(pcfl_used, pc2, NULL, reg, can_free);
610 Remove2pcodes(pcfl_used, pct1, NULL, reg1, 0);
611 total_registers_saved++; // debugging stats.
614 /* Note this else if is same conditional as the if - DELETE ME
615 } else if ( (PCI(pct1)->op == POC_MOVWF) &&
616 (PCI(pc2)->op == POC_MOVFW)) {
617 DFPRINTF(stderr, " optimising MOVF reg1,W MOVWF reg ... MOVF reg,W\n");
618 if(optimize_level > 1 && can_free) {
619 pct2 = newpCode(POC_MOVFW, PCI(pc1)->pcop);
620 pCodeInsertAfter(pc2, pct2);
621 Remove2pcodes(pcfl_used, pc1, pc2, reg, 1);
622 total_registers_saved++; // debugging stats.
629 return (total_registers_saved != t);
632 /*-----------------------------------------------------------------*
633 * void pCodeRegOptimeRegUsage(pBlock *pb)
634 *-----------------------------------------------------------------*/
635 void OptimizeRegUsage(set *fregs, int optimize_multi_uses, int optimize_level)
639 pCode *pc1=NULL, *pc2=NULL;
643 pCode *pcfl_used, *pcfl_assigned;
645 /* Step through the set by directly accessing the 'next' pointer.
646 * We could also step through by using the set API, but the
647 * the (debug) calls to print instructions affect the state
648 * of the set pointers */
653 if (strcmp(reg->name,"_SubState")==0)
654 fprintf(stderr,"Reg: %s\n",reg->name);
657 if(reg->type == REG_SFR || reg->type == REG_STK || reg->isPublic || reg->isExtern|| reg->isFixed) {
658 //fprintf(stderr,"skipping SFR: %s\n",reg->name);
662 pcfl_used = setFirstItem(reg->reglives.usedpFlows);
663 pcfl_assigned = setFirstItem(reg->reglives.assignedpFlows);
665 used = elementsInSet(reg->reglives.usedpCodes);
668 In this section, all registers that are used in only in two
669 instructions are examined. If possible, they're optimized out.
673 fprintf (stderr, "OptimizeRegUsage: %s addr=0x%03x rIdx=0x%03x type=%d used=%d\n",
676 reg->rIdx, reg->type, used);
678 pc1 = setFirstItem(reg->reglives.usedpCodes);
679 pc2 = setNextItem(reg->reglives.usedpCodes);
681 if(pcfl_used && pcfl_assigned) {
683 expected case - the register has been assigned a value and is
687 //fprintf(stderr," used only twice\n");
688 if(pcfl_used->seq == pcfl_assigned->seq) {
690 //fprintf(stderr, " and used in same flow\n");
692 pCodeOptime2pCodes(pc1, pc2, pcfl_used, reg, 1,optimize_level);
695 // fprintf(stderr, " and used in different flows\n");
699 } else if(pcfl_used) {
701 /* register has been used twice without ever being assigned */
702 fprintf(stderr,"WARNING %s: reg %s used without being assigned\n",__FUNCTION__,reg->name);
705 fprintf(stderr,"WARNING %s: reg %s assigned without being used\n",__FUNCTION__,reg->name);
706 Remove2pcodes(pcfl_assigned, pc1, pc2, reg, 1);
707 total_registers_saved++; // debugging stats.
711 /* register has been used either once, or more than twice */
713 if(used && !pcfl_used && pcfl_assigned) {
716 fprintf(stderr,"WARNING %s: reg %s assigned without being used\n",__FUNCTION__,reg->name);
718 pc = setFirstItem(reg->reglives.usedpCodes);
721 pcfl_assigned = PCODE(PCI(pc)->pcflow);
722 Remove1pcode(pc, reg,2);
724 deleteSetItem (&(PCFL(pcfl_assigned)->registers), reg);
726 deleteSetItem (&(reg->reglives.usedpCodes),pc);
729 pc = setNextItem(reg->reglives.usedpCodes);
736 total_registers_saved++; // debugging stats.
737 } else if( (used > 2) && optimize_multi_uses) {
743 pCodeFlow *pcfl1=NULL, *pcfl2=NULL;
745 /* examine the number of times this register is used */
748 rset1 = reg->reglives.usedpCodes;
749 while(rset1 && searching) {
754 if(pc1 && isPCI(pc1) && ( (pcfl1 = PCI(pc1)->pcflow) != NULL) ) {
756 //while(rset2 && searching) {
760 if(pc2 && isPCI(pc2) && ( (pcfl2 = PCI(pc2)->pcflow) != NULL) ) {
763 if(pCodeOptime2pCodes(pc1, pc2, pcfl_used, reg, 0,optimize_level))
768 //rset2 = rset2->next;
779 /*-----------------------------------------------------------------*
780 * void pCodeRegOptimeRegUsage(pBlock *pb)
781 *-----------------------------------------------------------------*/
782 void pCodeRegOptimizeRegUsage(int level)
787 int t = total_registers_saved;
789 if(!register_optimization)
795 saved = total_registers_saved;
797 /* Identify registers used in one flow sequence */
798 OptimizeRegUsage(dynAllocRegs,level, (OPT_PASSES-passes));
799 OptimizeRegUsage(dynStackRegs,level, (OPT_PASSES-passes));
800 OptimizeRegUsage(dynDirectRegs,0, (OPT_PASSES-passes));
802 if(total_registers_saved != saved)
803 DFPRINTF((stderr, " *** pass %d, Saved %d registers, total saved %d ***\n",
804 (1+OPT_PASSES-passes),total_registers_saved-saved,total_registers_saved));
808 } while( passes && ((total_registers_saved != saved) || (passes==OPT_PASSES-1)) );
810 if(total_registers_saved == t)
811 DFPRINTF((stderr, "No registers saved on this pass\n"));
815 fprintf(stderr,"dynamically allocated regs:\n");
816 dbg_regusage(dynAllocRegs);
817 fprintf(stderr,"stack regs:\n");
818 dbg_regusage(dynStackRegs);
819 fprintf(stderr,"direct regs:\n");
820 dbg_regusage(dynDirectRegs);
825 /*-----------------------------------------------------------------*
826 * void RegsUnMapLiveRanges(set *regset)
828 *-----------------------------------------------------------------*/
829 void RegsSetUnMapLiveRanges(set *regset)
835 regset = regset->next;
838 deleteSet(®->reglives.usedpCodes);
839 deleteSet(®->reglives.usedpFlows);
840 deleteSet(®->reglives.assignedpFlows);
846 void RegsUnMapLiveRanges(void)
849 RegsSetUnMapLiveRanges(dynAllocRegs);
850 RegsSetUnMapLiveRanges(dynStackRegs);
851 RegsSetUnMapLiveRanges(dynDirectRegs);
852 RegsSetUnMapLiveRanges(dynProcessorRegs);
853 RegsSetUnMapLiveRanges(dynDirectBitRegs);
854 RegsSetUnMapLiveRanges(dynInternalRegs);