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