rt/vm/src/main/java/org/apidesign/vm4brwsr/StackMapper.java
author Jaroslav Tulach <jaroslav.tulach@apidesign.org>
Sat, 15 Feb 2014 20:18:26 +0100
branchReducedStack
changeset 1457 b9386cc3ff7b
parent 1456 6212993ac686
child 1466 39d26d3686d9
permissions -rw-r--r--
Eliminates use of stack in empty super constructor call
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@1455
    87
            String val = stackValues.getAndClear(i);
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) {
lubomir@281
   163
        final int stackSize = stackTypeIndexPairs.getSize();
lubomir@281
   164
        if (indexFromTop >= stackSize) {
lubomir@281
   165
            throw new IllegalStateException("Stack underflow");
lubomir@281
   166
        }
lubomir@281
   167
        final int stackValue =
lubomir@281
   168
                stackTypeIndexPairs.get(stackSize - indexFromTop - 1);
jaroslav@1457
   169
        if (type != -1 && (stackValue & 0xff) != type) {
lubomir@281
   170
            throw new IllegalStateException("Type mismatch");
lubomir@281
   171
        }
jaroslav@1457
   172
        String value =
jaroslav@1457
   173
                stackValues.getAndClear(stackSize - indexFromTop - 1);
jaroslav@1457
   174
        if (value != null) {
jaroslav@1457
   175
            return value;
jaroslav@1457
   176
        }
lubomir@281
   177
        return getVariable(stackValue);
lubomir@281
   178
    }
lubomir@281
   179
lubomir@281
   180
    public Variable get(final int indexFromTop) {
lubomir@281
   181
        final int stackSize = stackTypeIndexPairs.getSize();
lubomir@281
   182
        if (indexFromTop >= stackSize) {
lubomir@281
   183
            throw new IllegalStateException("Stack underflow");
lubomir@281
   184
        }
lubomir@281
   185
        final int stackValue =
lubomir@281
   186
                stackTypeIndexPairs.get(stackSize - indexFromTop - 1);
lubomir@281
   187
lubomir@281
   188
        return getVariable(stackValue);
lubomir@281
   189
    }
lubomir@281
   190
lubomir@281
   191
    private int pushTypeImpl(final int type) {
jaroslav@1454
   192
        final int count = stackTypeIndexPairs.getSize();
lubomir@281
   193
        final int value = (count << 8) | (type & 0xff);
lubomir@281
   194
        stackTypeIndexPairs.add(value);
jaroslav@1455
   195
        
jaroslav@1455
   196
        addStackValue(count, null);
jaroslav@1455
   197
        return value;
jaroslav@1455
   198
    }
lubomir@281
   199
jaroslav@1455
   200
    private void pushTypeAndValue(final int type, CharSequence v) {
jaroslav@1455
   201
        final int count = stackTypeIndexPairs.getSize();
jaroslav@1455
   202
        final int value = (count << 8) | (type & 0xff);
jaroslav@1455
   203
        stackTypeIndexPairs.add(value);
jaroslav@1455
   204
        final String val = v.toString();
jaroslav@1455
   205
        addStackValue(count, val);
jaroslav@1455
   206
    }
jaroslav@1455
   207
jaroslav@1455
   208
    private void addStackValue(int at, final String val) {
jaroslav@1455
   209
        final String[] arr = stackValues.toArray();
jaroslav@1455
   210
        if (arr.length > at) {
jaroslav@1455
   211
            arr[at] = val;
jaroslav@1455
   212
        } else {
jaroslav@1455
   213
            stackValues.add(val);
jaroslav@1455
   214
        }
lubomir@281
   215
    }
lubomir@281
   216
lubomir@281
   217
    private void popImpl(final int count) {
lubomir@281
   218
        final int stackSize = stackTypeIndexPairs.getSize();
lubomir@281
   219
        stackTypeIndexPairs.setSize(stackSize - count);
lubomir@281
   220
    }
lubomir@281
   221
lubomir@281
   222
    public Variable getVariable(final int typeAndIndex) {
lubomir@281
   223
        final int type = typeAndIndex & 0xff;
lubomir@281
   224
        final int index = typeAndIndex >> 8;
lubomir@221
   225
lubomir@281
   226
        return Variable.getStackVariable(type, index);
lubomir@221
   227
    }
lubomir@221
   228
}