rt/vm/src/main/java/org/apidesign/vm4brwsr/StackMapper.java
author Jaroslav Tulach <jaroslav.tulach@apidesign.org>
Mon, 17 Feb 2014 12:08:31 +0100
branchReducedStack
changeset 1467 5538c1eb03be
parent 1466 39d26d3686d9
child 1543 bafa63ac44a2
permissions -rw-r--r--
Correctly encode the index of the type using bit shift
lubomir@221
     1
/**
lubomir@221
     2
 * Back 2 Browser Bytecode Translator
lubomir@221
     3
 * Copyright (C) 2012 Jaroslav Tulach <jaroslav.tulach@apidesign.org>
lubomir@221
     4
 *
lubomir@221
     5
 * This program is free software: you can redistribute it and/or modify
lubomir@221
     6
 * it under the terms of the GNU General Public License as published by
lubomir@221
     7
 * the Free Software Foundation, version 2 of the License.
lubomir@221
     8
 *
lubomir@221
     9
 * This program is distributed in the hope that it will be useful,
lubomir@221
    10
 * but WITHOUT ANY WARRANTY; without even the implied warranty of
lubomir@221
    11
 * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
lubomir@221
    12
 * GNU General Public License for more details.
lubomir@221
    13
 *
lubomir@221
    14
 * You should have received a copy of the GNU General Public License
lubomir@221
    15
 * along with this program. Look for COPYING file in the top folder.
lubomir@221
    16
 * If not, see http://opensource.org/licenses/GPL-2.0.
lubomir@221
    17
 */
lubomir@221
    18
package org.apidesign.vm4brwsr;
lubomir@221
    19
jaroslav@1453
    20
import java.io.IOException;
jaroslav@810
    21
import org.apidesign.vm4brwsr.ByteCodeParser.TypeArray;
lubomir@281
    22
lubomir@310
    23
final class StackMapper {
lubomir@281
    24
    private final TypeArray stackTypeIndexPairs;
jaroslav@1455
    25
    private final StringArray stackValues;
lubomir@221
    26
lubomir@307
    27
    public StackMapper() {
lubomir@281
    28
        stackTypeIndexPairs = new TypeArray();
jaroslav@1455
    29
        stackValues = new StringArray();
lubomir@221
    30
    }
lubomir@221
    31
lubomir@281
    32
    public void clear() {
lubomir@281
    33
        stackTypeIndexPairs.clear();
jaroslav@1455
    34
        stackValues.clear();
lubomir@281
    35
    }
lubomir@281
    36
lubomir@281
    37
    public void syncWithFrameStack(final TypeArray frameStack) {
lubomir@281
    38
        clear();
lubomir@281
    39
lubomir@281
    40
        final int size = frameStack.getSize();
lubomir@281
    41
        for (int i = 0; i < size; ++i) {
lubomir@307
    42
            pushTypeImpl(VarType.fromStackMapType(frameStack.get(i)));
lubomir@221
    43
        }
lubomir@221
    44
    }
lubomir@221
    45
lubomir@281
    46
    public Variable pushI() {
lubomir@307
    47
        return pushT(VarType.INTEGER);
lubomir@281
    48
    }
lubomir@281
    49
lubomir@281
    50
    public Variable pushL() {
lubomir@307
    51
        return pushT(VarType.LONG);
lubomir@281
    52
    }
lubomir@281
    53
lubomir@281
    54
    public Variable pushF() {
lubomir@307
    55
        return pushT(VarType.FLOAT);
lubomir@281
    56
    }
lubomir@281
    57
lubomir@281
    58
    public Variable pushD() {
lubomir@307
    59
        return pushT(VarType.DOUBLE);
lubomir@281
    60
    }
lubomir@281
    61
lubomir@281
    62
    public Variable pushA() {
lubomir@307
    63
        return pushT(VarType.REFERENCE);
lubomir@281
    64
    }
lubomir@281
    65
lubomir@281
    66
    public Variable pushT(final int type) {
lubomir@281
    67
        return getVariable(pushTypeImpl(type));
lubomir@281
    68
    }
lubomir@281
    69
jaroslav@1453
    70
    void assign(Appendable out, int varType, CharSequence s) throws IOException {
jaroslav@1455
    71
        pushTypeAndValue(varType, s);
jaroslav@1457
    72
    }
jaroslav@1457
    73
jaroslav@1457
    74
    void replace(Appendable out, int varType, String format, CharSequence... arr) 
jaroslav@1457
    75
    throws IOException {
jaroslav@1457
    76
        StringBuilder sb = new StringBuilder();
jaroslav@1457
    77
        ByteCodeToJavaScript.emitImpl(sb, format, arr);
jaroslav@1457
    78
        String[] values = stackValues.toArray();
jaroslav@1457
    79
        final int last = stackTypeIndexPairs.getSize() - 1;
jaroslav@1457
    80
        values[last] = sb.toString();
jaroslav@1467
    81
        final int value = (last << 8) | (varType & 0xff);
jaroslav@1467
    82
        stackTypeIndexPairs.set(last, value);
jaroslav@1455
    83
    }
jaroslav@1455
    84
    
jaroslav@1455
    85
    void flush(Appendable out) throws IOException {
jaroslav@1455
    86
        int count = stackTypeIndexPairs.getSize();
jaroslav@1455
    87
        for (int i = 0; i < count; i++) {
jaroslav@1466
    88
            String val = stackValues.getAndClear(i, true);
jaroslav@1455
    89
            if (val == null) {
jaroslav@1455
    90
                continue;
jaroslav@1455
    91
            }
jaroslav@1455
    92
            CharSequence var = getVariable(stackTypeIndexPairs.get(i));
jaroslav@1455
    93
            ByteCodeToJavaScript.emitImpl(out, "var @1 = @2;", var, val);
jaroslav@1455
    94
        }
jaroslav@1453
    95
    }
jaroslav@1453
    96
    
jaroslav@1457
    97
    public CharSequence popI() {
lubomir@307
    98
        return popT(VarType.INTEGER);
lubomir@281
    99
    }
lubomir@281
   100
jaroslav@1457
   101
    public CharSequence popL() {
lubomir@307
   102
        return popT(VarType.LONG);
lubomir@281
   103
    }
lubomir@281
   104
jaroslav@1457
   105
    public CharSequence popF() {
lubomir@307
   106
        return popT(VarType.FLOAT);
lubomir@281
   107
    }
lubomir@281
   108
jaroslav@1457
   109
    public CharSequence popD() {
lubomir@307
   110
        return popT(VarType.DOUBLE);
lubomir@281
   111
    }
lubomir@281
   112
jaroslav@1457
   113
    public CharSequence popA() {
lubomir@307
   114
        return popT(VarType.REFERENCE);
lubomir@281
   115
    }
lubomir@281
   116
jaroslav@1457
   117
    public CharSequence popT(final int type) {
jaroslav@1457
   118
        final CharSequence variable = getT(0, type);
lubomir@281
   119
        popImpl(1);
lubomir@281
   120
        return variable;
lubomir@281
   121
    }
lubomir@281
   122
jaroslav@1457
   123
    public CharSequence popValue() {
jaroslav@1457
   124
        final CharSequence variable = getT(0, -1);
jaroslav@1457
   125
        popImpl(1);
jaroslav@1457
   126
        return variable;
jaroslav@1457
   127
    }
jaroslav@1457
   128
    public Variable pop(Appendable out) throws IOException {
jaroslav@1457
   129
        flush(out);
lubomir@281
   130
        final Variable variable = get(0);
lubomir@281
   131
        popImpl(1);
lubomir@281
   132
        return variable;
lubomir@281
   133
    }
lubomir@281
   134
lubomir@281
   135
    public void pop(final int count) {
lubomir@281
   136
        final int stackSize = stackTypeIndexPairs.getSize();
lubomir@281
   137
        if (count > stackSize) {
lubomir@281
   138
            throw new IllegalStateException("Stack underflow");
lubomir@281
   139
        }
lubomir@281
   140
        popImpl(count);
lubomir@281
   141
    }
lubomir@281
   142
jaroslav@1457
   143
    public CharSequence getI(final int indexFromTop) {
lubomir@307
   144
        return getT(indexFromTop, VarType.INTEGER);
lubomir@281
   145
    }
lubomir@281
   146
jaroslav@1457
   147
    public CharSequence getL(final int indexFromTop) {
lubomir@307
   148
        return getT(indexFromTop, VarType.LONG);
lubomir@281
   149
    }
lubomir@281
   150
jaroslav@1457
   151
    public CharSequence getF(final int indexFromTop) {
lubomir@307
   152
        return getT(indexFromTop, VarType.FLOAT);
lubomir@281
   153
    }
lubomir@281
   154
jaroslav@1457
   155
    public CharSequence getD(final int indexFromTop) {
lubomir@307
   156
        return getT(indexFromTop, VarType.DOUBLE);
lubomir@281
   157
    }
lubomir@281
   158
jaroslav@1457
   159
    public CharSequence getA(final int indexFromTop) {
lubomir@307
   160
        return getT(indexFromTop, VarType.REFERENCE);
lubomir@281
   161
    }
lubomir@281
   162
jaroslav@1457
   163
    public CharSequence getT(final int indexFromTop, final int type) {
jaroslav@1466
   164
        return getT(indexFromTop, type, true);
jaroslav@1466
   165
    }
jaroslav@1466
   166
    public CharSequence getT(final int indexFromTop, final int type, boolean clear) {
lubomir@281
   167
        final int stackSize = stackTypeIndexPairs.getSize();
lubomir@281
   168
        if (indexFromTop >= stackSize) {
lubomir@281
   169
            throw new IllegalStateException("Stack underflow");
lubomir@281
   170
        }
lubomir@281
   171
        final int stackValue =
lubomir@281
   172
                stackTypeIndexPairs.get(stackSize - indexFromTop - 1);
jaroslav@1457
   173
        if (type != -1 && (stackValue & 0xff) != type) {
lubomir@281
   174
            throw new IllegalStateException("Type mismatch");
lubomir@281
   175
        }
jaroslav@1457
   176
        String value =
jaroslav@1466
   177
            stackValues.getAndClear(stackSize - indexFromTop - 1, clear);
jaroslav@1457
   178
        if (value != null) {
jaroslav@1457
   179
            return value;
jaroslav@1457
   180
        }
lubomir@281
   181
        return getVariable(stackValue);
lubomir@281
   182
    }
lubomir@281
   183
lubomir@281
   184
    public Variable get(final int indexFromTop) {
lubomir@281
   185
        final int stackSize = stackTypeIndexPairs.getSize();
lubomir@281
   186
        if (indexFromTop >= stackSize) {
lubomir@281
   187
            throw new IllegalStateException("Stack underflow");
lubomir@281
   188
        }
lubomir@281
   189
        final int stackValue =
lubomir@281
   190
                stackTypeIndexPairs.get(stackSize - indexFromTop - 1);
lubomir@281
   191
lubomir@281
   192
        return getVariable(stackValue);
lubomir@281
   193
    }
lubomir@281
   194
lubomir@281
   195
    private int pushTypeImpl(final int type) {
jaroslav@1454
   196
        final int count = stackTypeIndexPairs.getSize();
lubomir@281
   197
        final int value = (count << 8) | (type & 0xff);
lubomir@281
   198
        stackTypeIndexPairs.add(value);
jaroslav@1455
   199
        
jaroslav@1455
   200
        addStackValue(count, null);
jaroslav@1455
   201
        return value;
jaroslav@1455
   202
    }
lubomir@281
   203
jaroslav@1455
   204
    private void pushTypeAndValue(final int type, CharSequence v) {
jaroslav@1455
   205
        final int count = stackTypeIndexPairs.getSize();
jaroslav@1455
   206
        final int value = (count << 8) | (type & 0xff);
jaroslav@1455
   207
        stackTypeIndexPairs.add(value);
jaroslav@1455
   208
        final String val = v.toString();
jaroslav@1455
   209
        addStackValue(count, val);
jaroslav@1455
   210
    }
jaroslav@1455
   211
jaroslav@1455
   212
    private void addStackValue(int at, final String val) {
jaroslav@1455
   213
        final String[] arr = stackValues.toArray();
jaroslav@1455
   214
        if (arr.length > at) {
jaroslav@1455
   215
            arr[at] = val;
jaroslav@1455
   216
        } else {
jaroslav@1455
   217
            stackValues.add(val);
jaroslav@1455
   218
        }
lubomir@281
   219
    }
lubomir@281
   220
lubomir@281
   221
    private void popImpl(final int count) {
lubomir@281
   222
        final int stackSize = stackTypeIndexPairs.getSize();
lubomir@281
   223
        stackTypeIndexPairs.setSize(stackSize - count);
lubomir@281
   224
    }
lubomir@281
   225
lubomir@281
   226
    public Variable getVariable(final int typeAndIndex) {
lubomir@281
   227
        final int type = typeAndIndex & 0xff;
lubomir@281
   228
        final int index = typeAndIndex >> 8;
lubomir@221
   229
lubomir@281
   230
        return Variable.getStackVariable(type, index);
lubomir@221
   231
    }
lubomir@221
   232
}