hg/bck2brwsr: vm/src/main/java/org/apidesign/vm4brwsr/ByteCodeToJavaScript.java@f2352e0b713e (annotated)

jaroslav@106	1	/**
jaroslav@106	2	* Back 2 Browser Bytecode Translator
jaroslav@106	3	* Copyright (C) 2012 Jaroslav Tulach <jaroslav.tulach@apidesign.org>
jaroslav@106	4	*
jaroslav@106	5	* This program is free software: you can redistribute it and/or modify
jaroslav@106	6	* it under the terms of the GNU General Public License as published by
jaroslav@106	7	* the Free Software Foundation, version 2 of the License.
jaroslav@106	8	*
jaroslav@106	9	* This program is distributed in the hope that it will be useful,
jaroslav@106	10	* but WITHOUT ANY WARRANTY; without even the implied warranty of
jaroslav@106	11	* MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
jaroslav@106	12	* GNU General Public License for more details.
jaroslav@106	13	*
jaroslav@106	14	* You should have received a copy of the GNU General Public License
jaroslav@106	15	* along with this program. Look for COPYING file in the top folder.
jaroslav@106	16	* If not, see http://opensource.org/licenses/GPL-2.0.
jaroslav@106	17	*/
jaroslav@22	18	package org.apidesign.vm4brwsr;
jaroslav@0	19
jaroslav@0	20	import java.io.IOException;
jaroslav@0	21	import java.io.InputStream;
jtulach@167	22	import org.apidesign.javap.AnnotationParser;
jtulach@167	23	import org.apidesign.javap.ClassData;
jtulach@167	24	import org.apidesign.javap.FieldData;
jtulach@167	25	import org.apidesign.javap.MethodData;
lubomir@221	26	import org.apidesign.javap.StackMapIterator;
jtulach@167	27	import static org.apidesign.javap.RuntimeConstants.*;
jaroslav@0	28
jaroslav@0	29	/** Translator of the code inside class files to JavaScript.
jaroslav@0	30	*
jaroslav@0	31	* @author Jaroslav Tulach <jtulach@netbeans.org>
jaroslav@0	32	*/
jtulach@162	33	public abstract class ByteCodeToJavaScript {
jtulach@162	34	private ClassData jc;
jaroslav@0	35	private final Appendable out;
jaroslav@0	36
jtulach@162	37	protected ByteCodeToJavaScript(Appendable out) {
jaroslav@0	38	this.out = out;
jaroslav@0	39	}
jtulach@162	40
jtulach@162	41	/* Collects additional required resources.
jtulach@162	42	*
jtulach@162	43	* @param internalClassName classes that were referenced and should be loaded in order the
jtulach@162	44	* generated JavaScript code works properly. The names are in internal
jtulach@162	45	* JVM form so String is <code>java/lang/String</code>.
jtulach@162	46	*/
jtulach@162	47	protected abstract boolean requireReference(String internalClassName);
jtulach@162	48
jtulach@162	49	/*
jtulach@162	50	* @param resourcePath name of resources to read
jtulach@162	51	*/
jtulach@162	52	protected abstract void requireScript(String resourcePath);
jaroslav@213	53
jaroslav@213	54	/** Allows subclasses to redefine what field a function representing a
jaroslav@213	55	* class gets assigned. By default it returns the suggested name followed
jaroslav@213	56	* by <code>" = "</code>;
jaroslav@213	57	*
jaroslav@213	58	* @param className suggested name of the class
jaroslav@213	59	*/
jaroslav@213	60	protected String assignClass(String className) {
jaroslav@213	61	return className + " = ";
jaroslav@213	62	}
jaroslav@18	63
jaroslav@18	64	/**
jaroslav@18	65	* Converts a given class file to a JavaScript version.
jaroslav@18	66	*
jaroslav@0	67	* @param classFile input stream with code of the .class file
jaroslav@97	68	* @return the initialization code for this class, if any. Otherwise <code>null</code>
jaroslav@91	69	*
jaroslav@0	70	* @throws IOException if something goes wrong during read or write or translating
jaroslav@0	71	*/
jaroslav@18	72
jtulach@162	73	public String compile(InputStream classFile) throws IOException {
jtulach@162	74	this.jc = new ClassData(classFile);
jaroslav@152	75	byte[] arrData = jc.findAnnotationData(true);
jaroslav@170	76	String[] arr = findAnnotation(arrData, jc,
jaroslav@170	77	"org.apidesign.bck2brwsr.core.ExtraJavaScript",
jaroslav@170	78	"resource", "processByteCode"
jaroslav@170	79	);
jaroslav@152	80	if (arr != null) {
jtulach@162	81	requireScript(arr[0]);
jaroslav@152	82	if ("0".equals(arr[1])) {
jaroslav@97	83	return null;
jaroslav@91	84	}
jaroslav@91	85	}
jaroslav@239	86	String[] proto = findAnnotation(arrData, jc,
jaroslav@239	87	"org.apidesign.bck2brwsr.core.JavaScriptPrototype",
jaroslav@239	88	"container", "prototype"
jaroslav@239	89	);
jtulach@162	90	StringArray toInitilize = new StringArray();
jaroslav@151	91	final String className = className(jc);
jaroslav@213	92	out.append("\n\n").append(assignClass(className));
jaroslav@213	93	out.append("function CLS() {");
jaroslav@213	94	out.append("\n if (!CLS.prototype.$instOf_").append(className).append(") {");
jtulach@191	95	for (FieldData v : jc.getFields()) {
jtulach@191	96	if (v.isStatic()) {
jaroslav@213	97	out.append("\n CLS.").append(v.getName()).append(initField(v));
jtulach@191	98	}
jtulach@191	99	}
jaroslav@239	100	if (proto == null) {
jaroslav@239	101	String sc = jc.getSuperClassName(); // with _
jaroslav@213	102	out.append("\n var p = CLS.prototype = ").
jaroslav@205	103	append(sc.replace('/', '_')).append("(true);");
jaroslav@239	104	out.append("\n var c = p;");
jtulach@130	105	} else {
jaroslav@240	106	out.append("\n var p = CLS.prototype = ").append(proto[1]).append(";");
jaroslav@239	107	out.append("\n var c = ").append(proto[0]).append(";");
jaroslav@13	108	}
jaroslav@151	109	for (MethodData m : jc.getMethods()) {
jaroslav@240	110	byte[] onlyArr = m.findAnnotationData(true);
jaroslav@240	111	String[] only = findAnnotation(onlyArr, jc,
jaroslav@240	112	"org.apidesign.bck2brwsr.core.JavaScriptOnly",
jaroslav@240	113	"name", "value"
jaroslav@240	114	);
jaroslav@240	115	if (only != null) {
jaroslav@240	116	if (only[0] != null && only[1] != null) {
jaroslav@240	117	out.append("\n p.").append(only[0]).append(" = ")
jaroslav@240	118	.append(only[1]).append(";");
jaroslav@240	119	}
jaroslav@240	120	continue;
jaroslav@240	121	}
jaroslav@203	122	if (m.isStatic()) {
jaroslav@239	123	generateStaticMethod("\n c.", m, toInitilize);
jaroslav@203	124	} else {
jaroslav@239	125	generateInstanceMethod("\n c.", m);
jaroslav@38	126	}
jaroslav@38	127	}
jaroslav@239	128	out.append("\n c.constructor = CLS;");
jaroslav@239	129	out.append("\n c.$instOf_").append(className).append(" = true;");
jaroslav@151	130	for (String superInterface : jc.getSuperInterfaces()) {
jaroslav@239	131	out.append("\n c.$instOf_").append(superInterface.replace('/', '_')).append(" = true;");
jaroslav@40	132	}
jaroslav@204	133	out.append("\n }");
jaroslav@205	134	out.append("\n if (arguments.length === 0) {");
jaroslav@226	135	out.append("\n if (!(this instanceof CLS)) {");
jaroslav@226	136	out.append("\n return new CLS();");
jaroslav@226	137	out.append("\n }");
jaroslav@205	138	for (FieldData v : jc.getFields()) {
jaroslav@240	139	byte[] onlyArr = v.findAnnotationData(true);
jaroslav@240	140	String[] only = findAnnotation(onlyArr, jc,
jaroslav@240	141	"org.apidesign.bck2brwsr.core.JavaScriptOnly",
jaroslav@240	142	"name", "value"
jaroslav@240	143	);
jaroslav@240	144	if (only != null) {
jaroslav@240	145	if (only[0] != null && only[1] != null) {
jaroslav@240	146	out.append("\n p.").append(only[0]).append(" = ")
jaroslav@240	147	.append(only[1]).append(";");
jaroslav@240	148	}
jaroslav@240	149	continue;
jaroslav@240	150	}
jaroslav@205	151	if (!v.isStatic()) {
jaroslav@205	152	out.append("\n this.fld_").
jaroslav@205	153	append(v.getName()).append(initField(v));
jaroslav@205	154	}
jaroslav@205	155	}
jaroslav@205	156	out.append("\n return this;");
jaroslav@205	157	out.append("\n }");
jaroslav@224	158	out.append("\n return arguments[0] ? new CLS() : CLS.prototype;");
jaroslav@98	159	out.append("\n}");
jaroslav@97	160	StringBuilder sb = new StringBuilder();
jtulach@162	161	for (String init : toInitilize.toArray()) {
jaroslav@97	162	sb.append("\n").append(init).append("();");
jaroslav@21	163	}
jaroslav@97	164	return sb.toString();
jaroslav@0	165	}
jaroslav@203	166	private void generateStaticMethod(String prefix, MethodData m, StringArray toInitilize) throws IOException {
jaroslav@203	167	if (javaScriptBody(prefix, m, true)) {
jaroslav@94	168	return;
jaroslav@94	169	}
jtulach@156	170	StringBuilder argsCnt = new StringBuilder();
jaroslav@151	171	final String mn = findMethodName(m, argsCnt);
jaroslav@203	172	out.append(prefix).append(mn).append(" = function");
jaroslav@21	173	if (mn.equals("classV")) {
jaroslav@224	174	toInitilize.add(className(jc) + "(false)." + mn);
jaroslav@21	175	}
jaroslav@0	176	out.append('(');
jaroslav@0	177	String space = "";
jtulach@156	178	for (int index = 0, i = 0; i < argsCnt.length(); i++) {
jaroslav@0	179	out.append(space);
jaroslav@2	180	out.append("arg").append(String.valueOf(index));
jaroslav@0	181	space = ",";
jaroslav@151	182	final String desc = null;// XXX findDescriptor(args.get(i).getDescriptor());
jtulach@156	183	if (argsCnt.charAt(i) == '1') {
jaroslav@2	184	index += 2;
jaroslav@2	185	} else {
jaroslav@2	186	index++;
jaroslav@2	187	}
jaroslav@0	188	}
jaroslav@5	189	out.append(") {").append("\n");
lubomir@221	190	if (m.getCode() != null) {
jaroslav@151	191	int len = m.getMaxLocals();
lubomir@221	192	for (int i = argsCnt.length(); i < len; i++) {
jaroslav@18	193	out.append(" var ");
jaroslav@18	194	out.append("arg").append(String.valueOf(i)).append(";\n");
jaroslav@18	195	}
lubomir@221	196	produceCode(m);
jaroslav@18	197	} else {
jaroslav@232	198	out.append(" throw 'no code found for ").append(m.getInternalSig()).append("';\n");
jaroslav@0	199	}
jaroslav@203	200	out.append("};");
jaroslav@10	201	}
jaroslav@10	202
jaroslav@203	203	private void generateInstanceMethod(String prefix, MethodData m) throws IOException {
jaroslav@203	204	if (javaScriptBody(prefix, m, false)) {
jaroslav@94	205	return;
jaroslav@94	206	}
jtulach@156	207	StringBuilder argsCnt = new StringBuilder();
jaroslav@203	208	final String mn = findMethodName(m, argsCnt);
jaroslav@203	209	out.append(prefix).append(mn).append(" = function");
jaroslav@10	210	out.append("(arg0");
jaroslav@10	211	String space = ",";
jtulach@156	212	for (int index = 1, i = 0; i < argsCnt.length(); i++) {
jaroslav@10	213	out.append(space);
jaroslav@10	214	out.append("arg").append(String.valueOf(index));
jtulach@156	215	if (argsCnt.charAt(i) == '1') {
jaroslav@10	216	index += 2;
jaroslav@10	217	} else {
jaroslav@10	218	index++;
jaroslav@10	219	}
jaroslav@10	220	}
jaroslav@10	221	out.append(") {").append("\n");
lubomir@221	222	if (m.getCode() != null) {
jaroslav@151	223	int len = m.getMaxLocals();
lubomir@221	224	for (int i = argsCnt.length(); i < len; i++) {
jaroslav@18	225	out.append(" var ");
jaroslav@18	226	out.append("arg").append(String.valueOf(i + 1)).append(";\n");
jaroslav@18	227	}
lubomir@221	228	produceCode(m);
jaroslav@18	229	} else {
jaroslav@232	230	out.append(" throw 'no code found for ").append(m.getInternalSig()).append("';\n");
jaroslav@10	231	}
jaroslav@203	232	out.append("};");
jaroslav@0	233	}
jaroslav@0	234
lubomir@221	235	private void produceCode(MethodData m) throws IOException {
lubomir@221	236	final byte[] byteCodes = m.getCode();
lubomir@221	237	final StackMapIterator stackMapIterator = m.createStackMapIterator();
lubomir@221	238	final StackToVariableMapper mapper = new StackToVariableMapper();
lubomir@221	239
lubomir@221	240	// maxStack includes two stack positions for every pushed long / double
lubomir@221	241	// so this might generate more stack variables than we need
lubomir@221	242	final int maxStack = m.getMaxStack();
lubomir@221	243	if (maxStack > 0) {
lubomir@281	244	// TODO: generate only used stack variables
lubomir@281	245	for (int j = 0; j <= Variable.LAST_TYPE; ++j) {
lubomir@281	246	out.append("\n var ").append(Variable.getStackVariable(j, 0));
lubomir@281	247	for (int i = 1; i < maxStack; ++i) {
lubomir@281	248	out.append(", ");
lubomir@281	249	out.append(Variable.getStackVariable(j, i));
lubomir@281	250	}
lubomir@281	251	out.append(';');
lubomir@221	252	}
lubomir@221	253	}
lubomir@221	254
lubomir@221	255	int lastStackFrame = -1;
lubomir@221	256
jaroslav@10	257	out.append("\n var gt = 0;\n for(;;) switch(gt) {\n");
jaroslav@0	258	for (int i = 0; i < byteCodes.length; i++) {
jaroslav@0	259	int prev = i;
lubomir@221	260	stackMapIterator.advanceTo(i);
lubomir@221	261	if (lastStackFrame != stackMapIterator.getFrameIndex()) {
lubomir@221	262	lastStackFrame = stackMapIterator.getFrameIndex();
lubomir@281	263	mapper.syncWithFrameStack(stackMapIterator.getFrameStack());
lubomir@221	264	out.append(" case " + i).append(": ");
lubomir@221	265	} else {
lubomir@221	266	out.append(" /* " + i).append(" */ ");
lubomir@221	267	}
jtulach@128	268	final int c = readByte(byteCodes, i);
jaroslav@0	269	switch (c) {
jaroslav@151	270	case opc_aload_0:
lubomir@281	271	out.append(mapper.pushA()).append(" = arg0;");
lubomir@281	272	break;
jaroslav@151	273	case opc_iload_0:
lubomir@281	274	out.append(mapper.pushI()).append(" = arg0;");
lubomir@281	275	break;
jaroslav@151	276	case opc_lload_0:
lubomir@281	277	out.append(mapper.pushL()).append(" = arg0;");
lubomir@281	278	break;
jaroslav@151	279	case opc_fload_0:
lubomir@281	280	out.append(mapper.pushF()).append(" = arg0;");
lubomir@281	281	break;
jaroslav@151	282	case opc_dload_0:
lubomir@281	283	out.append(mapper.pushD()).append(" = arg0;");
jaroslav@0	284	break;
jaroslav@151	285	case opc_aload_1:
lubomir@281	286	out.append(mapper.pushA()).append(" = arg1;");
lubomir@281	287	break;
jaroslav@151	288	case opc_iload_1:
lubomir@281	289	out.append(mapper.pushI()).append(" = arg1;");
lubomir@281	290	break;
jaroslav@151	291	case opc_lload_1:
lubomir@281	292	out.append(mapper.pushL()).append(" = arg1;");
lubomir@281	293	break;
jaroslav@151	294	case opc_fload_1:
lubomir@281	295	out.append(mapper.pushF()).append(" = arg1;");
lubomir@281	296	break;
jaroslav@151	297	case opc_dload_1:
lubomir@281	298	out.append(mapper.pushD()).append(" = arg1;");
jaroslav@0	299	break;
jaroslav@151	300	case opc_aload_2:
lubomir@281	301	out.append(mapper.pushA()).append(" = arg2;");
lubomir@281	302	break;
jaroslav@151	303	case opc_iload_2:
lubomir@281	304	out.append(mapper.pushI()).append(" = arg2;");
lubomir@281	305	break;
jaroslav@151	306	case opc_lload_2:
lubomir@281	307	out.append(mapper.pushL()).append(" = arg2;");
lubomir@281	308	break;
jaroslav@151	309	case opc_fload_2:
lubomir@281	310	out.append(mapper.pushF()).append(" = arg2;");
lubomir@281	311	break;
jaroslav@151	312	case opc_dload_2:
lubomir@281	313	out.append(mapper.pushD()).append(" = arg2;");
jaroslav@2	314	break;
jaroslav@151	315	case opc_aload_3:
lubomir@281	316	out.append(mapper.pushA()).append(" = arg3;");
lubomir@281	317	break;
jaroslav@151	318	case opc_iload_3:
lubomir@281	319	out.append(mapper.pushI()).append(" = arg3;");
lubomir@281	320	break;
jaroslav@151	321	case opc_lload_3:
lubomir@281	322	out.append(mapper.pushL()).append(" = arg3;");
lubomir@281	323	break;
jaroslav@151	324	case opc_fload_3:
lubomir@281	325	out.append(mapper.pushF()).append(" = arg3;");
lubomir@281	326	break;
jaroslav@151	327	case opc_dload_3:
lubomir@281	328	out.append(mapper.pushD()).append(" = arg3;");
jaroslav@3	329	break;
lubomir@281	330	case opc_iload: {
lubomir@281	331	final int indx = readByte(byteCodes, ++i);
lubomir@281	332	out.append(mapper.pushI()).append(" = ")
lubomir@281	333	.append("arg").append(indx + ";");
lubomir@281	334	break;
lubomir@281	335	}
lubomir@281	336	case opc_lload: {
lubomir@281	337	final int indx = readByte(byteCodes, ++i);
lubomir@281	338	out.append(mapper.pushL()).append(" = ")
lubomir@281	339	.append("arg").append(indx + ";");
lubomir@281	340	break;
lubomir@281	341	}
lubomir@281	342	case opc_fload: {
lubomir@281	343	final int indx = readByte(byteCodes, ++i);
lubomir@281	344	out.append(mapper.pushF()).append(" = ")
lubomir@281	345	.append("arg").append(indx + ";");
lubomir@281	346	break;
lubomir@281	347	}
lubomir@281	348	case opc_dload: {
lubomir@281	349	final int indx = readByte(byteCodes, ++i);
lubomir@281	350	out.append(mapper.pushD()).append(" = ")
lubomir@281	351	.append("arg").append(indx + ";");
lubomir@281	352	break;
lubomir@281	353	}
jaroslav@151	354	case opc_aload: {
jtulach@128	355	final int indx = readByte(byteCodes, ++i);
lubomir@281	356	out.append(mapper.pushA()).append(" = ")
lubomir@281	357	.append("arg").append(indx + ";");
jaroslav@3	358	break;
jaroslav@3	359	}
lubomir@281	360	case opc_istore: {
lubomir@281	361	final int indx = readByte(byteCodes, ++i);
lubomir@281	362	out.append("arg" + indx).append(" = ")
lubomir@281	363	.append(mapper.popI()).append(';');
lubomir@281	364	break;
lubomir@281	365	}
lubomir@281	366	case opc_lstore: {
lubomir@281	367	final int indx = readByte(byteCodes, ++i);
lubomir@281	368	out.append("arg" + indx).append(" = ")
lubomir@281	369	.append(mapper.popL()).append(';');
lubomir@281	370	break;
lubomir@281	371	}
lubomir@281	372	case opc_fstore: {
lubomir@281	373	final int indx = readByte(byteCodes, ++i);
lubomir@281	374	out.append("arg" + indx).append(" = ")
lubomir@281	375	.append(mapper.popF()).append(';');
lubomir@281	376	break;
lubomir@281	377	}
lubomir@281	378	case opc_dstore: {
lubomir@281	379	final int indx = readByte(byteCodes, ++i);
lubomir@281	380	out.append("arg" + indx).append(" = ")
lubomir@281	381	.append(mapper.popD()).append(';');
lubomir@281	382	break;
lubomir@281	383	}
jaroslav@151	384	case opc_astore: {
jtulach@128	385	final int indx = readByte(byteCodes, ++i);
lubomir@281	386	out.append("arg" + indx).append(" = ")
lubomir@281	387	.append(mapper.popA()).append(';');
jaroslav@31	388	break;
jaroslav@31	389	}
jaroslav@151	390	case opc_astore_0:
lubomir@281	391	out.append("arg0 = ").append(mapper.popA()).append(';');
lubomir@281	392	break;
jaroslav@151	393	case opc_istore_0:
lubomir@281	394	out.append("arg0 = ").append(mapper.popI()).append(';');
lubomir@281	395	break;
jaroslav@151	396	case opc_lstore_0:
lubomir@281	397	out.append("arg0 = ").append(mapper.popL()).append(';');
lubomir@281	398	break;
jaroslav@151	399	case opc_fstore_0:
lubomir@281	400	out.append("arg0 = ").append(mapper.popF()).append(';');
lubomir@281	401	break;
jaroslav@151	402	case opc_dstore_0:
lubomir@281	403	out.append("arg0 = ").append(mapper.popD()).append(';');
jaroslav@5	404	break;
jaroslav@151	405	case opc_astore_1:
lubomir@281	406	out.append("arg1 = ").append(mapper.popA()).append(';');
lubomir@281	407	break;
jaroslav@151	408	case opc_istore_1:
lubomir@281	409	out.append("arg1 = ").append(mapper.popI()).append(';');
lubomir@281	410	break;
jaroslav@151	411	case opc_lstore_1:
lubomir@281	412	out.append("arg1 = ").append(mapper.popL()).append(';');
lubomir@281	413	break;
jaroslav@151	414	case opc_fstore_1:
lubomir@281	415	out.append("arg1 = ").append(mapper.popF()).append(';');
lubomir@281	416	break;
jaroslav@151	417	case opc_dstore_1:
lubomir@281	418	out.append("arg1 = ").append(mapper.popD()).append(';');
jaroslav@5	419	break;
jaroslav@151	420	case opc_astore_2:
lubomir@281	421	out.append("arg2 = ").append(mapper.popA()).append(';');
lubomir@281	422	break;
jaroslav@151	423	case opc_istore_2:
lubomir@281	424	out.append("arg2 = ").append(mapper.popI()).append(';');
lubomir@281	425	break;
jaroslav@151	426	case opc_lstore_2:
lubomir@281	427	out.append("arg2 = ").append(mapper.popL()).append(';');
lubomir@281	428	break;
jaroslav@151	429	case opc_fstore_2:
lubomir@281	430	out.append("arg2 = ").append(mapper.popF()).append(';');
lubomir@281	431	break;
jaroslav@151	432	case opc_dstore_2:
lubomir@281	433	out.append("arg2 = ").append(mapper.popD()).append(';');
jaroslav@5	434	break;
jaroslav@151	435	case opc_astore_3:
lubomir@281	436	out.append("arg3 = ").append(mapper.popA()).append(';');
lubomir@281	437	break;
jaroslav@151	438	case opc_istore_3:
lubomir@281	439	out.append("arg3 = ").append(mapper.popI()).append(';');
lubomir@281	440	break;
jaroslav@151	441	case opc_lstore_3:
lubomir@281	442	out.append("arg3 = ").append(mapper.popL()).append(';');
lubomir@281	443	break;
jaroslav@151	444	case opc_fstore_3:
lubomir@281	445	out.append("arg3 = ").append(mapper.popF()).append(';');
lubomir@281	446	break;
jaroslav@151	447	case opc_dstore_3:
lubomir@281	448	out.append("arg3 = ").append(mapper.popD()).append(';');
jaroslav@5	449	break;
jaroslav@151	450	case opc_iadd:
lubomir@281	451	out.append(mapper.getI(1)).append(" += ")
lubomir@281	452	.append(mapper.popI()).append(';');
lubomir@281	453	break;
jaroslav@151	454	case opc_ladd:
lubomir@281	455	out.append(mapper.getL(1)).append(" += ")
lubomir@281	456	.append(mapper.popL()).append(';');
lubomir@281	457	break;
jaroslav@151	458	case opc_fadd:
lubomir@281	459	out.append(mapper.getF(1)).append(" += ")
lubomir@281	460	.append(mapper.popF()).append(';');
lubomir@281	461	break;
jaroslav@151	462	case opc_dadd:
lubomir@281	463	out.append(mapper.getD(1)).append(" += ")
lubomir@281	464	.append(mapper.popD()).append(';');
jaroslav@0	465	break;
jaroslav@151	466	case opc_isub:
lubomir@281	467	out.append(mapper.getI(1)).append(" -= ")
lubomir@281	468	.append(mapper.popI()).append(';');
lubomir@281	469	break;
jaroslav@151	470	case opc_lsub:
lubomir@281	471	out.append(mapper.getL(1)).append(" -= ")
lubomir@281	472	.append(mapper.popL()).append(';');
lubomir@281	473	break;
jaroslav@151	474	case opc_fsub:
lubomir@281	475	out.append(mapper.getF(1)).append(" -= ")
lubomir@281	476	.append(mapper.popF()).append(';');
lubomir@281	477	break;
jaroslav@151	478	case opc_dsub:
lubomir@281	479	out.append(mapper.getD(1)).append(" -= ")
lubomir@281	480	.append(mapper.popD()).append(';');
jaroslav@2	481	break;
jaroslav@151	482	case opc_imul:
lubomir@281	483	out.append(mapper.getI(1)).append(" *= ")
lubomir@281	484	.append(mapper.popI()).append(';');
lubomir@281	485	break;
jaroslav@151	486	case opc_lmul:
lubomir@281	487	out.append(mapper.getL(1)).append(" *= ")
lubomir@281	488	.append(mapper.popL()).append(';');
lubomir@281	489	break;
jaroslav@151	490	case opc_fmul:
lubomir@281	491	out.append(mapper.getF(1)).append(" *= ")
lubomir@281	492	.append(mapper.popF()).append(';');
lubomir@281	493	break;
jaroslav@151	494	case opc_dmul:
lubomir@281	495	out.append(mapper.getD(1)).append(" *= ")
lubomir@281	496	.append(mapper.popD()).append(';');
jaroslav@1	497	break;
jaroslav@151	498	case opc_idiv:
lubomir@281	499	out.append(mapper.getI(1)).append(" = ")
lubomir@281	500	.append("Math.floor(").append(mapper.getI(1))
lubomir@281	501	.append(" / ").append(mapper.popI()).append(");");
lubomir@281	502	break;
jaroslav@151	503	case opc_ldiv:
lubomir@281	504	out.append(mapper.getL(1)).append(" = ")
lubomir@281	505	.append("Math.floor(").append(mapper.getL(1))
lubomir@281	506	.append(" / ").append(mapper.popL()).append(");");
jaroslav@3	507	break;
jaroslav@151	508	case opc_fdiv:
lubomir@281	509	out.append(mapper.getF(1)).append(" /= ")
lubomir@281	510	.append(mapper.popF()).append(';');
lubomir@281	511	break;
jaroslav@151	512	case opc_ddiv:
lubomir@281	513	out.append(mapper.getD(1)).append(" /= ")
lubomir@281	514	.append(mapper.popD()).append(';');
jaroslav@3	515	break;
jaroslav@178	516	case opc_irem:
lubomir@281	517	out.append(mapper.getI(1)).append(" %= ")
lubomir@281	518	.append(mapper.popI()).append(';');
lubomir@281	519	break;
jaroslav@178	520	case opc_lrem:
lubomir@281	521	out.append(mapper.getL(1)).append(" %= ")
lubomir@281	522	.append(mapper.popL()).append(';');
lubomir@281	523	break;
jaroslav@178	524	case opc_frem:
lubomir@281	525	out.append(mapper.getF(1)).append(" %= ")
lubomir@281	526	.append(mapper.popF()).append(';');
lubomir@281	527	break;
jaroslav@178	528	case opc_drem:
lubomir@281	529	out.append(mapper.getD(1)).append(" %= ")
lubomir@281	530	.append(mapper.popD()).append(';');
jaroslav@178	531	break;
jaroslav@151	532	case opc_iand:
lubomir@281	533	out.append(mapper.getI(1)).append(" &= ")
lubomir@281	534	.append(mapper.popI()).append(';');
lubomir@281	535	break;
jaroslav@151	536	case opc_land:
lubomir@281	537	out.append(mapper.getL(1)).append(" &= ")
lubomir@281	538	.append(mapper.popL()).append(';');
jaroslav@7	539	break;
jaroslav@151	540	case opc_ior:
lubomir@281	541	out.append(mapper.getI(1)).append(" \|= ")
lubomir@281	542	.append(mapper.popI()).append(';');
lubomir@281	543	break;
jaroslav@151	544	case opc_lor:
lubomir@281	545	out.append(mapper.getL(1)).append(" \|= ")
lubomir@281	546	.append(mapper.popL()).append(';');
jaroslav@7	547	break;
jaroslav@151	548	case opc_ixor:
lubomir@281	549	out.append(mapper.getI(1)).append(" ^= ")
lubomir@281	550	.append(mapper.popI()).append(';');
lubomir@281	551	break;
jaroslav@151	552	case opc_lxor:
lubomir@281	553	out.append(mapper.getL(1)).append(" ^= ")
lubomir@281	554	.append(mapper.popL()).append(';');
jaroslav@6	555	break;
jaroslav@151	556	case opc_ineg:
lubomir@281	557	out.append(mapper.getI(0)).append(" = -")
lubomir@281	558	.append(mapper.getI(0)).append(';');
lubomir@281	559	break;
jaroslav@151	560	case opc_lneg:
lubomir@281	561	out.append(mapper.getL(0)).append(" = -")
lubomir@281	562	.append(mapper.getL(0)).append(';');
lubomir@281	563	break;
jaroslav@151	564	case opc_fneg:
lubomir@281	565	out.append(mapper.getF(0)).append(" = -")
lubomir@281	566	.append(mapper.getF(0)).append(';');
lubomir@281	567	break;
jaroslav@151	568	case opc_dneg:
lubomir@281	569	out.append(mapper.getD(0)).append(" = -")
lubomir@281	570	.append(mapper.getD(0)).append(';');
jaroslav@93	571	break;
jaroslav@151	572	case opc_ishl:
lubomir@281	573	out.append(mapper.getI(1)).append(" <<= ")
lubomir@281	574	.append(mapper.popI()).append(';');
lubomir@281	575	break;
jaroslav@151	576	case opc_lshl:
lubomir@281	577	out.append(mapper.getL(1)).append(" <<= ")
lubomir@281	578	.append(mapper.popI()).append(';');
jaroslav@93	579	break;
jaroslav@151	580	case opc_ishr:
lubomir@281	581	out.append(mapper.getI(1)).append(" >>= ")
lubomir@281	582	.append(mapper.popI()).append(';');
lubomir@281	583	break;
jaroslav@151	584	case opc_lshr:
lubomir@281	585	out.append(mapper.getL(1)).append(" >>= ")
lubomir@281	586	.append(mapper.popI()).append(';');
jaroslav@93	587	break;
jaroslav@151	588	case opc_iushr:
lubomir@281	589	out.append(mapper.getI(1)).append(" >>>= ")
lubomir@281	590	.append(mapper.popI()).append(';');
lubomir@281	591	break;
jaroslav@151	592	case opc_lushr:
lubomir@281	593	out.append(mapper.getL(1)).append(" >>>= ")
lubomir@281	594	.append(mapper.popI()).append(';');
jaroslav@93	595	break;
jaroslav@151	596	case opc_iinc: {
jtulach@128	597	final int varIndx = readByte(byteCodes, ++i);
jaroslav@104	598	final int incrBy = byteCodes[++i];
jaroslav@5	599	if (incrBy == 1) {
jaroslav@5	600	out.append("arg" + varIndx).append("++;");
jaroslav@5	601	} else {
jaroslav@5	602	out.append("arg" + varIndx).append(" += " + incrBy).append(";");
jaroslav@5	603	}
jaroslav@5	604	break;
jaroslav@5	605	}
jaroslav@151	606	case opc_return:
jaroslav@10	607	out.append("return;");
jaroslav@10	608	break;
jaroslav@151	609	case opc_ireturn:
lubomir@281	610	out.append("return ").append(mapper.popI()).append(';');
lubomir@281	611	break;
jaroslav@151	612	case opc_lreturn:
lubomir@281	613	out.append("return ").append(mapper.popL()).append(';');
lubomir@281	614	break;
jaroslav@151	615	case opc_freturn:
lubomir@281	616	out.append("return ").append(mapper.popF()).append(';');
lubomir@281	617	break;
jaroslav@151	618	case opc_dreturn:
lubomir@281	619	out.append("return ").append(mapper.popD()).append(';');
lubomir@281	620	break;
jaroslav@151	621	case opc_areturn:
lubomir@281	622	out.append("return ").append(mapper.popA()).append(';');
jaroslav@1	623	break;
lubomir@281	624	case opc_i2l: {
lubomir@281	625	final Variable v = mapper.popI();
lubomir@281	626	out.append(mapper.pushL()).append(" = ")
lubomir@281	627	.append(v).append(';');
lubomir@281	628	break;
lubomir@281	629	}
lubomir@281	630	case opc_i2f: {
lubomir@281	631	final Variable v = mapper.popI();
lubomir@281	632	out.append(mapper.pushF()).append(" = ")
lubomir@281	633	.append(v).append(';');
lubomir@281	634	break;
lubomir@281	635	}
lubomir@281	636	case opc_i2d: {
lubomir@281	637	final Variable v = mapper.popI();
lubomir@281	638	out.append(mapper.pushD()).append(" = ")
lubomir@281	639	.append(v).append(';');
lubomir@281	640	break;
lubomir@281	641	}
lubomir@281	642	case opc_l2i: {
lubomir@281	643	final Variable v = mapper.popL();
lubomir@281	644	out.append(mapper.pushI()).append(" = ")
lubomir@281	645	.append(v).append(';');
lubomir@281	646	break;
lubomir@281	647	}
jaroslav@3	648	// max int check?
lubomir@281	649	case opc_l2f: {
lubomir@281	650	final Variable v = mapper.popL();
lubomir@281	651	out.append(mapper.pushF()).append(" = ")
lubomir@281	652	.append(v).append(';');
jaroslav@3	653	break;
lubomir@281	654	}
lubomir@281	655	case opc_l2d: {
lubomir@281	656	final Variable v = mapper.popL();
lubomir@281	657	out.append(mapper.pushD()).append(" = ")
lubomir@281	658	.append(v).append(';');
jaroslav@3	659	break;
lubomir@281	660	}
lubomir@281	661	case opc_f2d: {
lubomir@281	662	final Variable v = mapper.popF();
lubomir@281	663	out.append(mapper.pushD()).append(" = ")
lubomir@281	664	.append(v).append(';');
lubomir@281	665	break;
lubomir@281	666	}
lubomir@281	667	case opc_d2f: {
lubomir@281	668	final Variable v = mapper.popD();
lubomir@281	669	out.append(mapper.pushF()).append(" = ")
lubomir@281	670	.append(v).append(';');
lubomir@281	671	break;
lubomir@281	672	}
lubomir@281	673	case opc_f2i: {
lubomir@281	674	final Variable v = mapper.popF();
lubomir@281	675	out.append(mapper.pushI()).append(" = ")
lubomir@281	676	.append("Math.floor(").append(v).append(");");
lubomir@281	677	break;
lubomir@281	678	}
lubomir@281	679	case opc_f2l: {
lubomir@281	680	final Variable v = mapper.popF();
lubomir@281	681	out.append(mapper.pushL()).append(" = ")
lubomir@281	682	.append("Math.floor(").append(v).append(");");
lubomir@281	683	break;
lubomir@281	684	}
lubomir@281	685	case opc_d2i: {
lubomir@281	686	final Variable v = mapper.popD();
lubomir@281	687	out.append(mapper.pushI()).append(" = ")
lubomir@281	688	.append("Math.floor(").append(v).append(");");
lubomir@281	689	break;
lubomir@281	690	}
lubomir@281	691	case opc_d2l: {
lubomir@281	692	final Variable v = mapper.popD();
lubomir@281	693	out.append(mapper.pushL()).append(" = ")
lubomir@281	694	.append("Math.floor(").append(v).append(");");
lubomir@281	695	break;
lubomir@281	696	}
jaroslav@151	697	case opc_i2b:
jaroslav@151	698	case opc_i2c:
jaroslav@151	699	case opc_i2s:
jaroslav@2	700	out.append("/* number conversion */");
jaroslav@2	701	break;
jaroslav@151	702	case opc_aconst_null:
lubomir@281	703	out.append(mapper.pushA()).append(" = null;");
jaroslav@46	704	break;
jaroslav@151	705	case opc_iconst_m1:
lubomir@281	706	out.append(mapper.pushI()).append(" = -1;");
jaroslav@48	707	break;
jaroslav@151	708	case opc_iconst_0:
lubomir@281	709	out.append(mapper.pushI()).append(" = 0;");
lubomir@281	710	break;
jaroslav@151	711	case opc_dconst_0:
lubomir@281	712	out.append(mapper.pushD()).append(" = 0;");
lubomir@281	713	break;
jaroslav@151	714	case opc_lconst_0:
lubomir@281	715	out.append(mapper.pushL()).append(" = 0;");
lubomir@281	716	break;
jaroslav@151	717	case opc_fconst_0:
lubomir@281	718	out.append(mapper.pushF()).append(" = 0;");
jaroslav@4	719	break;
jaroslav@151	720	case opc_iconst_1:
lubomir@281	721	out.append(mapper.pushI()).append(" = 1;");
lubomir@281	722	break;
jaroslav@151	723	case opc_lconst_1:
lubomir@281	724	out.append(mapper.pushL()).append(" = 1;");
lubomir@281	725	break;
jaroslav@151	726	case opc_fconst_1:
lubomir@281	727	out.append(mapper.pushF()).append(" = 1;");
lubomir@281	728	break;
jaroslav@151	729	case opc_dconst_1:
lubomir@281	730	out.append(mapper.pushD()).append(" = 1;");
jaroslav@4	731	break;
jaroslav@151	732	case opc_iconst_2:
lubomir@281	733	out.append(mapper.pushI()).append(" = 2;");
lubomir@281	734	break;
jaroslav@151	735	case opc_fconst_2:
lubomir@281	736	out.append(mapper.pushF()).append(" = 2;");
jaroslav@4	737	break;
jaroslav@151	738	case opc_iconst_3:
lubomir@281	739	out.append(mapper.pushI()).append(" = 3;");
jaroslav@4	740	break;
jaroslav@151	741	case opc_iconst_4:
lubomir@281	742	out.append(mapper.pushI()).append(" = 4;");
jaroslav@4	743	break;
jaroslav@151	744	case opc_iconst_5:
lubomir@281	745	out.append(mapper.pushI()).append(" = 5;");
jaroslav@4	746	break;
jaroslav@151	747	case opc_ldc: {
jtulach@128	748	int indx = readByte(byteCodes, ++i);
jaroslav@151	749	String v = encodeConstant(indx);
lubomir@281	750	int type = constantToVariableType(jc.getTag(indx));
lubomir@281	751	out.append(mapper.pushT(type)).append(" = ")
lubomir@281	752	.append(v).append(';');
jaroslav@20	753	break;
jaroslav@20	754	}
jaroslav@151	755	case opc_ldc_w:
jaroslav@151	756	case opc_ldc2_w: {
jaroslav@8	757	int indx = readIntArg(byteCodes, i);
jaroslav@8	758	i += 2;
jaroslav@151	759	String v = encodeConstant(indx);
lubomir@281	760	int type = constantToVariableType(jc.getTag(indx));
lubomir@281	761	out.append(mapper.pushT(type)).append(" = ")
lubomir@281	762	.append(v).append(';');
jaroslav@8	763	break;
jaroslav@8	764	}
jaroslav@151	765	case opc_lcmp:
lubomir@281	766	generateCmp(mapper.popL(), mapper.popL(), mapper.pushI());
lubomir@281	767	break;
jaroslav@151	768	case opc_fcmpl:
jaroslav@151	769	case opc_fcmpg:
lubomir@281	770	generateCmp(mapper.popF(), mapper.popF(), mapper.pushI());
lubomir@281	771	break;
jaroslav@151	772	case opc_dcmpl:
lubomir@281	773	case opc_dcmpg:
lubomir@281	774	generateCmp(mapper.popD(), mapper.popD(), mapper.pushI());
jaroslav@20	775	break;
jaroslav@151	776	case opc_if_acmpeq:
lubomir@281	777	i = generateIf(byteCodes, i, mapper.popA(), mapper.popA(),
lubomir@281	778	"===");
jaroslav@104	779	break;
jaroslav@151	780	case opc_if_acmpne:
lubomir@281	781	i = generateIf(byteCodes, i, mapper.popA(), mapper.popA(),
lubomir@281	782	"!=");
jaroslav@104	783	break;
jaroslav@151	784	case opc_if_icmpeq: {
lubomir@281	785	i = generateIf(byteCodes, i, mapper.popI(), mapper.popI(),
lubomir@281	786	"==");
jaroslav@4	787	break;
jaroslav@4	788	}
jaroslav@151	789	case opc_ifeq: {
jaroslav@7	790	int indx = i + readIntArg(byteCodes, i);
lubomir@281	791	out.append("if (").append(mapper.popI())
lubomir@221	792	.append(" == 0) { gt = " + indx);
jaroslav@7	793	out.append("; continue; }");
jaroslav@7	794	i += 2;
jaroslav@7	795	break;
jaroslav@7	796	}
jaroslav@151	797	case opc_ifne: {
jaroslav@20	798	int indx = i + readIntArg(byteCodes, i);
lubomir@281	799	out.append("if (").append(mapper.popI())
lubomir@221	800	.append(" != 0) { gt = " + indx);
jaroslav@20	801	out.append("; continue; }");
jaroslav@20	802	i += 2;
jaroslav@20	803	break;
jaroslav@20	804	}
jaroslav@151	805	case opc_iflt: {
jaroslav@20	806	int indx = i + readIntArg(byteCodes, i);
lubomir@281	807	out.append("if (").append(mapper.popI())
lubomir@221	808	.append(" < 0) { gt = " + indx);
jaroslav@20	809	out.append("; continue; }");
jaroslav@20	810	i += 2;
jaroslav@20	811	break;
jaroslav@20	812	}
jaroslav@151	813	case opc_ifle: {
jaroslav@20	814	int indx = i + readIntArg(byteCodes, i);
lubomir@281	815	out.append("if (").append(mapper.popI())
lubomir@221	816	.append(" <= 0) { gt = " + indx);
jaroslav@20	817	out.append("; continue; }");
jaroslav@20	818	i += 2;
jaroslav@20	819	break;
jaroslav@20	820	}
jaroslav@151	821	case opc_ifgt: {
jaroslav@20	822	int indx = i + readIntArg(byteCodes, i);
lubomir@281	823	out.append("if (").append(mapper.popI())
lubomir@221	824	.append(" > 0) { gt = " + indx);
jaroslav@20	825	out.append("; continue; }");
jaroslav@20	826	i += 2;
jaroslav@20	827	break;
jaroslav@20	828	}
jaroslav@151	829	case opc_ifge: {
jaroslav@20	830	int indx = i + readIntArg(byteCodes, i);
lubomir@281	831	out.append("if (").append(mapper.popI())
lubomir@221	832	.append(" >= 0) { gt = " + indx);
jaroslav@20	833	out.append("; continue; }");
jaroslav@20	834	i += 2;
jaroslav@20	835	break;
jaroslav@20	836	}
jaroslav@151	837	case opc_ifnonnull: {
jaroslav@16	838	int indx = i + readIntArg(byteCodes, i);
lubomir@281	839	out.append("if (").append(mapper.popA())
lubomir@221	840	.append(" !== null) { gt = " + indx);
jaroslav@16	841	out.append("; continue; }");
jaroslav@16	842	i += 2;
jaroslav@16	843	break;
jaroslav@16	844	}
jaroslav@151	845	case opc_ifnull: {
jaroslav@16	846	int indx = i + readIntArg(byteCodes, i);
lubomir@281	847	out.append("if (").append(mapper.popA())
lubomir@221	848	.append(" === null) { gt = " + indx);
jaroslav@16	849	out.append("; continue; }");
jaroslav@16	850	i += 2;
jaroslav@16	851	break;
jaroslav@16	852	}
jaroslav@151	853	case opc_if_icmpne:
lubomir@281	854	i = generateIf(byteCodes, i, mapper.popI(), mapper.popI(),
lubomir@281	855	"!=");
jaroslav@4	856	break;
jaroslav@151	857	case opc_if_icmplt:
lubomir@281	858	i = generateIf(byteCodes, i, mapper.popI(), mapper.popI(),
lubomir@281	859	"<");
jaroslav@4	860	break;
jaroslav@151	861	case opc_if_icmple:
lubomir@281	862	i = generateIf(byteCodes, i, mapper.popI(), mapper.popI(),
lubomir@281	863	"<=");
jaroslav@4	864	break;
jaroslav@151	865	case opc_if_icmpgt:
lubomir@281	866	i = generateIf(byteCodes, i, mapper.popI(), mapper.popI(),
lubomir@281	867	">");
jaroslav@4	868	break;
jaroslav@151	869	case opc_if_icmpge:
lubomir@281	870	i = generateIf(byteCodes, i, mapper.popI(), mapper.popI(),
lubomir@281	871	">=");
jaroslav@4	872	break;
jaroslav@151	873	case opc_goto: {
jaroslav@5	874	int indx = i + readIntArg(byteCodes, i);
jaroslav@5	875	out.append("gt = " + indx).append("; continue;");
jaroslav@5	876	i += 2;
jaroslav@5	877	break;
jaroslav@5	878	}
jaroslav@151	879	case opc_lookupswitch: {
jtulach@128	880	int table = i / 4 * 4 + 4;
jaroslav@115	881	int dflt = i + readInt4(byteCodes, table);
jaroslav@115	882	table += 4;
jaroslav@115	883	int n = readInt4(byteCodes, table);
jaroslav@115	884	table += 4;
lubomir@281	885	out.append("switch (").append(mapper.popI()).append(") {\n");
jaroslav@115	886	while (n-- > 0) {
jaroslav@115	887	int cnstnt = readInt4(byteCodes, table);
jaroslav@115	888	table += 4;
jaroslav@115	889	int offset = i + readInt4(byteCodes, table);
jaroslav@115	890	table += 4;
jaroslav@115	891	out.append(" case " + cnstnt).append(": gt = " + offset).append("; continue;\n");
jaroslav@115	892	}
jaroslav@115	893	out.append(" default: gt = " + dflt).append("; continue;\n}");
jaroslav@115	894	i = table - 1;
jaroslav@115	895	break;
jaroslav@115	896	}
jaroslav@151	897	case opc_tableswitch: {
jtulach@128	898	int table = i / 4 * 4 + 4;
jaroslav@115	899	int dflt = i + readInt4(byteCodes, table);
jaroslav@115	900	table += 4;
jaroslav@115	901	int low = readInt4(byteCodes, table);
jaroslav@115	902	table += 4;
jaroslav@115	903	int high = readInt4(byteCodes, table);
jaroslav@115	904	table += 4;
lubomir@281	905	out.append("switch (").append(mapper.popI()).append(") {\n");
jaroslav@115	906	while (low <= high) {
jaroslav@115	907	int offset = i + readInt4(byteCodes, table);
jaroslav@115	908	table += 4;
jaroslav@115	909	out.append(" case " + low).append(": gt = " + offset).append("; continue;\n");
jaroslav@115	910	low++;
jaroslav@115	911	}
jaroslav@115	912	out.append(" default: gt = " + dflt).append("; continue;\n}");
jaroslav@115	913	i = table - 1;
jaroslav@115	914	break;
jaroslav@115	915	}
jaroslav@151	916	case opc_invokeinterface: {
lubomir@221	917	i = invokeVirtualMethod(byteCodes, i, mapper) + 2;
jaroslav@46	918	break;
jaroslav@46	919	}
jaroslav@151	920	case opc_invokevirtual:
lubomir@221	921	i = invokeVirtualMethod(byteCodes, i, mapper);
jaroslav@12	922	break;
jaroslav@151	923	case opc_invokespecial:
lubomir@221	924	i = invokeStaticMethod(byteCodes, i, mapper, false);
jaroslav@4	925	break;
jaroslav@151	926	case opc_invokestatic:
lubomir@221	927	i = invokeStaticMethod(byteCodes, i, mapper, true);
jaroslav@10	928	break;
jaroslav@151	929	case opc_new: {
jaroslav@8	930	int indx = readIntArg(byteCodes, i);
jaroslav@151	931	String ci = jc.getClassName(indx);
lubomir@281	932	out.append(mapper.pushA()).append(" = ");
jtulach@191	933	out.append("new ").append(ci.replace('/','_'));
lubomir@221	934	out.append(';');
jaroslav@151	935	addReference(ci);
jaroslav@8	936	i += 2;
jaroslav@8	937	break;
jaroslav@8	938	}
jaroslav@151	939	case opc_newarray: {
lubomir@221	940	++i; // skip type of array
lubomir@281	941	final Variable v = mapper.popI();
lubomir@281	942	out.append(mapper.pushA()).append(" = ")
lubomir@281	943	.append("new Array(").append(v).append(").fillNulls();");
jaroslav@21	944	break;
jaroslav@21	945	}
jaroslav@151	946	case opc_anewarray: {
jaroslav@21	947	i += 2; // skip type of array
lubomir@281	948	final Variable v = mapper.popI();
lubomir@281	949	out.append(mapper.pushA()).append(" = ")
lubomir@281	950	.append("new Array(").append(v).append(").fillNulls();");
jaroslav@21	951	break;
jaroslav@21	952	}
jaroslav@151	953	case opc_multianewarray: {
jtulach@128	954	i += 2;
jtulach@128	955	int dim = readByte(byteCodes, ++i);
lubomir@281	956	out.append("{ var a0 = new Array(").append(mapper.popI())
lubomir@221	957	.append(").fillNulls();");
jtulach@128	958	for (int d = 1; d < dim; d++) {
lubomir@221	959	out.append("\n var l" + d).append(" = ")
lubomir@281	960	.append(mapper.popI()).append(';');
jtulach@128	961	out.append("\n for (var i" + d).append (" = 0; i" + d).
jtulach@128	962	append(" < a" + (d - 1)).
jtulach@128	963	append(".length; i" + d).append("++) {");
jtulach@128	964	out.append("\n var a" + d).
jaroslav@172	965	append (" = new Array(l" + d).append(").fillNulls();");
jtulach@128	966	out.append("\n a" + (d - 1)).append("[i" + d).append("] = a" + d).
jtulach@128	967	append(";");
jtulach@128	968	}
jtulach@128	969	for (int d = 1; d < dim; d++) {
jtulach@128	970	out.append("\n }");
jtulach@128	971	}
lubomir@281	972	out.append("\n").append(mapper.pushA()).append(" = a0; }");
jtulach@128	973	break;
jtulach@128	974	}
lubomir@281	975	case opc_arraylength: {
lubomir@281	976	final Variable v = mapper.popA();
lubomir@281	977	out.append(mapper.pushI()).append(" = ")
lubomir@281	978	.append(v).append(".length;");
jaroslav@21	979	break;
lubomir@281	980	}
lubomir@281	981	case opc_lastore: {
lubomir@281	982	out.append(mapper.getA(2)).append('[')
lubomir@281	983	.append(mapper.getI(1))
lubomir@281	984	.append(']')
lubomir@281	985	.append(" = ").append(mapper.getL(0)).append(';');
lubomir@281	986	mapper.pop(3);
lubomir@281	987	break;
lubomir@281	988	}
lubomir@281	989	case opc_fastore: {
lubomir@281	990	out.append(mapper.getA(2)).append('[')
lubomir@281	991	.append(mapper.getI(1))
lubomir@281	992	.append(']')
lubomir@281	993	.append(" = ").append(mapper.getF(0)).append(';');
lubomir@281	994	mapper.pop(3);
lubomir@281	995	break;
lubomir@281	996	}
lubomir@281	997	case opc_dastore: {
lubomir@281	998	out.append(mapper.getA(2)).append('[')
lubomir@281	999	.append(mapper.getI(1))
lubomir@281	1000	.append(']')
lubomir@281	1001	.append(" = ").append(mapper.getD(0)).append(';');
lubomir@281	1002	mapper.pop(3);
lubomir@281	1003	break;
lubomir@281	1004	}
lubomir@281	1005	case opc_aastore: {
lubomir@281	1006	out.append(mapper.getA(2)).append('[')
lubomir@281	1007	.append(mapper.getI(1))
lubomir@281	1008	.append(']')
lubomir@281	1009	.append(" = ").append(mapper.getA(0)).append(';');
lubomir@281	1010	mapper.pop(3);
lubomir@281	1011	break;
lubomir@281	1012	}
jaroslav@151	1013	case opc_iastore:
jaroslav@151	1014	case opc_bastore:
jaroslav@151	1015	case opc_castore:
jaroslav@151	1016	case opc_sastore: {
lubomir@281	1017	out.append(mapper.getA(2)).append('[')
lubomir@281	1018	.append(mapper.getI(1))
lubomir@281	1019	.append(']')
lubomir@281	1020	.append(" = ").append(mapper.getI(0)).append(';');
lubomir@221	1021	mapper.pop(3);
jaroslav@21	1022	break;
jaroslav@21	1023	}
lubomir@281	1024	case opc_laload: {
lubomir@281	1025	final Variable vidx = mapper.popI();
lubomir@281	1026	final Variable varr = mapper.popA();
lubomir@281	1027	out.append(mapper.pushL()).append(" = ")
lubomir@281	1028	.append(varr).append('[').append(vidx).append("];");
lubomir@281	1029	break;
lubomir@281	1030	}
lubomir@281	1031	case opc_faload: {
lubomir@281	1032	final Variable vidx = mapper.popI();
lubomir@281	1033	final Variable varr = mapper.popA();
lubomir@281	1034	out.append(mapper.pushF()).append(" = ")
lubomir@281	1035	.append(varr).append('[').append(vidx).append("];");
lubomir@281	1036	break;
lubomir@281	1037	}
lubomir@281	1038	case opc_daload: {
lubomir@281	1039	final Variable vidx = mapper.popI();
lubomir@281	1040	final Variable varr = mapper.popA();
lubomir@281	1041	out.append(mapper.pushD()).append(" = ")
lubomir@281	1042	.append(varr).append('[').append(vidx).append("];");
lubomir@281	1043	break;
lubomir@281	1044	}
lubomir@281	1045	case opc_aaload: {
lubomir@281	1046	final Variable vidx = mapper.popI();
lubomir@281	1047	final Variable varr = mapper.popA();
lubomir@281	1048	out.append(mapper.pushA()).append(" = ")
lubomir@281	1049	.append(varr).append('[').append(vidx).append("];");
lubomir@281	1050	break;
lubomir@281	1051	}
jaroslav@151	1052	case opc_iaload:
jaroslav@151	1053	case opc_baload:
jaroslav@151	1054	case opc_caload:
jaroslav@151	1055	case opc_saload: {
lubomir@281	1056	final Variable vidx = mapper.popI();
lubomir@281	1057	final Variable varr = mapper.popA();
lubomir@281	1058	out.append(mapper.pushI()).append(" = ")
lubomir@281	1059	.append(varr).append('[').append(vidx).append("];");
jaroslav@21	1060	break;
jaroslav@21	1061	}
lubomir@221	1062	case opc_pop:
jaroslav@151	1063	case opc_pop2:
lubomir@221	1064	mapper.pop(1);
lubomir@221	1065	out.append("/* pop */");
jaroslav@93	1066	break;
lubomir@281	1067	case opc_dup: {
lubomir@281	1068	final Variable v = mapper.get(0);
lubomir@281	1069	out.append(mapper.pushT(v.getType())).append(" = ")
lubomir@281	1070	.append(v).append(';');
jaroslav@8	1071	break;
lubomir@281	1072	}
lubomir@281	1073	case opc_dup2: {
lubomir@281	1074	if (mapper.get(0).isCategory2()) {
lubomir@281	1075	final Variable v = mapper.get(0);
lubomir@281	1076	out.append(mapper.pushT(v.getType())).append(" = ")
lubomir@281	1077	.append(v).append(';');
lubomir@281	1078	} else {
lubomir@281	1079	final Variable v1 = mapper.get(0);
lubomir@281	1080	final Variable v2 = mapper.get(1);
lubomir@281	1081	out.append("{ ");
lubomir@281	1082	out.append(mapper.pushT(v2.getType())).append(" = ")
lubomir@281	1083	.append(v2).append("; ");
lubomir@281	1084	out.append(mapper.pushT(v1.getType())).append(" = ")
lubomir@281	1085	.append(v1).append("; ");
lubomir@281	1086	out.append('}');
lubomir@281	1087	}
lubomir@281	1088	break;
lubomir@281	1089	}
lubomir@281	1090	case opc_dup_x1: {
lubomir@281	1091	final Variable vi1 = mapper.pop();
lubomir@281	1092	final Variable vi2 = mapper.pop();
lubomir@281	1093	final Variable vo3 = mapper.pushT(vi1.getType());
lubomir@281	1094	final Variable vo2 = mapper.pushT(vi2.getType());
lubomir@281	1095	final Variable vo1 = mapper.pushT(vi1.getType());
lubomir@281	1096
lubomir@221	1097	out.append("{ ");
lubomir@281	1098	out.append(vo1).append(" = ").append(vi1).append("; ");
lubomir@281	1099	out.append(vo2).append(" = ").append(vi2).append("; ");
lubomir@281	1100	out.append(vo3).append(" = ").append(vo1).append("; ");
lubomir@221	1101	out.append('}');
jaroslav@170	1102	break;
lubomir@281	1103	}
lubomir@281	1104	case opc_dup_x2: {
lubomir@281	1105	if (mapper.get(1).isCategory2()) {
lubomir@281	1106	final Variable vi1 = mapper.pop();
lubomir@281	1107	final Variable vi2 = mapper.pop();
lubomir@281	1108	final Variable vo3 = mapper.pushT(vi1.getType());
lubomir@281	1109	final Variable vo2 = mapper.pushT(vi2.getType());
lubomir@281	1110	final Variable vo1 = mapper.pushT(vi1.getType());
lubomir@281	1111
lubomir@281	1112	out.append("{ ");
lubomir@281	1113	out.append(vo1).append(" = ").append(vi1).append("; ");
lubomir@281	1114	out.append(vo2).append(" = ").append(vi2).append("; ");
lubomir@281	1115	out.append(vo3).append(" = ").append(vo1).append("; ");
lubomir@281	1116	out.append('}');
lubomir@281	1117	} else {
lubomir@281	1118	final Variable vi1 = mapper.pop();
lubomir@281	1119	final Variable vi2 = mapper.pop();
lubomir@281	1120	final Variable vi3 = mapper.pop();
lubomir@281	1121	final Variable vo4 = mapper.pushT(vi1.getType());
lubomir@281	1122	final Variable vo3 = mapper.pushT(vi3.getType());
lubomir@281	1123	final Variable vo2 = mapper.pushT(vi2.getType());
lubomir@281	1124	final Variable vo1 = mapper.pushT(vi1.getType());
lubomir@281	1125
lubomir@281	1126	out.append("{ ");
lubomir@281	1127	out.append(vo1).append(" = ").append(vi1).append("; ");
lubomir@281	1128	out.append(vo2).append(" = ").append(vi2).append("; ");
lubomir@281	1129	out.append(vo3).append(" = ").append(vi3).append("; ");
lubomir@281	1130	out.append(vo4).append(" = ").append(vo1).append("; ");
lubomir@281	1131	out.append('}');
lubomir@281	1132	}
jaroslav@170	1133	break;
lubomir@281	1134	}
jaroslav@151	1135	case opc_bipush:
lubomir@281	1136	out.append(mapper.pushI()).append(" = ")
lubomir@221	1137	.append(Integer.toString(byteCodes[++i])).append(';');
jaroslav@8	1138	break;
jaroslav@151	1139	case opc_sipush:
lubomir@281	1140	out.append(mapper.pushI()).append(" = ")
lubomir@221	1141	.append(Integer.toString(readIntArg(byteCodes, i)))
lubomir@221	1142	.append(';');
jaroslav@31	1143	i += 2;
jaroslav@31	1144	break;
jaroslav@151	1145	case opc_getfield: {
jaroslav@8	1146	int indx = readIntArg(byteCodes, i);
jaroslav@151	1147	String[] fi = jc.getFieldInfoName(indx);
lubomir@281	1148	final int type = fieldToVariableType(fi[2].charAt(0));
lubomir@281	1149	final Variable v = mapper.popA();
lubomir@281	1150	out.append(mapper.pushT(type)).append(" = ")
lubomir@281	1151	.append(v).append(".fld_").append(fi[1]).append(';');
jaroslav@8	1152	i += 2;
jaroslav@8	1153	break;
jaroslav@8	1154	}
jaroslav@151	1155	case opc_getstatic: {
jaroslav@9	1156	int indx = readIntArg(byteCodes, i);
jaroslav@151	1157	String[] fi = jc.getFieldInfoName(indx);
lubomir@281	1158	final int type = fieldToVariableType(fi[2].charAt(0));
lubomir@281	1159	out.append(mapper.pushT(type)).append(" = ")
lubomir@221	1160	.append(fi[0].replace('/', '_'))
lubomir@221	1161	.append('.').append(fi[1]).append(';');
jaroslav@9	1162	i += 2;
jaroslav@151	1163	addReference(fi[0]);
jaroslav@9	1164	break;
jaroslav@9	1165	}
jaroslav@151	1166	case opc_putfield: {
jaroslav@10	1167	int indx = readIntArg(byteCodes, i);
jaroslav@151	1168	String[] fi = jc.getFieldInfoName(indx);
lubomir@281	1169	final int type = fieldToVariableType(fi[2].charAt(0));
lubomir@281	1170	final Variable v = mapper.popT(type);
lubomir@281	1171	out.append(mapper.popA()).append(".fld_").append(fi[1])
lubomir@281	1172	.append(" = ").append(v).append(';');
jaroslav@10	1173	i += 2;
jaroslav@10	1174	break;
jaroslav@10	1175	}
lubomir@281	1176	case opc_putstatic: {
lubomir@281	1177	int indx = readIntArg(byteCodes, i);
lubomir@281	1178	String[] fi = jc.getFieldInfoName(indx);
lubomir@281	1179	final int type = fieldToVariableType(fi[2].charAt(0));
lubomir@281	1180	out.append(fi[0].replace('/', '_'));
lubomir@281	1181	out.append('.').append(fi[1]).append(" = ")
lubomir@281	1182	.append(mapper.popT(type)).append(';');
lubomir@281	1183	i += 2;
lubomir@281	1184	addReference(fi[0]);
lubomir@281	1185	break;
lubomir@281	1186	}
jaroslav@151	1187	case opc_checkcast: {
jaroslav@30	1188	int indx = readIntArg(byteCodes, i);
jaroslav@151	1189	final String type = jc.getClassName(indx);
jaroslav@42	1190	if (!type.startsWith("[")) {
jaroslav@42	1191	// no way to check arrays right now
lubomir@281	1192	out.append("if (").append(mapper.getA(0))
lubomir@221	1193	.append(".$instOf_").append(type.replace('/', '_'))
jaroslav@42	1194	.append(" != 1) throw {};"); // XXX proper exception
jaroslav@42	1195	}
jaroslav@30	1196	i += 2;
jaroslav@30	1197	break;
jaroslav@30	1198	}
jaroslav@151	1199	case opc_instanceof: {
jaroslav@17	1200	int indx = readIntArg(byteCodes, i);
jaroslav@151	1201	final String type = jc.getClassName(indx);
lubomir@281	1202	final Variable v = mapper.popA();
lubomir@281	1203	out.append(mapper.pushI()).append(" = ")
lubomir@281	1204	.append(v).append(".$instOf_")
lubomir@281	1205	.append(type.replace('/', '_'))
lubomir@221	1206	.append(" ? 1 : 0;");
jaroslav@17	1207	i += 2;
jaroslav@30	1208	break;
jaroslav@17	1209	}
jaroslav@151	1210	case opc_athrow: {
lubomir@281	1211	final Variable v = mapper.popA();
lubomir@281	1212	mapper.clear();
lubomir@281	1213
lubomir@221	1214	out.append("{ ");
lubomir@281	1215	out.append(mapper.pushA()).append(" = ")
lubomir@281	1216	.append(v).append("; ");
lubomir@281	1217	out.append("throw ").append(v).append("; ");
lubomir@221	1218	out.append('}');
lubomir@221	1219
jaroslav@104	1220	break;
jaroslav@104	1221	}
lubomir@221	1222
lubomir@221	1223	case opc_monitorenter: {
lubomir@221	1224	out.append("/* monitor enter */");
lubomir@281	1225	mapper.popA();
lubomir@221	1226	break;
lubomir@221	1227	}
lubomir@221	1228
lubomir@221	1229	case opc_monitorexit: {
lubomir@221	1230	out.append("/* monitor exit */");
lubomir@281	1231	mapper.popA();
lubomir@221	1232	break;
lubomir@221	1233	}
lubomir@221	1234
jaroslav@104	1235	default: {
jaroslav@104	1236	out.append("throw 'unknown bytecode " + c + "';");
jaroslav@104	1237	}
jaroslav@8	1238
jaroslav@0	1239	}
jaroslav@39	1240	out.append(" //");
jaroslav@0	1241	for (int j = prev; j <= i; j++) {
jaroslav@0	1242	out.append(" ");
jtulach@128	1243	final int cc = readByte(byteCodes, j);
jaroslav@0	1244	out.append(Integer.toString(cc));
jaroslav@0	1245	}
jaroslav@39	1246	out.append("\n");
jaroslav@0	1247	}
jaroslav@10	1248	out.append(" }\n");
jaroslav@4	1249	}
jaroslav@4	1250
lubomir@281	1251	private int generateIf(byte[] byteCodes, int i,
lubomir@281	1252	final Variable v2, final Variable v1,
lubomir@281	1253	final String test) throws IOException {
jaroslav@4	1254	int indx = i + readIntArg(byteCodes, i);
lubomir@281	1255	out.append("if (").append(v1)
lubomir@221	1256	.append(' ').append(test).append(' ')
lubomir@281	1257	.append(v2).append(") { gt = " + indx)
lubomir@221	1258	.append("; continue; }");
jaroslav@4	1259	return i + 2;
jaroslav@4	1260	}
jaroslav@4	1261
lubomir@281	1262	private void generateCmp(Variable v2, Variable v1, Variable vr)
lubomir@281	1263	throws IOException {
lubomir@281	1264	out.append(vr).append(" = ")
lubomir@281	1265	.append('(').append(v1).append(" == ").append(v2).append(')')
lubomir@281	1266	.append(" ? 0")
lubomir@281	1267	.append(" : ((").append(v1).append(" < ").append(v2).append(')')
lubomir@281	1268	.append(" ? -1 : 1);");
lubomir@281	1269	}
lubomir@281	1270
jaroslav@4	1271	private int readIntArg(byte[] byteCodes, int offsetInstruction) {
jaroslav@5	1272	final int indxHi = byteCodes[offsetInstruction + 1] << 8;
jaroslav@5	1273	final int indxLo = byteCodes[offsetInstruction + 2];
jaroslav@5	1274	return (indxHi & 0xffffff00) \| (indxLo & 0xff);
jaroslav@4	1275	}
jaroslav@115	1276	private int readInt4(byte[] byteCodes, int offsetInstruction) {
jaroslav@115	1277	final int d = byteCodes[offsetInstruction + 0] << 24;
jaroslav@115	1278	final int c = byteCodes[offsetInstruction + 1] << 16;
jaroslav@115	1279	final int b = byteCodes[offsetInstruction + 2] << 8;
jaroslav@115	1280	final int a = byteCodes[offsetInstruction + 3];
jaroslav@115	1281	return (d & 0xff000000) \| (c & 0xff0000) \| (b & 0xff00) \| (a & 0xff);
jaroslav@115	1282	}
jtulach@128	1283	private int readByte(byte[] byteCodes, int offsetInstruction) {
lubomir@221	1284	return byteCodes[offsetInstruction] & 0xff;
jtulach@128	1285	}
jaroslav@4	1286
lubomir@281	1287	private static void countArgs(String descriptor, char[] returnType, StringBuilder sig, StringBuilder cnt) {
jaroslav@4	1288	int i = 0;
jaroslav@4	1289	Boolean count = null;
jaroslav@32	1290	boolean array = false;
jaroslav@10	1291	int firstPos = sig.length();
jaroslav@4	1292	while (i < descriptor.length()) {
jaroslav@4	1293	char ch = descriptor.charAt(i++);
jaroslav@4	1294	switch (ch) {
jaroslav@4	1295	case '(':
jaroslav@4	1296	count = true;
jaroslav@4	1297	continue;
jaroslav@4	1298	case ')':
jaroslav@4	1299	count = false;
jaroslav@4	1300	continue;
jaroslav@32	1301	case 'A':
jaroslav@32	1302	array = true;
jaroslav@32	1303	break;
jaroslav@4	1304	case 'B':
jaroslav@4	1305	case 'C':
jaroslav@4	1306	case 'D':
jaroslav@4	1307	case 'F':
jaroslav@4	1308	case 'I':
jaroslav@4	1309	case 'J':
jaroslav@4	1310	case 'S':
jaroslav@4	1311	case 'Z':
jaroslav@4	1312	if (count) {
jaroslav@32	1313	if (array) {
jaroslav@32	1314	sig.append('A');
jaroslav@32	1315	}
jaroslav@4	1316	sig.append(ch);
jtulach@156	1317	if (ch == 'J' \|\| ch == 'D') {
jtulach@156	1318	cnt.append('1');
jtulach@156	1319	} else {
jtulach@156	1320	cnt.append('0');
jtulach@156	1321	}
jaroslav@4	1322	} else {
jaroslav@10	1323	sig.insert(firstPos, ch);
jaroslav@32	1324	if (array) {
lubomir@281	1325	returnType[0] = '[';
jaroslav@32	1326	sig.insert(firstPos, 'A');
lubomir@281	1327	} else {
lubomir@281	1328	returnType[0] = ch;
jaroslav@32	1329	}
jaroslav@4	1330	}
jaroslav@93	1331	array = false;
jaroslav@4	1332	continue;
jaroslav@4	1333	case 'V':
jaroslav@4	1334	assert !count;
lubomir@281	1335	returnType[0] = 'V';
jaroslav@10	1336	sig.insert(firstPos, 'V');
jaroslav@4	1337	continue;
jaroslav@4	1338	case 'L':
jaroslav@16	1339	int next = descriptor.indexOf(';', i);
jaroslav@4	1340	if (count) {
jaroslav@32	1341	if (array) {
jaroslav@32	1342	sig.append('A');
jaroslav@32	1343	}
jaroslav@16	1344	sig.append(ch);
jaroslav@16	1345	sig.append(descriptor.substring(i, next).replace('/', '_'));
jtulach@156	1346	cnt.append('0');
jaroslav@4	1347	} else {
jaroslav@16	1348	sig.insert(firstPos, descriptor.substring(i, next).replace('/', '_'));
jaroslav@16	1349	sig.insert(firstPos, ch);
jaroslav@32	1350	if (array) {
jaroslav@33	1351	sig.insert(firstPos, 'A');
jaroslav@32	1352	}
lubomir@281	1353	returnType[0] = 'L';
jaroslav@4	1354	}
jaroslav@16	1355	i = next + 1;
jaroslav@4	1356	continue;
jaroslav@4	1357	case '[':
jaroslav@4	1358	//arrays++;
jaroslav@4	1359	continue;
jaroslav@4	1360	default:
jaroslav@4	1361	break; // invalid character
jaroslav@4	1362	}
jaroslav@4	1363	}
jaroslav@0	1364	}
jaroslav@9	1365
jtulach@156	1366	private String findMethodName(MethodData m, StringBuilder cnt) {
jaroslav@42	1367	StringBuilder name = new StringBuilder();
jaroslav@10	1368	if ("<init>".equals(m.getName())) { // NOI18N
jaroslav@42	1369	name.append("cons"); // NOI18N
jaroslav@19	1370	} else if ("<clinit>".equals(m.getName())) { // NOI18N
jaroslav@42	1371	name.append("class"); // NOI18N
jaroslav@10	1372	} else {
jaroslav@42	1373	name.append(m.getName());
jaroslav@10	1374	}
jaroslav@42	1375
lubomir@281	1376	countArgs(findDescriptor(m.getInternalSig()), new char[1], name, cnt);
jaroslav@42	1377	return name.toString();
jaroslav@10	1378	}
jaroslav@10	1379
lubomir@281	1380	private String findMethodName(String[] mi, StringBuilder cnt, char[] returnType) {
jaroslav@10	1381	StringBuilder name = new StringBuilder();
jaroslav@151	1382	String descr = mi[2];//mi.getDescriptor();
jaroslav@151	1383	String nm= mi[1];
jaroslav@151	1384	if ("<init>".equals(nm)) { // NOI18N
jaroslav@10	1385	name.append("cons"); // NOI18N
jaroslav@10	1386	} else {
jaroslav@151	1387	name.append(nm);
jaroslav@10	1388	}
lubomir@281	1389	countArgs(findDescriptor(descr), returnType, name, cnt);
jaroslav@10	1390	return name.toString();
jaroslav@10	1391	}
jaroslav@10	1392
lubomir@221	1393	private int invokeStaticMethod(byte[] byteCodes, int i, final StackToVariableMapper mapper, boolean isStatic)
jaroslav@10	1394	throws IOException {
jaroslav@10	1395	int methodIndex = readIntArg(byteCodes, i);
jaroslav@151	1396	String[] mi = jc.getFieldInfoName(methodIndex);
lubomir@281	1397	char[] returnType = { 'V' };
jtulach@156	1398	StringBuilder cnt = new StringBuilder();
lubomir@281	1399	String mn = findMethodName(mi, cnt, returnType);
lubomir@221	1400
lubomir@221	1401	final int numArguments = isStatic ? cnt.length() : cnt.length() + 1;
lubomir@281	1402	final Variable[] vars = new Variable[numArguments];
lubomir@221	1403
lubomir@281	1404	for (int j = numArguments - 1; j >= 0; --j) {
lubomir@281	1405	vars[j] = mapper.pop();
lubomir@281	1406	}
lubomir@281	1407
lubomir@281	1408	if (returnType[0] != 'V') {
lubomir@281	1409	out.append(mapper.pushT(fieldToVariableType(returnType[0])))
lubomir@281	1410	.append(" = ");
jaroslav@11	1411	}
lubomir@221	1412
jaroslav@151	1413	final String in = mi[0];
jaroslav@18	1414	out.append(in.replace('/', '_'));
jaroslav@224	1415	out.append("(false).");
jaroslav@10	1416	out.append(mn);
jaroslav@10	1417	out.append('(');
lubomir@221	1418	if (numArguments > 0) {
lubomir@281	1419	out.append(vars[0]);
lubomir@281	1420	for (int j = 1; j < numArguments; ++j) {
lubomir@221	1421	out.append(", ");
lubomir@281	1422	out.append(vars[j]);
lubomir@221	1423	}
jaroslav@10	1424	}
lubomir@221	1425	out.append(");");
jaroslav@10	1426	i += 2;
jaroslav@18	1427	addReference(in);
jaroslav@10	1428	return i;
jaroslav@10	1429	}
lubomir@221	1430	private int invokeVirtualMethod(byte[] byteCodes, int i, final StackToVariableMapper mapper)
jaroslav@12	1431	throws IOException {
jaroslav@12	1432	int methodIndex = readIntArg(byteCodes, i);
jaroslav@151	1433	String[] mi = jc.getFieldInfoName(methodIndex);
lubomir@281	1434	char[] returnType = { 'V' };
jtulach@156	1435	StringBuilder cnt = new StringBuilder();
lubomir@281	1436	String mn = findMethodName(mi, cnt, returnType);
lubomir@221	1437
lubomir@281	1438	final int numArguments = cnt.length() + 1;
lubomir@281	1439	final Variable[] vars = new Variable[numArguments];
lubomir@221	1440
lubomir@281	1441	for (int j = numArguments - 1; j >= 0; --j) {
lubomir@281	1442	vars[j] = mapper.pop();
jaroslav@12	1443	}
lubomir@221	1444
lubomir@281	1445	if (returnType[0] != 'V') {
lubomir@281	1446	out.append(mapper.pushT(fieldToVariableType(returnType[0])))
lubomir@281	1447	.append(" = ");
lubomir@281	1448	}
lubomir@281	1449
lubomir@281	1450	out.append(vars[0]).append('.');
jaroslav@12	1451	out.append(mn);
jaroslav@12	1452	out.append('(');
lubomir@281	1453	out.append(vars[0]);
lubomir@281	1454	for (int j = 1; j < numArguments; ++j) {
jaroslav@12	1455	out.append(", ");
lubomir@281	1456	out.append(vars[j]);
jaroslav@12	1457	}
lubomir@221	1458	out.append(");");
jaroslav@12	1459	i += 2;
jaroslav@12	1460	return i;
jaroslav@12	1461	}
lubomir@221	1462
jaroslav@103	1463	private void addReference(String cn) throws IOException {
jtulach@162	1464	if (requireReference(cn)) {
jtulach@162	1465	out.append(" /* needs ").append(cn).append(" */");
jaroslav@18	1466	}
jaroslav@18	1467	}
jaroslav@16	1468
jaroslav@33	1469	private void outType(String d, StringBuilder out) {
jaroslav@33	1470	int arr = 0;
jaroslav@33	1471	while (d.charAt(0) == '[') {
jaroslav@33	1472	out.append('A');
jaroslav@33	1473	d = d.substring(1);
jaroslav@33	1474	}
jaroslav@16	1475	if (d.charAt(0) == 'L') {
jaroslav@16	1476	assert d.charAt(d.length() - 1) == ';';
jaroslav@16	1477	out.append(d.replace('/', '_').substring(0, d.length() - 1));
jaroslav@16	1478	} else {
jaroslav@16	1479	out.append(d);
jaroslav@16	1480	}
jaroslav@16	1481	}
jaroslav@21	1482
jaroslav@151	1483	private String encodeConstant(int entryIndex) {
jaroslav@151	1484	String s = jc.stringValue(entryIndex, true);
jaroslav@151	1485	return s;
jaroslav@21	1486	}
jaroslav@32	1487
jaroslav@32	1488	private String findDescriptor(String d) {
jaroslav@32	1489	return d.replace('[', 'A');
jaroslav@32	1490	}
jaroslav@94	1491
jaroslav@203	1492	private boolean javaScriptBody(String prefix, MethodData m, boolean isStatic) throws IOException {
jaroslav@152	1493	byte[] arr = m.findAnnotationData(true);
jaroslav@152	1494	if (arr == null) {
jaroslav@152	1495	return false;
jaroslav@152	1496	}
jaroslav@200	1497	final String jvmType = "Lorg/apidesign/bck2brwsr/core/JavaScriptBody;";
jaroslav@152	1498	class P extends AnnotationParser {
jaroslav@152	1499	int cnt;
jaroslav@152	1500	String[] args = new String[30];
jaroslav@152	1501	String body;
jaroslav@94	1502
jaroslav@152	1503	@Override
jaroslav@152	1504	protected void visitAttr(String type, String attr, String value) {
jaroslav@152	1505	if (type.equals(jvmType)) {
jaroslav@152	1506	if ("body".equals(attr)) {
jaroslav@152	1507	body = value;
jaroslav@152	1508	} else if ("args".equals(attr)) {
jaroslav@152	1509	args[cnt++] = value;
jaroslav@152	1510	} else {
jaroslav@152	1511	throw new IllegalArgumentException(attr);
jaroslav@152	1512	}
jaroslav@152	1513	}
jaroslav@94	1514	}
jaroslav@94	1515	}
jaroslav@152	1516	P p = new P();
jaroslav@152	1517	p.parse(arr, jc);
jaroslav@152	1518	if (p.body == null) {
jaroslav@152	1519	return false;
jaroslav@152	1520	}
jtulach@156	1521	StringBuilder cnt = new StringBuilder();
jaroslav@203	1522	out.append(prefix).append(findMethodName(m, cnt));
jaroslav@203	1523	out.append(" = function(");
jaroslav@152	1524	String space;
jaroslav@152	1525	int index;
jaroslav@152	1526	if (!isStatic) {
jaroslav@152	1527	out.append(p.args[0]);
jaroslav@152	1528	space = ",";
jaroslav@152	1529	index = 1;
jaroslav@152	1530	} else {
jaroslav@152	1531	space = "";
jaroslav@152	1532	index = 0;
jaroslav@152	1533	}
jtulach@156	1534	for (int i = 0; i < cnt.length(); i++) {
jaroslav@152	1535	out.append(space);
jaroslav@152	1536	out.append(p.args[index]);
jaroslav@152	1537	index++;
jaroslav@152	1538	space = ",";
jaroslav@152	1539	}
jaroslav@152	1540	out.append(") {").append("\n");
jaroslav@152	1541	out.append(p.body);
jaroslav@152	1542	out.append("\n}\n");
jaroslav@152	1543	return true;
jaroslav@151	1544	}
jaroslav@151	1545	private static String className(ClassData jc) {
jaroslav@151	1546	//return jc.getName().getInternalName().replace('/', '_');
jaroslav@151	1547	return jc.getClassName().replace('/', '_');
jaroslav@94	1548	}
jaroslav@152	1549
jaroslav@152	1550	private static String[] findAnnotation(
jaroslav@152	1551	byte[] arr, ClassData cd, final String className,
jaroslav@152	1552	final String... attrNames
jaroslav@152	1553	) throws IOException {
jaroslav@152	1554	if (arr == null) {
jaroslav@152	1555	return null;
jaroslav@152	1556	}
jaroslav@152	1557	final String[] values = new String[attrNames.length];
jaroslav@152	1558	final boolean[] found = { false };
jaroslav@152	1559	final String jvmType = "L" + className.replace('.', '/') + ";";
jaroslav@152	1560	AnnotationParser ap = new AnnotationParser() {
jaroslav@152	1561	@Override
jaroslav@152	1562	protected void visitAttr(String type, String attr, String value) {
jaroslav@152	1563	if (type.equals(jvmType)) {
jaroslav@152	1564	found[0] = true;
jaroslav@152	1565	for (int i = 0; i < attrNames.length; i++) {
jaroslav@152	1566	if (attrNames[i].equals(attr)) {
jaroslav@152	1567	values[i] = value;
jaroslav@152	1568	}
jaroslav@152	1569	}
jaroslav@152	1570	}
jaroslav@152	1571	}
jaroslav@152	1572
jaroslav@152	1573	};
jaroslav@152	1574	ap.parse(arr, cd);
jaroslav@152	1575	return found[0] ? values : null;
jaroslav@152	1576	}
jaroslav@173	1577
jaroslav@173	1578	private CharSequence initField(FieldData v) {
jaroslav@173	1579	final String is = v.getInternalSig();
jaroslav@173	1580	if (is.length() == 1) {
jaroslav@173	1581	switch (is.charAt(0)) {
jaroslav@173	1582	case 'S':
jaroslav@173	1583	case 'J':
jaroslav@173	1584	case 'B':
jaroslav@173	1585	case 'Z':
jaroslav@173	1586	case 'C':
jaroslav@173	1587	case 'I': return " = 0;";
jaroslav@173	1588	case 'F':
jaroslav@180	1589	case 'D': return " = 0.0;";
jaroslav@173	1590	default:
jaroslav@173	1591	throw new IllegalStateException(is);
jaroslav@173	1592	}
jaroslav@173	1593	}
jaroslav@173	1594	return " = null;";
jaroslav@173	1595	}
lubomir@281	1596
lubomir@281	1597	private static int constantToVariableType(final byte constantTag) {
lubomir@281	1598	switch (constantTag) {
lubomir@281	1599	case CONSTANT_INTEGER:
lubomir@281	1600	return Variable.TYPE_INT;
lubomir@281	1601	case CONSTANT_FLOAT:
lubomir@281	1602	return Variable.TYPE_FLOAT;
lubomir@281	1603	case CONSTANT_LONG:
lubomir@281	1604	return Variable.TYPE_LONG;
lubomir@281	1605	case CONSTANT_DOUBLE:
lubomir@281	1606	return Variable.TYPE_DOUBLE;
lubomir@281	1607
lubomir@281	1608	case CONSTANT_CLASS:
lubomir@281	1609	case CONSTANT_UTF8:
lubomir@281	1610	case CONSTANT_UNICODE:
lubomir@281	1611	case CONSTANT_STRING:
lubomir@281	1612	return Variable.TYPE_REF;
lubomir@281	1613
lubomir@281	1614	case CONSTANT_FIELD:
lubomir@281	1615	case CONSTANT_METHOD:
lubomir@281	1616	case CONSTANT_INTERFACEMETHOD:
lubomir@281	1617	case CONSTANT_NAMEANDTYPE:
lubomir@281	1618	/* unclear how to handle for now */
lubomir@281	1619	default:
lubomir@281	1620	throw new IllegalStateException("Unhandled constant tag");
lubomir@281	1621	}
lubomir@281	1622	}
lubomir@281	1623
lubomir@281	1624	private static int fieldToVariableType(final char fieldType) {
lubomir@281	1625	switch (fieldType) {
lubomir@281	1626	case 'B':
lubomir@281	1627	case 'C':
lubomir@281	1628	case 'S':
lubomir@281	1629	case 'Z':
lubomir@281	1630	case 'I':
lubomir@281	1631	return Variable.TYPE_INT;
lubomir@281	1632	case 'J':
lubomir@281	1633	return Variable.TYPE_LONG;
lubomir@281	1634	case 'F':
lubomir@281	1635	return Variable.TYPE_FLOAT;
lubomir@281	1636	case 'D':
lubomir@281	1637	return Variable.TYPE_DOUBLE;
lubomir@281	1638	case 'L':
lubomir@281	1639	case '[':
lubomir@281	1640	return Variable.TYPE_REF;
lubomir@281	1641
lubomir@281	1642	default:
lubomir@281	1643	throw new IllegalStateException("Unhandled field type");
lubomir@281	1644	}
lubomir@281	1645	}
jaroslav@0	1646	}

author	Lubomir Nerad <lubomir.nerad@oracle.com>
	Fri, 07 Dec 2012 15:02:35 +0100
branch	registers
changeset 281	f2352e0b713e
parent 242	8bd4adaf6590
child 282	a98d6c5a545e
permissions	-rw-r--r--