1 /*****************************************************************************/
5 /* Optimize loads through pointers */
9 /* (C) 2001-2009 Ullrich von Bassewitz */
10 /* Roemerstrasse 52 */
11 /* D-70794 Filderstadt */
12 /* EMail: uz@cc65.org */
15 /* This software is provided 'as-is', without any expressed or implied */
16 /* warranty. In no event will the authors be held liable for any damages */
17 /* arising from the use of this software. */
19 /* Permission is granted to anyone to use this software for any purpose, */
20 /* including commercial applications, and to alter it and redistribute it */
21 /* freely, subject to the following restrictions: */
23 /* 1. The origin of this software must not be misrepresented; you must not */
24 /* claim that you wrote the original software. If you use this software */
25 /* in a product, an acknowledgment in the product documentation would be */
26 /* appreciated but is not required. */
27 /* 2. Altered source versions must be plainly marked as such, and must not */
28 /* be misrepresented as being the original software. */
29 /* 3. This notice may not be removed or altered from any source */
32 /*****************************************************************************/
44 #include "coptptrload.h"
48 /*****************************************************************************/
50 /*****************************************************************************/
54 unsigned OptPtrLoad1 (CodeSeg* S)
55 /* Search for the sequence:
81 /* Walk over the entries */
83 while (I < CS_GetEntryCount (S)) {
88 L[0] = CS_GetEntry (S, I);
90 /* Check for the sequence */
91 if (L[0]->OPC == OP65_CLC &&
92 CS_GetEntries (S, L+1, I+1, 8) &&
93 L[1]->OPC == OP65_ADC &&
94 (L[1]->AM == AM65_ABS ||
95 L[1]->AM == AM65_ZP ||
96 L[1]->AM == AM65_IMM) &&
97 L[2]->OPC == OP65_TAY &&
98 L[3]->OPC == OP65_TXA &&
99 L[4]->OPC == OP65_ADC &&
100 L[5]->OPC == OP65_TAX &&
101 L[6]->OPC == OP65_TYA &&
102 L[7]->OPC == OP65_LDY &&
103 CE_IsKnownImm (L[7], 0) &&
104 CE_IsCallTo (L[8], "ldauidx") &&
105 !CS_RangeHasLabel (S, I+1, 8)) {
110 /* Track the insertion point */
114 X = NewCodeEntry (OP65_STA, AM65_ZP, "ptr1", 0, L[2]->LI);
115 CS_InsertEntry (S, X, IP++);
117 /* If the instruction before the clc is a ldx, replace the
118 * txa by an lda with the same location of the ldx. Otherwise
119 * transfer the value in X to A.
121 if ((P = CS_GetPrevEntry (S, I)) != 0 &&
122 P->OPC == OP65_LDX &&
124 X = NewCodeEntry (OP65_LDA, P->AM, P->Arg, 0, P->LI);
126 X = NewCodeEntry (OP65_TXA, AM65_IMP, 0, 0, L[3]->LI);
128 CS_InsertEntry (S, X, IP++);
131 X = NewCodeEntry (OP65_CLC, AM65_IMP, 0, 0, L[0]->LI);
132 CS_InsertEntry (S, X, IP++);
135 X = NewCodeEntry (OP65_ADC, L[4]->AM, L[4]->Arg, 0, L[4]->LI);
136 CS_InsertEntry (S, X, IP++);
139 X = NewCodeEntry (OP65_STA, AM65_ZP, "ptr1+1", 0, L[5]->LI);
140 CS_InsertEntry (S, X, IP++);
143 X = NewCodeEntry (OP65_LDY, L[1]->AM, L[1]->Arg, 0, L[1]->LI);
144 CS_InsertEntry (S, X, IP++);
147 X = NewCodeEntry (OP65_LDX, AM65_IMM, "$00", 0, L[8]->LI);
148 CS_InsertEntry (S, X, IP++);
151 X = NewCodeEntry (OP65_LDA, AM65_ZP_INDY, "ptr1", 0, L[8]->LI);
152 CS_InsertEntry (S, X, IP++);
154 /* Remove the old instructions */
155 CS_DelEntries (S, I, 9);
157 /* Remember, we had changes */
167 /* Return the number of changes made */
173 unsigned OptPtrLoad2 (CodeSeg* S)
174 /* Search for the sequence:
199 unsigned Changes = 0;
201 /* Walk over the entries */
203 while (I < CS_GetEntryCount (S)) {
208 L[0] = CS_GetEntry (S, I);
210 /* Check for the sequence */
211 if (L[0]->OPC == OP65_ADC &&
212 CS_GetEntries (S, L+1, I+1, 8) &&
213 L[1]->OPC == OP65_PHA &&
214 L[2]->OPC == OP65_TXA &&
215 L[3]->OPC == OP65_INY &&
216 L[4]->OPC == OP65_ADC &&
217 L[5]->OPC == OP65_TAX &&
218 L[6]->OPC == OP65_PLA &&
219 L[7]->OPC == OP65_LDY &&
220 CE_IsCallTo (L[8], "ldauidx") &&
221 !CS_RangeHasLabel (S, I+1, 8)) {
225 /* Store the low byte and remove the PHA instead */
226 X = NewCodeEntry (OP65_STA, AM65_ZP, "ptr1", 0, L[0]->LI);
227 CS_InsertEntry (S, X, I+1);
229 /* Store the high byte */
230 X = NewCodeEntry (OP65_STA, AM65_ZP, "ptr1+1", 0, L[4]->LI);
231 CS_InsertEntry (S, X, I+6);
233 /* Load high and low byte */
234 X = NewCodeEntry (OP65_LDX, AM65_IMM, "$00", 0, L[6]->LI);
235 CS_InsertEntry (S, X, I+10);
236 X = NewCodeEntry (OP65_LDA, AM65_ZP_INDY, "ptr1", 0, L[6]->LI);
237 CS_InsertEntry (S, X, I+11);
239 /* Delete the old code */
240 CS_DelEntry (S, I+12); /* jsr ldauidx */
241 CS_DelEntry (S, I+8); /* pla */
242 CS_DelEntry (S, I+7); /* tax */
243 CS_DelEntry (S, I+2); /* pha */
245 /* Remember, we had changes */
255 /* Return the number of changes made */
261 unsigned OptPtrLoad3 (CodeSeg* S)
262 /* Search for the sequence:
280 unsigned Changes = 0;
282 /* Walk over the entries */
284 while (I < CS_GetEntryCount (S)) {
290 L[0] = CS_GetEntry (S, I);
292 /* Check for the sequence */
293 if (L[0]->OPC == OP65_LDA &&
294 L[0]->AM == AM65_IMM &&
295 CS_GetEntries (S, L+1, I+1, 7) &&
296 L[1]->OPC == OP65_LDX &&
297 L[1]->AM == AM65_IMM &&
298 L[2]->OPC == OP65_CLC &&
299 L[3]->OPC == OP65_ADC &&
300 (L[3]->AM == AM65_ABS || L[3]->AM == AM65_ZP) &&
301 (L[4]->OPC == OP65_BCC || L[4]->OPC == OP65_JCC) &&
303 L[4]->JumpTo->Owner == L[6] &&
304 L[5]->OPC == OP65_INX &&
305 L[6]->OPC == OP65_LDY &&
306 CE_IsKnownImm (L[6], 0) &&
307 CE_IsCallTo (L[7], "ldauidx") &&
308 !CS_RangeHasLabel (S, I+1, 5) &&
309 !CE_HasLabel (L[7]) &&
310 /* Check the label last because this is quite costly */
311 (Len = strlen (L[0]->Arg)) > 3 &&
312 L[0]->Arg[0] == '<' &&
313 L[0]->Arg[1] == '(' &&
314 strlen (L[1]->Arg) == Len &&
315 L[1]->Arg[0] == '>' &&
316 memcmp (L[0]->Arg+1, L[1]->Arg+1, Len-1) == 0) {
321 /* We will create all the new stuff behind the current one so
322 * we keep the line references.
324 X = NewCodeEntry (OP65_LDY, L[3]->AM, L[3]->Arg, 0, L[0]->LI);
325 CS_InsertEntry (S, X, I+8);
327 X = NewCodeEntry (OP65_LDX, AM65_IMM, "$00", 0, L[0]->LI);
328 CS_InsertEntry (S, X, I+9);
330 Label = memcpy (xmalloc (Len-2), L[0]->Arg+2, Len-3);
332 X = NewCodeEntry (OP65_LDA, AM65_ABSY, Label, 0, L[0]->LI);
333 CS_InsertEntry (S, X, I+10);
336 /* Remove the old code */
337 CS_DelEntries (S, I, 8);
339 /* Remember, we had changes */
349 /* Return the number of changes made */
355 unsigned OptPtrLoad4 (CodeSeg* S)
356 /* Search for the sequence:
377 unsigned Changes = 0;
379 /* Walk over the entries */
381 while (I < CS_GetEntryCount (S)) {
387 L[0] = CS_GetEntry (S, I);
389 /* Check for the sequence */
390 if (L[0]->OPC == OP65_LDA &&
391 L[0]->AM == AM65_IMM &&
392 CS_GetEntries (S, L+1, I+1, 8) &&
393 L[1]->OPC == OP65_LDX &&
394 L[1]->AM == AM65_IMM &&
395 !CE_HasLabel (L[1]) &&
396 L[2]->OPC == OP65_LDY &&
397 CE_IsConstImm (L[2]) &&
398 !CE_HasLabel (L[2]) &&
399 L[3]->OPC == OP65_CLC &&
400 !CE_HasLabel (L[3]) &&
401 L[4]->OPC == OP65_ADC &&
402 L[4]->AM == AM65_ZP_INDY &&
403 !CE_HasLabel (L[4]) &&
404 (L[5]->OPC == OP65_BCC || L[5]->OPC == OP65_JCC) &&
406 L[5]->JumpTo->Owner == L[7] &&
407 !CE_HasLabel (L[5]) &&
408 L[6]->OPC == OP65_INX &&
409 !CE_HasLabel (L[6]) &&
410 L[7]->OPC == OP65_LDY &&
411 CE_IsKnownImm (L[7], 0) &&
412 CE_IsCallTo (L[8], "ldauidx") &&
413 !CE_HasLabel (L[8]) &&
414 /* Check the label last because this is quite costly */
415 (Len = strlen (L[0]->Arg)) > 3 &&
416 L[0]->Arg[0] == '<' &&
417 L[0]->Arg[1] == '(' &&
418 strlen (L[1]->Arg) == Len &&
419 L[1]->Arg[0] == '>' &&
420 memcmp (L[0]->Arg+1, L[1]->Arg+1, Len-1) == 0) {
426 X = NewCodeEntry (OP65_LDA, AM65_ZP_INDY, L[4]->Arg, 0, L[0]->LI);
427 CS_InsertEntry (S, X, I+3);
430 X = NewCodeEntry (OP65_TAY, AM65_IMP, 0, 0, L[0]->LI);
431 CS_InsertEntry (S, X, I+4);
434 X = NewCodeEntry (OP65_LDX, AM65_IMM, "$00", 0, L[0]->LI);
435 CS_InsertEntry (S, X, I+5);
438 Label = memcpy (xmalloc (Len-2), L[0]->Arg+2, Len-3);
440 X = NewCodeEntry (OP65_LDA, AM65_ABSY, Label, 0, L[0]->LI);
441 CS_InsertEntry (S, X, I+6);
444 /* Remove the old code */
445 CS_DelEntries (S, I, 2);
446 CS_DelEntries (S, I+5, 6);
448 /* Remember, we had changes */
458 /* Return the number of changes made */
464 unsigned OptPtrLoad5 (CodeSeg* S)
465 /* Search for the sequence:
483 unsigned Changes = 0;
485 /* Walk over the entries */
487 while (I < CS_GetEntryCount (S)) {
492 L[0] = CS_GetEntry (S, I);
494 /* Check for the sequence */
495 if (CE_IsCallTo (L[0], "pushax") &&
496 CS_GetEntries (S, L+1, I+1, 5) &&
497 L[1]->OPC == OP65_LDX &&
498 CE_IsKnownImm (L[1], 0) &&
499 L[2]->OPC == OP65_LDA &&
500 (L[2]->AM == AM65_ABS ||
501 L[2]->AM == AM65_ZP ||
502 L[2]->AM == AM65_IMM) &&
503 CE_IsCallTo (L[3], "tosaddax") &&
504 L[4]->OPC == OP65_LDY &&
505 CE_IsKnownImm (L[4], 0) &&
506 CE_IsCallTo (L[5], "ldauidx") &&
507 !CS_RangeHasLabel (S, I+1, 5)) {
512 X = NewCodeEntry (OP65_STA, AM65_ZP, "ptr1", 0, L[0]->LI);
513 CS_InsertEntry (S, X, I+6);
516 X = NewCodeEntry (OP65_STX, AM65_ZP, "ptr1+1", 0, L[0]->LI);
517 CS_InsertEntry (S, X, I+7);
520 X = NewCodeEntry (OP65_LDY, L[2]->AM, L[2]->Arg, 0, L[2]->LI);
521 CS_InsertEntry (S, X, I+8);
524 X = NewCodeEntry (OP65_LDX, AM65_IMM, "$00", 0, L[5]->LI);
525 CS_InsertEntry (S, X, I+9);
528 X = NewCodeEntry (OP65_LDA, AM65_ZP_INDY, "ptr1", 0, L[5]->LI);
529 CS_InsertEntry (S, X, I+10);
531 /* Remove the old code */
532 CS_DelEntries (S, I, 6);
534 /* Remember, we had changes */
544 /* Return the number of changes made */
550 unsigned OptPtrLoad6 (CodeSeg* S)
551 /* Search for the sequence:
572 unsigned Changes = 0;
574 /* Walk over the entries */
576 while (I < CS_GetEntryCount (S)) {
581 L[0] = CS_GetEntry (S, I);
583 /* Check for the sequence */
584 if (CE_IsCallTo (L[0], "pushax") &&
585 CS_GetEntries (S, L+1, I+1, 6) &&
586 L[1]->OPC == OP65_LDY &&
587 CE_IsConstImm (L[1]) &&
589 L[2]->OPC == OP65_LDX &&
590 CE_IsKnownImm (L[2], 0) &&
591 L[3]->OPC == OP65_LDA &&
592 L[3]->AM == AM65_ZP_INDY &&
593 CE_IsCallTo (L[4], "tosaddax") &&
594 L[5]->OPC == OP65_LDY &&
595 CE_IsKnownImm (L[5], 0) &&
596 CE_IsCallTo (L[6], "ldauidx") &&
597 !CS_RangeHasLabel (S, I+1, 6) &&
598 !RegYUsed (S, I+7)) {
604 X = NewCodeEntry (OP65_STA, AM65_ZP, "ptr1", 0, L[0]->LI);
605 CS_InsertEntry (S, X, I+7);
608 X = NewCodeEntry (OP65_STX, AM65_ZP, "ptr1+1", 0, L[0]->LI);
609 CS_InsertEntry (S, X, I+8);
612 Arg = MakeHexArg (L[1]->Num - 2);
613 X = NewCodeEntry (OP65_LDY, AM65_IMM, Arg, 0, L[1]->LI);
614 CS_InsertEntry (S, X, I+9);
617 X = NewCodeEntry (OP65_LDA, L[3]->AM, L[3]->Arg, 0, L[3]->LI);
618 CS_InsertEntry (S, X, I+10);
621 X = NewCodeEntry (OP65_TAY, AM65_IMP, 0, 0, L[3]->LI);
622 CS_InsertEntry (S, X, I+11);
625 X = NewCodeEntry (OP65_LDX, AM65_IMM, "$00", 0, L[5]->LI);
626 CS_InsertEntry (S, X, I+12);
629 X = NewCodeEntry (OP65_LDA, AM65_ZP_INDY, "ptr1", 0, L[6]->LI);
630 CS_InsertEntry (S, X, I+13);
632 /* Remove the old code */
633 CS_DelEntries (S, I, 7);
635 /* Remember, we had changes */
645 /* Return the number of changes made */
651 unsigned OptPtrLoad7 (CodeSeg* S)
652 /* Search for the sequence:
683 unsigned Changes = 0;
686 /* Generate register info */
689 /* Walk over the entries */
691 while (I < CS_GetEntryCount (S)) {
696 L[0] = CS_GetEntry (S, I);
698 /* Check for the sequence */
699 if (L[0]->OPC == OP65_JSR &&
700 (strcmp (L[0]->Arg, "aslax1") == 0 ||
701 strcmp (L[0]->Arg, "shlax1") == 0) &&
702 CS_GetEntries (S, L+1, I+1, 9) &&
703 L[1]->OPC == OP65_CLC &&
704 L[2]->OPC == OP65_ADC &&
705 L[3]->OPC == OP65_TAY &&
706 L[4]->OPC == OP65_TXA &&
707 L[5]->OPC == OP65_ADC &&
708 L[6]->OPC == OP65_TAX &&
709 L[7]->OPC == OP65_TYA &&
710 L[8]->OPC == OP65_LDY &&
711 CE_IsCallTo (L[9], "ldaxidx") &&
712 !CS_RangeHasLabel (S, I+1, 9)) {
716 /* Track the insertion point */
717 unsigned IP = I + 10;
720 /* If X is zero on entry to aslax1, we can generate:
727 * instead of the code above. "lda tmp1" needs to be changed
728 * to "txa" in this case.
730 int ShortCode = (L[0]->RI->In.RegX == 0);
737 X = NewCodeEntry (OP65_ASL, AM65_ACC, "a", 0, L[0]->LI);
738 CS_InsertEntry (S, X, IP++);
740 /* Generate clc first, since we need the label */
741 X = NewCodeEntry (OP65_CLC, AM65_IMP, 0, 0, L[1]->LI);
742 CS_InsertEntry (S, X, IP);
745 Lab = CS_GenLabel (S, X);
748 X = NewCodeEntry (OP65_BCC, AM65_BRA, Lab->Name, Lab, L[0]->LI);
749 CS_InsertEntry (S, X, IP++);
752 X = NewCodeEntry (OP65_INX, AM65_IMP, 0, 0, L[0]->LI);
753 CS_InsertEntry (S, X, IP++);
755 /* Skip the clc insn */
761 X = NewCodeEntry (OP65_STX, AM65_ZP, "tmp1", 0, L[0]->LI);
762 CS_InsertEntry (S, X, IP++);
765 X = NewCodeEntry (OP65_ASL, AM65_ACC, "a", 0, L[0]->LI);
766 CS_InsertEntry (S, X, IP++);
769 X = NewCodeEntry (OP65_ROL, AM65_ZP, "tmp1", 0, L[0]->LI);
770 CS_InsertEntry (S, X, IP++);
773 X = NewCodeEntry (OP65_CLC, AM65_IMP, 0, 0, L[1]->LI);
774 CS_InsertEntry (S, X, IP++);
779 X = NewCodeEntry (L[2]->OPC, L[2]->AM, L[2]->Arg, 0, L[2]->LI);
780 CS_InsertEntry (S, X, IP++);
783 X = NewCodeEntry (OP65_STA, AM65_ZP, "ptr1", 0, L[9]->LI);
784 CS_InsertEntry (S, X, IP++);
788 X = NewCodeEntry (OP65_TXA, AM65_IMP, 0, 0, L[4]->LI);
791 X = NewCodeEntry (OP65_LDA, AM65_ZP, "tmp1", 0, L[4]->LI);
793 CS_InsertEntry (S, X, IP++);
796 X = NewCodeEntry (L[5]->OPC, L[5]->AM, L[5]->Arg, 0, L[5]->LI);
797 CS_InsertEntry (S, X, IP++);
800 X = NewCodeEntry (OP65_STA, AM65_ZP, "ptr1+1", 0, L[9]->LI);
801 CS_InsertEntry (S, X, IP++);
804 X = NewCodeEntry (L[8]->OPC, L[8]->AM, L[8]->Arg, 0, L[8]->LI);
805 CS_InsertEntry (S, X, IP++);
808 X = NewCodeEntry (OP65_LDA, AM65_ZP_INDY, "ptr1", 0, L[9]->LI);
809 CS_InsertEntry (S, X, IP++);
812 X = NewCodeEntry (OP65_TAX, AM65_IMP, 0, 0, L[9]->LI);
813 CS_InsertEntry (S, X, IP++);
816 X = NewCodeEntry (OP65_DEY, AM65_IMP, 0, 0, L[9]->LI);
817 CS_InsertEntry (S, X, IP++);
820 X = NewCodeEntry (OP65_LDA, AM65_ZP_INDY, "ptr1", 0, L[9]->LI);
821 CS_InsertEntry (S, X, IP++);
823 /* Remove the old code */
824 CS_DelEntries (S, I, 10);
826 /* Remember, we had changes */
836 /* Free the register info */
839 /* Return the number of changes made */
845 unsigned OptPtrLoad11 (CodeSeg* S)
846 /* Search for the sequence:
864 unsigned Changes = 0;
866 /* Walk over the entries */
868 while (I < CS_GetEntryCount (S)) {
873 L[0] = CS_GetEntry (S, I);
875 /* Check for the sequence */
876 if (L[0]->OPC == OP65_CLC &&
877 CS_GetEntries (S, L+1, I+1, 5) &&
878 L[1]->OPC == OP65_ADC &&
879 (L[1]->AM == AM65_ABS || L[1]->AM == AM65_ZP || L[1]->AM == AM65_IMM) &&
880 (L[2]->OPC == OP65_BCC || L[2]->OPC == OP65_JCC) &&
882 L[2]->JumpTo->Owner == L[4] &&
883 L[3]->OPC == OP65_INX &&
884 L[4]->OPC == OP65_LDY &&
885 CE_IsKnownImm (L[4], 0) &&
886 CE_IsCallTo (L[5], "ldauidx") &&
887 !CS_RangeHasLabel (S, I+1, 3) &&
888 !CE_HasLabel (L[5])) {
892 /* We will create all the new stuff behind the current one so
893 * we keep the line references.
895 X = NewCodeEntry (OP65_LDY, L[1]->AM, L[1]->Arg, 0, L[0]->LI);
896 CS_InsertEntry (S, X, I+6);
899 X = NewCodeEntry (OP65_STA, AM65_ZP, "ptr1", 0, L[0]->LI);
900 CS_InsertEntry (S, X, I+7);
903 X = NewCodeEntry (OP65_STX, AM65_ZP, "ptr1+1", 0, L[0]->LI);
904 CS_InsertEntry (S, X, I+8);
907 X = NewCodeEntry (OP65_LDX, AM65_IMM, "$00", 0, L[0]->LI);
908 CS_InsertEntry (S, X, I+9);
910 X = NewCodeEntry (OP65_LDA, AM65_ZP_INDY, "ptr1", 0, L[0]->LI);
911 CS_InsertEntry (S, X, I+10);
913 /* Remove the old code */
914 CS_DelEntries (S, I, 6);
916 /* Remember, we had changes */
926 /* Return the number of changes made */
932 unsigned OptPtrLoad12 (CodeSeg* S)
933 /* Search for the sequence:
958 * L1: tay <- only if flags are used
960 * This function must execute before OptPtrLoad7!
964 unsigned Changes = 0;
966 /* Walk over the entries */
968 while (I < CS_GetEntryCount (S)) {
974 L[0] = CS_GetEntry (S, I);
976 /* Check for the sequence */
977 if (L[0]->OPC == OP65_LDA &&
978 L[0]->AM == AM65_ZP &&
979 strncmp (L[0]->Arg, "regbank+", 8) == 0 &&
980 (Len = strlen (L[0]->Arg)) > 0 &&
981 CS_GetEntries (S, L+1, I+1, 14) &&
982 !CS_RangeHasLabel (S, I+1, 7) &&
983 !CS_RangeHasLabel (S, I+9, 5) &&
984 L[1]->OPC == OP65_LDX &&
985 L[1]->AM == AM65_ZP &&
986 strncmp (L[1]->Arg, L[0]->Arg, Len) == 0 &&
987 strcmp (L[1]->Arg+Len, "+1") == 0 &&
988 L[2]->OPC == OP65_STA &&
989 L[2]->AM == AM65_ZP &&
990 strcmp (L[2]->Arg, "regsave") == 0 &&
991 L[3]->OPC == OP65_STX &&
992 L[3]->AM == AM65_ZP &&
993 strcmp (L[3]->Arg, "regsave+1") == 0 &&
994 L[4]->OPC == OP65_CLC &&
995 L[5]->OPC == OP65_ADC &&
996 CE_IsKnownImm (L[5], 1) &&
997 L[6]->OPC == OP65_BCC &&
999 L[6]->JumpTo->Owner == L[8] &&
1000 L[7]->OPC == OP65_INX &&
1001 L[8]->OPC == OP65_STA &&
1002 L[8]->AM == AM65_ZP &&
1003 strcmp (L[8]->Arg, L[0]->Arg) == 0 &&
1004 L[9]->OPC == OP65_STX &&
1005 L[9]->AM == AM65_ZP &&
1006 strcmp (L[9]->Arg, L[1]->Arg) == 0 &&
1007 L[10]->OPC == OP65_LDA &&
1008 L[10]->AM == AM65_ZP &&
1009 strcmp (L[10]->Arg, "regsave") == 0 &&
1010 L[11]->OPC == OP65_LDX &&
1011 L[11]->AM == AM65_ZP &&
1012 strcmp (L[11]->Arg, "regsave+1") == 0 &&
1013 L[12]->OPC == OP65_LDY &&
1014 CE_IsConstImm (L[12]) &&
1015 CE_IsCallTo (L[13], "ldauidx")) {
1020 /* Check if the instruction following the sequence uses the flags
1021 * set by the load. If so, insert a test of the value in the
1024 if (CE_UseLoadFlags (L[14])) {
1025 X = NewCodeEntry (OP65_TAY, AM65_IMP, 0, 0, L[13]->LI);
1026 CS_InsertEntry (S, X, I+14);
1029 /* Attach a label to L[14]. This may be either the just inserted
1030 * instruction, or the one following the sequence.
1032 Label = CS_GenLabel (S, L[14]);
1035 X = NewCodeEntry (OP65_LDY, AM65_IMM, L[12]->Arg, 0, L[12]->LI);
1036 CS_InsertEntry (S, X, I+14);
1039 X = NewCodeEntry (OP65_LDX, AM65_IMM, "$00", 0, L[13]->LI);
1040 CS_InsertEntry (S, X, I+15);
1042 /* lda (regbank+n),y */
1043 X = NewCodeEntry (OP65_LDA, AM65_ZP_INDY, L[0]->Arg, 0, L[13]->LI);
1044 CS_InsertEntry (S, X, I+16);
1047 X = NewCodeEntry (OP65_INC, AM65_ZP, L[0]->Arg, 0, L[5]->LI);
1048 CS_InsertEntry (S, X, I+17);
1051 X = NewCodeEntry (OP65_BNE, AM65_BRA, Label->Name, Label, L[6]->LI);
1052 CS_InsertEntry (S, X, I+18);
1054 /* inc regbank+n+1 */
1055 X = NewCodeEntry (OP65_INC, AM65_ZP, L[1]->Arg, 0, L[7]->LI);
1056 CS_InsertEntry (S, X, I+19);
1058 /* Delete the old code */
1059 CS_DelEntries (S, I, 14);
1061 /* Remember, we had changes */
1071 /* Return the number of changes made */
1077 unsigned OptPtrLoad13 (CodeSeg* S)
1078 /* Search for the sequence:
1085 * and replace it by:
1092 unsigned Changes = 0;
1094 /* Walk over the entries */
1096 while (I < CS_GetEntryCount (S)) {
1101 /* Get next entry */
1102 L[0] = CS_GetEntry (S, I);
1104 /* Check for the sequence */
1105 if (L[0]->OPC == OP65_LDA && L[0]->AM == AM65_ZP &&
1106 CS_GetEntries (S, L+1, I+1, 3) &&
1107 !CS_RangeHasLabel (S, I+1, 3) &&
1108 L[1]->OPC == OP65_LDX && L[1]->AM == AM65_ZP &&
1109 (Len = strlen (L[0]->Arg)) > 0 &&
1110 strncmp (L[0]->Arg, L[1]->Arg, Len) == 0 &&
1111 strcmp (L[1]->Arg + Len, "+1") == 0 &&
1112 L[2]->OPC == OP65_LDY &&
1113 CE_IsCallTo (L[3], "ldauidx")) {
1118 X = NewCodeEntry (OP65_LDX, AM65_IMM, "$00", 0, L[3]->LI);
1119 CS_InsertEntry (S, X, I+3);
1122 X = NewCodeEntry (OP65_LDA, AM65_ZP_INDY, L[0]->Arg, 0, L[3]->LI);
1123 CS_InsertEntry (S, X, I+4);
1125 /* Remove the old code */
1126 CS_DelEntry (S, I+5);
1127 CS_DelEntries (S, I, 2);
1129 /* Remember, we had changes */
1139 /* Return the number of changes made */
1145 unsigned OptPtrLoad14 (CodeSeg* S)
1146 /* Search for the sequence:
1150 * (anything that doesn't change a/x)
1154 * and replace it by:
1158 * (anything that doesn't change a/x)
1165 unsigned Changes = 0;
1168 /* Generate register info */
1171 /* Walk over the entries */
1173 while (I < CS_GetEntryCount (S)) {
1178 /* Get next entry */
1179 L[0] = CS_GetEntry (S, I);
1181 /* Check for the sequence */
1182 if (L[0]->OPC == OP65_LDA && L[0]->AM == AM65_ZP &&
1183 CS_GetEntries (S, L+1, I+1, 4) &&
1184 !CS_RangeHasLabel (S, I+1, 4) &&
1185 L[1]->OPC == OP65_LDX && L[1]->AM == AM65_ZP &&
1186 (Len = strlen (L[0]->Arg)) > 0 &&
1187 strncmp (L[0]->Arg, L[1]->Arg, Len) == 0 &&
1188 strcmp (L[1]->Arg + Len, "+1") == 0 &&
1189 (L[2]->Chg & REG_AX) == 0 &&
1190 L[3]->OPC == OP65_LDY &&
1191 CE_IsCallTo (L[4], "ldauidx")) {
1196 X = NewCodeEntry (OP65_LDX, AM65_IMM, "$00", 0, L[3]->LI);
1197 CS_InsertEntry (S, X, I+5);
1200 X = NewCodeEntry (OP65_LDA, AM65_ZP_INDY, L[0]->Arg, 0, L[3]->LI);
1201 CS_InsertEntry (S, X, I+6);
1203 /* Remove the old code */
1204 CS_DelEntry (S, I+4);
1206 /* Remember, we had changes */
1216 /* Free the register info */
1219 /* Return the number of changes made */
1225 unsigned OptPtrLoad15 (CodeSeg* S)
1226 /* Search for the sequence:
1233 * and replace it by:
1242 unsigned Changes = 0;
1244 /* Walk over the entries */
1246 while (I < CS_GetEntryCount (S)) {
1251 /* Get next entry */
1252 L[0] = CS_GetEntry (S, I);
1254 /* Check for the sequence */
1255 if (L[0]->OPC == OP65_LDA && L[0]->AM == AM65_ZP &&
1256 CS_GetEntries (S, L+1, I+1, 3) &&
1257 !CS_RangeHasLabel (S, I+1, 3) &&
1258 L[1]->OPC == OP65_LDX && L[1]->AM == AM65_ZP &&
1259 (Len = strlen (L[0]->Arg)) > 0 &&
1260 strncmp (L[0]->Arg, L[1]->Arg, Len) == 0 &&
1261 strcmp (L[1]->Arg + Len, "+1") == 0 &&
1262 L[2]->OPC == OP65_LDY &&
1263 CE_IsCallTo (L[3], "ldaxidx")) {
1268 X = NewCodeEntry (OP65_LDA, AM65_ZP_INDY, L[0]->Arg, 0, L[3]->LI);
1269 CS_InsertEntry (S, X, I+4);
1272 X = NewCodeEntry (OP65_TAX, AM65_IMP, 0, 0, L[3]->LI);
1273 CS_InsertEntry (S, X, I+5);
1276 X = NewCodeEntry (OP65_DEY, AM65_IMP, 0, 0, L[3]->LI);
1277 CS_InsertEntry (S, X, I+6);
1280 X = NewCodeEntry (OP65_LDA, AM65_ZP_INDY, L[0]->Arg, 0, L[3]->LI);
1281 CS_InsertEntry (S, X, I+7);
1283 /* Remove the old code */
1284 CS_DelEntry (S, I+3);
1285 CS_DelEntries (S, I, 2);
1287 /* Remember, we had changes */
1297 /* Return the number of changes made */
1303 unsigned OptPtrLoad16 (CodeSeg* S)
1304 /* Search for the sequence
1309 * and replace it by:
1317 * This step must be executed *after* OptPtrLoad1!
1320 unsigned Changes = 0;
1322 /* Walk over the entries */
1324 while (I < CS_GetEntryCount (S)) {
1328 /* Get next entry */
1329 L[0] = CS_GetEntry (S, I);
1331 /* Check for the sequence */
1332 if (L[0]->OPC == OP65_LDY &&
1333 CS_GetEntries (S, L+1, I+1, 1) &&
1334 CE_IsCallTo (L[1], "ldauidx") &&
1335 !CE_HasLabel (L[1])) {
1340 X = NewCodeEntry (OP65_STA, AM65_ZP, "ptr1", 0, L[1]->LI);
1341 CS_InsertEntry (S, X, I+2);
1344 X = NewCodeEntry (OP65_STX, AM65_ZP, "ptr1+1", 0, L[1]->LI);
1345 CS_InsertEntry (S, X, I+3);
1348 X = NewCodeEntry (L[0]->OPC, L[0]->AM, L[0]->Arg, 0, L[0]->LI);
1349 CS_InsertEntry (S, X, I+4);
1352 X = NewCodeEntry (OP65_LDX, AM65_IMM, "$00", 0, L[1]->LI);
1353 CS_InsertEntry (S, X, I+5);
1356 X = NewCodeEntry (OP65_LDA, AM65_ZP_INDY, "ptr1", 0, L[1]->LI);
1357 CS_InsertEntry (S, X, I+6);
1359 /* Delete the old code */
1360 CS_DelEntries (S, I, 2);
1362 /* Remember, we had changes */
1372 /* Return the number of changes made */
1378 unsigned OptPtrLoad17 (CodeSeg* S)
1379 /* Search for the sequence
1384 * and replace it by:
1394 * This step must be executed *after* OptPtrLoad9! While code size increases
1395 * by more than 200%, inlining will greatly improve visibility for the
1396 * optimizer, so often part of the code gets improved later. So we will mark
1397 * the step with less than 200% so it gets executed when -Oi is in effect.
1400 unsigned Changes = 0;
1402 /* Walk over the entries */
1404 while (I < CS_GetEntryCount (S)) {
1408 /* Get next entry */
1409 L[0] = CS_GetEntry (S, I);
1411 /* Check for the sequence */
1412 if (L[0]->OPC == OP65_LDY &&
1413 CS_GetEntries (S, L+1, I+1, 1) &&
1414 CE_IsCallTo (L[1], "ldaxidx") &&
1415 !CE_HasLabel (L[1])) {
1419 /* Store the high byte */
1420 X = NewCodeEntry (OP65_STA, AM65_ZP, "ptr1", 0, L[0]->LI);
1421 CS_InsertEntry (S, X, I+2);
1423 /* Store the low byte */
1424 X = NewCodeEntry (OP65_STX, AM65_ZP, "ptr1+1", 0, L[0]->LI);
1425 CS_InsertEntry (S, X, I+3);
1428 X = NewCodeEntry (L[0]->OPC, L[0]->AM, L[0]->Arg, 0, L[0]->LI);
1429 CS_InsertEntry (S, X, I+4);
1432 X = NewCodeEntry (OP65_LDA, AM65_ZP_INDY, "ptr1", 0, L[1]->LI);
1433 CS_InsertEntry (S, X, I+5);
1436 X = NewCodeEntry (OP65_TAX, AM65_IMP, 0, 0, L[1]->LI);
1437 CS_InsertEntry (S, X, I+6);
1440 X = NewCodeEntry (OP65_DEY, AM65_IMP, 0, 0, L[1]->LI);
1441 CS_InsertEntry (S, X, I+7);
1444 X = NewCodeEntry (OP65_LDA, AM65_ZP_INDY, "ptr1", 0, L[1]->LI);
1445 CS_InsertEntry (S, X, I+8);
1447 /* Delete original sequence */
1448 CS_DelEntries (S, I, 2);
1450 /* Remember, we had changes */
1460 /* Return the number of changes made */