|
|
@ -257,24 +257,29 @@ public class LocalOptimizer implements Opcodes { |
|
|
|
*/ |
|
|
|
*/ |
|
|
|
while (!changedInfos.isEmpty()) { |
|
|
|
while (!changedInfos.isEmpty()) { |
|
|
|
InstrInfo info = (InstrInfo) changedInfos.pop(); |
|
|
|
InstrInfo info = (InstrInfo) changedInfos.pop(); |
|
|
|
Enumeration enum = info.instr.preds.elements(); |
|
|
|
Instruction instr = info.instr; |
|
|
|
while (enum.hasMoreElements()) { |
|
|
|
|
|
|
|
Instruction preInstr |
|
|
|
Instruction prevInstr = instr.prevByAddr; |
|
|
|
= (Instruction) enum.nextElement(); |
|
|
|
if (prevInstr != null) { |
|
|
|
if (preInstr.opcode == opc_jsr |
|
|
|
if (prevInstr.opcode == opc_jsr) { |
|
|
|
&& info.instr != preInstr.succs[0]) { |
|
|
|
/* Prev instr is a jsr, continue with the |
|
|
|
/* Prev expr is a jsr, continue with the |
|
|
|
|
|
|
|
* corresponding ret, instead with the jsr. |
|
|
|
* corresponding ret, instead with the jsr. |
|
|
|
*/ |
|
|
|
*/ |
|
|
|
InstrInfo jsrInfo = |
|
|
|
InstrInfo jsrInfo = |
|
|
|
(InstrInfo) instrInfos.get(preInstr); |
|
|
|
(InstrInfo) instrInfos.get(prevInstr); |
|
|
|
for (int i= jsrInfo.retInstrs.length; i-- > 0; ) |
|
|
|
for (int i = jsrInfo.retInstrs.length; i-- > 0; ) |
|
|
|
promoteReads(info, jsrInfo.retInstrs[i], preInstr); |
|
|
|
promoteReads(info, jsrInfo.retInstrs[i], prevInstr); |
|
|
|
} else |
|
|
|
} else if (!prevInstr.alwaysJumps) |
|
|
|
promoteReads(info, preInstr, null); |
|
|
|
promoteReads(info, prevInstr, null); |
|
|
|
} |
|
|
|
} |
|
|
|
for (int i=0; i<handlers.length; i++) { |
|
|
|
|
|
|
|
if (handlers[i].catcher == info.instr) { |
|
|
|
if (instr.preds != null) { |
|
|
|
|
|
|
|
for (int i = 0; i < instr.preds.length; i++) |
|
|
|
|
|
|
|
promoteReads(info, instr.preds[i], null); |
|
|
|
|
|
|
|
} |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
for (int i=0; i < handlers.length; i++) { |
|
|
|
|
|
|
|
if (handlers[i].catcher == instr) { |
|
|
|
for (Instruction preInstr = handlers[i].start; |
|
|
|
for (Instruction preInstr = handlers[i].start; |
|
|
|
preInstr != handlers[i].end.nextByAddr; |
|
|
|
preInstr != handlers[i].end.nextByAddr; |
|
|
|
preInstr = preInstr.nextByAddr) { |
|
|
|
preInstr = preInstr.nextByAddr) { |
|
|
|