rt/vm/src/main/java/org/apidesign/vm4brwsr/StackMapper.java
author Jaroslav Tulach <jaroslav.tulach@apidesign.org>
Wed, 07 May 2014 10:01:54 +0200
branchclosure
changeset 1543 bafa63ac44a2
parent 1467 5538c1eb03be
child 1787 ea12a3bb4b33
permissions -rw-r--r--
Shortening constructor calls and access to arrays
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;
jaroslav@1543
    26
    private boolean dirty;
lubomir@221
    27
lubomir@307
    28
    public StackMapper() {
lubomir@281
    29
        stackTypeIndexPairs = new TypeArray();
jaroslav@1455
    30
        stackValues = new StringArray();
lubomir@221
    31
    }
lubomir@221
    32
lubomir@281
    33
    public void clear() {
lubomir@281
    34
        stackTypeIndexPairs.clear();
jaroslav@1455
    35
        stackValues.clear();
jaroslav@1543
    36
        dirty = false;
lubomir@281
    37
    }
lubomir@281
    38
lubomir@281
    39
    public void syncWithFrameStack(final TypeArray frameStack) {
lubomir@281
    40
        clear();
lubomir@281
    41
lubomir@281
    42
        final int size = frameStack.getSize();
lubomir@281
    43
        for (int i = 0; i < size; ++i) {
lubomir@307
    44
            pushTypeImpl(VarType.fromStackMapType(frameStack.get(i)));
lubomir@221
    45
        }
lubomir@221
    46
    }
lubomir@221
    47
lubomir@281
    48
    public Variable pushI() {
lubomir@307
    49
        return pushT(VarType.INTEGER);
lubomir@281
    50
    }
lubomir@281
    51
lubomir@281
    52
    public Variable pushL() {
lubomir@307
    53
        return pushT(VarType.LONG);
lubomir@281
    54
    }
lubomir@281
    55
lubomir@281
    56
    public Variable pushF() {
lubomir@307
    57
        return pushT(VarType.FLOAT);
lubomir@281
    58
    }
lubomir@281
    59
lubomir@281
    60
    public Variable pushD() {
lubomir@307
    61
        return pushT(VarType.DOUBLE);
lubomir@281
    62
    }
lubomir@281
    63
lubomir@281
    64
    public Variable pushA() {
lubomir@307
    65
        return pushT(VarType.REFERENCE);
lubomir@281
    66
    }
lubomir@281
    67
lubomir@281
    68
    public Variable pushT(final int type) {
lubomir@281
    69
        return getVariable(pushTypeImpl(type));
lubomir@281
    70
    }
lubomir@281
    71
jaroslav@1453
    72
    void assign(Appendable out, int varType, CharSequence s) throws IOException {
jaroslav@1455
    73
        pushTypeAndValue(varType, s);
jaroslav@1457
    74
    }
jaroslav@1543
    75
    
jaroslav@1457
    76
    void replace(Appendable out, int varType, String format, CharSequence... arr) 
jaroslav@1457
    77
    throws IOException {
jaroslav@1457
    78
        StringBuilder sb = new StringBuilder();
jaroslav@1457
    79
        ByteCodeToJavaScript.emitImpl(sb, format, arr);
jaroslav@1457
    80
        String[] values = stackValues.toArray();
jaroslav@1457
    81
        final int last = stackTypeIndexPairs.getSize() - 1;
jaroslav@1457
    82
        values[last] = sb.toString();
jaroslav@1543
    83
        dirty = true;
jaroslav@1467
    84
        final int value = (last << 8) | (varType & 0xff);
jaroslav@1467
    85
        stackTypeIndexPairs.set(last, value);
jaroslav@1455
    86
    }
jaroslav@1455
    87
    
jaroslav@1455
    88
    void flush(Appendable out) throws IOException {
jaroslav@1455
    89
        int count = stackTypeIndexPairs.getSize();
jaroslav@1455
    90
        for (int i = 0; i < count; i++) {
jaroslav@1466
    91
            String val = stackValues.getAndClear(i, true);
jaroslav@1455
    92
            if (val == null) {
jaroslav@1455
    93
                continue;
jaroslav@1455
    94
            }
jaroslav@1455
    95
            CharSequence var = getVariable(stackTypeIndexPairs.get(i));
jaroslav@1455
    96
            ByteCodeToJavaScript.emitImpl(out, "var @1 = @2;", var, val);
jaroslav@1455
    97
        }
jaroslav@1543
    98
        dirty = false;
jaroslav@1543
    99
    }
jaroslav@1543
   100
    
jaroslav@1543
   101
    public boolean isDirty() {
jaroslav@1543
   102
        return dirty;
jaroslav@1453
   103
    }
jaroslav@1453
   104
    
jaroslav@1457
   105
    public CharSequence popI() {
lubomir@307
   106
        return popT(VarType.INTEGER);
lubomir@281
   107
    }
lubomir@281
   108
jaroslav@1457
   109
    public CharSequence popL() {
lubomir@307
   110
        return popT(VarType.LONG);
lubomir@281
   111
    }
lubomir@281
   112
jaroslav@1457
   113
    public CharSequence popF() {
lubomir@307
   114
        return popT(VarType.FLOAT);
lubomir@281
   115
    }
lubomir@281
   116
jaroslav@1457
   117
    public CharSequence popD() {
lubomir@307
   118
        return popT(VarType.DOUBLE);
lubomir@281
   119
    }
lubomir@281
   120
jaroslav@1457
   121
    public CharSequence popA() {
lubomir@307
   122
        return popT(VarType.REFERENCE);
lubomir@281
   123
    }
lubomir@281
   124
jaroslav@1457
   125
    public CharSequence popT(final int type) {
jaroslav@1457
   126
        final CharSequence variable = getT(0, type);
lubomir@281
   127
        popImpl(1);
lubomir@281
   128
        return variable;
lubomir@281
   129
    }
lubomir@281
   130
jaroslav@1457
   131
    public CharSequence popValue() {
jaroslav@1457
   132
        final CharSequence variable = getT(0, -1);
jaroslav@1457
   133
        popImpl(1);
jaroslav@1457
   134
        return variable;
jaroslav@1457
   135
    }
jaroslav@1457
   136
    public Variable pop(Appendable out) throws IOException {
jaroslav@1457
   137
        flush(out);
lubomir@281
   138
        final Variable variable = get(0);
lubomir@281
   139
        popImpl(1);
lubomir@281
   140
        return variable;
lubomir@281
   141
    }
lubomir@281
   142
lubomir@281
   143
    public void pop(final int count) {
lubomir@281
   144
        final int stackSize = stackTypeIndexPairs.getSize();
lubomir@281
   145
        if (count > stackSize) {
lubomir@281
   146
            throw new IllegalStateException("Stack underflow");
lubomir@281
   147
        }
lubomir@281
   148
        popImpl(count);
lubomir@281
   149
    }
lubomir@281
   150
jaroslav@1457
   151
    public CharSequence getI(final int indexFromTop) {
lubomir@307
   152
        return getT(indexFromTop, VarType.INTEGER);
lubomir@281
   153
    }
lubomir@281
   154
jaroslav@1457
   155
    public CharSequence getL(final int indexFromTop) {
lubomir@307
   156
        return getT(indexFromTop, VarType.LONG);
lubomir@281
   157
    }
lubomir@281
   158
jaroslav@1457
   159
    public CharSequence getF(final int indexFromTop) {
lubomir@307
   160
        return getT(indexFromTop, VarType.FLOAT);
lubomir@281
   161
    }
lubomir@281
   162
jaroslav@1457
   163
    public CharSequence getD(final int indexFromTop) {
lubomir@307
   164
        return getT(indexFromTop, VarType.DOUBLE);
lubomir@281
   165
    }
lubomir@281
   166
jaroslav@1457
   167
    public CharSequence getA(final int indexFromTop) {
lubomir@307
   168
        return getT(indexFromTop, VarType.REFERENCE);
lubomir@281
   169
    }
lubomir@281
   170
jaroslav@1457
   171
    public CharSequence getT(final int indexFromTop, final int type) {
jaroslav@1466
   172
        return getT(indexFromTop, type, true);
jaroslav@1466
   173
    }
jaroslav@1466
   174
    public CharSequence getT(final int indexFromTop, final int type, boolean clear) {
lubomir@281
   175
        final int stackSize = stackTypeIndexPairs.getSize();
lubomir@281
   176
        if (indexFromTop >= stackSize) {
lubomir@281
   177
            throw new IllegalStateException("Stack underflow");
lubomir@281
   178
        }
lubomir@281
   179
        final int stackValue =
lubomir@281
   180
                stackTypeIndexPairs.get(stackSize - indexFromTop - 1);
jaroslav@1457
   181
        if (type != -1 && (stackValue & 0xff) != type) {
lubomir@281
   182
            throw new IllegalStateException("Type mismatch");
lubomir@281
   183
        }
jaroslav@1457
   184
        String value =
jaroslav@1466
   185
            stackValues.getAndClear(stackSize - indexFromTop - 1, clear);
jaroslav@1457
   186
        if (value != null) {
jaroslav@1457
   187
            return value;
jaroslav@1457
   188
        }
lubomir@281
   189
        return getVariable(stackValue);
lubomir@281
   190
    }
lubomir@281
   191
lubomir@281
   192
    public Variable get(final int indexFromTop) {
lubomir@281
   193
        final int stackSize = stackTypeIndexPairs.getSize();
lubomir@281
   194
        if (indexFromTop >= stackSize) {
lubomir@281
   195
            throw new IllegalStateException("Stack underflow");
lubomir@281
   196
        }
lubomir@281
   197
        final int stackValue =
lubomir@281
   198
                stackTypeIndexPairs.get(stackSize - indexFromTop - 1);
lubomir@281
   199
lubomir@281
   200
        return getVariable(stackValue);
lubomir@281
   201
    }
lubomir@281
   202
lubomir@281
   203
    private int pushTypeImpl(final int type) {
jaroslav@1454
   204
        final int count = stackTypeIndexPairs.getSize();
lubomir@281
   205
        final int value = (count << 8) | (type & 0xff);
lubomir@281
   206
        stackTypeIndexPairs.add(value);
jaroslav@1455
   207
        
jaroslav@1455
   208
        addStackValue(count, null);
jaroslav@1455
   209
        return value;
jaroslav@1455
   210
    }
lubomir@281
   211
jaroslav@1455
   212
    private void pushTypeAndValue(final int type, CharSequence v) {
jaroslav@1455
   213
        final int count = stackTypeIndexPairs.getSize();
jaroslav@1455
   214
        final int value = (count << 8) | (type & 0xff);
jaroslav@1455
   215
        stackTypeIndexPairs.add(value);
jaroslav@1455
   216
        final String val = v.toString();
jaroslav@1455
   217
        addStackValue(count, val);
jaroslav@1455
   218
    }
jaroslav@1455
   219
jaroslav@1455
   220
    private void addStackValue(int at, final String val) {
jaroslav@1455
   221
        final String[] arr = stackValues.toArray();
jaroslav@1455
   222
        if (arr.length > at) {
jaroslav@1455
   223
            arr[at] = val;
jaroslav@1455
   224
        } else {
jaroslav@1455
   225
            stackValues.add(val);
jaroslav@1455
   226
        }
jaroslav@1543
   227
        dirty = true;
lubomir@281
   228
    }
lubomir@281
   229
lubomir@281
   230
    private void popImpl(final int count) {
lubomir@281
   231
        final int stackSize = stackTypeIndexPairs.getSize();
lubomir@281
   232
        stackTypeIndexPairs.setSize(stackSize - count);
lubomir@281
   233
    }
lubomir@281
   234
lubomir@281
   235
    public Variable getVariable(final int typeAndIndex) {
lubomir@281
   236
        final int type = typeAndIndex & 0xff;
lubomir@281
   237
        final int index = typeAndIndex >> 8;
lubomir@221
   238
lubomir@281
   239
        return Variable.getStackVariable(type, index);
lubomir@221
   240
    }
lubomir@221
   241
}