rt/vm/src/main/java/org/apidesign/vm4brwsr/StackMapper.java
author Jaroslav Tulach <jaroslav.tulach@apidesign.org>
Mon, 17 Feb 2014 07:54:35 +0100
branchReducedStack
changeset 1466 39d26d3686d9
parent 1457 b9386cc3ff7b
child 1467 5538c1eb03be
permissions -rw-r--r--
Don't clear the stack mapping when doing a cast
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@1457
    81
        stackTypeIndexPairs.set(last, varType);
jaroslav@1455
    82
    }
jaroslav@1455
    83
    
jaroslav@1455
    84
    void flush(Appendable out) throws IOException {
jaroslav@1455
    85
        int count = stackTypeIndexPairs.getSize();
jaroslav@1455
    86
        for (int i = 0; i < count; i++) {
jaroslav@1466
    87
            String val = stackValues.getAndClear(i, true);
jaroslav@1455
    88
            if (val == null) {
jaroslav@1455
    89
                continue;
jaroslav@1455
    90
            }
jaroslav@1455
    91
            CharSequence var = getVariable(stackTypeIndexPairs.get(i));
jaroslav@1455
    92
            ByteCodeToJavaScript.emitImpl(out, "var @1 = @2;", var, val);
jaroslav@1455
    93
        }
jaroslav@1453
    94
    }
jaroslav@1453
    95
    
jaroslav@1457
    96
    public CharSequence popI() {
lubomir@307
    97
        return popT(VarType.INTEGER);
lubomir@281
    98
    }
lubomir@281
    99
jaroslav@1457
   100
    public CharSequence popL() {
lubomir@307
   101
        return popT(VarType.LONG);
lubomir@281
   102
    }
lubomir@281
   103
jaroslav@1457
   104
    public CharSequence popF() {
lubomir@307
   105
        return popT(VarType.FLOAT);
lubomir@281
   106
    }
lubomir@281
   107
jaroslav@1457
   108
    public CharSequence popD() {
lubomir@307
   109
        return popT(VarType.DOUBLE);
lubomir@281
   110
    }
lubomir@281
   111
jaroslav@1457
   112
    public CharSequence popA() {
lubomir@307
   113
        return popT(VarType.REFERENCE);
lubomir@281
   114
    }
lubomir@281
   115
jaroslav@1457
   116
    public CharSequence popT(final int type) {
jaroslav@1457
   117
        final CharSequence variable = getT(0, type);
lubomir@281
   118
        popImpl(1);
lubomir@281
   119
        return variable;
lubomir@281
   120
    }
lubomir@281
   121
jaroslav@1457
   122
    public CharSequence popValue() {
jaroslav@1457
   123
        final CharSequence variable = getT(0, -1);
jaroslav@1457
   124
        popImpl(1);
jaroslav@1457
   125
        return variable;
jaroslav@1457
   126
    }
jaroslav@1457
   127
    public Variable pop(Appendable out) throws IOException {
jaroslav@1457
   128
        flush(out);
lubomir@281
   129
        final Variable variable = get(0);
lubomir@281
   130
        popImpl(1);
lubomir@281
   131
        return variable;
lubomir@281
   132
    }
lubomir@281
   133
lubomir@281
   134
    public void pop(final int count) {
lubomir@281
   135
        final int stackSize = stackTypeIndexPairs.getSize();
lubomir@281
   136
        if (count > stackSize) {
lubomir@281
   137
            throw new IllegalStateException("Stack underflow");
lubomir@281
   138
        }
lubomir@281
   139
        popImpl(count);
lubomir@281
   140
    }
lubomir@281
   141
jaroslav@1457
   142
    public CharSequence getI(final int indexFromTop) {
lubomir@307
   143
        return getT(indexFromTop, VarType.INTEGER);
lubomir@281
   144
    }
lubomir@281
   145
jaroslav@1457
   146
    public CharSequence getL(final int indexFromTop) {
lubomir@307
   147
        return getT(indexFromTop, VarType.LONG);
lubomir@281
   148
    }
lubomir@281
   149
jaroslav@1457
   150
    public CharSequence getF(final int indexFromTop) {
lubomir@307
   151
        return getT(indexFromTop, VarType.FLOAT);
lubomir@281
   152
    }
lubomir@281
   153
jaroslav@1457
   154
    public CharSequence getD(final int indexFromTop) {
lubomir@307
   155
        return getT(indexFromTop, VarType.DOUBLE);
lubomir@281
   156
    }
lubomir@281
   157
jaroslav@1457
   158
    public CharSequence getA(final int indexFromTop) {
lubomir@307
   159
        return getT(indexFromTop, VarType.REFERENCE);
lubomir@281
   160
    }
lubomir@281
   161
jaroslav@1457
   162
    public CharSequence getT(final int indexFromTop, final int type) {
jaroslav@1466
   163
        return getT(indexFromTop, type, true);
jaroslav@1466
   164
    }
jaroslav@1466
   165
    public CharSequence getT(final int indexFromTop, final int type, boolean clear) {
lubomir@281
   166
        final int stackSize = stackTypeIndexPairs.getSize();
lubomir@281
   167
        if (indexFromTop >= stackSize) {
lubomir@281
   168
            throw new IllegalStateException("Stack underflow");
lubomir@281
   169
        }
lubomir@281
   170
        final int stackValue =
lubomir@281
   171
                stackTypeIndexPairs.get(stackSize - indexFromTop - 1);
jaroslav@1457
   172
        if (type != -1 && (stackValue & 0xff) != type) {
lubomir@281
   173
            throw new IllegalStateException("Type mismatch");
lubomir@281
   174
        }
jaroslav@1457
   175
        String value =
jaroslav@1466
   176
            stackValues.getAndClear(stackSize - indexFromTop - 1, clear);
jaroslav@1457
   177
        if (value != null) {
jaroslav@1457
   178
            return value;
jaroslav@1457
   179
        }
lubomir@281
   180
        return getVariable(stackValue);
lubomir@281
   181
    }
lubomir@281
   182
lubomir@281
   183
    public Variable get(final int indexFromTop) {
lubomir@281
   184
        final int stackSize = stackTypeIndexPairs.getSize();
lubomir@281
   185
        if (indexFromTop >= stackSize) {
lubomir@281
   186
            throw new IllegalStateException("Stack underflow");
lubomir@281
   187
        }
lubomir@281
   188
        final int stackValue =
lubomir@281
   189
                stackTypeIndexPairs.get(stackSize - indexFromTop - 1);
lubomir@281
   190
lubomir@281
   191
        return getVariable(stackValue);
lubomir@281
   192
    }
lubomir@281
   193
lubomir@281
   194
    private int pushTypeImpl(final int type) {
jaroslav@1454
   195
        final int count = stackTypeIndexPairs.getSize();
lubomir@281
   196
        final int value = (count << 8) | (type & 0xff);
lubomir@281
   197
        stackTypeIndexPairs.add(value);
jaroslav@1455
   198
        
jaroslav@1455
   199
        addStackValue(count, null);
jaroslav@1455
   200
        return value;
jaroslav@1455
   201
    }
lubomir@281
   202
jaroslav@1455
   203
    private void pushTypeAndValue(final int type, CharSequence v) {
jaroslav@1455
   204
        final int count = stackTypeIndexPairs.getSize();
jaroslav@1455
   205
        final int value = (count << 8) | (type & 0xff);
jaroslav@1455
   206
        stackTypeIndexPairs.add(value);
jaroslav@1455
   207
        final String val = v.toString();
jaroslav@1455
   208
        addStackValue(count, val);
jaroslav@1455
   209
    }
jaroslav@1455
   210
jaroslav@1455
   211
    private void addStackValue(int at, final String val) {
jaroslav@1455
   212
        final String[] arr = stackValues.toArray();
jaroslav@1455
   213
        if (arr.length > at) {
jaroslav@1455
   214
            arr[at] = val;
jaroslav@1455
   215
        } else {
jaroslav@1455
   216
            stackValues.add(val);
jaroslav@1455
   217
        }
lubomir@281
   218
    }
lubomir@281
   219
lubomir@281
   220
    private void popImpl(final int count) {
lubomir@281
   221
        final int stackSize = stackTypeIndexPairs.getSize();
lubomir@281
   222
        stackTypeIndexPairs.setSize(stackSize - count);
lubomir@281
   223
    }
lubomir@281
   224
lubomir@281
   225
    public Variable getVariable(final int typeAndIndex) {
lubomir@281
   226
        final int type = typeAndIndex & 0xff;
lubomir@281
   227
        final int index = typeAndIndex >> 8;
lubomir@221
   228
lubomir@281
   229
        return Variable.getStackVariable(type, index);
lubomir@221
   230
    }
lubomir@221
   231
}