hg/bck2brwsr: rt/vm/src/main/java/org/apidesign/vm4brwsr/ByteCodeToJavaScript.java@00ae3f46e54f (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;
jaroslav@810	22	import static org.apidesign.vm4brwsr.ByteCodeParser.*;
jaroslav@0	23
jaroslav@0	24	/** Translator of the code inside class files to JavaScript.
jaroslav@0	25	*
jaroslav@0	26	* @author Jaroslav Tulach <jtulach@netbeans.org>
jaroslav@0	27	*/
jaroslav@298	28	abstract class ByteCodeToJavaScript {
jtulach@162	29	private ClassData jc;
jaroslav@272	30	final Appendable out;
lubomir@869	31	final ObfuscationDelegate obfuscationDelegate;
jaroslav@0	32
jtulach@162	33	protected ByteCodeToJavaScript(Appendable out) {
lubomir@869	34	this(out, ObfuscationDelegate.NULL);
lubomir@869	35	}
lubomir@869	36
lubomir@869	37	protected ByteCodeToJavaScript(
lubomir@869	38	Appendable out, ObfuscationDelegate obfuscationDelegate) {
jaroslav@0	39	this.out = out;
lubomir@869	40	this.obfuscationDelegate = obfuscationDelegate;
jaroslav@0	41	}
jtulach@162	42
jtulach@162	43	/* Collects additional required resources.
jtulach@162	44	*
jtulach@162	45	* @param internalClassName classes that were referenced and should be loaded in order the
jtulach@162	46	* generated JavaScript code works properly. The names are in internal
jtulach@162	47	* JVM form so String is <code>java/lang/String</code>.
jtulach@162	48	*/
jtulach@162	49	protected abstract boolean requireReference(String internalClassName);
jtulach@162	50
jtulach@162	51	/*
jtulach@162	52	* @param resourcePath name of resources to read
jtulach@162	53	*/
jaroslav@503	54	protected abstract void requireScript(String resourcePath) throws IOException;
jaroslav@213	55
jaroslav@213	56	/** Allows subclasses to redefine what field a function representing a
jaroslav@213	57	* class gets assigned. By default it returns the suggested name followed
jaroslav@213	58	* by <code>" = "</code>;
jaroslav@213	59	*
jaroslav@213	60	* @param className suggested name of the class
jaroslav@213	61	*/
jaroslav@274	62	/* protected */ String assignClass(String className) {
jaroslav@213	63	return className + " = ";
jaroslav@213	64	}
jaroslav@274	65	/* protected */ String accessClass(String classOperation) {
jaroslav@274	66	return classOperation;
jaroslav@274	67	}
lubomir@869	68
lubomir@869	69	abstract String getVMObject();
lubomir@869	70
jaroslav@399	71	/** Prints out a debug message.
jaroslav@399	72	*
jaroslav@399	73	* @param msg the message
jaroslav@399	74	* @return true if the message has been printed
jaroslav@399	75	* @throws IOException
jaroslav@399	76	*/
jaroslav@399	77	boolean debug(String msg) throws IOException {
jaroslav@399	78	out.append(msg);
jaroslav@399	79	return true;
jaroslav@399	80	}
jaroslav@18	81
jaroslav@18	82	/**
jaroslav@18	83	* Converts a given class file to a JavaScript version.
jaroslav@18	84	*
jaroslav@0	85	* @param classFile input stream with code of the .class file
jaroslav@97	86	* @return the initialization code for this class, if any. Otherwise <code>null</code>
jaroslav@91	87	*
jaroslav@0	88	* @throws IOException if something goes wrong during read or write or translating
jaroslav@0	89	*/
jaroslav@18	90
jtulach@162	91	public String compile(InputStream classFile) throws IOException {
jtulach@162	92	this.jc = new ClassData(classFile);
jaroslav@324	93	if (jc.getMajor_version() < 50) {
jaroslav@324	94	throw new IOException("Can't compile " + jc.getClassName() + ". Class file version " + jc.getMajor_version() + "."
jaroslav@324	95	+ jc.getMinor_version() + " - recompile with -target 1.6 (at least)."
jaroslav@324	96	);
jaroslav@324	97	}
jaroslav@152	98	byte[] arrData = jc.findAnnotationData(true);
jaroslav@170	99	String[] arr = findAnnotation(arrData, jc,
jaroslav@170	100	"org.apidesign.bck2brwsr.core.ExtraJavaScript",
jaroslav@170	101	"resource", "processByteCode"
jaroslav@170	102	);
jaroslav@152	103	if (arr != null) {
lubomir@848	104	if (!arr[0].isEmpty()) {
lubomir@848	105	requireScript(arr[0]);
lubomir@848	106	}
jaroslav@152	107	if ("0".equals(arr[1])) {
jaroslav@97	108	return null;
jaroslav@91	109	}
jaroslav@91	110	}
jaroslav@239	111	String[] proto = findAnnotation(arrData, jc,
jaroslav@239	112	"org.apidesign.bck2brwsr.core.JavaScriptPrototype",
jaroslav@239	113	"container", "prototype"
jaroslav@239	114	);
jtulach@162	115	StringArray toInitilize = new StringArray();
jaroslav@151	116	final String className = className(jc);
jaroslav@213	117	out.append("\n\n").append(assignClass(className));
jaroslav@880	118	out.append("function ").append(className).append("() {");
jaroslav@880	119	out.append("\n var CLS = ").append(className).append(';');
jaroslav@711	120	out.append("\n if (!CLS.$class) {");
jaroslav@239	121	if (proto == null) {
jaroslav@239	122	String sc = jc.getSuperClassName(); // with _
jaroslav@230	123	out.append("\n var pp = ").
jaroslav@274	124	append(accessClass(sc.replace('/', '_'))).append("(true);");
jaroslav@230	125	out.append("\n var p = CLS.prototype = pp;");
jaroslav@239	126	out.append("\n var c = p;");
jaroslav@230	127	out.append("\n var sprcls = pp.constructor.$class;");
jtulach@130	128	} else {
jaroslav@240	129	out.append("\n var p = CLS.prototype = ").append(proto[1]).append(";");
jaroslav@316	130	if (proto[0] == null) {
jaroslav@316	131	proto[0] = "p";
jaroslav@316	132	}
jaroslav@239	133	out.append("\n var c = ").append(proto[0]).append(";");
jaroslav@230	134	out.append("\n var sprcls = null;");
jaroslav@13	135	}
jaroslav@592	136	for (FieldData v : jc.getFields()) {
jaroslav@592	137	if (v.isStatic()) {
jaroslav@592	138	out.append("\n CLS.").append(v.getName()).append(initField(v));
jaroslav@775	139	out.append("\n c._").append(v.getName()).append(" = function (v) {")
jaroslav@775	140	.append(" if (arguments.length == 1) CLS.").append(v.getName())
jaroslav@775	141	.append(" = v; return CLS.").
jaroslav@775	142	append(v.getName()).append("; };");
jaroslav@592	143	} else {
jaroslav@592	144	out.append("\n c._").append(v.getName()).append(" = function (v) {")
jaroslav@592	145	.append(" if (arguments.length == 1) this.fld_").
jaroslav@592	146	append(className).append('_').append(v.getName())
jaroslav@592	147	.append(" = v; return this.fld_").
jaroslav@592	148	append(className).append('_').append(v.getName())
jaroslav@592	149	.append("; };");
jaroslav@592	150	}
lubomir@869	151
lubomir@869	152	obfuscationDelegate.exportField(out, "c", "_" + v.getName(), v);
jaroslav@592	153	}
jaroslav@151	154	for (MethodData m : jc.getMethods()) {
jaroslav@240	155	byte[] onlyArr = m.findAnnotationData(true);
jaroslav@240	156	String[] only = findAnnotation(onlyArr, jc,
jaroslav@240	157	"org.apidesign.bck2brwsr.core.JavaScriptOnly",
jaroslav@240	158	"name", "value"
jaroslav@240	159	);
jaroslav@240	160	if (only != null) {
jaroslav@240	161	if (only[0] != null && only[1] != null) {
jaroslav@240	162	out.append("\n p.").append(only[0]).append(" = ")
jaroslav@240	163	.append(only[1]).append(";");
jaroslav@240	164	}
jaroslav@240	165	continue;
jaroslav@240	166	}
lubomir@869	167	String destObject;
jaroslav@266	168	String mn;
lubomir@869	169	out.append("\n ");
jaroslav@203	170	if (m.isStatic()) {
lubomir@869	171	destObject = "c";
lubomir@869	172	mn = generateStaticMethod(destObject, m, toInitilize);
jaroslav@203	173	} else {
jaroslav@397	174	if (m.isConstructor()) {
lubomir@869	175	destObject = "CLS";
lubomir@869	176	mn = generateInstanceMethod(destObject, m);
jaroslav@397	177	} else {
lubomir@869	178	destObject = "c";
lubomir@869	179	mn = generateInstanceMethod(destObject, m);
jaroslav@397	180	}
jaroslav@266	181	}
lubomir@869	182	obfuscationDelegate.exportMethod(out, destObject, mn, m);
jaroslav@266	183	byte[] runAnno = m.findAnnotationData(false);
jaroslav@266	184	if (runAnno != null) {
lubomir@869	185	out.append("\n ").append(destObject).append(".").append(mn).append(".anno = {");
jaroslav@266	186	generateAnno(jc, out, runAnno);
jaroslav@266	187	out.append("\n };");
jaroslav@38	188	}
lubomir@869	189	out.append("\n ").append(destObject).append(".").append(mn).append(".access = " + m.getAccess()).append(";");
lubomir@869	190	out.append("\n ").append(destObject).append(".").append(mn).append(".cls = CLS;");
jaroslav@38	191	}
jaroslav@239	192	out.append("\n c.constructor = CLS;");
lubomir@869	193	String instOfName = "$instOf_" + className;
lubomir@869	194	out.append("\n c.").append(instOfName).append(" = true;");
lubomir@869	195	obfuscationDelegate.exportJSProperty(out, "c", instOfName);
jaroslav@151	196	for (String superInterface : jc.getSuperInterfaces()) {
lubomir@869	197	instOfName = "$instOf_" + superInterface.replace('/', '_');
lubomir@869	198	out.append("\n c.").append(instOfName).append(" = true;");
lubomir@869	199	obfuscationDelegate.exportJSProperty(out, "c", instOfName);
jaroslav@40	200	}
jaroslav@711	201	out.append("\n CLS.$class = 'temp';");
jaroslav@274	202	out.append("\n CLS.$class = ");
jaroslav@274	203	out.append(accessClass("java_lang_Class(true);"));
jaroslav@225	204	out.append("\n CLS.$class.jvmName = '").append(jc.getClassName()).append("';");
jaroslav@230	205	out.append("\n CLS.$class.superclass = sprcls;");
jaroslav@355	206	out.append("\n CLS.$class.access = ").append(jc.getAccessFlags()+";");
jaroslav@231	207	out.append("\n CLS.$class.cnstr = CLS;");
jaroslav@235	208	byte[] classAnno = jc.findAnnotationData(false);
jaroslav@235	209	if (classAnno != null) {
jaroslav@235	210	out.append("\n CLS.$class.anno = {");
jaroslav@235	211	generateAnno(jc, out, classAnno);
jaroslav@235	212	out.append("\n };");
jaroslav@235	213	}
jaroslav@834	214	for (String init : toInitilize.toArray()) {
jaroslav@834	215	out.append("\n ").append(init).append("();");
jaroslav@834	216	}
jaroslav@204	217	out.append("\n }");
jaroslav@205	218	out.append("\n if (arguments.length === 0) {");
jaroslav@226	219	out.append("\n if (!(this instanceof CLS)) {");
jaroslav@226	220	out.append("\n return new CLS();");
jaroslav@226	221	out.append("\n }");
jaroslav@205	222	for (FieldData v : jc.getFields()) {
jaroslav@240	223	byte[] onlyArr = v.findAnnotationData(true);
jaroslav@240	224	String[] only = findAnnotation(onlyArr, jc,
jaroslav@240	225	"org.apidesign.bck2brwsr.core.JavaScriptOnly",
jaroslav@240	226	"name", "value"
jaroslav@240	227	);
jaroslav@240	228	if (only != null) {
jaroslav@240	229	if (only[0] != null && only[1] != null) {
jaroslav@240	230	out.append("\n p.").append(only[0]).append(" = ")
jaroslav@240	231	.append(only[1]).append(";");
jaroslav@240	232	}
jaroslav@240	233	continue;
jaroslav@240	234	}
jaroslav@205	235	if (!v.isStatic()) {
jaroslav@205	236	out.append("\n this.fld_").
jaroslav@592	237	append(className).append('_').
jaroslav@205	238	append(v.getName()).append(initField(v));
jaroslav@205	239	}
jaroslav@205	240	}
jaroslav@205	241	out.append("\n return this;");
jaroslav@205	242	out.append("\n }");
jaroslav@224	243	out.append("\n return arguments[0] ? new CLS() : CLS.prototype;");
jaroslav@509	244	out.append("\n};");
lubomir@869	245
lubomir@869	246	obfuscationDelegate.exportClass(out, getVMObject(), className, jc);
lubomir@869	247
jaroslav@834	248	// StringBuilder sb = new StringBuilder();
jaroslav@834	249	// for (String init : toInitilize.toArray()) {
jaroslav@834	250	// sb.append("\n").append(init).append("();");
jaroslav@834	251	// }
jaroslav@834	252	return "";
jaroslav@0	253	}
lubomir@869	254	private String generateStaticMethod(String destObject, MethodData m, StringArray toInitilize) throws IOException {
lubomir@869	255	String jsb = javaScriptBody(destObject, m, true);
jaroslav@266	256	if (jsb != null) {
jaroslav@266	257	return jsb;
jaroslav@94	258	}
lubomir@307	259	final String mn = findMethodName(m, new StringBuilder());
jaroslav@248	260	if (mn.equals("class__V")) {
jaroslav@274	261	toInitilize.add(accessClass(className(jc)) + "(false)." + mn);
jaroslav@21	262	}
lubomir@869	263	generateMethod(destObject, mn, m);
jaroslav@266	264	return mn;
jaroslav@10	265	}
lubomir@307	266
lubomir@869	267	private String generateInstanceMethod(String destObject, MethodData m) throws IOException {
lubomir@869	268	String jsb = javaScriptBody(destObject, m, false);
jaroslav@266	269	if (jsb != null) {
jaroslav@266	270	return jsb;
jaroslav@94	271	}
lubomir@307	272	final String mn = findMethodName(m, new StringBuilder());
lubomir@869	273	generateMethod(destObject, mn, m);
jaroslav@266	274	return mn;
jaroslav@0	275	}
jaroslav@0	276
lubomir@869	277	private void generateMethod(String destObject, String name, MethodData m)
lubomir@307	278	throws IOException {
lubomir@307	279	final StackMapIterator stackMapIterator = m.createStackMapIterator();
jaroslav@376	280	TrapDataIterator trap = m.getTrapDataIterator();
lubomir@307	281	final LocalsMapper lmapper =
lubomir@307	282	new LocalsMapper(stackMapIterator.getArguments());
lubomir@307	283
lubomir@869	284	out.append(destObject).append(".").append(name).append(" = function(");
jaroslav@442	285	lmapper.outputArguments(out, m.isStatic());
lubomir@307	286	out.append(") {").append("\n");
lubomir@307	287
lubomir@221	288	final byte[] byteCodes = m.getCode();
lubomir@307	289	if (byteCodes == null) {
lubomir@307	290	out.append(" throw 'no code found for ")
jaroslav@424	291	.append(jc.getClassName()).append('.')
jaroslav@424	292	.append(m.getName()).append("';\n");
lubomir@307	293	out.append("};");
lubomir@307	294	return;
lubomir@307	295	}
lubomir@307	296
lubomir@307	297	final StackMapper smapper = new StackMapper();
lubomir@307	298
jaroslav@442	299	if (!m.isStatic()) {
jaroslav@442	300	out.append(" var ").append(" lcA0 = this;\n");
jaroslav@442	301	}
lubomir@221	302
lubomir@221	303	int lastStackFrame = -1;
jaroslav@398	304	TrapData[] previousTrap = null;
lubomir@585	305	boolean wide = false;
jaroslav@398	306
jaroslav@839	307	out.append("\n var gt = 0;\n");
jaroslav@839	308	int openBraces = 0;
jaroslav@843	309	int topMostLabel = 0;
jaroslav@0	310	for (int i = 0; i < byteCodes.length; i++) {
jaroslav@272	311	int prev = i;
lubomir@221	312	stackMapIterator.advanceTo(i);
jaroslav@398	313	boolean changeInCatch = trap.advanceTo(i);
jaroslav@398	314	if (changeInCatch \|\| lastStackFrame != stackMapIterator.getFrameIndex()) {
jaroslav@398	315	if (previousTrap != null) {
jaroslav@843	316	generateCatch(previousTrap, i, topMostLabel);
jaroslav@398	317	previousTrap = null;
jaroslav@398	318	}
jaroslav@398	319	}
lubomir@221	320	if (lastStackFrame != stackMapIterator.getFrameIndex()) {
jaroslav@839	321	if (i != 0) {
jaroslav@839	322	out.append(" }\n");
jaroslav@839	323	}
jaroslav@843	324	if (openBraces > 64) {
jaroslav@843	325	for (int c = 0; c < 64; c++) {
jaroslav@843	326	out.append("break;}\n");
jaroslav@843	327	}
jaroslav@843	328	openBraces = 1;
jaroslav@843	329	topMostLabel = i;
jaroslav@843	330	}
jaroslav@839	331
lubomir@221	332	lastStackFrame = stackMapIterator.getFrameIndex();
lubomir@307	333	lmapper.syncWithFrameLocals(stackMapIterator.getFrameLocals());
lubomir@307	334	smapper.syncWithFrameStack(stackMapIterator.getFrameStack());
jaroslav@839	335	out.append(" X_" + i).append(": for (;;) { IF: if (gt <= " + i + ") {\n");
jaroslav@839	336	openBraces++;
jaroslav@398	337	changeInCatch = true;
lubomir@221	338	} else {
jaroslav@399	339	debug(" /* " + i + " */ ");
lubomir@221	340	}
jaroslav@398	341	if (changeInCatch && trap.useTry()) {
tzezula@285	342	out.append("try {");
jaroslav@398	343	previousTrap = trap.current();
tzezula@285	344	}
lubomir@585	345	final int c = readUByte(byteCodes, i);
jaroslav@0	346	switch (c) {
jaroslav@151	347	case opc_aload_0:
lubomir@474	348	emit(out, "var @1 = @2;", smapper.pushA(), lmapper.getA(0));
lubomir@281	349	break;
jaroslav@151	350	case opc_iload_0:
lubomir@474	351	emit(out, "var @1 = @2;", smapper.pushI(), lmapper.getI(0));
lubomir@281	352	break;
jaroslav@151	353	case opc_lload_0:
lubomir@474	354	emit(out, "var @1 = @2;", smapper.pushL(), lmapper.getL(0));
lubomir@281	355	break;
jaroslav@151	356	case opc_fload_0:
lubomir@474	357	emit(out, "var @1 = @2;", smapper.pushF(), lmapper.getF(0));
lubomir@281	358	break;
jaroslav@151	359	case opc_dload_0:
lubomir@474	360	emit(out, "var @1 = @2;", smapper.pushD(), lmapper.getD(0));
jaroslav@0	361	break;
jaroslav@151	362	case opc_aload_1:
lubomir@474	363	emit(out, "var @1 = @2;", smapper.pushA(), lmapper.getA(1));
lubomir@281	364	break;
jaroslav@151	365	case opc_iload_1:
lubomir@474	366	emit(out, "var @1 = @2;", smapper.pushI(), lmapper.getI(1));
lubomir@281	367	break;
jaroslav@151	368	case opc_lload_1:
lubomir@474	369	emit(out, "var @1 = @2;", smapper.pushL(), lmapper.getL(1));
lubomir@281	370	break;
jaroslav@151	371	case opc_fload_1:
lubomir@474	372	emit(out, "var @1 = @2;", smapper.pushF(), lmapper.getF(1));
lubomir@281	373	break;
jaroslav@151	374	case opc_dload_1:
lubomir@474	375	emit(out, "var @1 = @2;", smapper.pushD(), lmapper.getD(1));
jaroslav@0	376	break;
jaroslav@151	377	case opc_aload_2:
lubomir@474	378	emit(out, "var @1 = @2;", smapper.pushA(), lmapper.getA(2));
lubomir@281	379	break;
jaroslav@151	380	case opc_iload_2:
lubomir@474	381	emit(out, "var @1 = @2;", smapper.pushI(), lmapper.getI(2));
lubomir@281	382	break;
jaroslav@151	383	case opc_lload_2:
lubomir@474	384	emit(out, "var @1 = @2;", smapper.pushL(), lmapper.getL(2));
lubomir@281	385	break;
jaroslav@151	386	case opc_fload_2:
lubomir@474	387	emit(out, "var @1 = @2;", smapper.pushF(), lmapper.getF(2));
lubomir@281	388	break;
jaroslav@151	389	case opc_dload_2:
lubomir@474	390	emit(out, "var @1 = @2;", smapper.pushD(), lmapper.getD(2));
jaroslav@2	391	break;
jaroslav@151	392	case opc_aload_3:
lubomir@474	393	emit(out, "var @1 = @2;", smapper.pushA(), lmapper.getA(3));
lubomir@281	394	break;
jaroslav@151	395	case opc_iload_3:
lubomir@474	396	emit(out, "var @1 = @2;", smapper.pushI(), lmapper.getI(3));
lubomir@281	397	break;
jaroslav@151	398	case opc_lload_3:
lubomir@474	399	emit(out, "var @1 = @2;", smapper.pushL(), lmapper.getL(3));
lubomir@281	400	break;
jaroslav@151	401	case opc_fload_3:
lubomir@474	402	emit(out, "var @1 = @2;", smapper.pushF(), lmapper.getF(3));
lubomir@281	403	break;
jaroslav@151	404	case opc_dload_3:
lubomir@474	405	emit(out, "var @1 = @2;", smapper.pushD(), lmapper.getD(3));
jaroslav@3	406	break;
lubomir@281	407	case opc_iload: {
lubomir@585	408	++i;
lubomir@585	409	final int indx = wide ? readUShort(byteCodes, i++)
lubomir@585	410	: readUByte(byteCodes, i);
lubomir@585	411	wide = false;
lubomir@474	412	emit(out, "var @1 = @2;",
lubomir@474	413	smapper.pushI(), lmapper.getI(indx));
lubomir@281	414	break;
lubomir@281	415	}
lubomir@281	416	case opc_lload: {
lubomir@585	417	++i;
lubomir@585	418	final int indx = wide ? readUShort(byteCodes, i++)
lubomir@585	419	: readUByte(byteCodes, i);
lubomir@585	420	wide = false;
lubomir@474	421	emit(out, "var @1 = @2;",
lubomir@474	422	smapper.pushL(), lmapper.getL(indx));
lubomir@281	423	break;
lubomir@281	424	}
lubomir@281	425	case opc_fload: {
lubomir@585	426	++i;
lubomir@585	427	final int indx = wide ? readUShort(byteCodes, i++)
lubomir@585	428	: readUByte(byteCodes, i);
lubomir@585	429	wide = false;
lubomir@474	430	emit(out, "var @1 = @2;",
lubomir@474	431	smapper.pushF(), lmapper.getF(indx));
lubomir@281	432	break;
lubomir@281	433	}
lubomir@281	434	case opc_dload: {
lubomir@585	435	++i;
lubomir@585	436	final int indx = wide ? readUShort(byteCodes, i++)
lubomir@585	437	: readUByte(byteCodes, i);
lubomir@585	438	wide = false;
lubomir@474	439	emit(out, "var @1 = @2;",
lubomir@474	440	smapper.pushD(), lmapper.getD(indx));
lubomir@281	441	break;
lubomir@281	442	}
jaroslav@151	443	case opc_aload: {
lubomir@585	444	++i;
lubomir@585	445	final int indx = wide ? readUShort(byteCodes, i++)
lubomir@585	446	: readUByte(byteCodes, i);
lubomir@585	447	wide = false;
lubomir@474	448	emit(out, "var @1 = @2;",
lubomir@474	449	smapper.pushA(), lmapper.getA(indx));
jaroslav@3	450	break;
jaroslav@3	451	}
lubomir@281	452	case opc_istore: {
lubomir@585	453	++i;
lubomir@585	454	final int indx = wide ? readUShort(byteCodes, i++)
lubomir@585	455	: readUByte(byteCodes, i);
lubomir@585	456	wide = false;
lubomir@474	457	emit(out, "var @1 = @2;",
lubomir@474	458	lmapper.setI(indx), smapper.popI());
lubomir@281	459	break;
lubomir@281	460	}
lubomir@281	461	case opc_lstore: {
lubomir@585	462	++i;
lubomir@585	463	final int indx = wide ? readUShort(byteCodes, i++)
lubomir@585	464	: readUByte(byteCodes, i);
lubomir@585	465	wide = false;
lubomir@474	466	emit(out, "var @1 = @2;",
lubomir@474	467	lmapper.setL(indx), smapper.popL());
lubomir@281	468	break;
lubomir@281	469	}
lubomir@281	470	case opc_fstore: {
lubomir@585	471	++i;
lubomir@585	472	final int indx = wide ? readUShort(byteCodes, i++)
lubomir@585	473	: readUByte(byteCodes, i);
lubomir@585	474	wide = false;
lubomir@474	475	emit(out, "var @1 = @2;",
lubomir@474	476	lmapper.setF(indx), smapper.popF());
lubomir@281	477	break;
lubomir@281	478	}
lubomir@281	479	case opc_dstore: {
lubomir@585	480	++i;
lubomir@585	481	final int indx = wide ? readUShort(byteCodes, i++)
lubomir@585	482	: readUByte(byteCodes, i);
lubomir@585	483	wide = false;
lubomir@474	484	emit(out, "var @1 = @2;",
lubomir@474	485	lmapper.setD(indx), smapper.popD());
lubomir@281	486	break;
lubomir@281	487	}
jaroslav@151	488	case opc_astore: {
lubomir@585	489	++i;
lubomir@585	490	final int indx = wide ? readUShort(byteCodes, i++)
lubomir@585	491	: readUByte(byteCodes, i);
lubomir@585	492	wide = false;
lubomir@474	493	emit(out, "var @1 = @2;",
lubomir@474	494	lmapper.setA(indx), smapper.popA());
jaroslav@31	495	break;
jaroslav@31	496	}
jaroslav@151	497	case opc_astore_0:
lubomir@474	498	emit(out, "var @1 = @2;", lmapper.setA(0), smapper.popA());
lubomir@281	499	break;
jaroslav@151	500	case opc_istore_0:
lubomir@474	501	emit(out, "var @1 = @2;", lmapper.setI(0), smapper.popI());
lubomir@281	502	break;
jaroslav@151	503	case opc_lstore_0:
lubomir@474	504	emit(out, "var @1 = @2;", lmapper.setL(0), smapper.popL());
lubomir@281	505	break;
jaroslav@151	506	case opc_fstore_0:
lubomir@474	507	emit(out, "var @1 = @2;", lmapper.setF(0), smapper.popF());
lubomir@281	508	break;
jaroslav@151	509	case opc_dstore_0:
lubomir@474	510	emit(out, "var @1 = @2;", lmapper.setD(0), smapper.popD());
jaroslav@5	511	break;
jaroslav@151	512	case opc_astore_1:
lubomir@474	513	emit(out, "var @1 = @2;", lmapper.setA(1), smapper.popA());
lubomir@281	514	break;
jaroslav@151	515	case opc_istore_1:
lubomir@474	516	emit(out, "var @1 = @2;", lmapper.setI(1), smapper.popI());
lubomir@281	517	break;
jaroslav@151	518	case opc_lstore_1:
lubomir@474	519	emit(out, "var @1 = @2;", lmapper.setL(1), smapper.popL());
lubomir@281	520	break;
jaroslav@151	521	case opc_fstore_1:
lubomir@474	522	emit(out, "var @1 = @2;", lmapper.setF(1), smapper.popF());
lubomir@281	523	break;
jaroslav@151	524	case opc_dstore_1:
lubomir@474	525	emit(out, "var @1 = @2;", lmapper.setD(1), smapper.popD());
jaroslav@5	526	break;
jaroslav@151	527	case opc_astore_2:
lubomir@474	528	emit(out, "var @1 = @2;", lmapper.setA(2), smapper.popA());
lubomir@281	529	break;
jaroslav@151	530	case opc_istore_2:
lubomir@474	531	emit(out, "var @1 = @2;", lmapper.setI(2), smapper.popI());
lubomir@281	532	break;
jaroslav@151	533	case opc_lstore_2:
lubomir@474	534	emit(out, "var @1 = @2;", lmapper.setL(2), smapper.popL());
lubomir@281	535	break;
jaroslav@151	536	case opc_fstore_2:
lubomir@474	537	emit(out, "var @1 = @2;", lmapper.setF(2), smapper.popF());
lubomir@281	538	break;
jaroslav@151	539	case opc_dstore_2:
lubomir@474	540	emit(out, "var @1 = @2;", lmapper.setD(2), smapper.popD());
jaroslav@5	541	break;
jaroslav@151	542	case opc_astore_3:
lubomir@474	543	emit(out, "var @1 = @2;", lmapper.setA(3), smapper.popA());
lubomir@281	544	break;
jaroslav@151	545	case opc_istore_3:
lubomir@474	546	emit(out, "var @1 = @2;", lmapper.setI(3), smapper.popI());
lubomir@281	547	break;
jaroslav@151	548	case opc_lstore_3:
lubomir@474	549	emit(out, "var @1 = @2;", lmapper.setL(3), smapper.popL());
lubomir@281	550	break;
jaroslav@151	551	case opc_fstore_3:
lubomir@474	552	emit(out, "var @1 = @2;", lmapper.setF(3), smapper.popF());
lubomir@281	553	break;
jaroslav@151	554	case opc_dstore_3:
lubomir@474	555	emit(out, "var @1 = @2;", lmapper.setD(3), smapper.popD());
jaroslav@5	556	break;
jaroslav@151	557	case opc_iadd:
Martin@445	558	emit(out, "@1 = @1.add32(@2);", smapper.getI(1), smapper.popI());
lubomir@281	559	break;
jaroslav@151	560	case opc_ladd:
Martin@582	561	emit(out, "@1 = @1.add64(@2);", smapper.getL(1), smapper.popL());
lubomir@281	562	break;
jaroslav@151	563	case opc_fadd:
lubomir@307	564	emit(out, "@1 += @2;", smapper.getF(1), smapper.popF());
lubomir@281	565	break;
jaroslav@151	566	case opc_dadd:
lubomir@307	567	emit(out, "@1 += @2;", smapper.getD(1), smapper.popD());
jaroslav@0	568	break;
jaroslav@151	569	case opc_isub:
Martin@445	570	emit(out, "@1 = @1.sub32(@2);", smapper.getI(1), smapper.popI());
lubomir@281	571	break;
jaroslav@151	572	case opc_lsub:
Martin@620	573	emit(out, "@1 = @1.sub64(@2);", smapper.getL(1), smapper.popL());
lubomir@281	574	break;
jaroslav@151	575	case opc_fsub:
lubomir@307	576	emit(out, "@1 -= @2;", smapper.getF(1), smapper.popF());
lubomir@281	577	break;
jaroslav@151	578	case opc_dsub:
lubomir@307	579	emit(out, "@1 -= @2;", smapper.getD(1), smapper.popD());
jaroslav@2	580	break;
jaroslav@151	581	case opc_imul:
Martin@445	582	emit(out, "@1 = @1.mul32(@2);", smapper.getI(1), smapper.popI());
lubomir@281	583	break;
jaroslav@151	584	case opc_lmul:
Martin@657	585	emit(out, "@1 = @1.mul64(@2);", smapper.getL(1), smapper.popL());
lubomir@281	586	break;
jaroslav@151	587	case opc_fmul:
lubomir@307	588	emit(out, "@1 *= @2;", smapper.getF(1), smapper.popF());
lubomir@281	589	break;
jaroslav@151	590	case opc_dmul:
lubomir@307	591	emit(out, "@1 *= @2;", smapper.getD(1), smapper.popD());
jaroslav@1	592	break;
jaroslav@151	593	case opc_idiv:
lubomir@737	594	emit(out, "@1 = @1.div32(@2);",
lubomir@307	595	smapper.getI(1), smapper.popI());
lubomir@281	596	break;
jaroslav@151	597	case opc_ldiv:
Martin@582	598	emit(out, "@1 = @1.div64(@2);",
lubomir@307	599	smapper.getL(1), smapper.popL());
jaroslav@3	600	break;
jaroslav@151	601	case opc_fdiv:
lubomir@307	602	emit(out, "@1 /= @2;", smapper.getF(1), smapper.popF());
lubomir@281	603	break;
jaroslav@151	604	case opc_ddiv:
lubomir@307	605	emit(out, "@1 /= @2;", smapper.getD(1), smapper.popD());
jaroslav@3	606	break;
jaroslav@178	607	case opc_irem:
lubomir@737	608	emit(out, "@1 = @1.mod32(@2);",
lubomir@737	609	smapper.getI(1), smapper.popI());
lubomir@281	610	break;
jaroslav@178	611	case opc_lrem:
lubomir@676	612	emit(out, "@1 = @1.mod64(@2);",
lubomir@676	613	smapper.getL(1), smapper.popL());
lubomir@281	614	break;
jaroslav@178	615	case opc_frem:
lubomir@307	616	emit(out, "@1 %= @2;", smapper.getF(1), smapper.popF());
lubomir@281	617	break;
jaroslav@178	618	case opc_drem:
lubomir@307	619	emit(out, "@1 %= @2;", smapper.getD(1), smapper.popD());
jaroslav@178	620	break;
jaroslav@151	621	case opc_iand:
lubomir@307	622	emit(out, "@1 &= @2;", smapper.getI(1), smapper.popI());
lubomir@281	623	break;
jaroslav@151	624	case opc_land:
Martin@615	625	emit(out, "@1 = @1.and64(@2);", smapper.getL(1), smapper.popL());
jaroslav@7	626	break;
jaroslav@151	627	case opc_ior:
lubomir@307	628	emit(out, "@1 \|= @2;", smapper.getI(1), smapper.popI());
lubomir@281	629	break;
jaroslav@151	630	case opc_lor:
Martin@627	631	emit(out, "@1 = @1.or64(@2);", smapper.getL(1), smapper.popL());
jaroslav@7	632	break;
jaroslav@151	633	case opc_ixor:
lubomir@307	634	emit(out, "@1 ^= @2;", smapper.getI(1), smapper.popI());
lubomir@281	635	break;
jaroslav@151	636	case opc_lxor:
lubomir@679	637	emit(out, "@1 = @1.xor64(@2);", smapper.getL(1), smapper.popL());
jaroslav@6	638	break;
jaroslav@151	639	case opc_ineg:
Martin@700	640	emit(out, "@1 = @1.neg32();", smapper.getI(0));
lubomir@281	641	break;
jaroslav@151	642	case opc_lneg:
Martin@630	643	emit(out, "@1 = @1.neg64();", smapper.getL(0));
lubomir@281	644	break;
jaroslav@151	645	case opc_fneg:
lubomir@307	646	emit(out, "@1 = -@1;", smapper.getF(0));
lubomir@281	647	break;
jaroslav@151	648	case opc_dneg:
lubomir@307	649	emit(out, "@1 = -@1;", smapper.getD(0));
jaroslav@93	650	break;
jaroslav@151	651	case opc_ishl:
lubomir@307	652	emit(out, "@1 <<= @2;", smapper.getI(1), smapper.popI());
lubomir@281	653	break;
jaroslav@151	654	case opc_lshl:
Martin@582	655	emit(out, "@1 = @1.shl64(@2);", smapper.getL(1), smapper.popI());
jaroslav@93	656	break;
jaroslav@151	657	case opc_ishr:
lubomir@307	658	emit(out, "@1 >>= @2;", smapper.getI(1), smapper.popI());
lubomir@281	659	break;
jaroslav@151	660	case opc_lshr:
Martin@615	661	emit(out, "@1 = @1.shr64(@2);", smapper.getL(1), smapper.popI());
jaroslav@93	662	break;
jaroslav@151	663	case opc_iushr:
lubomir@307	664	emit(out, "@1 >>>= @2;", smapper.getI(1), smapper.popI());
lubomir@281	665	break;
jaroslav@151	666	case opc_lushr:
Martin@629	667	emit(out, "@1 = @1.ushr64(@2);", smapper.getL(1), smapper.popI());
jaroslav@93	668	break;
jaroslav@151	669	case opc_iinc: {
lubomir@585	670	++i;
lubomir@585	671	final int varIndx = wide ? readUShort(byteCodes, i++)
lubomir@585	672	: readUByte(byteCodes, i);
lubomir@585	673	++i;
lubomir@697	674	final int incrBy = wide ? readShort(byteCodes, i++)
lubomir@585	675	: byteCodes[i];
lubomir@585	676	wide = false;
jaroslav@5	677	if (incrBy == 1) {
lubomir@307	678	emit(out, "@1++;", lmapper.getI(varIndx));
jaroslav@5	679	} else {
lubomir@307	680	emit(out, "@1 += @2;",
lubomir@307	681	lmapper.getI(varIndx),
lubomir@283	682	Integer.toString(incrBy));
jaroslav@5	683	}
jaroslav@5	684	break;
jaroslav@5	685	}
jaroslav@151	686	case opc_return:
lubomir@283	687	emit(out, "return;");
jaroslav@10	688	break;
jaroslav@151	689	case opc_ireturn:
lubomir@307	690	emit(out, "return @1;", smapper.popI());
lubomir@281	691	break;
jaroslav@151	692	case opc_lreturn:
lubomir@307	693	emit(out, "return @1;", smapper.popL());
lubomir@281	694	break;
jaroslav@151	695	case opc_freturn:
lubomir@307	696	emit(out, "return @1;", smapper.popF());
lubomir@281	697	break;
jaroslav@151	698	case opc_dreturn:
lubomir@307	699	emit(out, "return @1;", smapper.popD());
lubomir@281	700	break;
jaroslav@151	701	case opc_areturn:
lubomir@307	702	emit(out, "return @1;", smapper.popA());
jaroslav@1	703	break;
jaroslav@151	704	case opc_i2l:
lubomir@474	705	emit(out, "var @2 = @1;", smapper.popI(), smapper.pushL());
lubomir@281	706	break;
jaroslav@151	707	case opc_i2f:
lubomir@474	708	emit(out, "var @2 = @1;", smapper.popI(), smapper.pushF());
lubomir@281	709	break;
jaroslav@151	710	case opc_i2d:
lubomir@474	711	emit(out, "var @2 = @1;", smapper.popI(), smapper.pushD());
lubomir@281	712	break;
jaroslav@151	713	case opc_l2i:
Martin@582	714	emit(out, "var @2 = @1.toInt32();", smapper.popL(), smapper.pushI());
lubomir@281	715	break;
jaroslav@3	716	// max int check?
jaroslav@151	717	case opc_l2f:
Martin@582	718	emit(out, "var @2 = @1.toFP();", smapper.popL(), smapper.pushF());
jaroslav@272	719	break;
jaroslav@151	720	case opc_l2d:
Martin@582	721	emit(out, "var @2 = @1.toFP();", smapper.popL(), smapper.pushD());
jaroslav@272	722	break;
jaroslav@151	723	case opc_f2d:
lubomir@474	724	emit(out, "var @2 = @1;", smapper.popF(), smapper.pushD());
lubomir@281	725	break;
jaroslav@151	726	case opc_d2f:
lubomir@474	727	emit(out, "var @2 = @1;", smapper.popD(), smapper.pushF());
jaroslav@3	728	break;
jaroslav@151	729	case opc_f2i:
lubomir@778	730	emit(out, "var @2 = @1.toInt32();",
lubomir@307	731	smapper.popF(), smapper.pushI());
lubomir@281	732	break;
jaroslav@151	733	case opc_f2l:
lubomir@778	734	emit(out, "var @2 = @1.toLong();",
lubomir@307	735	smapper.popF(), smapper.pushL());
lubomir@281	736	break;
jaroslav@151	737	case opc_d2i:
lubomir@778	738	emit(out, "var @2 = @1.toInt32();",
lubomir@307	739	smapper.popD(), smapper.pushI());
lubomir@281	740	break;
jaroslav@151	741	case opc_d2l:
lubomir@778	742	emit(out, "var @2 = @1.toLong();",
lubomir@307	743	smapper.popD(), smapper.pushL());
jaroslav@3	744	break;
jaroslav@151	745	case opc_i2b:
lubomir@474	746	emit(out, "var @1 = @1.toInt8();", smapper.getI(0));
Martin@440	747	break;
jaroslav@151	748	case opc_i2c:
Martin@439	749	out.append("{ /* number conversion */ }");
Martin@439	750	break;
jaroslav@151	751	case opc_i2s:
lubomir@474	752	emit(out, "var @1 = @1.toInt16();", smapper.getI(0));
jaroslav@2	753	break;
jaroslav@151	754	case opc_aconst_null:
lubomir@474	755	emit(out, "var @1 = null;", smapper.pushA());
jaroslav@46	756	break;
jaroslav@151	757	case opc_iconst_m1:
lubomir@474	758	emit(out, "var @1 = -1;", smapper.pushI());
jaroslav@48	759	break;
jaroslav@151	760	case opc_iconst_0:
lubomir@474	761	emit(out, "var @1 = 0;", smapper.pushI());
lubomir@281	762	break;
jaroslav@151	763	case opc_dconst_0:
lubomir@474	764	emit(out, "var @1 = 0;", smapper.pushD());
lubomir@281	765	break;
jaroslav@151	766	case opc_lconst_0:
lubomir@474	767	emit(out, "var @1 = 0;", smapper.pushL());
lubomir@281	768	break;
jaroslav@151	769	case opc_fconst_0:
lubomir@474	770	emit(out, "var @1 = 0;", smapper.pushF());
jaroslav@4	771	break;
jaroslav@151	772	case opc_iconst_1:
lubomir@474	773	emit(out, "var @1 = 1;", smapper.pushI());
lubomir@281	774	break;
jaroslav@151	775	case opc_lconst_1:
lubomir@474	776	emit(out, "var @1 = 1;", smapper.pushL());
lubomir@281	777	break;
jaroslav@151	778	case opc_fconst_1:
lubomir@474	779	emit(out, "var @1 = 1;", smapper.pushF());
lubomir@281	780	break;
jaroslav@151	781	case opc_dconst_1:
lubomir@474	782	emit(out, "var @1 = 1;", smapper.pushD());
jaroslav@4	783	break;
jaroslav@151	784	case opc_iconst_2:
lubomir@474	785	emit(out, "var @1 = 2;", smapper.pushI());
lubomir@281	786	break;
jaroslav@151	787	case opc_fconst_2:
lubomir@474	788	emit(out, "var @1 = 2;", smapper.pushF());
jaroslav@4	789	break;
jaroslav@151	790	case opc_iconst_3:
lubomir@474	791	emit(out, "var @1 = 3;", smapper.pushI());
jaroslav@4	792	break;
jaroslav@151	793	case opc_iconst_4:
lubomir@474	794	emit(out, "var @1 = 4;", smapper.pushI());
jaroslav@4	795	break;
jaroslav@151	796	case opc_iconst_5:
lubomir@474	797	emit(out, "var @1 = 5;", smapper.pushI());
jaroslav@4	798	break;
jaroslav@151	799	case opc_ldc: {
lubomir@585	800	int indx = readUByte(byteCodes, ++i);
jaroslav@151	801	String v = encodeConstant(indx);
lubomir@307	802	int type = VarType.fromConstantType(jc.getTag(indx));
lubomir@474	803	emit(out, "var @1 = @2;", smapper.pushT(type), v);
jaroslav@20	804	break;
jaroslav@20	805	}
jaroslav@151	806	case opc_ldc_w:
jaroslav@151	807	case opc_ldc2_w: {
jaroslav@864	808	int indx = readUShortArg(byteCodes, i);
jaroslav@8	809	i += 2;
jaroslav@151	810	String v = encodeConstant(indx);
lubomir@307	811	int type = VarType.fromConstantType(jc.getTag(indx));
Martin@582	812	if (type == VarType.LONG) {
Martin@582	813	final Long lv = new Long(v);
Martin@582	814	final int low = (int)(lv.longValue() & 0xFFFFFFFF);
Martin@582	815	final int hi = (int)(lv.longValue() >> 32);
Martin@594	816	emit(out, "var @1 = 0x@3.next32(0x@2);", smapper.pushL(),
Martin@582	817	Integer.toHexString(low), Integer.toHexString(hi));
Martin@582	818	} else {
Martin@582	819	emit(out, "var @1 = @2;", smapper.pushT(type), v);
Martin@582	820	}
jaroslav@8	821	break;
jaroslav@8	822	}
jaroslav@151	823	case opc_lcmp:
Martin@582	824	emit(out, "var @3 = @2.compare64(@1);",
lubomir@307	825	smapper.popL(), smapper.popL(), smapper.pushI());
lubomir@281	826	break;
jaroslav@151	827	case opc_fcmpl:
jaroslav@151	828	case opc_fcmpg:
lubomir@474	829	emit(out, "var @3 = (@2 == @1) ? 0 : ((@2 < @1) ? -1 : 1);",
lubomir@307	830	smapper.popF(), smapper.popF(), smapper.pushI());
lubomir@281	831	break;
jaroslav@151	832	case opc_dcmpl:
lubomir@281	833	case opc_dcmpg:
lubomir@474	834	emit(out, "var @3 = (@2 == @1) ? 0 : ((@2 < @1) ? -1 : 1);",
lubomir@307	835	smapper.popD(), smapper.popD(), smapper.pushI());
jaroslav@20	836	break;
jaroslav@151	837	case opc_if_acmpeq:
lubomir@307	838	i = generateIf(byteCodes, i, smapper.popA(), smapper.popA(),
jaroslav@843	839	"===", topMostLabel);
jaroslav@104	840	break;
jaroslav@151	841	case opc_if_acmpne:
lubomir@307	842	i = generateIf(byteCodes, i, smapper.popA(), smapper.popA(),
jaroslav@843	843	"!==", topMostLabel);
jaroslav@104	844	break;
lubomir@283	845	case opc_if_icmpeq:
lubomir@307	846	i = generateIf(byteCodes, i, smapper.popI(), smapper.popI(),
jaroslav@843	847	"==", topMostLabel);
jaroslav@4	848	break;
jaroslav@151	849	case opc_ifeq: {
jaroslav@864	850	int indx = i + readShortArg(byteCodes, i);
jaroslav@839	851	emitIf(out, "if (@1 == 0) ",
jaroslav@843	852	smapper.popI(), i, indx, topMostLabel);
jaroslav@7	853	i += 2;
jaroslav@7	854	break;
jaroslav@7	855	}
jaroslav@151	856	case opc_ifne: {
jaroslav@864	857	int indx = i + readShortArg(byteCodes, i);
jaroslav@839	858	emitIf(out, "if (@1 != 0) ",
jaroslav@843	859	smapper.popI(), i, indx, topMostLabel);
jaroslav@20	860	i += 2;
jaroslav@20	861	break;
jaroslav@20	862	}
jaroslav@151	863	case opc_iflt: {
jaroslav@864	864	int indx = i + readShortArg(byteCodes, i);
jaroslav@839	865	emitIf(out, "if (@1 < 0) ",
jaroslav@843	866	smapper.popI(), i, indx, topMostLabel);
jaroslav@20	867	i += 2;
jaroslav@20	868	break;
jaroslav@20	869	}
jaroslav@151	870	case opc_ifle: {
jaroslav@864	871	int indx = i + readShortArg(byteCodes, i);
jaroslav@839	872	emitIf(out, "if (@1 <= 0) ",
jaroslav@843	873	smapper.popI(), i, indx, topMostLabel);
jaroslav@20	874	i += 2;
jaroslav@20	875	break;
jaroslav@20	876	}
jaroslav@151	877	case opc_ifgt: {
jaroslav@864	878	int indx = i + readShortArg(byteCodes, i);
jaroslav@839	879	emitIf(out, "if (@1 > 0) ",
jaroslav@843	880	smapper.popI(), i, indx, topMostLabel);
jaroslav@20	881	i += 2;
jaroslav@20	882	break;
jaroslav@20	883	}
jaroslav@151	884	case opc_ifge: {
jaroslav@864	885	int indx = i + readShortArg(byteCodes, i);
jaroslav@839	886	emitIf(out, "if (@1 >= 0) ",
jaroslav@843	887	smapper.popI(), i, indx, topMostLabel);
jaroslav@20	888	i += 2;
jaroslav@20	889	break;
jaroslav@20	890	}
jaroslav@151	891	case opc_ifnonnull: {
jaroslav@864	892	int indx = i + readShortArg(byteCodes, i);
jaroslav@839	893	emitIf(out, "if (@1 !== null) ",
jaroslav@843	894	smapper.popA(), i, indx, topMostLabel);
jaroslav@16	895	i += 2;
jaroslav@16	896	break;
jaroslav@16	897	}
jaroslav@151	898	case opc_ifnull: {
jaroslav@864	899	int indx = i + readShortArg(byteCodes, i);
jaroslav@839	900	emitIf(out, "if (@1 === null) ",
jaroslav@843	901	smapper.popA(), i, indx, topMostLabel);
jaroslav@16	902	i += 2;
jaroslav@16	903	break;
jaroslav@16	904	}
jaroslav@151	905	case opc_if_icmpne:
lubomir@307	906	i = generateIf(byteCodes, i, smapper.popI(), smapper.popI(),
jaroslav@843	907	"!=", topMostLabel);
jaroslav@4	908	break;
jaroslav@151	909	case opc_if_icmplt:
lubomir@307	910	i = generateIf(byteCodes, i, smapper.popI(), smapper.popI(),
jaroslav@843	911	"<", topMostLabel);
jaroslav@4	912	break;
jaroslav@151	913	case opc_if_icmple:
lubomir@307	914	i = generateIf(byteCodes, i, smapper.popI(), smapper.popI(),
jaroslav@843	915	"<=", topMostLabel);
jaroslav@4	916	break;
jaroslav@151	917	case opc_if_icmpgt:
lubomir@307	918	i = generateIf(byteCodes, i, smapper.popI(), smapper.popI(),
jaroslav@843	919	">", topMostLabel);
jaroslav@4	920	break;
jaroslav@151	921	case opc_if_icmpge:
lubomir@307	922	i = generateIf(byteCodes, i, smapper.popI(), smapper.popI(),
jaroslav@843	923	">=", topMostLabel);
jaroslav@4	924	break;
jaroslav@151	925	case opc_goto: {
jaroslav@864	926	int indx = i + readShortArg(byteCodes, i);
jaroslav@843	927	goTo(out, i, indx, topMostLabel);
jaroslav@5	928	i += 2;
jaroslav@5	929	break;
jaroslav@5	930	}
jaroslav@151	931	case opc_lookupswitch: {
jaroslav@843	932	i = generateLookupSwitch(i, byteCodes, smapper, topMostLabel);
jaroslav@115	933	break;
jaroslav@115	934	}
jaroslav@151	935	case opc_tableswitch: {
jaroslav@843	936	i = generateTableSwitch(i, byteCodes, smapper, topMostLabel);
jaroslav@115	937	break;
jaroslav@115	938	}
jaroslav@151	939	case opc_invokeinterface: {
lubomir@307	940	i = invokeVirtualMethod(byteCodes, i, smapper) + 2;
jaroslav@46	941	break;
jaroslav@46	942	}
jaroslav@151	943	case opc_invokevirtual:
lubomir@307	944	i = invokeVirtualMethod(byteCodes, i, smapper);
jaroslav@12	945	break;
jaroslav@151	946	case opc_invokespecial:
lubomir@307	947	i = invokeStaticMethod(byteCodes, i, smapper, false);
jaroslav@4	948	break;
jaroslav@151	949	case opc_invokestatic:
lubomir@307	950	i = invokeStaticMethod(byteCodes, i, smapper, true);
jaroslav@10	951	break;
jaroslav@151	952	case opc_new: {
jaroslav@864	953	int indx = readUShortArg(byteCodes, i);
jaroslav@151	954	String ci = jc.getClassName(indx);
lubomir@474	955	emit(out, "var @1 = new @2;",
lubomir@317	956	smapper.pushA(), accessClass(ci.replace('/', '_')));
jaroslav@151	957	addReference(ci);
jaroslav@8	958	i += 2;
jaroslav@8	959	break;
jaroslav@8	960	}
lubomir@283	961	case opc_newarray:
lubomir@585	962	int atype = readUByte(byteCodes, ++i);
jaroslav@842	963	generateNewArray(atype, smapper);
jaroslav@21	964	break;
jaroslav@448	965	case opc_anewarray: {
jaroslav@864	966	int type = readUShortArg(byteCodes, i);
jaroslav@448	967	i += 2;
jaroslav@842	968	generateANewArray(type, smapper);
jaroslav@21	969	break;
jaroslav@448	970	}
jaroslav@151	971	case opc_multianewarray: {
jaroslav@864	972	int type = readUShortArg(byteCodes, i);
jtulach@128	973	i += 2;
jaroslav@842	974	i = generateMultiANewArray(type, byteCodes, i, smapper);
jtulach@128	975	break;
jtulach@128	976	}
jaroslav@151	977	case opc_arraylength:
lubomir@474	978	emit(out, "var @2 = @1.length;",
lubomir@474	979	smapper.popA(), smapper.pushI());
jaroslav@272	980	break;
lubomir@283	981	case opc_lastore:
jaroslav@459	982	emit(out, "@3.at(@2, @1);",
lubomir@307	983	smapper.popL(), smapper.popI(), smapper.popA());
lubomir@281	984	break;
lubomir@283	985	case opc_fastore:
jaroslav@459	986	emit(out, "@3.at(@2, @1);",
lubomir@307	987	smapper.popF(), smapper.popI(), smapper.popA());
lubomir@281	988	break;
lubomir@283	989	case opc_dastore:
jaroslav@459	990	emit(out, "@3.at(@2, @1);",
lubomir@307	991	smapper.popD(), smapper.popI(), smapper.popA());
lubomir@281	992	break;
lubomir@283	993	case opc_aastore:
jaroslav@459	994	emit(out, "@3.at(@2, @1);",
lubomir@307	995	smapper.popA(), smapper.popI(), smapper.popA());
jaroslav@21	996	break;
jaroslav@151	997	case opc_iastore:
jaroslav@151	998	case opc_bastore:
jaroslav@151	999	case opc_castore:
lubomir@283	1000	case opc_sastore:
jaroslav@459	1001	emit(out, "@3.at(@2, @1);",
lubomir@307	1002	smapper.popI(), smapper.popI(), smapper.popA());
jaroslav@240	1003	break;
lubomir@283	1004	case opc_laload:
lubomir@474	1005	emit(out, "var @3 = @2.at(@1);",
lubomir@307	1006	smapper.popI(), smapper.popA(), smapper.pushL());
lubomir@281	1007	break;
lubomir@283	1008	case opc_faload:
lubomir@474	1009	emit(out, "var @3 = @2.at(@1);",
lubomir@307	1010	smapper.popI(), smapper.popA(), smapper.pushF());
lubomir@281	1011	break;
lubomir@283	1012	case opc_daload:
lubomir@474	1013	emit(out, "var @3 = @2.at(@1);",
lubomir@307	1014	smapper.popI(), smapper.popA(), smapper.pushD());
lubomir@281	1015	break;
lubomir@283	1016	case opc_aaload:
lubomir@474	1017	emit(out, "var @3 = @2.at(@1);",
lubomir@307	1018	smapper.popI(), smapper.popA(), smapper.pushA());
jaroslav@272	1019	break;
jaroslav@272	1020	case opc_iaload:
jaroslav@272	1021	case opc_baload:
jaroslav@272	1022	case opc_caload:
lubomir@283	1023	case opc_saload:
lubomir@474	1024	emit(out, "var @3 = @2.at(@1);",
lubomir@307	1025	smapper.popI(), smapper.popA(), smapper.pushI());
jaroslav@272	1026	break;
lubomir@221	1027	case opc_pop:
jaroslav@272	1028	case opc_pop2:
lubomir@307	1029	smapper.pop(1);
jaroslav@399	1030	debug("/* pop */");
jaroslav@272	1031	break;
lubomir@281	1032	case opc_dup: {
lubomir@307	1033	final Variable v = smapper.get(0);
lubomir@474	1034	emit(out, "var @1 = @2;", smapper.pushT(v.getType()), v);
jaroslav@21	1035	break;
jaroslav@21	1036	}
lubomir@281	1037	case opc_dup2: {
lubomir@585	1038	final Variable vi1 = smapper.get(0);
lubomir@585	1039
lubomir@585	1040	if (vi1.isCategory2()) {
lubomir@474	1041	emit(out, "var @1 = @2;",
lubomir@585	1042	smapper.pushT(vi1.getType()), vi1);
lubomir@281	1043	} else {
lubomir@585	1044	final Variable vi2 = smapper.get(1);
lubomir@474	1045	emit(out, "var @1 = @2, @3 = @4;",
lubomir@585	1046	smapper.pushT(vi2.getType()), vi2,
lubomir@585	1047	smapper.pushT(vi1.getType()), vi1);
lubomir@281	1048	}
jaroslav@21	1049	break;
jaroslav@21	1050	}
lubomir@281	1051	case opc_dup_x1: {
lubomir@307	1052	final Variable vi1 = smapper.pop();
lubomir@307	1053	final Variable vi2 = smapper.pop();
lubomir@307	1054	final Variable vo3 = smapper.pushT(vi1.getType());
lubomir@307	1055	final Variable vo2 = smapper.pushT(vi2.getType());
lubomir@307	1056	final Variable vo1 = smapper.pushT(vi1.getType());
lubomir@281	1057
lubomir@474	1058	emit(out, "var @1 = @2, @3 = @4, @5 = @6;",
lubomir@283	1059	vo1, vi1, vo2, vi2, vo3, vo1);
jaroslav@93	1060	break;
lubomir@281	1061	}
lubomir@585	1062	case opc_dup2_x1: {
lubomir@585	1063	final Variable vi1 = smapper.pop();
lubomir@585	1064	final Variable vi2 = smapper.pop();
lubomir@585	1065
lubomir@585	1066	if (vi1.isCategory2()) {
lubomir@307	1067	final Variable vo3 = smapper.pushT(vi1.getType());
lubomir@307	1068	final Variable vo2 = smapper.pushT(vi2.getType());
lubomir@307	1069	final Variable vo1 = smapper.pushT(vi1.getType());
lubomir@281	1070
lubomir@474	1071	emit(out, "var @1 = @2, @3 = @4, @5 = @6;",
lubomir@283	1072	vo1, vi1, vo2, vi2, vo3, vo1);
lubomir@281	1073	} else {
lubomir@585	1074	final Variable vi3 = smapper.pop();
lubomir@585	1075	final Variable vo5 = smapper.pushT(vi2.getType());
lubomir@585	1076	final Variable vo4 = smapper.pushT(vi1.getType());
lubomir@585	1077	final Variable vo3 = smapper.pushT(vi3.getType());
lubomir@585	1078	final Variable vo2 = smapper.pushT(vi2.getType());
lubomir@585	1079	final Variable vo1 = smapper.pushT(vi1.getType());
lubomir@585	1080
lubomir@585	1081	emit(out, "var @1 = @2, @3 = @4, @5 = @6,",
lubomir@585	1082	vo1, vi1, vo2, vi2, vo3, vi3);
lubomir@585	1083	emit(out, " @1 = @2, @3 = @4;",
lubomir@585	1084	vo4, vo1, vo5, vo2);
lubomir@585	1085	}
lubomir@585	1086	break;
lubomir@585	1087	}
lubomir@585	1088	case opc_dup_x2: {
lubomir@585	1089	final Variable vi1 = smapper.pop();
lubomir@585	1090	final Variable vi2 = smapper.pop();
lubomir@585	1091
lubomir@585	1092	if (vi2.isCategory2()) {
lubomir@585	1093	final Variable vo3 = smapper.pushT(vi1.getType());
lubomir@585	1094	final Variable vo2 = smapper.pushT(vi2.getType());
lubomir@585	1095	final Variable vo1 = smapper.pushT(vi1.getType());
lubomir@585	1096
lubomir@585	1097	emit(out, "var @1 = @2, @3 = @4, @5 = @6;",
lubomir@585	1098	vo1, vi1, vo2, vi2, vo3, vo1);
lubomir@585	1099	} else {
lubomir@307	1100	final Variable vi3 = smapper.pop();
lubomir@307	1101	final Variable vo4 = smapper.pushT(vi1.getType());
lubomir@307	1102	final Variable vo3 = smapper.pushT(vi3.getType());
lubomir@307	1103	final Variable vo2 = smapper.pushT(vi2.getType());
lubomir@307	1104	final Variable vo1 = smapper.pushT(vi1.getType());
lubomir@281	1105
lubomir@474	1106	emit(out, "var @1 = @2, @3 = @4, @5 = @6, @7 = @8;",
lubomir@283	1107	vo1, vi1, vo2, vi2, vo3, vi3, vo4, vo1);
lubomir@281	1108	}
jaroslav@8	1109	break;
lubomir@281	1110	}
lubomir@585	1111	case opc_dup2_x2: {
lubomir@585	1112	final Variable vi1 = smapper.pop();
lubomir@585	1113	final Variable vi2 = smapper.pop();
lubomir@585	1114
lubomir@585	1115	if (vi1.isCategory2()) {
lubomir@585	1116	if (vi2.isCategory2()) {
lubomir@585	1117	final Variable vo3 = smapper.pushT(vi1.getType());
lubomir@585	1118	final Variable vo2 = smapper.pushT(vi2.getType());
lubomir@585	1119	final Variable vo1 = smapper.pushT(vi1.getType());
lubomir@585	1120
lubomir@585	1121	emit(out, "var @1 = @2, @3 = @4, @5 = @6;",
lubomir@585	1122	vo1, vi1, vo2, vi2, vo3, vo1);
lubomir@585	1123	} else {
lubomir@585	1124	final Variable vi3 = smapper.pop();
lubomir@585	1125	final Variable vo4 = smapper.pushT(vi1.getType());
lubomir@585	1126	final Variable vo3 = smapper.pushT(vi3.getType());
lubomir@585	1127	final Variable vo2 = smapper.pushT(vi2.getType());
lubomir@585	1128	final Variable vo1 = smapper.pushT(vi1.getType());
lubomir@585	1129
lubomir@585	1130	emit(out, "var @1 = @2, @3 = @4, @5 = @6, @7 = @8;",
lubomir@585	1131	vo1, vi1, vo2, vi2, vo3, vi3, vo4, vo1);
lubomir@585	1132	}
lubomir@585	1133	} else {
lubomir@585	1134	final Variable vi3 = smapper.pop();
lubomir@585	1135
lubomir@585	1136	if (vi3.isCategory2()) {
lubomir@585	1137	final Variable vo5 = smapper.pushT(vi2.getType());
lubomir@585	1138	final Variable vo4 = smapper.pushT(vi1.getType());
lubomir@585	1139	final Variable vo3 = smapper.pushT(vi3.getType());
lubomir@585	1140	final Variable vo2 = smapper.pushT(vi2.getType());
lubomir@585	1141	final Variable vo1 = smapper.pushT(vi1.getType());
lubomir@585	1142
lubomir@585	1143	emit(out, "var @1 = @2, @3 = @4, @5 = @6,",
lubomir@585	1144	vo1, vi1, vo2, vi2, vo3, vi3);
lubomir@585	1145	emit(out, " @1 = @2, @3 = @4;",
lubomir@585	1146	vo4, vo1, vo5, vo2);
lubomir@585	1147	} else {
lubomir@585	1148	final Variable vi4 = smapper.pop();
lubomir@585	1149	final Variable vo6 = smapper.pushT(vi2.getType());
lubomir@585	1150	final Variable vo5 = smapper.pushT(vi1.getType());
lubomir@585	1151	final Variable vo4 = smapper.pushT(vi4.getType());
lubomir@585	1152	final Variable vo3 = smapper.pushT(vi3.getType());
lubomir@585	1153	final Variable vo2 = smapper.pushT(vi2.getType());
lubomir@585	1154	final Variable vo1 = smapper.pushT(vi1.getType());
lubomir@585	1155
lubomir@585	1156	emit(out, "var @1 = @2, @3 = @4, @5 = @6, @7 = @8,",
lubomir@585	1157	vo1, vi1, vo2, vi2, vo3, vi3, vo4, vi4);
lubomir@585	1158	emit(out, " @1 = @2, @3 = @4;",
lubomir@585	1159	vo5, vo1, vo6, vo2);
lubomir@585	1160	}
lubomir@585	1161	}
lubomir@585	1162	break;
lubomir@585	1163	}
lubomir@585	1164	case opc_swap: {
lubomir@585	1165	final Variable vi1 = smapper.get(0);
lubomir@585	1166	final Variable vi2 = smapper.get(1);
lubomir@585	1167
lubomir@585	1168	if (vi1.getType() == vi2.getType()) {
lubomir@585	1169	final Variable tmp = smapper.pushT(vi1.getType());
lubomir@585	1170
lubomir@585	1171	emit(out, "var @1 = @2, @2 = @3, @3 = @1;",
lubomir@585	1172	tmp, vi1, vi2);
lubomir@585	1173	smapper.pop(1);
lubomir@585	1174	} else {
lubomir@585	1175	smapper.pop(2);
lubomir@585	1176	smapper.pushT(vi1.getType());
lubomir@585	1177	smapper.pushT(vi2.getType());
lubomir@585	1178	}
lubomir@585	1179	break;
lubomir@585	1180	}
jaroslav@151	1181	case opc_bipush:
lubomir@474	1182	emit(out, "var @1 = @2;",
lubomir@307	1183	smapper.pushI(), Integer.toString(byteCodes[++i]));
jaroslav@8	1184	break;
jaroslav@151	1185	case opc_sipush:
lubomir@474	1186	emit(out, "var @1 = @2;",
lubomir@307	1187	smapper.pushI(),
jaroslav@864	1188	Integer.toString(readShortArg(byteCodes, i)));
jaroslav@31	1189	i += 2;
jaroslav@31	1190	break;
jaroslav@151	1191	case opc_getfield: {
jaroslav@864	1192	int indx = readUShortArg(byteCodes, i);
jaroslav@151	1193	String[] fi = jc.getFieldInfoName(indx);
lubomir@307	1194	final int type = VarType.fromFieldType(fi[2].charAt(0));
jaroslav@592	1195	final String mangleClass = mangleSig(fi[0]);
jaroslav@592	1196	final String mangleClassAccess = accessClass(mangleClass);
jaroslav@592	1197	emit(out, "var @2 = @4(false)._@3.call(@1);",
jaroslav@592	1198	smapper.popA(),
jaroslav@592	1199	smapper.pushT(type), fi[1], mangleClassAccess
jaroslav@592	1200	);
jaroslav@592	1201	i += 2;
jaroslav@592	1202	break;
jaroslav@592	1203	}
jaroslav@592	1204	case opc_putfield: {
jaroslav@864	1205	int indx = readUShortArg(byteCodes, i);
jaroslav@592	1206	String[] fi = jc.getFieldInfoName(indx);
jaroslav@592	1207	final int type = VarType.fromFieldType(fi[2].charAt(0));
jaroslav@592	1208	final String mangleClass = mangleSig(fi[0]);
jaroslav@592	1209	final String mangleClassAccess = accessClass(mangleClass);
jaroslav@592	1210	emit(out, "@4(false)._@3.call(@2, @1);",
jaroslav@592	1211	smapper.popT(type),
jaroslav@592	1212	smapper.popA(), fi[1],
jaroslav@592	1213	mangleClassAccess
jaroslav@592	1214	);
jaroslav@8	1215	i += 2;
jaroslav@8	1216	break;
jaroslav@8	1217	}
jaroslav@151	1218	case opc_getstatic: {
jaroslav@864	1219	int indx = readUShortArg(byteCodes, i);
jaroslav@151	1220	String[] fi = jc.getFieldInfoName(indx);
lubomir@307	1221	final int type = VarType.fromFieldType(fi[2].charAt(0));
jaroslav@775	1222	emit(out, "var @1 = @2(false)._@3();",
lubomir@317	1223	smapper.pushT(type),
lubomir@317	1224	accessClass(fi[0].replace('/', '_')), fi[1]);
jaroslav@9	1225	i += 2;
jaroslav@151	1226	addReference(fi[0]);
jaroslav@9	1227	break;
jaroslav@9	1228	}
lubomir@281	1229	case opc_putstatic: {
jaroslav@864	1230	int indx = readUShortArg(byteCodes, i);
lubomir@281	1231	String[] fi = jc.getFieldInfoName(indx);
lubomir@307	1232	final int type = VarType.fromFieldType(fi[2].charAt(0));
jaroslav@775	1233	emit(out, "@1(false)._@2(@3);",
lubomir@317	1234	accessClass(fi[0].replace('/', '_')), fi[1],
lubomir@317	1235	smapper.popT(type));
lubomir@281	1236	i += 2;
lubomir@281	1237	addReference(fi[0]);
lubomir@281	1238	break;
lubomir@281	1239	}
jaroslav@151	1240	case opc_checkcast: {
jaroslav@864	1241	int indx = readUShortArg(byteCodes, i);
jaroslav@842	1242	generateCheckcast(indx, smapper);
jaroslav@30	1243	i += 2;
jaroslav@30	1244	break;
jaroslav@30	1245	}
jaroslav@151	1246	case opc_instanceof: {
jaroslav@864	1247	int indx = readUShortArg(byteCodes, i);
jaroslav@842	1248	generateInstanceOf(indx, smapper);
jaroslav@17	1249	i += 2;
jaroslav@30	1250	break;
jaroslav@17	1251	}
jaroslav@151	1252	case opc_athrow: {
lubomir@307	1253	final Variable v = smapper.popA();
lubomir@307	1254	smapper.clear();
lubomir@281	1255
lubomir@474	1256	emit(out, "{ var @1 = @2; throw @2; }",
lubomir@307	1257	smapper.pushA(), v);
jaroslav@104	1258	break;
jaroslav@104	1259	}
lubomir@221	1260
lubomir@221	1261	case opc_monitorenter: {
lubomir@221	1262	out.append("/* monitor enter */");
lubomir@307	1263	smapper.popA();
lubomir@221	1264	break;
lubomir@221	1265	}
lubomir@221	1266
lubomir@221	1267	case opc_monitorexit: {
lubomir@221	1268	out.append("/* monitor exit */");
lubomir@307	1269	smapper.popA();
lubomir@221	1270	break;
lubomir@221	1271	}
lubomir@221	1272
lubomir@585	1273	case opc_wide:
lubomir@585	1274	wide = true;
lubomir@585	1275	break;
lubomir@585	1276
jaroslav@104	1277	default: {
lubomir@585	1278	wide = false;
lubomir@283	1279	emit(out, "throw 'unknown bytecode @1';",
lubomir@283	1280	Integer.toString(c));
jaroslav@104	1281	}
jaroslav@0	1282	}
jaroslav@399	1283	if (debug(" //")) {
jaroslav@842	1284	generateByteCodeComment(prev, i, byteCodes);
jaroslav@0	1285	}
tzezula@285	1286	out.append("\n");
jaroslav@0	1287	}
jaroslav@398	1288	if (previousTrap != null) {
jaroslav@843	1289	generateCatch(previousTrap, byteCodes.length, topMostLabel);
jaroslav@398	1290	}
jaroslav@839	1291	out.append("\n }\n");
jaroslav@839	1292	while (openBraces-- > 0) {
jaroslav@839	1293	out.append('}');
jaroslav@839	1294	}
jaroslav@839	1295	out.append("\n};");
jaroslav@4	1296	}
jaroslav@4	1297
jaroslav@843	1298	private int generateIf(byte[] byteCodes, int i, final Variable v2, final Variable v1, final String test, int topMostLabel) throws IOException {
jaroslav@864	1299	int indx = i + readShortArg(byteCodes, i);
lubomir@281	1300	out.append("if (").append(v1)
lubomir@221	1301	.append(' ').append(test).append(' ')
jaroslav@839	1302	.append(v2).append(") ");
jaroslav@843	1303	goTo(out, i, indx, topMostLabel);
jaroslav@4	1304	return i + 2;
jaroslav@4	1305	}
jaroslav@839	1306
lubomir@697	1307	private int readInt4(byte[] byteCodes, int offset) {
lubomir@697	1308	final int d = byteCodes[offset + 0] << 24;
lubomir@697	1309	final int c = byteCodes[offset + 1] << 16;
lubomir@697	1310	final int b = byteCodes[offset + 2] << 8;
lubomir@697	1311	final int a = byteCodes[offset + 3];
jaroslav@115	1312	return (d & 0xff000000) \| (c & 0xff0000) \| (b & 0xff00) \| (a & 0xff);
jaroslav@115	1313	}
jaroslav@864	1314	private static int readUByte(byte[] byteCodes, int offset) {
lubomir@697	1315	return byteCodes[offset] & 0xff;
jtulach@128	1316	}
lubomir@585	1317
jaroslav@864	1318	private static int readUShort(byte[] byteCodes, int offset) {
lubomir@697	1319	return ((byteCodes[offset] & 0xff) << 8)
lubomir@697	1320	\| (byteCodes[offset + 1] & 0xff);
lubomir@697	1321	}
jaroslav@864	1322	private static int readUShortArg(byte[] byteCodes, int offsetInstruction) {
jaroslav@864	1323	return readUShort(byteCodes, offsetInstruction + 1);
jaroslav@864	1324	}
lubomir@697	1325
jaroslav@864	1326	private static int readShort(byte[] byteCodes, int offset) {
jaroslav@864	1327	int signed = byteCodes[offset];
jaroslav@864	1328	byte b0 = (byte)signed;
jaroslav@864	1329	return (b0 << 8) \| (byteCodes[offset + 1] & 0xff);
jaroslav@864	1330	}
jaroslav@864	1331	private static int readShortArg(byte[] byteCodes, int offsetInstruction) {
jaroslav@864	1332	return readShort(byteCodes, offsetInstruction + 1);
lubomir@585	1333	}
lubomir@585	1334
lubomir@281	1335	private static void countArgs(String descriptor, char[] returnType, StringBuilder sig, StringBuilder cnt) {
jaroslav@4	1336	int i = 0;
jaroslav@4	1337	Boolean count = null;
jaroslav@32	1338	boolean array = false;
jaroslav@248	1339	sig.append("__");
jaroslav@10	1340	int firstPos = sig.length();
jaroslav@4	1341	while (i < descriptor.length()) {
jaroslav@4	1342	char ch = descriptor.charAt(i++);
jaroslav@4	1343	switch (ch) {
jaroslav@4	1344	case '(':
jaroslav@4	1345	count = true;
jaroslav@4	1346	continue;
jaroslav@4	1347	case ')':
jaroslav@4	1348	count = false;
jaroslav@4	1349	continue;
jaroslav@4	1350	case 'B':
jaroslav@4	1351	case 'C':
jaroslav@4	1352	case 'D':
jaroslav@4	1353	case 'F':
jaroslav@4	1354	case 'I':
jaroslav@4	1355	case 'J':
jaroslav@4	1356	case 'S':
jaroslav@4	1357	case 'Z':
jaroslav@4	1358	if (count) {
jaroslav@32	1359	if (array) {
jaroslav@248	1360	sig.append("_3");
jaroslav@32	1361	}
jaroslav@4	1362	sig.append(ch);
jtulach@156	1363	if (ch == 'J' \|\| ch == 'D') {
jtulach@156	1364	cnt.append('1');
jtulach@156	1365	} else {
jtulach@156	1366	cnt.append('0');
jtulach@156	1367	}
jaroslav@4	1368	} else {
jaroslav@10	1369	sig.insert(firstPos, ch);
jaroslav@32	1370	if (array) {
lubomir@281	1371	returnType[0] = '[';
jaroslav@248	1372	sig.insert(firstPos, "_3");
lubomir@281	1373	} else {
lubomir@281	1374	returnType[0] = ch;
jaroslav@32	1375	}
jaroslav@4	1376	}
jaroslav@93	1377	array = false;
jaroslav@4	1378	continue;
jaroslav@4	1379	case 'V':
jaroslav@4	1380	assert !count;
lubomir@281	1381	returnType[0] = 'V';
jaroslav@10	1382	sig.insert(firstPos, 'V');
jaroslav@4	1383	continue;
jaroslav@4	1384	case 'L':
jaroslav@16	1385	int next = descriptor.indexOf(';', i);
jaroslav@248	1386	String realSig = mangleSig(descriptor, i - 1, next + 1);
jaroslav@4	1387	if (count) {
jaroslav@32	1388	if (array) {
jaroslav@248	1389	sig.append("_3");
jaroslav@32	1390	}
jaroslav@248	1391	sig.append(realSig);
jtulach@156	1392	cnt.append('0');
jaroslav@4	1393	} else {
jaroslav@248	1394	sig.insert(firstPos, realSig);
jaroslav@32	1395	if (array) {
jaroslav@248	1396	sig.insert(firstPos, "_3");
jaroslav@32	1397	}
lubomir@281	1398	returnType[0] = 'L';
jaroslav@4	1399	}
jaroslav@16	1400	i = next + 1;
lubomir@407	1401	array = false;
jaroslav@4	1402	continue;
jaroslav@4	1403	case '[':
jaroslav@248	1404	array = true;
jaroslav@4	1405	continue;
jaroslav@4	1406	default:
jaroslav@248	1407	throw new IllegalStateException("Invalid char: " + ch);
jaroslav@4	1408	}
jaroslav@4	1409	}
jaroslav@0	1410	}
jaroslav@248	1411
jaroslav@592	1412	static String mangleSig(String sig) {
jaroslav@592	1413	return mangleSig(sig, 0, sig.length());
jaroslav@592	1414	}
jaroslav@592	1415
jaroslav@248	1416	private static String mangleSig(String txt, int first, int last) {
jaroslav@248	1417	StringBuilder sb = new StringBuilder();
jaroslav@248	1418	for (int i = first; i < last; i++) {
jaroslav@248	1419	final char ch = txt.charAt(i);
jaroslav@248	1420	switch (ch) {
jaroslav@248	1421	case '/': sb.append('_'); break;
jaroslav@248	1422	case '_': sb.append("_1"); break;
jaroslav@248	1423	case ';': sb.append("_2"); break;
jaroslav@248	1424	case '[': sb.append("_3"); break;
jaroslav@248	1425	default: sb.append(ch); break;
jaroslav@248	1426	}
jaroslav@248	1427	}
jaroslav@248	1428	return sb.toString();
jaroslav@248	1429	}
jaroslav@9	1430
jaroslav@248	1431	private static String findMethodName(MethodData m, StringBuilder cnt) {
jaroslav@42	1432	StringBuilder name = new StringBuilder();
jaroslav@10	1433	if ("<init>".equals(m.getName())) { // NOI18N
jaroslav@42	1434	name.append("cons"); // NOI18N
jaroslav@19	1435	} else if ("<clinit>".equals(m.getName())) { // NOI18N
jaroslav@42	1436	name.append("class"); // NOI18N
jaroslav@10	1437	} else {
jaroslav@42	1438	name.append(m.getName());
jaroslav@10	1439	}
jaroslav@42	1440
lubomir@282	1441	countArgs(m.getInternalSig(), new char[1], name, cnt);
jaroslav@42	1442	return name.toString();
jaroslav@10	1443	}
jaroslav@10	1444
lubomir@282	1445	static String findMethodName(String[] mi, StringBuilder cnt, char[] returnType) {
jaroslav@10	1446	StringBuilder name = new StringBuilder();
jaroslav@151	1447	String descr = mi[2];//mi.getDescriptor();
jaroslav@151	1448	String nm= mi[1];
jaroslav@151	1449	if ("<init>".equals(nm)) { // NOI18N
jaroslav@10	1450	name.append("cons"); // NOI18N
jaroslav@10	1451	} else {
jaroslav@151	1452	name.append(nm);
jaroslav@10	1453	}
lubomir@282	1454	countArgs(descr, returnType, name, cnt);
jaroslav@10	1455	return name.toString();
jaroslav@10	1456	}
jaroslav@10	1457
lubomir@307	1458	private int invokeStaticMethod(byte[] byteCodes, int i, final StackMapper mapper, boolean isStatic)
jaroslav@10	1459	throws IOException {
jaroslav@864	1460	int methodIndex = readUShortArg(byteCodes, i);
jaroslav@151	1461	String[] mi = jc.getFieldInfoName(methodIndex);
lubomir@281	1462	char[] returnType = { 'V' };
jtulach@156	1463	StringBuilder cnt = new StringBuilder();
lubomir@281	1464	String mn = findMethodName(mi, cnt, returnType);
lubomir@221	1465
lubomir@221	1466	final int numArguments = isStatic ? cnt.length() : cnt.length() + 1;
lubomir@281	1467	final Variable[] vars = new Variable[numArguments];
lubomir@221	1468
lubomir@281	1469	for (int j = numArguments - 1; j >= 0; --j) {
lubomir@281	1470	vars[j] = mapper.pop();
jaroslav@11	1471	}
lubomir@281	1472
lubomir@281	1473	if (returnType[0] != 'V') {
lubomir@474	1474	out.append("var ")
lubomir@474	1475	.append(mapper.pushT(VarType.fromFieldType(returnType[0])))
lubomir@281	1476	.append(" = ");
jaroslav@10	1477	}
lubomir@221	1478
jaroslav@151	1479	final String in = mi[0];
jaroslav@274	1480	out.append(accessClass(in.replace('/', '_')));
jaroslav@224	1481	out.append("(false).");
jaroslav@397	1482	if (mn.startsWith("cons_")) {
jaroslav@397	1483	out.append("constructor.");
jaroslav@397	1484	}
jaroslav@10	1485	out.append(mn);
jaroslav@442	1486	if (isStatic) {
jaroslav@442	1487	out.append('(');
jaroslav@442	1488	} else {
jaroslav@442	1489	out.append(".call(");
jaroslav@442	1490	}
lubomir@221	1491	if (numArguments > 0) {
lubomir@281	1492	out.append(vars[0]);
lubomir@281	1493	for (int j = 1; j < numArguments; ++j) {
lubomir@221	1494	out.append(", ");
lubomir@281	1495	out.append(vars[j]);
lubomir@221	1496	}
jaroslav@10	1497	}
lubomir@221	1498	out.append(");");
jaroslav@10	1499	i += 2;
jaroslav@18	1500	addReference(in);
jaroslav@10	1501	return i;
jaroslav@10	1502	}
lubomir@307	1503	private int invokeVirtualMethod(byte[] byteCodes, int i, final StackMapper mapper)
jaroslav@12	1504	throws IOException {
jaroslav@864	1505	int methodIndex = readUShortArg(byteCodes, i);
jaroslav@151	1506	String[] mi = jc.getFieldInfoName(methodIndex);
lubomir@281	1507	char[] returnType = { 'V' };
jtulach@156	1508	StringBuilder cnt = new StringBuilder();
lubomir@281	1509	String mn = findMethodName(mi, cnt, returnType);
lubomir@221	1510
lubomir@281	1511	final int numArguments = cnt.length() + 1;
lubomir@281	1512	final Variable[] vars = new Variable[numArguments];
lubomir@221	1513
lubomir@281	1514	for (int j = numArguments - 1; j >= 0; --j) {
lubomir@281	1515	vars[j] = mapper.pop();
jaroslav@12	1516	}
lubomir@221	1517
lubomir@281	1518	if (returnType[0] != 'V') {
lubomir@474	1519	out.append("var ")
lubomir@474	1520	.append(mapper.pushT(VarType.fromFieldType(returnType[0])))
lubomir@281	1521	.append(" = ");
jaroslav@12	1522	}
lubomir@281	1523
lubomir@281	1524	out.append(vars[0]).append('.');
jaroslav@12	1525	out.append(mn);
jaroslav@12	1526	out.append('(');
jaroslav@442	1527	String sep = "";
lubomir@281	1528	for (int j = 1; j < numArguments; ++j) {
jaroslav@442	1529	out.append(sep);
lubomir@281	1530	out.append(vars[j]);
jaroslav@442	1531	sep = ", ";
jaroslav@12	1532	}
lubomir@221	1533	out.append(");");
jaroslav@12	1534	i += 2;
jaroslav@12	1535	return i;
jaroslav@12	1536	}
lubomir@221	1537
jaroslav@103	1538	private void addReference(String cn) throws IOException {
jtulach@162	1539	if (requireReference(cn)) {
jaroslav@399	1540	debug(" /* needs " + cn + " */");
jaroslav@18	1541	}
jaroslav@18	1542	}
jaroslav@16	1543
jaroslav@33	1544	private void outType(String d, StringBuilder out) {
jaroslav@33	1545	int arr = 0;
jaroslav@33	1546	while (d.charAt(0) == '[') {
jaroslav@33	1547	out.append('A');
jaroslav@33	1548	d = d.substring(1);
jaroslav@33	1549	}
jaroslav@16	1550	if (d.charAt(0) == 'L') {
jaroslav@16	1551	assert d.charAt(d.length() - 1) == ';';
jaroslav@16	1552	out.append(d.replace('/', '_').substring(0, d.length() - 1));
jaroslav@16	1553	} else {
jaroslav@16	1554	out.append(d);
jaroslav@16	1555	}
jaroslav@16	1556	}
jaroslav@21	1557
jaroslav@230	1558	private String encodeConstant(int entryIndex) throws IOException {
jaroslav@230	1559	String[] classRef = { null };
jaroslav@230	1560	String s = jc.stringValue(entryIndex, classRef);
jaroslav@230	1561	if (classRef[0] != null) {
jaroslav@567	1562	if (classRef[0].startsWith("[")) {
jaroslav@567	1563	s = accessClass("java_lang_Class") + "(false).forName__Ljava_lang_Class_2Ljava_lang_String_2('" + classRef[0] + "');";
jaroslav@567	1564	} else {
jaroslav@567	1565	addReference(classRef[0]);
jaroslav@567	1566	s = accessClass(s.replace('/', '_')) + "(false).constructor.$class";
jaroslav@567	1567	}
jaroslav@230	1568	}
jaroslav@151	1569	return s;
jaroslav@21	1570	}
jaroslav@32	1571
lubomir@869	1572	private String javaScriptBody(String destObject, MethodData m, boolean isStatic) throws IOException {
jaroslav@152	1573	byte[] arr = m.findAnnotationData(true);
jaroslav@152	1574	if (arr == null) {
jaroslav@266	1575	return null;
jaroslav@152	1576	}
jaroslav@200	1577	final String jvmType = "Lorg/apidesign/bck2brwsr/core/JavaScriptBody;";
jaroslav@152	1578	class P extends AnnotationParser {
jaroslav@237	1579	public P() {
jaroslav@652	1580	super(false, true);
jaroslav@237	1581	}
jaroslav@237	1582
jaroslav@152	1583	int cnt;
jaroslav@152	1584	String[] args = new String[30];
jaroslav@152	1585	String body;
jaroslav@94	1586
jaroslav@152	1587	@Override
jaroslav@236	1588	protected void visitAttr(String type, String attr, String at, String value) {
jaroslav@152	1589	if (type.equals(jvmType)) {
jaroslav@152	1590	if ("body".equals(attr)) {
jaroslav@152	1591	body = value;
jaroslav@152	1592	} else if ("args".equals(attr)) {
jaroslav@152	1593	args[cnt++] = value;
jaroslav@152	1594	} else {
jaroslav@152	1595	throw new IllegalArgumentException(attr);
jaroslav@152	1596	}
jaroslav@152	1597	}
jaroslav@94	1598	}
jaroslav@94	1599	}
jaroslav@152	1600	P p = new P();
jaroslav@152	1601	p.parse(arr, jc);
jaroslav@152	1602	if (p.body == null) {
jaroslav@266	1603	return null;
jaroslav@152	1604	}
jtulach@156	1605	StringBuilder cnt = new StringBuilder();
jaroslav@266	1606	final String mn = findMethodName(m, cnt);
lubomir@869	1607	out.append(destObject).append(".").append(mn);
jaroslav@203	1608	out.append(" = function(");
jaroslav@442	1609	String space = "";
jaroslav@443	1610	int index = 0;
jtulach@156	1611	for (int i = 0; i < cnt.length(); i++) {
jaroslav@152	1612	out.append(space);
jaroslav@316	1613	space = outputArg(out, p.args, index);
jaroslav@152	1614	index++;
jaroslav@152	1615	}
jaroslav@152	1616	out.append(") {").append("\n");
jaroslav@152	1617	out.append(p.body);
jaroslav@152	1618	out.append("\n}\n");
jaroslav@266	1619	return mn;
jaroslav@151	1620	}
jaroslav@151	1621	private static String className(ClassData jc) {
jaroslav@151	1622	//return jc.getName().getInternalName().replace('/', '_');
jaroslav@151	1623	return jc.getClassName().replace('/', '_');
jaroslav@94	1624	}
jaroslav@152	1625
jaroslav@152	1626	private static String[] findAnnotation(
jaroslav@152	1627	byte[] arr, ClassData cd, final String className,
jaroslav@152	1628	final String... attrNames
jaroslav@152	1629	) throws IOException {
jaroslav@152	1630	if (arr == null) {
jaroslav@152	1631	return null;
jaroslav@152	1632	}
jaroslav@152	1633	final String[] values = new String[attrNames.length];
jaroslav@152	1634	final boolean[] found = { false };
jaroslav@152	1635	final String jvmType = "L" + className.replace('.', '/') + ";";
jaroslav@652	1636	AnnotationParser ap = new AnnotationParser(false, true) {
jaroslav@152	1637	@Override
jaroslav@236	1638	protected void visitAttr(String type, String attr, String at, String value) {
jaroslav@152	1639	if (type.equals(jvmType)) {
jaroslav@152	1640	found[0] = true;
jaroslav@152	1641	for (int i = 0; i < attrNames.length; i++) {
jaroslav@152	1642	if (attrNames[i].equals(attr)) {
jaroslav@152	1643	values[i] = value;
jaroslav@152	1644	}
jaroslav@152	1645	}
jaroslav@152	1646	}
jaroslav@152	1647	}
jaroslav@152	1648
jaroslav@152	1649	};
jaroslav@152	1650	ap.parse(arr, cd);
jaroslav@152	1651	return found[0] ? values : null;
jaroslav@152	1652	}
jaroslav@173	1653
jaroslav@173	1654	private CharSequence initField(FieldData v) {
jaroslav@173	1655	final String is = v.getInternalSig();
jaroslav@173	1656	if (is.length() == 1) {
jaroslav@173	1657	switch (is.charAt(0)) {
jaroslav@173	1658	case 'S':
jaroslav@173	1659	case 'J':
jaroslav@173	1660	case 'B':
jaroslav@173	1661	case 'Z':
jaroslav@173	1662	case 'C':
jaroslav@173	1663	case 'I': return " = 0;";
jaroslav@173	1664	case 'F':
jaroslav@180	1665	case 'D': return " = 0.0;";
jaroslav@173	1666	default:
jaroslav@173	1667	throw new IllegalStateException(is);
jaroslav@173	1668	}
jaroslav@173	1669	}
jaroslav@173	1670	return " = null;";
jaroslav@173	1671	}
jaroslav@235	1672
jaroslav@655	1673	private void generateAnno(ClassData cd, final Appendable out, byte[] data) throws IOException {
jaroslav@652	1674	AnnotationParser ap = new AnnotationParser(true, false) {
jaroslav@652	1675	int[] cnt = new int[32];
jaroslav@652	1676	int depth;
jaroslav@235	1677
jaroslav@235	1678	@Override
jaroslav@659	1679	protected void visitAnnotationStart(String attrType, boolean top) throws IOException {
jaroslav@659	1680	final String slashType = attrType.substring(1, attrType.length() - 1);
jaroslav@659	1681	requireReference(slashType);
jaroslav@659	1682
jaroslav@652	1683	if (cnt[depth]++ > 0) {
jaroslav@237	1684	out.append(",");
jaroslav@237	1685	}
jaroslav@659	1686	if (top) {
jaroslav@659	1687	out.append('"').append(attrType).append("\" : ");
jaroslav@659	1688	}
jaroslav@659	1689	out.append("{\n");
jaroslav@652	1690	cnt[++depth] = 0;
jaroslav@235	1691	}
jaroslav@235	1692
jaroslav@235	1693	@Override
jaroslav@659	1694	protected void visitAnnotationEnd(String type, boolean top) throws IOException {
jaroslav@235	1695	out.append("\n}\n");
jaroslav@652	1696	depth--;
jaroslav@652	1697	}
jaroslav@652	1698
jaroslav@652	1699	@Override
jaroslav@652	1700	protected void visitValueStart(String attrName, char type) throws IOException {
jaroslav@652	1701	if (cnt[depth]++ > 0) {
jaroslav@652	1702	out.append(",\n");
jaroslav@652	1703	}
jaroslav@652	1704	cnt[++depth] = 0;
jaroslav@652	1705	if (attrName != null) {
jaroslav@652	1706	out.append(attrName).append(" : ");
jaroslav@652	1707	}
jaroslav@652	1708	if (type == '[') {
jaroslav@652	1709	out.append("[");
jaroslav@652	1710	}
jaroslav@652	1711	}
jaroslav@652	1712
jaroslav@652	1713	@Override
jaroslav@652	1714	protected void visitValueEnd(String attrName, char type) throws IOException {
jaroslav@652	1715	if (type == '[') {
jaroslav@652	1716	out.append("]");
jaroslav@652	1717	}
jaroslav@652	1718	depth--;
jaroslav@235	1719	}
jaroslav@235	1720
jaroslav@235	1721	@Override
jaroslav@236	1722	protected void visitAttr(String type, String attr, String attrType, String value)
jaroslav@235	1723	throws IOException {
jaroslav@652	1724	if (attr == null && value == null) {
jaroslav@266	1725	return;
jaroslav@266	1726	}
jaroslav@652	1727	out.append(value);
jaroslav@592	1728	}
jaroslav@655	1729
jaroslav@655	1730	@Override
jaroslav@655	1731	protected void visitEnumAttr(String type, String attr, String attrType, String value)
jaroslav@655	1732	throws IOException {
jaroslav@655	1733	final String slashType = attrType.substring(1, attrType.length() - 1);
jaroslav@655	1734	requireReference(slashType);
jaroslav@655	1735
jaroslav@655	1736	out.append(accessClass(slashType.replace('/', '_')))
jaroslav@655	1737	.append("(false).constructor.").append(value);
jaroslav@235	1738	}
jaroslav@235	1739	};
jaroslav@235	1740	ap.parse(data, cd);
jaroslav@235	1741	}
jaroslav@316	1742
jaroslav@316	1743	private static String outputArg(Appendable out, String[] args, int indx) throws IOException {
jaroslav@316	1744	final String name = args[indx];
jaroslav@316	1745	if (name == null) {
jaroslav@316	1746	return "";
jaroslav@316	1747	}
jaroslav@316	1748	if (name.contains(",")) {
jaroslav@316	1749	throw new IOException("Wrong parameter with ',': " + name);
jaroslav@316	1750	}
jaroslav@316	1751	out.append(name);
jaroslav@316	1752	return ",";
jaroslav@316	1753	}
lubomir@317	1754
lubomir@283	1755	private static void emit(final Appendable out,
lubomir@283	1756	final String format,
lubomir@283	1757	final CharSequence... params) throws IOException {
lubomir@283	1758	final int length = format.length();
lubomir@283	1759
lubomir@283	1760	int processed = 0;
lubomir@283	1761	int paramOffset = format.indexOf('@');
lubomir@283	1762	while ((paramOffset != -1) && (paramOffset < (length - 1))) {
lubomir@283	1763	final char paramChar = format.charAt(paramOffset + 1);
lubomir@283	1764	if ((paramChar >= '1') && (paramChar <= '9')) {
lubomir@283	1765	final int paramIndex = paramChar - '0' - 1;
lubomir@283	1766
lubomir@283	1767	out.append(format, processed, paramOffset);
lubomir@283	1768	out.append(params[paramIndex]);
lubomir@283	1769
lubomir@283	1770	++paramOffset;
lubomir@283	1771	processed = paramOffset + 1;
lubomir@283	1772	}
lubomir@283	1773
lubomir@283	1774	paramOffset = format.indexOf('@', paramOffset + 1);
lubomir@283	1775	}
lubomir@283	1776
lubomir@283	1777	out.append(format, processed, length);
lubomir@283	1778	}
jaroslav@398	1779
jaroslav@843	1780	private void generateCatch(TrapData[] traps, int current, int topMostLabel) throws IOException {
jaroslav@400	1781	out.append("} catch (e) {\n");
jaroslav@401	1782	int finallyPC = -1;
jaroslav@398	1783	for (TrapData e : traps) {
jaroslav@398	1784	if (e == null) {
jaroslav@398	1785	break;
jaroslav@398	1786	}
jaroslav@398	1787	if (e.catch_cpx != 0) { //not finally
jaroslav@398	1788	final String classInternalName = jc.getClassName(e.catch_cpx);
jaroslav@398	1789	addReference(classInternalName);
jaroslav@1022	1790	out.append("e = vm.java_lang_Throwable(false).bck2BrwsrCnvrt(e);");
jaroslav@1022	1791	out.append("if (e.$instOf_" + classInternalName.replace('/', '_') + ") {");
jaroslav@1022	1792	out.append("var stA0 = e;");
jaroslav@1022	1793	goTo(out, current, e.handler_pc, topMostLabel);
jaroslav@1022	1794	out.append("}\n");
jaroslav@398	1795	} else {
jaroslav@401	1796	finallyPC = e.handler_pc;
jaroslav@398	1797	}
jaroslav@398	1798	}
jaroslav@401	1799	if (finallyPC == -1) {
jaroslav@401	1800	out.append("throw e;");
jaroslav@401	1801	} else {
jaroslav@839	1802	out.append("var stA0 = e;");
jaroslav@843	1803	goTo(out, current, finallyPC, topMostLabel);
jaroslav@401	1804	}
jaroslav@400	1805	out.append("\n}");
jaroslav@398	1806	}
jaroslav@839	1807
jaroslav@843	1808	private static void goTo(Appendable out, int current, int to, int canBack) throws IOException {
jaroslav@839	1809	if (to < current) {
jaroslav@843	1810	if (canBack < to) {
jaroslav@843	1811	out.append("{ gt = 0; continue X_" + to + "; }");
jaroslav@843	1812	} else {
jaroslav@843	1813	out.append("{ gt = " + to + "; continue X_0; }");
jaroslav@843	1814	}
jaroslav@839	1815	} else {
jaroslav@839	1816	out.append("{ gt = " + to + "; break IF; }");
jaroslav@839	1817	}
jaroslav@839	1818	}
jaroslav@839	1819
jaroslav@843	1820	private static void emitIf(
jaroslav@843	1821	Appendable out, String pattern, Variable param,
jaroslav@843	1822	int current, int to, int canBack
jaroslav@843	1823	) throws IOException {
jaroslav@839	1824	emit(out, pattern, param);
jaroslav@843	1825	goTo(out, current, to, canBack);
jaroslav@839	1826	}
jaroslav@842	1827
jaroslav@842	1828	private void generateNewArray(int atype, final StackMapper smapper) throws IOException, IllegalStateException {
jaroslav@842	1829	String jvmType;
jaroslav@842	1830	switch (atype) {
jaroslav@842	1831	case 4: jvmType = "[Z"; break;
jaroslav@842	1832	case 5: jvmType = "[C"; break;
jaroslav@842	1833	case 6: jvmType = "[F"; break;
jaroslav@842	1834	case 7: jvmType = "[D"; break;
jaroslav@842	1835	case 8: jvmType = "[B"; break;
jaroslav@842	1836	case 9: jvmType = "[S"; break;
jaroslav@842	1837	case 10: jvmType = "[I"; break;
jaroslav@842	1838	case 11: jvmType = "[J"; break;
jaroslav@842	1839	default: throw new IllegalStateException("Array type: " + atype);
jaroslav@842	1840	}
jaroslav@842	1841	emit(out, "var @2 = Array.prototype.newArray__Ljava_lang_Object_2ZLjava_lang_String_2I(true, '@3', @1);",
jaroslav@842	1842	smapper.popI(), smapper.pushA(), jvmType);
jaroslav@842	1843	}
jaroslav@842	1844
jaroslav@842	1845	private void generateANewArray(int type, final StackMapper smapper) throws IOException {
jaroslav@842	1846	String typeName = jc.getClassName(type);
jaroslav@842	1847	if (typeName.startsWith("[")) {
jaroslav@842	1848	typeName = "[" + typeName;
jaroslav@842	1849	} else {
jaroslav@842	1850	typeName = "[L" + typeName + ";";
jaroslav@842	1851	}
jaroslav@842	1852	emit(out, "var @2 = Array.prototype.newArray__Ljava_lang_Object_2ZLjava_lang_String_2I(false, '@3', @1);",
jaroslav@842	1853	smapper.popI(), smapper.pushA(), typeName);
jaroslav@842	1854	}
jaroslav@842	1855
jaroslav@842	1856	private int generateMultiANewArray(int type, final byte[] byteCodes, int i, final StackMapper smapper) throws IOException {
jaroslav@842	1857	String typeName = jc.getClassName(type);
jaroslav@842	1858	int dim = readUByte(byteCodes, ++i);
jaroslav@842	1859	StringBuilder dims = new StringBuilder();
jaroslav@842	1860	dims.append('[');
jaroslav@842	1861	for (int d = 0; d < dim; d++) {
jaroslav@842	1862	if (d != 0) {
jaroslav@842	1863	dims.insert(1, ",");
jaroslav@842	1864	}
jaroslav@842	1865	dims.insert(1, smapper.popI());
jaroslav@842	1866	}
jaroslav@842	1867	dims.append(']');
jaroslav@842	1868	emit(out, "var @2 = Array.prototype.multiNewArray__Ljava_lang_Object_2Ljava_lang_String_2_3II('@3', @1, 0);",
jaroslav@842	1869	dims.toString(), smapper.pushA(), typeName);
jaroslav@842	1870	return i;
jaroslav@842	1871	}
jaroslav@842	1872
jaroslav@843	1873	private int generateTableSwitch(int i, final byte[] byteCodes, final StackMapper smapper, int topMostLabel) throws IOException {
jaroslav@842	1874	int table = i / 4 * 4 + 4;
jaroslav@842	1875	int dflt = i + readInt4(byteCodes, table);
jaroslav@842	1876	table += 4;
jaroslav@842	1877	int low = readInt4(byteCodes, table);
jaroslav@842	1878	table += 4;
jaroslav@842	1879	int high = readInt4(byteCodes, table);
jaroslav@842	1880	table += 4;
jaroslav@842	1881	out.append("switch (").append(smapper.popI()).append(") {\n");
jaroslav@842	1882	while (low <= high) {
jaroslav@842	1883	int offset = i + readInt4(byteCodes, table);
jaroslav@842	1884	table += 4;
jaroslav@843	1885	out.append(" case " + low).append(":"); goTo(out, i, offset, topMostLabel); out.append('\n');
jaroslav@842	1886	low++;
jaroslav@842	1887	}
jaroslav@842	1888	out.append(" default: ");
jaroslav@843	1889	goTo(out, i, dflt, topMostLabel);
jaroslav@842	1890	out.append("\n}");
jaroslav@842	1891	i = table - 1;
jaroslav@842	1892	return i;
jaroslav@842	1893	}
jaroslav@842	1894
jaroslav@843	1895	private int generateLookupSwitch(int i, final byte[] byteCodes, final StackMapper smapper, int topMostLabel) throws IOException {
jaroslav@842	1896	int table = i / 4 * 4 + 4;
jaroslav@842	1897	int dflt = i + readInt4(byteCodes, table);
jaroslav@842	1898	table += 4;
jaroslav@842	1899	int n = readInt4(byteCodes, table);
jaroslav@842	1900	table += 4;
jaroslav@842	1901	out.append("switch (").append(smapper.popI()).append(") {\n");
jaroslav@842	1902	while (n-- > 0) {
jaroslav@842	1903	int cnstnt = readInt4(byteCodes, table);
jaroslav@842	1904	table += 4;
jaroslav@842	1905	int offset = i + readInt4(byteCodes, table);
jaroslav@842	1906	table += 4;
jaroslav@843	1907	out.append(" case " + cnstnt).append(": "); goTo(out, i, offset, topMostLabel); out.append('\n');
jaroslav@842	1908	}
jaroslav@842	1909	out.append(" default: ");
jaroslav@843	1910	goTo(out, i, dflt, topMostLabel);
jaroslav@842	1911	out.append("\n}");
jaroslav@842	1912	i = table - 1;
jaroslav@842	1913	return i;
jaroslav@842	1914	}
jaroslav@842	1915
jaroslav@842	1916	private void generateInstanceOf(int indx, final StackMapper smapper) throws IOException {
jaroslav@842	1917	final String type = jc.getClassName(indx);
jaroslav@842	1918	if (!type.startsWith("[")) {
jaroslav@842	1919	emit(out, "var @2 = @1 != null && @1.$instOf_@3 ? 1 : 0;",
jaroslav@842	1920	smapper.popA(), smapper.pushI(),
jaroslav@842	1921	type.replace('/', '_'));
jaroslav@842	1922	} else {
jaroslav@842	1923	emit(out, "var @2 = vm.java_lang_Class(false).forName__Ljava_lang_Class_2Ljava_lang_String_2('@3').isInstance__ZLjava_lang_Object_2(@1);",
jaroslav@842	1924	smapper.popA(), smapper.pushI(),
jaroslav@842	1925	type
jaroslav@842	1926	);
jaroslav@842	1927	}
jaroslav@842	1928	}
jaroslav@842	1929
jaroslav@842	1930	private void generateCheckcast(int indx, final StackMapper smapper) throws IOException {
jaroslav@842	1931	final String type = jc.getClassName(indx);
jaroslav@842	1932	if (!type.startsWith("[")) {
jaroslav@842	1933	emit(out,
jaroslav@962	1934	"if (@1 !== null && !@1.$instOf_@2) throw vm.java_lang_ClassCastException(true);",
jaroslav@842	1935	smapper.getA(0), type.replace('/', '_'));
jaroslav@842	1936	} else {
jaroslav@842	1937	emit(out, "vm.java_lang_Class(false).forName__Ljava_lang_Class_2Ljava_lang_String_2('@2').cast__Ljava_lang_Object_2Ljava_lang_Object_2(@1);",
jaroslav@842	1938	smapper.getA(0), type
jaroslav@842	1939	);
jaroslav@842	1940	}
jaroslav@842	1941	}
jaroslav@842	1942
jaroslav@842	1943	private void generateByteCodeComment(int prev, int i, final byte[] byteCodes) throws IOException {
jaroslav@842	1944	for (int j = prev; j <= i; j++) {
jaroslav@842	1945	out.append(" ");
jaroslav@842	1946	final int cc = readUByte(byteCodes, j);
jaroslav@842	1947	out.append(Integer.toString(cc));
jaroslav@842	1948	}
jaroslav@842	1949	}
jaroslav@0	1950	}

author	Jaroslav Tulach <jaroslav.tulach@apidesign.org>
	Fri, 26 Apr 2013 13:35:21 +0200
changeset 1022	00ae3f46e54f
parent 962	787578f33c21
child 1146	e499b0dddd12
child 1239	b6317079abe1
permissions	-rw-r--r--