1 /*****************************************************************************/
5 /* Environment independent low level optimizations */
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 /*****************************************************************************/
46 /*****************************************************************************/
48 /*****************************************************************************/
52 unsigned OptRTSJumps1 (CodeSeg* S);
53 /* Replace jumps to RTS by RTS */
55 unsigned OptRTSJumps2 (CodeSeg* S);
56 /* Replace long conditional jumps to RTS */
58 unsigned OptDeadJumps (CodeSeg* S);
59 /* Remove dead jumps (jumps to the next instruction) */
61 unsigned OptDeadCode (CodeSeg* S);
62 /* Remove dead code (code that follows an unconditional jump or an rts/rti
66 unsigned OptJumpCascades (CodeSeg* S);
67 /* Optimize jump cascades (jumps to jumps). In such a case, the jump is
68 * replaced by a jump to the final location. This will in some cases produce
69 * worse code, because some jump targets are no longer reachable by short
70 * branches, but this is quite rare, so there are more advantages than
74 unsigned OptRTS (CodeSeg* S);
75 /* Optimize subroutine calls followed by an RTS. The subroutine call will get
76 * replaced by a jump. Don't bother to delete the RTS if it does not have a
77 * label, the dead code elimination should take care of it.
80 unsigned OptJumpTarget1 (CodeSeg* S);
81 /* If the instruction preceeding an unconditional branch is the same as the
82 * instruction preceeding the jump target, the jump target may be moved
83 * one entry back. This is a size optimization, since the instruction before
84 * the branch gets removed.
87 unsigned OptJumpTarget2 (CodeSeg* S);
88 /* If a bcs jumps to a sec insn or a bcc jumps to clc, skip this insn, since
89 * it's job is already done.
92 unsigned OptJumpTarget3 (CodeSeg* S);
93 /* Jumps to load instructions of a register, that do already have the matching
94 * register contents may skip the load instruction, since it's job is already
98 unsigned OptCondBranches1 (CodeSeg* S);
99 /* If an immidiate load of a register is followed by a conditional jump that
100 * is never taken because the load of the register sets the flags in such a
101 * manner, remove the conditional branch.
104 unsigned OptCondBranches2 (CodeSeg* S);
105 /* If on entry to a "rol a" instruction the accu is zero, and a beq/bne follows,
106 * we can remove the rol and branch on the state of the carry.
109 unsigned OptUnusedLoads (CodeSeg* S);
110 /* Remove loads of registers where the value loaded is not used later. */
112 unsigned OptUnusedStores (CodeSeg* S);
113 /* Remove stores into zero page registers that aren't used later */
115 unsigned OptDupLoads (CodeSeg* S);
116 /* Remove loads of registers where the value loaded is already in the register. */
118 unsigned OptStoreLoad (CodeSeg* S);
119 /* Remove a store followed by a load from the same location. */
121 unsigned OptTransfers1 (CodeSeg* S);
122 /* Remove transfers from one register to another and back */
124 unsigned OptTransfers2 (CodeSeg* S);
125 /* Replace loads followed by a register transfer by a load with the second
126 * register if possible.
129 unsigned OptTransfers3 (CodeSeg* S);
130 /* Replace a register transfer followed by a store of the second register by a
131 * store of the first register if this is possible.
134 unsigned OptTransfers4 (CodeSeg* S);
135 /* Replace a load of a register followed by a transfer insn of the same register
136 * by a load of the second register if possible.
139 unsigned OptPushPop (CodeSeg* S);
140 /* Remove a PHA/PLA sequence were A is not used later */
142 unsigned OptPrecalc (CodeSeg* S);
143 /* Replace immediate operations with the accu where the current contents are
144 * known by a load of the final value.
147 unsigned OptBranchDist (CodeSeg* S);
148 /* Change branches for the distance needed. */
150 unsigned OptIndLoads1 (CodeSeg* S);
159 * provided that x and y are both zero.
162 unsigned OptIndLoads2 (CodeSeg* S);
171 * provided that x and y are both zero.
176 /* End of coptind.h */