@@ -1187,6 +1187,101 @@ public class ClassFileWriter { putInt32(jumpTarget - switchStart, itsCodeBuffer, caseOffset); } + public int addLookupSwitch(int ncases) + { + if (DEBUGCODE) { + System.out.println("Add "+bytecodeStr(ByteCode.LOOKUPSWITCH) + +" "+ncases); + } + if (ncases < 0) + throw new ClassFileFormatException("Bad switch size: "+ncases); + + int newStack = itsStackTop + stackChange(ByteCode.LOOKUPSWITCH); + if (newStack < 0 || Short.MAX_VALUE < newStack) badStack(newStack); + + int padSize = 3 & ~itsCodeBufferTop; // == 3 - itsCodeBufferTop % 4 + + int N = addReservedCodeSpace(1 + padSize + 4 * (2 + ncases * 2)); + int switchStart = N; + itsCodeBuffer[N++] = (byte)ByteCode.LOOKUPSWITCH; + while (padSize != 0) { + itsCodeBuffer[N++] = 0; + --padSize; + } + N += 4; // skip default offset + putInt32(ncases, itsCodeBuffer, N); + + itsStackTop = (short)newStack; + if (newStack > itsMaxStack) itsMaxStack = (short)newStack; + if (DEBUGSTACK) { + System.out.println("After "+bytecodeStr(ByteCode.LOOKUPSWITCH) + +" stack = "+itsStackTop); + } + + return switchStart; + } + + public final void markLookupSwitchDefault(int switchStart) + { + setLookupSwitchJump(switchStart, -1, -1, itsCodeBufferTop); + } + + public final void markLookupSwitchCase(int switchStart, int caseIndex, int caseValue) + { + setLookupSwitchJump(switchStart, caseIndex, caseValue, itsCodeBufferTop); + } + + public final void markLookupSwitchCase(int switchStart, int caseIndex, + int caseValue, int stackTop) + { + if (!(0 <= stackTop && stackTop <= itsMaxStack)) + throw new IllegalArgumentException("Bad stack index: "+stackTop); + itsStackTop = (short)stackTop; + setLookupSwitchJump(switchStart, caseIndex, caseValue, itsCodeBufferTop); + } + + public void setLookupSwitchJump(int switchStart, int caseIndex, + int caseValue, int jumpTarget) + { + if (!(0 <= jumpTarget && jumpTarget <= itsCodeBufferTop)) + throw new IllegalArgumentException("Bad jump target: "+jumpTarget); + if (!(caseIndex >= -1)) + throw new IllegalArgumentException("Bad case index: "+caseIndex); + + int padSize = 3 & ~switchStart; // == 3 - switchStart % 4 + int caseOffset; + if (caseIndex < 0) { + // default label + caseOffset = switchStart + 1 + padSize; + } else { + caseOffset = switchStart + 1 + padSize + 8 * (1 + caseIndex); + } + if (!(0 <= switchStart + && switchStart <= itsCodeBufferTop - 8 * 2 - padSize - 1)) + { + throw new IllegalArgumentException( + switchStart+" is outside a possible range of lookupswitch" + +" in already generated code"); + } + if ((0xFF & itsCodeBuffer[switchStart]) != ByteCode.LOOKUPSWITCH) { + throw new IllegalArgumentException( + switchStart+" is not offset of lookupswitch statement"); + } + if (!(0 <= caseOffset && caseOffset + 8 <= itsCodeBufferTop)) { + // caseIndex >= -1 does not guarantee that caseOffset >= 0 due + // to a possible overflow. + throw new ClassFileFormatException( + "Too big case index: "+caseIndex); + } + // ALERT: perhaps check against case bounds? + if (caseIndex < 0) { + putInt32(jumpTarget - switchStart, itsCodeBuffer, caseOffset); + } else { + putInt32(caseValue, itsCodeBuffer, caseOffset); + putInt32(jumpTarget - switchStart, itsCodeBuffer, caseOffset + 4); + } + } + public int acquireLabel() { int top = itsLabelTableTop; src/org/mozilla/classfile/ClassFileWriter.java 17d4121db137a6642a3efdcce940c497599c0103 Hannes Wallnöfer hannesw@gmail.com http://github.com/hns/rhino-8/commit/b05b48b8aac3fbd6c4a5b1efaf3b02309dc93edd b05b48b8aac3fbd6c4a5b1efaf3b02309dc93edd 2009-11-04T04:24:44-08:00 2009-11-04T04:24:44-08:00 Add support for lookupswitch instruction 3770472db2c0a8c741c8ff22916ebc81d5fd60ad Hannes Wallnöfer hannesw@gmail.com