hg/bck2brwsr: rt/vm/src/main/java/org/apidesign/vm4brwsr/ByteCodeToJavaScript.java@b6e926f68703 (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@1779	22	import java.util.Arrays;
jaroslav@1655	23	import org.apidesign.bck2brwsr.core.JavaScriptBody;
jaroslav@810	24	import static org.apidesign.vm4brwsr.ByteCodeParser.*;
jaroslav@0	25
jaroslav@0	26	/** Translator of the code inside class files to JavaScript.
jaroslav@0	27	*
jaroslav@0	28	* @author Jaroslav Tulach <jtulach@netbeans.org>
jaroslav@0	29	*/
jaroslav@1509	30	abstract class ByteCodeToJavaScript implements Appendable {
jtulach@162	31	private ClassData jc;
jaroslav@1509	32	private final Appendable out;
jaroslav@1509	33	private boolean outChanged;
jaroslav@1515	34	private boolean callbacks;
jaroslav@0	35
jtulach@162	36	protected ByteCodeToJavaScript(Appendable out) {
jaroslav@0	37	this.out = out;
jaroslav@0	38	}
jtulach@162	39
jaroslav@1509	40	@Override
jaroslav@1509	41	public final Appendable append(CharSequence csq) throws IOException {
jaroslav@1509	42	out.append(csq);
jaroslav@1509	43	outChanged = true;
jaroslav@1509	44	return this;
jaroslav@1509	45	}
jaroslav@1509	46
jaroslav@1509	47	@Override
jaroslav@1509	48	public final Appendable append(CharSequence csq, int start, int end) throws IOException {
jaroslav@1509	49	out.append(csq, start, end);
jaroslav@1509	50	outChanged = true;
jaroslav@1509	51	return this;
jaroslav@1509	52	}
jaroslav@1509	53
jaroslav@1509	54	@Override
jaroslav@1509	55	public final Appendable append(char c) throws IOException {
jaroslav@1509	56	out.append(c);
jaroslav@1509	57	outChanged = true;
jaroslav@1509	58	return this;
jaroslav@1509	59	}
jaroslav@1509	60
jtulach@162	61	/* Collects additional required resources.
jtulach@162	62	*
jtulach@162	63	* @param internalClassName classes that were referenced and should be loaded in order the
jtulach@162	64	* generated JavaScript code works properly. The names are in internal
jtulach@162	65	* JVM form so String is <code>java/lang/String</code>.
jtulach@162	66	*/
jtulach@162	67	protected abstract boolean requireReference(String internalClassName);
jtulach@162	68
jtulach@162	69	/*
jtulach@162	70	* @param resourcePath name of resources to read
jtulach@162	71	*/
jaroslav@503	72	protected abstract void requireScript(String resourcePath) throws IOException;
jaroslav@213	73
jaroslav@1722	74	protected abstract void requireResource(String resourcePath) throws IOException;
jaroslav@1722	75
jaroslav@213	76	/** Allows subclasses to redefine what field a function representing a
jaroslav@213	77	* class gets assigned. By default it returns the suggested name followed
jaroslav@213	78	* by <code>" = "</code>;
jaroslav@213	79	*
jaroslav@213	80	* @param className suggested name of the class
jaroslav@213	81	*/
jaroslav@274	82	/* protected */ String assignClass(String className) {
jaroslav@213	83	return className + " = ";
jaroslav@213	84	}
jaroslav@274	85	/* protected */ String accessClass(String classOperation) {
jaroslav@274	86	return classOperation;
jaroslav@274	87	}
jaroslav@1780	88
jaroslav@1780	89	String accessClassFalse(String classOperation) {
jaroslav@1780	90	if (jc.getClassName().replace('/', '_').equals(classOperation)) {
jaroslav@1780	91	return "c";
jaroslav@1780	92	}
jaroslav@1780	93	return accessClass(classOperation) + "(false)";
jaroslav@1780	94	}
lubomir@869	95
lubomir@1085	96	protected String accessField(String object, String mangledName,
lubomir@1085	97	String[] fieldInfoName) throws IOException {
lubomir@1085	98	return object + "." + mangledName;
lubomir@1085	99	}
lubomir@1085	100
lubomir@1085	101	protected String accessStaticMethod(
lubomir@1085	102	String object,
lubomir@1085	103	String mangledName,
lubomir@1085	104	String[] fieldInfoName) throws IOException {
lubomir@1085	105	return object + "." + mangledName;
lubomir@1085	106	}
lubomir@1085	107
lubomir@1085	108	protected String accessVirtualMethod(
jaroslav@1613	109	String object,
jaroslav@1613	110	String mangledName,
jaroslav@1613	111	String[] fieldInfoName,
jaroslav@1613	112	int params
jaroslav@1613	113	) throws IOException {
jaroslav@1613	114	return object + "." + mangledName + '(';
lubomir@1084	115	}
lubomir@1084	116
lubomir@1029	117	protected void declaredClass(ClassData classData, String mangledName)
lubomir@1029	118	throws IOException {
lubomir@1029	119	}
jaroslav@962	120
lubomir@1083	121	protected void declaredField(FieldData fieldData,
lubomir@1083	122	String destObject,
lubomir@1083	123	String mangledName) throws IOException {
lubomir@1083	124	}
lubomir@1083	125
lubomir@1083	126	protected void declaredMethod(MethodData methodData,
lubomir@1083	127	String destObject,
lubomir@1083	128	String mangledName) throws IOException {
lubomir@1083	129	}
lubomir@869	130
jaroslav@399	131	/** Prints out a debug message.
jaroslav@399	132	*
jaroslav@399	133	* @param msg the message
jaroslav@399	134	* @return true if the message has been printed
jaroslav@399	135	* @throws IOException
jaroslav@399	136	*/
jaroslav@399	137	boolean debug(String msg) throws IOException {
jaroslav@1509	138	append(msg);
jaroslav@399	139	return true;
jaroslav@399	140	}
jaroslav@18	141
jaroslav@18	142	/**
jaroslav@18	143	* Converts a given class file to a JavaScript version.
jaroslav@18	144	*
jaroslav@0	145	* @param classFile input stream with code of the .class file
jaroslav@97	146	* @return the initialization code for this class, if any. Otherwise <code>null</code>
jaroslav@91	147	*
jaroslav@0	148	* @throws IOException if something goes wrong during read or write or translating
jaroslav@0	149	*/
jaroslav@18	150
jtulach@162	151	public String compile(InputStream classFile) throws IOException {
lubomir@1084	152	return compile(new ClassData(classFile));
lubomir@1084	153	}
lubomir@1084	154
lubomir@1084	155	protected String compile(ClassData classData) throws IOException {
lubomir@1084	156	this.jc = classData;
jaroslav@1725	157	final String cn = this.jc.getClassName();
jaroslav@1725	158	this.callbacks = cn.endsWith("/$JsCallbacks$");
jaroslav@1725	159	if (jc.getMajor_version() < 50 && !cn.endsWith("/package-info")) {
jaroslav@1725	160	throw new IOException("Can't compile " + cn + ". Class file version " + jc.getMajor_version() + "."
jaroslav@324	161	+ jc.getMinor_version() + " - recompile with -target 1.6 (at least)."
jaroslav@324	162	);
jaroslav@324	163	}
jaroslav@152	164	byte[] arrData = jc.findAnnotationData(true);
jaroslav@1239	165	{
jaroslav@1239	166	String[] arr = findAnnotation(arrData, jc,
jaroslav@1239	167	"org.apidesign.bck2brwsr.core.ExtraJavaScript",
jaroslav@1239	168	"resource", "processByteCode"
jaroslav@1239	169	);
jaroslav@1239	170	if (arr != null) {
jaroslav@1239	171	if (!arr[0].isEmpty()) {
jaroslav@1239	172	requireScript(arr[0]);
jaroslav@1239	173	}
jaroslav@1239	174	if ("0".equals(arr[1])) {
jaroslav@1239	175	return null;
jaroslav@1239	176	}
lubomir@848	177	}
jaroslav@1239	178	}
jaroslav@1722	179	final String jsResource;
jaroslav@1239	180	{
jaroslav@1239	181	String[] arr = findAnnotation(arrData, jc,
jaroslav@1239	182	"net.java.html.js.JavaScriptResource",
jaroslav@1239	183	"value"
jaroslav@1239	184	);
jaroslav@1239	185	if (arr != null) {
jaroslav@1239	186	if (arr[0].startsWith("/")) {
jaroslav@1722	187	jsResource = arr[0];
jaroslav@1239	188	} else {
jaroslav@1725	189	int last = cn.lastIndexOf('/');
jaroslav@1725	190	jsResource = cn.substring(0, last + 1).replace('.', '/') + arr[0];
jaroslav@1239	191	}
jaroslav@1722	192	} else {
jaroslav@1722	193	jsResource = null;
jaroslav@91	194	}
jaroslav@91	195	}
jaroslav@239	196	String[] proto = findAnnotation(arrData, jc,
jaroslav@239	197	"org.apidesign.bck2brwsr.core.JavaScriptPrototype",
jaroslav@239	198	"container", "prototype"
jaroslav@239	199	);
jtulach@162	200	StringArray toInitilize = new StringArray();
jaroslav@151	201	final String className = className(jc);
jaroslav@1509	202	append("\n\n").append(assignClass(className));
jaroslav@1509	203	append("function ").append(className).append("() {");
jaroslav@1704	204	append("\n var m;");
jaroslav@1509	205	append("\n var CLS = ").append(className).append(';');
jaroslav@1509	206	append("\n if (!CLS.$class) {");
jaroslav@239	207	if (proto == null) {
jaroslav@239	208	String sc = jc.getSuperClassName(); // with _
jaroslav@1509	209	append("\n var pp = ").
jaroslav@1409	210	append(accessClass(mangleClassName(sc))).append("(true);");
jaroslav@1509	211	append("\n var p = CLS.prototype = pp;");
jaroslav@1509	212	append("\n var c = p;");
jaroslav@1509	213	append("\n var sprcls = pp.constructor.$class;");
jtulach@130	214	} else {
jaroslav@1509	215	append("\n var p = CLS.prototype = ").append(proto[1]).append(";");
jaroslav@316	216	if (proto[0] == null) {
jaroslav@316	217	proto[0] = "p";
jaroslav@316	218	}
jaroslav@1509	219	append("\n var c = ").append(proto[0]).append(";");
jaroslav@1509	220	append("\n var sprcls = null;");
jaroslav@13	221	}
jaroslav@592	222	for (FieldData v : jc.getFields()) {
jaroslav@592	223	if (v.isStatic()) {
jaroslav@1474	224	if ((v.access & ACC_FINAL) != 0 && v.hasConstantValue()) {
jaroslav@1474	225	if (v.getInternalSig().length() == 1 \|\| v.getInternalSig().equals("Ljava/lang/String;")) {
jaroslav@1472	226	continue;
jaroslav@1472	227	}
jaroslav@1472	228	}
jaroslav@1509	229	append("\n CLS.fld_").append(v.getName()).append(initField(v));
jaroslav@1704	230	append("\n m = c._").append(v.getName()).append(" = function (v) {")
jaroslav@1353	231	.append(" if (arguments.length == 1) CLS.fld_").append(v.getName())
jaroslav@1353	232	.append(" = v; return CLS.fld_").
jaroslav@775	233	append(v.getName()).append("; };");
jaroslav@592	234	} else {
jaroslav@1704	235	append("\n m = c._").append(v.getName()).append(" = function (v) {")
jaroslav@592	236	.append(" if (arguments.length == 1) this.fld_").
jaroslav@592	237	append(className).append('_').append(v.getName())
jaroslav@592	238	.append(" = v; return this.fld_").
jaroslav@592	239	append(className).append('_').append(v.getName())
jaroslav@592	240	.append("; };");
jaroslav@592	241	}
lubomir@869	242
lubomir@1083	243	declaredField(v, "c", "_" + v.getName());
jaroslav@592	244	}
jaroslav@151	245	for (MethodData m : jc.getMethods()) {
jaroslav@240	246	byte[] onlyArr = m.findAnnotationData(true);
jaroslav@1586	247	if (javaScriptOnly(onlyArr)) continue;
lubomir@869	248	String destObject;
jaroslav@266	249	String mn;
jaroslav@1509	250	append("\n ");
jaroslav@203	251	if (m.isStatic()) {
lubomir@869	252	destObject = "c";
lubomir@869	253	mn = generateStaticMethod(destObject, m, toInitilize);
jaroslav@203	254	} else {
jaroslav@397	255	if (m.isConstructor()) {
lubomir@869	256	destObject = "CLS";
lubomir@869	257	mn = generateInstanceMethod(destObject, m);
jaroslav@397	258	} else {
lubomir@869	259	destObject = "c";
lubomir@869	260	mn = generateInstanceMethod(destObject, m);
jaroslav@397	261	}
jaroslav@266	262	}
lubomir@1083	263	declaredMethod(m, destObject, mn);
jaroslav@266	264	byte[] runAnno = m.findAnnotationData(false);
jaroslav@266	265	if (runAnno != null) {
jaroslav@1704	266	append("\n m.anno = {");
jaroslav@1509	267	generateAnno(jc, runAnno);
jaroslav@1509	268	append("\n };");
jaroslav@38	269	}
jaroslav@1704	270	append("\n m.access = " + m.getAccess()).append(";");
jaroslav@1704	271	append("\n m.cls = CLS;");
jaroslav@38	272	}
jaroslav@1509	273	append("\n c.constructor = CLS;");
jaroslav@1686	274	append("\n function ").append(className).append("fillInstOf(x) {");
lubomir@869	275	String instOfName = "$instOf_" + className;
jaroslav@1632	276	append("\n Object.defineProperty(x, '").append(instOfName).append("', { value : true });");
jaroslav@1673	277	if (jc.isInterface()) {
jaroslav@1673	278	for (MethodData m : jc.getMethods()) {
jaroslav@1673	279	if ((m.getAccess() & ACC_ABSTRACT) == 0
jaroslav@1673	280	&& (m.getAccess() & ACC_STATIC) == 0
jaroslav@1673	281	&& (m.getAccess() & ACC_PRIVATE) == 0) {
jaroslav@1673	282	final String mn = findMethodName(m, new StringBuilder());
jaroslav@1673	283	append("\n try {");
jaroslav@1686	284	append("\n if (!x['").append(mn).append("']) Object.defineProperty(x, '").append(mn).append("', { value : c['").append(mn).append("']});");
jaroslav@1673	285	append("\n } catch (ignore) {");
jaroslav@1673	286	append("\n }");
jaroslav@1673	287	}
jaroslav@1673	288	}
jaroslav@1673	289	}
jaroslav@1256	290	for (String superInterface : jc.getSuperInterfaces()) {
jaroslav@1256	291	String intrfc = superInterface.replace('/', '_');
jaroslav@1513	292	append("\n vm.").append(intrfc).append("(false)['fillInstOf'](x);");
jaroslav@1256	293	requireReference(superInterface);
jaroslav@1256	294	}
jaroslav@1509	295	append("\n }");
jaroslav@1632	296	append("\n try {");
jaroslav@1686	297	append("\n Object.defineProperty(c, 'fillInstOf', { value: ").append(className).append("fillInstOf });");
jaroslav@1686	298	append("\n ").append(className).append("fillInstOf(c);");
jaroslav@1632	299	append("\n } catch (ignore) {");
jaroslav@1632	300	append("\n }");
jaroslav@1513	301	// obfuscationDelegate.exportJSProperty(this, "c", instOfName);
jaroslav@1509	302	append("\n CLS.$class = 'temp';");
jaroslav@1509	303	append("\n CLS.$class = ");
jaroslav@1509	304	append(accessClass("java_lang_Class(true);"));
jaroslav@1725	305	append("\n CLS.$class.jvmName = '").append(cn).append("';");
jaroslav@1509	306	append("\n CLS.$class.superclass = sprcls;");
jaroslav@1727	307	append("\n CLS.$class.interfaces = function() { return [");
jaroslav@1727	308	{
jaroslav@1727	309	boolean first = true;
jaroslav@1727	310	for (String intrfc : jc.getSuperInterfaces()) {
jaroslav@1727	311	if (!first) {
jaroslav@1727	312	append(",");
jaroslav@1727	313	}
jaroslav@1727	314	requireReference(intrfc);
jaroslav@1727	315	String mangledIface = mangleClassName(intrfc);
jaroslav@1727	316	append("\n ");
jaroslav@1727	317	append(accessClass(mangledIface)).append("(false).constructor.$class");
jaroslav@1727	318	first = false;
jaroslav@1727	319	}
jaroslav@1727	320	}
jaroslav@1727	321	append("\n ]; };");
jaroslav@1509	322	append("\n CLS.$class.access = ").append(jc.getAccessFlags()+";");
jaroslav@1509	323	append("\n CLS.$class.cnstr = CLS;");
jaroslav@235	324	byte[] classAnno = jc.findAnnotationData(false);
jaroslav@235	325	if (classAnno != null) {
jaroslav@1509	326	append("\n CLS.$class.anno = {");
jaroslav@1509	327	generateAnno(jc, classAnno);
jaroslav@1509	328	append("\n };");
jaroslav@235	329	}
jaroslav@834	330	for (String init : toInitilize.toArray()) {
jaroslav@1509	331	append("\n ").append(init).append("();");
jaroslav@834	332	}
jaroslav@1722	333
jaroslav@1722	334	if (jsResource != null) {
jaroslav@1722	335	requireResource(jsResource);
jaroslav@1722	336	}
jaroslav@1722	337
jaroslav@1509	338	append("\n }");
jaroslav@1509	339	append("\n if (arguments.length === 0) {");
jaroslav@1509	340	append("\n if (!(this instanceof CLS)) {");
jaroslav@1509	341	append("\n return new CLS();");
jaroslav@1509	342	append("\n }");
jaroslav@205	343	for (FieldData v : jc.getFields()) {
jaroslav@240	344	byte[] onlyArr = v.findAnnotationData(true);
jaroslav@1586	345	if (javaScriptOnly(onlyArr)) continue;
jaroslav@205	346	if (!v.isStatic()) {
jaroslav@1509	347	append("\n this.fld_").
jaroslav@592	348	append(className).append('_').
jaroslav@205	349	append(v.getName()).append(initField(v));
jaroslav@205	350	}
jaroslav@205	351	}
jaroslav@1509	352	append("\n return this;");
jaroslav@1509	353	append("\n }");
jaroslav@1509	354	append("\n return arguments[0] ? new CLS() : CLS.prototype;");
jaroslav@1509	355	append("\n};");
lubomir@869	356
lubomir@1029	357	declaredClass(jc, className);
lubomir@869	358
jaroslav@834	359	// StringBuilder sb = new StringBuilder();
jaroslav@834	360	// for (String init : toInitilize.toArray()) {
jaroslav@834	361	// sb.append("\n").append(init).append("();");
jaroslav@834	362	// }
jaroslav@834	363	return "";
jaroslav@0	364	}
jaroslav@1586	365
jaroslav@1586	366	private boolean javaScriptOnly(byte[] anno) throws IOException {
jaroslav@1586	367	String[] only = findAnnotation(anno, jc,
jaroslav@1586	368	"org.apidesign.bck2brwsr.core.JavaScriptOnly",
jaroslav@1586	369	"name", "value"
jaroslav@1586	370	);
jaroslav@1586	371	if (only != null) {
jaroslav@1586	372	if (only[0] != null && only[1] != null) {
jaroslav@1586	373	append("\n p.").append(only[0]).append(" = ")
jaroslav@1586	374	.append(only[1]).append(";");
jaroslav@1586	375	}
jaroslav@1586	376	if (ExportedSymbols.isMarkedAsExported(anno, jc)) {
jaroslav@1586	377	append("\n p['").append(only[0]).append("'] = p.")
jaroslav@1586	378	.append(only[0]).append(";");
jaroslav@1586	379	}
jaroslav@1586	380	return true;
jaroslav@1586	381	}
jaroslav@1586	382	return false;
jaroslav@1586	383	}
lubomir@869	384	private String generateStaticMethod(String destObject, MethodData m, StringArray toInitilize) throws IOException {
lubomir@869	385	String jsb = javaScriptBody(destObject, m, true);
jaroslav@266	386	if (jsb != null) {
jaroslav@266	387	return jsb;
jaroslav@94	388	}
lubomir@307	389	final String mn = findMethodName(m, new StringBuilder());
jaroslav@1706	390	boolean defineProp = generateMethod(destObject, mn, m);
jaroslav@248	391	if (mn.equals("class__V")) {
jaroslav@1706	392	if (defineProp) {
jaroslav@1780	393	toInitilize.add(accessClassFalse(className(jc)) + "['" + mn + "']");
jaroslav@1706	394	} else {
jaroslav@1780	395	toInitilize.add(accessClassFalse(className(jc)) + "." + mn);
jaroslav@1706	396	}
jaroslav@21	397	}
jaroslav@266	398	return mn;
jaroslav@10	399	}
lubomir@307	400
lubomir@869	401	private String generateInstanceMethod(String destObject, MethodData m) throws IOException {
lubomir@869	402	String jsb = javaScriptBody(destObject, m, false);
jaroslav@266	403	if (jsb != null) {
jaroslav@266	404	return jsb;
jaroslav@94	405	}
lubomir@307	406	final String mn = findMethodName(m, new StringBuilder());
lubomir@869	407	generateMethod(destObject, mn, m);
jaroslav@266	408	return mn;
jaroslav@0	409	}
jaroslav@0	410
jaroslav@1706	411	private boolean generateMethod(String destObject, String name, MethodData m)
lubomir@307	412	throws IOException {
lubomir@307	413	final StackMapIterator stackMapIterator = m.createStackMapIterator();
jaroslav@376	414	TrapDataIterator trap = m.getTrapDataIterator();
lubomir@307	415	final LocalsMapper lmapper =
lubomir@307	416	new LocalsMapper(stackMapIterator.getArguments());
lubomir@307	417
jaroslav@1702	418	boolean defineProp =
jaroslav@1702	419	"java/lang/Object".equals(jc.getClassName()) \|\|
jaroslav@1702	420	"java/lang/reflect/Array".equals(jc.getClassName());
jaroslav@1633	421
jaroslav@1702	422	if (defineProp) {
jaroslav@1633	423	append("Object.defineProperty(").append(destObject).
jaroslav@1704	424	append(", '").append(name).append("', { configurable: true, writable: true, value: m = function(");
jaroslav@1633	425	} else {
jaroslav@1704	426	append("m = ").append(destObject).append(".").append(name).append(" = function(");
jaroslav@1633	427	}
jaroslav@1509	428	lmapper.outputArguments(this, m.isStatic());
jaroslav@1509	429	append(") {").append("\n");
lubomir@307	430
lubomir@221	431	final byte[] byteCodes = m.getCode();
lubomir@307	432	if (byteCodes == null) {
jaroslav@1509	433	append(" throw 'no code found for ")
jaroslav@424	434	.append(jc.getClassName()).append('.')
jaroslav@424	435	.append(m.getName()).append("';\n");
jaroslav@1702	436	if (defineProp) {
jaroslav@1702	437	append("}});");
jaroslav@1702	438	} else {
jaroslav@1702	439	append("};");
jaroslav@1633	440	}
jaroslav@1706	441	return defineProp;
lubomir@307	442	}
lubomir@307	443
lubomir@307	444	final StackMapper smapper = new StackMapper();
lubomir@307	445
jaroslav@442	446	if (!m.isStatic()) {
jaroslav@1509	447	append(" var ").append(" lcA0 = this;\n");
jaroslav@442	448	}
lubomir@221	449
jaroslav@1469	450	int lastStackFrame;
jaroslav@398	451	TrapData[] previousTrap = null;
lubomir@585	452	boolean wide = false;
jaroslav@1469	453	boolean didBranches;
jaroslav@1469	454	if (stackMapIterator.isEmpty()) {
jaroslav@1469	455	didBranches = false;
jaroslav@1469	456	lastStackFrame = 0;
jaroslav@1469	457	} else {
jaroslav@1469	458	didBranches = true;
jaroslav@1469	459	lastStackFrame = -1;
jaroslav@1509	460	append("\n var gt = 0;\n");
jaroslav@1469	461	}
jaroslav@398	462
jaroslav@839	463	int openBraces = 0;
jaroslav@843	464	int topMostLabel = 0;
jaroslav@0	465	for (int i = 0; i < byteCodes.length; i++) {
jaroslav@272	466	int prev = i;
jaroslav@1510	467	outChanged = false;
lubomir@221	468	stackMapIterator.advanceTo(i);
jaroslav@398	469	boolean changeInCatch = trap.advanceTo(i);
jaroslav@398	470	if (changeInCatch \|\| lastStackFrame != stackMapIterator.getFrameIndex()) {
jaroslav@398	471	if (previousTrap != null) {
jaroslav@843	472	generateCatch(previousTrap, i, topMostLabel);
jaroslav@398	473	previousTrap = null;
jaroslav@398	474	}
jaroslav@398	475	}
lubomir@221	476	if (lastStackFrame != stackMapIterator.getFrameIndex()) {
jaroslav@1509	477	smapper.flush(this);
jaroslav@839	478	if (i != 0) {
jaroslav@1509	479	append(" }\n");
jaroslav@839	480	}
jaroslav@843	481	if (openBraces > 64) {
jaroslav@843	482	for (int c = 0; c < 64; c++) {
jaroslav@1509	483	append("break;}\n");
jaroslav@843	484	}
jaroslav@843	485	openBraces = 1;
jaroslav@843	486	topMostLabel = i;
jaroslav@843	487	}
jaroslav@839	488
lubomir@221	489	lastStackFrame = stackMapIterator.getFrameIndex();
lubomir@307	490	lmapper.syncWithFrameLocals(stackMapIterator.getFrameLocals());
lubomir@307	491	smapper.syncWithFrameStack(stackMapIterator.getFrameStack());
jaroslav@1509	492	append(" X_" + i).append(": for (;;) { IF: if (gt <= " + i + ") {\n");
jaroslav@839	493	openBraces++;
jaroslav@398	494	changeInCatch = true;
lubomir@221	495	} else {
jaroslav@399	496	debug(" /* " + i + " */ ");
lubomir@221	497	}
jaroslav@398	498	if (changeInCatch && trap.useTry()) {
jaroslav@1509	499	append("try {");
jaroslav@398	500	previousTrap = trap.current();
tzezula@285	501	}
lubomir@585	502	final int c = readUByte(byteCodes, i);
jaroslav@0	503	switch (c) {
jaroslav@151	504	case opc_aload_0:
jaroslav@1509	505	smapper.assign(this, VarType.REFERENCE, lmapper.getA(0));
lubomir@281	506	break;
jaroslav@151	507	case opc_iload_0:
jaroslav@1509	508	smapper.assign(this, VarType.INTEGER, lmapper.getI(0));
lubomir@281	509	break;
jaroslav@151	510	case opc_lload_0:
jaroslav@1509	511	smapper.assign(this, VarType.LONG, lmapper.getL(0));
lubomir@281	512	break;
jaroslav@151	513	case opc_fload_0:
jaroslav@1509	514	smapper.assign(this, VarType.FLOAT, lmapper.getF(0));
lubomir@281	515	break;
jaroslav@151	516	case opc_dload_0:
jaroslav@1509	517	smapper.assign(this, VarType.DOUBLE, lmapper.getD(0));
jaroslav@0	518	break;
jaroslav@151	519	case opc_aload_1:
jaroslav@1509	520	smapper.assign(this, VarType.REFERENCE, lmapper.getA(1));
lubomir@281	521	break;
jaroslav@151	522	case opc_iload_1:
jaroslav@1509	523	smapper.assign(this, VarType.INTEGER, lmapper.getI(1));
lubomir@281	524	break;
jaroslav@151	525	case opc_lload_1:
jaroslav@1509	526	smapper.assign(this, VarType.LONG, lmapper.getL(1));
lubomir@281	527	break;
jaroslav@151	528	case opc_fload_1:
jaroslav@1509	529	smapper.assign(this, VarType.FLOAT, lmapper.getF(1));
lubomir@281	530	break;
jaroslav@151	531	case opc_dload_1:
jaroslav@1509	532	smapper.assign(this, VarType.DOUBLE, lmapper.getD(1));
jaroslav@0	533	break;
jaroslav@151	534	case opc_aload_2:
jaroslav@1509	535	smapper.assign(this, VarType.REFERENCE, lmapper.getA(2));
lubomir@281	536	break;
jaroslav@151	537	case opc_iload_2:
jaroslav@1509	538	smapper.assign(this, VarType.INTEGER, lmapper.getI(2));
lubomir@281	539	break;
jaroslav@151	540	case opc_lload_2:
jaroslav@1509	541	smapper.assign(this, VarType.LONG, lmapper.getL(2));
lubomir@281	542	break;
jaroslav@151	543	case opc_fload_2:
jaroslav@1509	544	smapper.assign(this, VarType.FLOAT, lmapper.getF(2));
lubomir@281	545	break;
jaroslav@151	546	case opc_dload_2:
jaroslav@1509	547	smapper.assign(this, VarType.DOUBLE, lmapper.getD(2));
jaroslav@2	548	break;
jaroslav@151	549	case opc_aload_3:
jaroslav@1509	550	smapper.assign(this, VarType.REFERENCE, lmapper.getA(3));
lubomir@281	551	break;
jaroslav@151	552	case opc_iload_3:
jaroslav@1509	553	smapper.assign(this, VarType.INTEGER, lmapper.getI(3));
lubomir@281	554	break;
jaroslav@151	555	case opc_lload_3:
jaroslav@1509	556	smapper.assign(this, VarType.LONG, lmapper.getL(3));
lubomir@281	557	break;
jaroslav@151	558	case opc_fload_3:
jaroslav@1509	559	smapper.assign(this, VarType.FLOAT, lmapper.getF(3));
lubomir@281	560	break;
jaroslav@151	561	case opc_dload_3:
jaroslav@1509	562	smapper.assign(this, VarType.DOUBLE, lmapper.getD(3));
jaroslav@3	563	break;
lubomir@281	564	case opc_iload: {
lubomir@585	565	++i;
lubomir@585	566	final int indx = wide ? readUShort(byteCodes, i++)
lubomir@585	567	: readUByte(byteCodes, i);
lubomir@585	568	wide = false;
jaroslav@1509	569	smapper.assign(this, VarType.INTEGER, lmapper.getI(indx));
lubomir@281	570	break;
lubomir@281	571	}
lubomir@281	572	case opc_lload: {
lubomir@585	573	++i;
lubomir@585	574	final int indx = wide ? readUShort(byteCodes, i++)
lubomir@585	575	: readUByte(byteCodes, i);
lubomir@585	576	wide = false;
jaroslav@1509	577	smapper.assign(this, VarType.LONG, lmapper.getL(indx));
lubomir@281	578	break;
lubomir@281	579	}
lubomir@281	580	case opc_fload: {
lubomir@585	581	++i;
lubomir@585	582	final int indx = wide ? readUShort(byteCodes, i++)
lubomir@585	583	: readUByte(byteCodes, i);
lubomir@585	584	wide = false;
jaroslav@1509	585	smapper.assign(this, VarType.FLOAT, lmapper.getF(indx));
lubomir@281	586	break;
lubomir@281	587	}
lubomir@281	588	case opc_dload: {
lubomir@585	589	++i;
lubomir@585	590	final int indx = wide ? readUShort(byteCodes, i++)
lubomir@585	591	: readUByte(byteCodes, i);
lubomir@585	592	wide = false;
jaroslav@1509	593	smapper.assign(this, VarType.DOUBLE, lmapper.getD(indx));
lubomir@281	594	break;
lubomir@281	595	}
jaroslav@151	596	case opc_aload: {
lubomir@585	597	++i;
lubomir@585	598	final int indx = wide ? readUShort(byteCodes, i++)
lubomir@585	599	: readUByte(byteCodes, i);
lubomir@585	600	wide = false;
jaroslav@1509	601	smapper.assign(this, VarType.REFERENCE, lmapper.getA(indx));
jaroslav@3	602	break;
jaroslav@3	603	}
lubomir@281	604	case opc_istore: {
lubomir@585	605	++i;
lubomir@585	606	final int indx = wide ? readUShort(byteCodes, i++)
lubomir@585	607	: readUByte(byteCodes, i);
lubomir@585	608	wide = false;
jaroslav@1509	609	emit(smapper, this, "var @1 = @2;",
lubomir@474	610	lmapper.setI(indx), smapper.popI());
lubomir@281	611	break;
lubomir@281	612	}
lubomir@281	613	case opc_lstore: {
lubomir@585	614	++i;
lubomir@585	615	final int indx = wide ? readUShort(byteCodes, i++)
lubomir@585	616	: readUByte(byteCodes, i);
lubomir@585	617	wide = false;
jaroslav@1509	618	emit(smapper, this, "var @1 = @2;",
lubomir@474	619	lmapper.setL(indx), smapper.popL());
lubomir@281	620	break;
lubomir@281	621	}
lubomir@281	622	case opc_fstore: {
lubomir@585	623	++i;
lubomir@585	624	final int indx = wide ? readUShort(byteCodes, i++)
lubomir@585	625	: readUByte(byteCodes, i);
lubomir@585	626	wide = false;
jaroslav@1509	627	emit(smapper, this, "var @1 = @2;",
lubomir@474	628	lmapper.setF(indx), smapper.popF());
lubomir@281	629	break;
lubomir@281	630	}
lubomir@281	631	case opc_dstore: {
lubomir@585	632	++i;
lubomir@585	633	final int indx = wide ? readUShort(byteCodes, i++)
lubomir@585	634	: readUByte(byteCodes, i);
lubomir@585	635	wide = false;
jaroslav@1509	636	emit(smapper, this, "var @1 = @2;",
lubomir@474	637	lmapper.setD(indx), smapper.popD());
lubomir@281	638	break;
lubomir@281	639	}
jaroslav@151	640	case opc_astore: {
lubomir@585	641	++i;
lubomir@585	642	final int indx = wide ? readUShort(byteCodes, i++)
lubomir@585	643	: readUByte(byteCodes, i);
lubomir@585	644	wide = false;
jaroslav@1509	645	emit(smapper, this, "var @1 = @2;",
lubomir@474	646	lmapper.setA(indx), smapper.popA());
jaroslav@31	647	break;
jaroslav@31	648	}
jaroslav@151	649	case opc_astore_0:
jaroslav@1509	650	emit(smapper, this, "var @1 = @2;", lmapper.setA(0), smapper.popA());
lubomir@281	651	break;
jaroslav@151	652	case opc_istore_0:
jaroslav@1509	653	emit(smapper, this, "var @1 = @2;", lmapper.setI(0), smapper.popI());
lubomir@281	654	break;
jaroslav@151	655	case opc_lstore_0:
jaroslav@1509	656	emit(smapper, this, "var @1 = @2;", lmapper.setL(0), smapper.popL());
lubomir@281	657	break;
jaroslav@151	658	case opc_fstore_0:
jaroslav@1509	659	emit(smapper, this, "var @1 = @2;", lmapper.setF(0), smapper.popF());
lubomir@281	660	break;
jaroslav@151	661	case opc_dstore_0:
jaroslav@1509	662	emit(smapper, this, "var @1 = @2;", lmapper.setD(0), smapper.popD());
jaroslav@5	663	break;
jaroslav@151	664	case opc_astore_1:
jaroslav@1509	665	emit(smapper, this, "var @1 = @2;", lmapper.setA(1), smapper.popA());
lubomir@281	666	break;
jaroslav@151	667	case opc_istore_1:
jaroslav@1509	668	emit(smapper, this, "var @1 = @2;", lmapper.setI(1), smapper.popI());
lubomir@281	669	break;
jaroslav@151	670	case opc_lstore_1:
jaroslav@1509	671	emit(smapper, this, "var @1 = @2;", lmapper.setL(1), smapper.popL());
lubomir@281	672	break;
jaroslav@151	673	case opc_fstore_1:
jaroslav@1509	674	emit(smapper, this, "var @1 = @2;", lmapper.setF(1), smapper.popF());
lubomir@281	675	break;
jaroslav@151	676	case opc_dstore_1:
jaroslav@1509	677	emit(smapper, this, "var @1 = @2;", lmapper.setD(1), smapper.popD());
jaroslav@5	678	break;
jaroslav@151	679	case opc_astore_2:
jaroslav@1509	680	emit(smapper, this, "var @1 = @2;", lmapper.setA(2), smapper.popA());
lubomir@281	681	break;
jaroslav@151	682	case opc_istore_2:
jaroslav@1509	683	emit(smapper, this, "var @1 = @2;", lmapper.setI(2), smapper.popI());
lubomir@281	684	break;
jaroslav@151	685	case opc_lstore_2:
jaroslav@1509	686	emit(smapper, this, "var @1 = @2;", lmapper.setL(2), smapper.popL());
lubomir@281	687	break;
jaroslav@151	688	case opc_fstore_2:
jaroslav@1509	689	emit(smapper, this, "var @1 = @2;", lmapper.setF(2), smapper.popF());
lubomir@281	690	break;
jaroslav@151	691	case opc_dstore_2:
jaroslav@1509	692	emit(smapper, this, "var @1 = @2;", lmapper.setD(2), smapper.popD());
jaroslav@5	693	break;
jaroslav@151	694	case opc_astore_3:
jaroslav@1509	695	emit(smapper, this, "var @1 = @2;", lmapper.setA(3), smapper.popA());
lubomir@281	696	break;
jaroslav@151	697	case opc_istore_3:
jaroslav@1509	698	emit(smapper, this, "var @1 = @2;", lmapper.setI(3), smapper.popI());
lubomir@281	699	break;
jaroslav@151	700	case opc_lstore_3:
jaroslav@1509	701	emit(smapper, this, "var @1 = @2;", lmapper.setL(3), smapper.popL());
lubomir@281	702	break;
jaroslav@151	703	case opc_fstore_3:
jaroslav@1509	704	emit(smapper, this, "var @1 = @2;", lmapper.setF(3), smapper.popF());
lubomir@281	705	break;
jaroslav@151	706	case opc_dstore_3:
jaroslav@1509	707	emit(smapper, this, "var @1 = @2;", lmapper.setD(3), smapper.popD());
jaroslav@5	708	break;
jaroslav@151	709	case opc_iadd:
jaroslav@1509	710	smapper.replace(this, VarType.INTEGER, "(@1).add32(@2)", smapper.getI(1), smapper.popI());
lubomir@281	711	break;
jaroslav@151	712	case opc_ladd:
jaroslav@1509	713	smapper.replace(this, VarType.LONG, "(@1).add64(@2)", smapper.getL(1), smapper.popL());
lubomir@281	714	break;
jaroslav@151	715	case opc_fadd:
jaroslav@1509	716	smapper.replace(this, VarType.FLOAT, "(@1 + @2)", smapper.getF(1), smapper.popF());
lubomir@281	717	break;
jaroslav@151	718	case opc_dadd:
jaroslav@1509	719	smapper.replace(this, VarType.DOUBLE, "(@1 + @2)", smapper.getD(1), smapper.popD());
jaroslav@0	720	break;
jaroslav@151	721	case opc_isub:
jaroslav@1509	722	smapper.replace(this, VarType.INTEGER, "(@1).sub32(@2)", smapper.getI(1), smapper.popI());
lubomir@281	723	break;
jaroslav@151	724	case opc_lsub:
jaroslav@1509	725	smapper.replace(this, VarType.LONG, "(@1).sub64(@2)", smapper.getL(1), smapper.popL());
lubomir@281	726	break;
jaroslav@151	727	case opc_fsub:
jaroslav@1509	728	smapper.replace(this, VarType.FLOAT, "(@1 - @2)", smapper.getF(1), smapper.popF());
lubomir@281	729	break;
jaroslav@151	730	case opc_dsub:
jaroslav@1509	731	smapper.replace(this, VarType.DOUBLE, "(@1 - @2)", smapper.getD(1), smapper.popD());
jaroslav@2	732	break;
jaroslav@151	733	case opc_imul:
jaroslav@1509	734	smapper.replace(this, VarType.INTEGER, "(@1).mul32(@2)", smapper.getI(1), smapper.popI());
lubomir@281	735	break;
jaroslav@151	736	case opc_lmul:
jaroslav@1509	737	smapper.replace(this, VarType.LONG, "(@1).mul64(@2)", smapper.getL(1), smapper.popL());
lubomir@281	738	break;
jaroslav@151	739	case opc_fmul:
jaroslav@1509	740	smapper.replace(this, VarType.FLOAT, "(@1 * @2)", smapper.getF(1), smapper.popF());
lubomir@281	741	break;
jaroslav@151	742	case opc_dmul:
jaroslav@1509	743	smapper.replace(this, VarType.DOUBLE, "(@1 * @2)", smapper.getD(1), smapper.popD());
jaroslav@1	744	break;
jaroslav@151	745	case opc_idiv:
jaroslav@1509	746	smapper.replace(this, VarType.INTEGER, "(@1).div32(@2)",
lubomir@307	747	smapper.getI(1), smapper.popI());
lubomir@281	748	break;
jaroslav@151	749	case opc_ldiv:
jaroslav@1509	750	smapper.replace(this, VarType.LONG, "(@1).div64(@2)",
lubomir@307	751	smapper.getL(1), smapper.popL());
jaroslav@3	752	break;
jaroslav@151	753	case opc_fdiv:
jaroslav@1509	754	smapper.replace(this, VarType.FLOAT, "(@1 / @2)", smapper.getF(1), smapper.popF());
lubomir@281	755	break;
jaroslav@151	756	case opc_ddiv:
jaroslav@1509	757	smapper.replace(this, VarType.DOUBLE, "(@1 / @2)", smapper.getD(1), smapper.popD());
jaroslav@3	758	break;
jaroslav@178	759	case opc_irem:
jaroslav@1509	760	smapper.replace(this, VarType.INTEGER, "(@1).mod32(@2)",
lubomir@737	761	smapper.getI(1), smapper.popI());
lubomir@281	762	break;
jaroslav@178	763	case opc_lrem:
jaroslav@1509	764	smapper.replace(this, VarType.LONG, "(@1).mod64(@2)",
lubomir@676	765	smapper.getL(1), smapper.popL());
lubomir@281	766	break;
jaroslav@178	767	case opc_frem:
jaroslav@1509	768	smapper.replace(this, VarType.FLOAT, "(@1 % @2)", smapper.getF(1), smapper.popF());
lubomir@281	769	break;
jaroslav@178	770	case opc_drem:
jaroslav@1509	771	smapper.replace(this, VarType.DOUBLE, "(@1 % @2)", smapper.getD(1), smapper.popD());
jaroslav@178	772	break;
jaroslav@151	773	case opc_iand:
jaroslav@1509	774	smapper.replace(this, VarType.INTEGER, "(@1 & @2)", smapper.getI(1), smapper.popI());
lubomir@281	775	break;
jaroslav@151	776	case opc_land:
jaroslav@1509	777	smapper.replace(this, VarType.LONG, "(@1).and64(@2)", smapper.getL(1), smapper.popL());
jaroslav@7	778	break;
jaroslav@151	779	case opc_ior:
jaroslav@1509	780	smapper.replace(this, VarType.INTEGER, "(@1 \| @2)", smapper.getI(1), smapper.popI());
lubomir@281	781	break;
jaroslav@151	782	case opc_lor:
jaroslav@1509	783	smapper.replace(this, VarType.LONG, "(@1).or64(@2)", smapper.getL(1), smapper.popL());
jaroslav@7	784	break;
jaroslav@151	785	case opc_ixor:
jaroslav@1509	786	smapper.replace(this, VarType.INTEGER, "(@1 ^ @2)", smapper.getI(1), smapper.popI());
lubomir@281	787	break;
jaroslav@151	788	case opc_lxor:
jaroslav@1509	789	smapper.replace(this, VarType.LONG, "(@1).xor64(@2)", smapper.getL(1), smapper.popL());
jaroslav@6	790	break;
jaroslav@151	791	case opc_ineg:
jaroslav@1509	792	smapper.replace(this, VarType.INTEGER, "(@1).neg32()", smapper.getI(0));
lubomir@281	793	break;
jaroslav@151	794	case opc_lneg:
jaroslav@1509	795	smapper.replace(this, VarType.LONG, "(@1).neg64()", smapper.getL(0));
lubomir@281	796	break;
jaroslav@151	797	case opc_fneg:
jaroslav@1509	798	smapper.replace(this, VarType.FLOAT, "(-@1)", smapper.getF(0));
lubomir@281	799	break;
jaroslav@151	800	case opc_dneg:
jaroslav@1509	801	smapper.replace(this, VarType.DOUBLE, "(-@1)", smapper.getD(0));
jaroslav@93	802	break;
jaroslav@151	803	case opc_ishl:
jaroslav@1509	804	smapper.replace(this, VarType.INTEGER, "(@1 << @2)", smapper.getI(1), smapper.popI());
lubomir@281	805	break;
jaroslav@151	806	case opc_lshl:
jaroslav@1509	807	smapper.replace(this, VarType.LONG, "(@1).shl64(@2)", smapper.getL(1), smapper.popI());
jaroslav@93	808	break;
jaroslav@151	809	case opc_ishr:
jaroslav@1509	810	smapper.replace(this, VarType.INTEGER, "(@1 >> @2)", smapper.getI(1), smapper.popI());
lubomir@281	811	break;
jaroslav@151	812	case opc_lshr:
jaroslav@1509	813	smapper.replace(this, VarType.LONG, "(@1).shr64(@2)", smapper.getL(1), smapper.popI());
jaroslav@93	814	break;
jaroslav@151	815	case opc_iushr:
jaroslav@1509	816	smapper.replace(this, VarType.INTEGER, "(@1 >>> @2)", smapper.getI(1), smapper.popI());
lubomir@281	817	break;
jaroslav@151	818	case opc_lushr:
jaroslav@1509	819	smapper.replace(this, VarType.LONG, "(@1).ushr64(@2)", smapper.getL(1), smapper.popI());
jaroslav@93	820	break;
jaroslav@151	821	case opc_iinc: {
lubomir@585	822	++i;
lubomir@585	823	final int varIndx = wide ? readUShort(byteCodes, i++)
lubomir@585	824	: readUByte(byteCodes, i);
lubomir@585	825	++i;
lubomir@697	826	final int incrBy = wide ? readShort(byteCodes, i++)
lubomir@585	827	: byteCodes[i];
lubomir@585	828	wide = false;
jaroslav@5	829	if (incrBy == 1) {
jaroslav@1509	830	emit(smapper, this, "@1++;", lmapper.getI(varIndx));
jaroslav@5	831	} else {
jaroslav@1509	832	emit(smapper, this, "@1 += @2;",
lubomir@307	833	lmapper.getI(varIndx),
lubomir@283	834	Integer.toString(incrBy));
jaroslav@5	835	}
jaroslav@5	836	break;
jaroslav@5	837	}
jaroslav@151	838	case opc_return:
jaroslav@1509	839	emit(smapper, this, "return;");
jaroslav@10	840	break;
jaroslav@151	841	case opc_ireturn:
jaroslav@1509	842	emit(smapper, this, "return @1;", smapper.popI());
lubomir@281	843	break;
jaroslav@151	844	case opc_lreturn:
jaroslav@1509	845	emit(smapper, this, "return @1;", smapper.popL());
lubomir@281	846	break;
jaroslav@151	847	case opc_freturn:
jaroslav@1509	848	emit(smapper, this, "return @1;", smapper.popF());
lubomir@281	849	break;
jaroslav@151	850	case opc_dreturn:
jaroslav@1509	851	emit(smapper, this, "return @1;", smapper.popD());
lubomir@281	852	break;
jaroslav@151	853	case opc_areturn:
jaroslav@1509	854	emit(smapper, this, "return @1;", smapper.popA());
jaroslav@1	855	break;
jaroslav@151	856	case opc_i2l:
jaroslav@1509	857	smapper.replace(this, VarType.LONG, "@1", smapper.getI(0));
lubomir@281	858	break;
jaroslav@151	859	case opc_i2f:
jaroslav@1509	860	smapper.replace(this, VarType.FLOAT, "@1", smapper.getI(0));
lubomir@281	861	break;
jaroslav@151	862	case opc_i2d:
jaroslav@1509	863	smapper.replace(this, VarType.DOUBLE, "@1", smapper.getI(0));
lubomir@281	864	break;
jaroslav@151	865	case opc_l2i:
jaroslav@1509	866	smapper.replace(this, VarType.INTEGER, "(@1).toInt32()", smapper.getL(0));
lubomir@281	867	break;
jaroslav@3	868	// max int check?
jaroslav@151	869	case opc_l2f:
jaroslav@1509	870	smapper.replace(this, VarType.FLOAT, "(@1).toFP()", smapper.getL(0));
jaroslav@272	871	break;
jaroslav@151	872	case opc_l2d:
jaroslav@1509	873	smapper.replace(this, VarType.DOUBLE, "(@1).toFP()", smapper.getL(0));
jaroslav@272	874	break;
jaroslav@151	875	case opc_f2d:
jaroslav@1509	876	smapper.replace(this, VarType.DOUBLE, "@1",
jaroslav@1457	877	smapper.getF(0));
lubomir@281	878	break;
jaroslav@151	879	case opc_d2f:
jaroslav@1509	880	smapper.replace(this, VarType.FLOAT, "@1",
jaroslav@1457	881	smapper.getD(0));
jaroslav@3	882	break;
jaroslav@151	883	case opc_f2i:
jaroslav@1509	884	smapper.replace(this, VarType.INTEGER, "(@1).toInt32()",
jaroslav@1457	885	smapper.getF(0));
lubomir@281	886	break;
jaroslav@151	887	case opc_f2l:
jaroslav@1509	888	smapper.replace(this, VarType.LONG, "(@1).toLong()",
jaroslav@1457	889	smapper.getF(0));
lubomir@281	890	break;
jaroslav@151	891	case opc_d2i:
jaroslav@1509	892	smapper.replace(this, VarType.INTEGER, "(@1).toInt32()",
jaroslav@1457	893	smapper.getD(0));
lubomir@281	894	break;
jaroslav@151	895	case opc_d2l:
jaroslav@1509	896	smapper.replace(this, VarType.LONG, "(@1).toLong()", smapper.getD(0));
jaroslav@3	897	break;
jaroslav@151	898	case opc_i2b:
jaroslav@1509	899	smapper.replace(this, VarType.INTEGER, "(@1).toInt8()", smapper.getI(0));
Martin@440	900	break;
jaroslav@151	901	case opc_i2c:
jaroslav@151	902	case opc_i2s:
jaroslav@1509	903	smapper.replace(this, VarType.INTEGER, "(@1).toInt16()", smapper.getI(0));
jaroslav@2	904	break;
jaroslav@151	905	case opc_aconst_null:
jaroslav@1509	906	smapper.assign(this, VarType.REFERENCE, "null");
jaroslav@46	907	break;
jaroslav@151	908	case opc_iconst_m1:
jaroslav@1509	909	smapper.assign(this, VarType.INTEGER, "-1");
jaroslav@48	910	break;
jaroslav@151	911	case opc_iconst_0:
jaroslav@1509	912	smapper.assign(this, VarType.INTEGER, "0");
lubomir@281	913	break;
jaroslav@151	914	case opc_dconst_0:
jaroslav@1509	915	smapper.assign(this, VarType.DOUBLE, "0");
lubomir@281	916	break;
jaroslav@151	917	case opc_lconst_0:
jaroslav@1509	918	smapper.assign(this, VarType.LONG, "0");
lubomir@281	919	break;
jaroslav@151	920	case opc_fconst_0:
jaroslav@1509	921	smapper.assign(this, VarType.FLOAT, "0");
jaroslav@4	922	break;
jaroslav@151	923	case opc_iconst_1:
jaroslav@1509	924	smapper.assign(this, VarType.INTEGER, "1");
lubomir@281	925	break;
jaroslav@151	926	case opc_lconst_1:
jaroslav@1509	927	smapper.assign(this, VarType.LONG, "1");
lubomir@281	928	break;
jaroslav@151	929	case opc_fconst_1:
jaroslav@1509	930	smapper.assign(this, VarType.FLOAT, "1");
lubomir@281	931	break;
jaroslav@151	932	case opc_dconst_1:
jaroslav@1509	933	smapper.assign(this, VarType.DOUBLE, "1");
jaroslav@4	934	break;
jaroslav@151	935	case opc_iconst_2:
jaroslav@1509	936	smapper.assign(this, VarType.INTEGER, "2");
lubomir@281	937	break;
jaroslav@151	938	case opc_fconst_2:
jaroslav@1509	939	smapper.assign(this, VarType.FLOAT, "2");
jaroslav@4	940	break;
jaroslav@151	941	case opc_iconst_3:
jaroslav@1509	942	smapper.assign(this, VarType.INTEGER, "3");
jaroslav@4	943	break;
jaroslav@151	944	case opc_iconst_4:
jaroslav@1509	945	smapper.assign(this, VarType.INTEGER, "4");
jaroslav@4	946	break;
jaroslav@151	947	case opc_iconst_5:
jaroslav@1509	948	smapper.assign(this, VarType.INTEGER, "5");
jaroslav@4	949	break;
jaroslav@151	950	case opc_ldc: {
lubomir@585	951	int indx = readUByte(byteCodes, ++i);
jaroslav@151	952	String v = encodeConstant(indx);
lubomir@307	953	int type = VarType.fromConstantType(jc.getTag(indx));
jaroslav@1509	954	smapper.assign(this, type, v);
jaroslav@20	955	break;
jaroslav@20	956	}
jaroslav@151	957	case opc_ldc_w:
jaroslav@151	958	case opc_ldc2_w: {
jaroslav@864	959	int indx = readUShortArg(byteCodes, i);
jaroslav@8	960	i += 2;
jaroslav@151	961	String v = encodeConstant(indx);
lubomir@307	962	int type = VarType.fromConstantType(jc.getTag(indx));
Martin@582	963	if (type == VarType.LONG) {
Martin@582	964	final Long lv = new Long(v);
Martin@582	965	final int low = (int)(lv.longValue() & 0xFFFFFFFF);
Martin@582	966	final int hi = (int)(lv.longValue() >> 32);
jaroslav@1462	967	if (hi == 0) {
jaroslav@1509	968	smapper.assign(this, VarType.LONG, "0x" + Integer.toHexString(low));
jaroslav@1462	969	} else {
jaroslav@1509	970	smapper.assign(this, VarType.LONG,
jaroslav@1462	971	"0x" + Integer.toHexString(hi) + ".next32(0x" +
jaroslav@1462	972	Integer.toHexString(low) + ")"
jaroslav@1462	973	);
jaroslav@1462	974	}
Martin@582	975	} else {
jaroslav@1509	976	smapper.assign(this, type, v);
Martin@582	977	}
jaroslav@8	978	break;
jaroslav@8	979	}
jaroslav@151	980	case opc_lcmp:
jaroslav@1509	981	smapper.replace(this, VarType.INTEGER, "(@2).compare64(@1)", smapper.popL(), smapper.getL(0));
lubomir@281	982	break;
jaroslav@151	983	case opc_fcmpl:
jaroslav@151	984	case opc_fcmpg:
jaroslav@1509	985	smapper.replace(this, VarType.INTEGER, "(@2).compare(@1)", smapper.popF(), smapper.getF(0));
lubomir@281	986	break;
jaroslav@151	987	case opc_dcmpl:
lubomir@281	988	case opc_dcmpg:
jaroslav@1509	989	smapper.replace(this, VarType.INTEGER, "(@2).compare(@1)", smapper.popD(), smapper.getD(0));
jaroslav@20	990	break;
jaroslav@151	991	case opc_if_acmpeq:
jaroslav@1468	992	i = generateIf(smapper, byteCodes, i, smapper.popA(), smapper.popA(),
jaroslav@843	993	"===", topMostLabel);
jaroslav@104	994	break;
jaroslav@151	995	case opc_if_acmpne:
jaroslav@1468	996	i = generateIf(smapper, byteCodes, i, smapper.popA(), smapper.popA(),
jaroslav@843	997	"!==", topMostLabel);
jaroslav@104	998	break;
lubomir@283	999	case opc_if_icmpeq:
jaroslav@1468	1000	i = generateIf(smapper, byteCodes, i, smapper.popI(), smapper.popI(),
jaroslav@843	1001	"==", topMostLabel);
jaroslav@4	1002	break;
jaroslav@151	1003	case opc_ifeq: {
jaroslav@864	1004	int indx = i + readShortArg(byteCodes, i);
jaroslav@1509	1005	emitIf(smapper, this, "if ((@1) == 0) ",
jaroslav@843	1006	smapper.popI(), i, indx, topMostLabel);
jaroslav@7	1007	i += 2;
jaroslav@7	1008	break;
jaroslav@7	1009	}
jaroslav@151	1010	case opc_ifne: {
jaroslav@864	1011	int indx = i + readShortArg(byteCodes, i);
jaroslav@1509	1012	emitIf(smapper, this, "if ((@1) != 0) ",
jaroslav@843	1013	smapper.popI(), i, indx, topMostLabel);
jaroslav@20	1014	i += 2;
jaroslav@20	1015	break;
jaroslav@20	1016	}
jaroslav@151	1017	case opc_iflt: {
jaroslav@864	1018	int indx = i + readShortArg(byteCodes, i);
jaroslav@1509	1019	emitIf(smapper, this, "if ((@1) < 0) ",
jaroslav@843	1020	smapper.popI(), i, indx, topMostLabel);
jaroslav@20	1021	i += 2;
jaroslav@20	1022	break;
jaroslav@20	1023	}
jaroslav@151	1024	case opc_ifle: {
jaroslav@864	1025	int indx = i + readShortArg(byteCodes, i);
jaroslav@1509	1026	emitIf(smapper, this, "if ((@1) <= 0) ",
jaroslav@843	1027	smapper.popI(), i, indx, topMostLabel);
jaroslav@20	1028	i += 2;
jaroslav@20	1029	break;
jaroslav@20	1030	}
jaroslav@151	1031	case opc_ifgt: {
jaroslav@864	1032	int indx = i + readShortArg(byteCodes, i);
jaroslav@1509	1033	emitIf(smapper, this, "if ((@1) > 0) ",
jaroslav@843	1034	smapper.popI(), i, indx, topMostLabel);
jaroslav@20	1035	i += 2;
jaroslav@20	1036	break;
jaroslav@20	1037	}
jaroslav@151	1038	case opc_ifge: {
jaroslav@864	1039	int indx = i + readShortArg(byteCodes, i);
jaroslav@1509	1040	emitIf(smapper, this, "if ((@1) >= 0) ",
jaroslav@843	1041	smapper.popI(), i, indx, topMostLabel);
jaroslav@20	1042	i += 2;
jaroslav@20	1043	break;
jaroslav@20	1044	}
jaroslav@151	1045	case opc_ifnonnull: {
jaroslav@864	1046	int indx = i + readShortArg(byteCodes, i);
jaroslav@1509	1047	emitIf(smapper, this, "if ((@1) !== null) ",
jaroslav@843	1048	smapper.popA(), i, indx, topMostLabel);
jaroslav@16	1049	i += 2;
jaroslav@16	1050	break;
jaroslav@16	1051	}
jaroslav@151	1052	case opc_ifnull: {
jaroslav@864	1053	int indx = i + readShortArg(byteCodes, i);
jaroslav@1509	1054	emitIf(smapper, this, "if ((@1) === null) ",
jaroslav@843	1055	smapper.popA(), i, indx, topMostLabel);
jaroslav@16	1056	i += 2;
jaroslav@16	1057	break;
jaroslav@16	1058	}
jaroslav@151	1059	case opc_if_icmpne:
jaroslav@1468	1060	i = generateIf(smapper, byteCodes, i, smapper.popI(), smapper.popI(),
jaroslav@843	1061	"!=", topMostLabel);
jaroslav@4	1062	break;
jaroslav@151	1063	case opc_if_icmplt:
jaroslav@1468	1064	i = generateIf(smapper, byteCodes, i, smapper.popI(), smapper.popI(),
jaroslav@843	1065	"<", topMostLabel);
jaroslav@4	1066	break;
jaroslav@151	1067	case opc_if_icmple:
jaroslav@1468	1068	i = generateIf(smapper, byteCodes, i, smapper.popI(), smapper.popI(),
jaroslav@843	1069	"<=", topMostLabel);
jaroslav@4	1070	break;
jaroslav@151	1071	case opc_if_icmpgt:
jaroslav@1468	1072	i = generateIf(smapper, byteCodes, i, smapper.popI(), smapper.popI(),
jaroslav@843	1073	">", topMostLabel);
jaroslav@4	1074	break;
jaroslav@151	1075	case opc_if_icmpge:
jaroslav@1468	1076	i = generateIf(smapper, byteCodes, i, smapper.popI(), smapper.popI(),
jaroslav@843	1077	">=", topMostLabel);
jaroslav@4	1078	break;
jaroslav@151	1079	case opc_goto: {
jaroslav@1509	1080	smapper.flush(this);
jaroslav@864	1081	int indx = i + readShortArg(byteCodes, i);
jaroslav@1509	1082	goTo(this, i, indx, topMostLabel);
jaroslav@5	1083	i += 2;
jaroslav@5	1084	break;
jaroslav@5	1085	}
jaroslav@151	1086	case opc_lookupswitch: {
jaroslav@843	1087	i = generateLookupSwitch(i, byteCodes, smapper, topMostLabel);
jaroslav@115	1088	break;
jaroslav@115	1089	}
jaroslav@151	1090	case opc_tableswitch: {
jaroslav@843	1091	i = generateTableSwitch(i, byteCodes, smapper, topMostLabel);
jaroslav@115	1092	break;
jaroslav@115	1093	}
jaroslav@151	1094	case opc_invokeinterface: {
lubomir@307	1095	i = invokeVirtualMethod(byteCodes, i, smapper) + 2;
jaroslav@46	1096	break;
jaroslav@46	1097	}
jaroslav@151	1098	case opc_invokevirtual:
lubomir@307	1099	i = invokeVirtualMethod(byteCodes, i, smapper);
jaroslav@12	1100	break;
jaroslav@151	1101	case opc_invokespecial:
lubomir@307	1102	i = invokeStaticMethod(byteCodes, i, smapper, false);
jaroslav@4	1103	break;
jaroslav@151	1104	case opc_invokestatic:
lubomir@307	1105	i = invokeStaticMethod(byteCodes, i, smapper, true);
jaroslav@10	1106	break;
jaroslav@1640	1107	case opc_invokedynamic: {
jaroslav@1640	1108	int indx = readUShortArg(byteCodes, i);
jaroslav@1655	1109	println("invoke dynamic: " + indx);
jaroslav@1642	1110	ByteCodeParser.CPX2 c2 = jc.getCpoolEntry(indx);
jaroslav@1657	1111	BootMethodData bm = jc.getBootMethod(c2.cpx1);
jaroslav@1658	1112	CPX2 methodHandle = jc.getCpoolEntry(bm.method);
jaroslav@1658	1113	println(" type: " + methodHandle.cpx1);
jaroslav@1658	1114	String[] mi = jc.getFieldInfoName(methodHandle.cpx2);
jaroslav@1658	1115	String mcn = mangleClassName(mi[0]);
jaroslav@1657	1116	char[] returnType = {'V'};
jaroslav@1657	1117	StringBuilder cnt = new StringBuilder();
jaroslav@1657	1118	String mn = findMethodName(mi, cnt, returnType);
jaroslav@1696	1119	StringBuilder sb = new StringBuilder();
jaroslav@1696	1120	sb.append("We don't handle invokedynamic, need to preprocess ahead-of-time:\n");
jaroslav@1696	1121	sb.append(" mi[0]: ").append(mi[0]).append("\n");
jaroslav@1696	1122	sb.append(" mi[1]: ").append(mi[1]).append("\n");
jaroslav@1696	1123	sb.append(" mi[2]: ").append(mi[2]).append("\n");
jaroslav@1696	1124	sb.append(" mn : ").append(mn).append("\n");
jaroslav@1696	1125	sb.append(" name and type: ").append(jc.stringValue(c2.cpx2, true)).append("\n");
jaroslav@1696	1126	throw new IOException(sb.toString());
jaroslav@1696	1127	/*
jaroslav@1661	1128	CPX2 nameAndType = jc.getCpoolEntry(c2.cpx2);
jaroslav@1661	1129	String type = jc.StringValue(nameAndType.cpx2);
jaroslav@1658	1130	String object = accessClass(mcn) + "(false)";
jaroslav@1658	1131	if (mn.startsWith("cons_")) {
jaroslav@1658	1132	object += ".constructor";
jaroslav@1658	1133	}
jaroslav@1658	1134	append("var metHan = ");
jaroslav@1658	1135	append(accessStaticMethod(object, mn, mi));
jaroslav@1658	1136	append('(');
jaroslav@1659	1137	String lookup = accessClass("java_lang_invoke_MethodHandles") + "(false).findFor__Ljava_lang_invoke_MethodHandles$Lookup_2Ljava_lang_Class_2(CLS.$class)";
jaroslav@1659	1138	append(lookup);
jaroslav@1661	1139	append(", '").append(mi[1]).append("', ");
jaroslav@1661	1140	String methodType = accessClass("java_lang_invoke_MethodType") + "(false).fromMethodDescriptorString__Ljava_lang_invoke_MethodType_2Ljava_lang_String_2Ljava_lang_ClassLoader_2(";
jaroslav@1661	1141	append(methodType).append("'").append(type).append("', null)");
jaroslav@1658	1142	// if (numArguments > 0) {
jaroslav@1658	1143	// append(vars[0]);
jaroslav@1658	1144	// for (int j = 1; j < numArguments; ++j) {
jaroslav@1658	1145	// append(", ");
jaroslav@1658	1146	// append(vars[j]);
jaroslav@1658	1147	// }
jaroslav@1658	1148	// }
jaroslav@1658	1149	append(");");
jaroslav@1658	1150	emit(smapper, this, "throw 'Invoke dynamic: ' + @1 + ': ' + metHan;", "" + indx);
jaroslav@1640	1151	i += 4;
jaroslav@1640	1152	break;
jaroslav@1696	1153	*/
jaroslav@1640	1154	}
jaroslav@151	1155	case opc_new: {
jaroslav@864	1156	int indx = readUShortArg(byteCodes, i);
jaroslav@151	1157	String ci = jc.getClassName(indx);
jaroslav@1509	1158	emit(smapper, this, "var @1 = new @2;",
jaroslav@1409	1159	smapper.pushA(), accessClass(mangleClassName(ci)));
jaroslav@151	1160	addReference(ci);
jaroslav@8	1161	i += 2;
jaroslav@8	1162	break;
jaroslav@8	1163	}
lubomir@283	1164	case opc_newarray:
lubomir@585	1165	int atype = readUByte(byteCodes, ++i);
jaroslav@842	1166	generateNewArray(atype, smapper);
jaroslav@21	1167	break;
jaroslav@448	1168	case opc_anewarray: {
jaroslav@864	1169	int type = readUShortArg(byteCodes, i);
jaroslav@448	1170	i += 2;
jaroslav@842	1171	generateANewArray(type, smapper);
jaroslav@21	1172	break;
jaroslav@448	1173	}
jaroslav@151	1174	case opc_multianewarray: {
jaroslav@864	1175	int type = readUShortArg(byteCodes, i);
jtulach@128	1176	i += 2;
jaroslav@842	1177	i = generateMultiANewArray(type, byteCodes, i, smapper);
jtulach@128	1178	break;
jtulach@128	1179	}
jaroslav@151	1180	case opc_arraylength:
jaroslav@1509	1181	smapper.replace(this, VarType.INTEGER, "(@1).length", smapper.getA(0));
jaroslav@272	1182	break;
lubomir@283	1183	case opc_lastore:
jaroslav@1509	1184	emit(smapper, this, "Array.at(@3, @2, @1);",
lubomir@307	1185	smapper.popL(), smapper.popI(), smapper.popA());
lubomir@281	1186	break;
lubomir@283	1187	case opc_fastore:
jaroslav@1509	1188	emit(smapper, this, "Array.at(@3, @2, @1);",
lubomir@307	1189	smapper.popF(), smapper.popI(), smapper.popA());
lubomir@281	1190	break;
lubomir@283	1191	case opc_dastore:
jaroslav@1509	1192	emit(smapper, this, "Array.at(@3, @2, @1);",
lubomir@307	1193	smapper.popD(), smapper.popI(), smapper.popA());
lubomir@281	1194	break;
lubomir@283	1195	case opc_aastore:
jaroslav@1509	1196	emit(smapper, this, "Array.at(@3, @2, @1);",
lubomir@307	1197	smapper.popA(), smapper.popI(), smapper.popA());
jaroslav@21	1198	break;
jaroslav@151	1199	case opc_iastore:
jaroslav@151	1200	case opc_bastore:
jaroslav@151	1201	case opc_castore:
lubomir@283	1202	case opc_sastore:
jaroslav@1509	1203	emit(smapper, this, "Array.at(@3, @2, @1);",
lubomir@307	1204	smapper.popI(), smapper.popI(), smapper.popA());
jaroslav@240	1205	break;
lubomir@283	1206	case opc_laload:
jaroslav@1509	1207	smapper.replace(this, VarType.LONG, "Array.at(@2, @1)",
jaroslav@1477	1208	smapper.popI(), smapper.getA(0));
lubomir@281	1209	break;
lubomir@283	1210	case opc_faload:
jaroslav@1509	1211	smapper.replace(this, VarType.FLOAT, "Array.at(@2, @1)",
jaroslav@1477	1212	smapper.popI(), smapper.getA(0));
lubomir@281	1213	break;
lubomir@283	1214	case opc_daload:
jaroslav@1509	1215	smapper.replace(this, VarType.DOUBLE, "Array.at(@2, @1)",
jaroslav@1477	1216	smapper.popI(), smapper.getA(0));
lubomir@281	1217	break;
lubomir@283	1218	case opc_aaload:
jaroslav@1509	1219	smapper.replace(this, VarType.REFERENCE, "Array.at(@2, @1)",
jaroslav@1477	1220	smapper.popI(), smapper.getA(0));
jaroslav@272	1221	break;
jaroslav@272	1222	case opc_iaload:
jaroslav@272	1223	case opc_baload:
jaroslav@272	1224	case opc_caload:
lubomir@283	1225	case opc_saload:
jaroslav@1509	1226	smapper.replace(this, VarType.INTEGER, "Array.at(@2, @1)",
jaroslav@1477	1227	smapper.popI(), smapper.getA(0));
jaroslav@272	1228	break;
lubomir@221	1229	case opc_pop:
jaroslav@272	1230	case opc_pop2:
lubomir@307	1231	smapper.pop(1);
jaroslav@399	1232	debug("/* pop */");
jaroslav@272	1233	break;
lubomir@281	1234	case opc_dup: {
lubomir@307	1235	final Variable v = smapper.get(0);
jaroslav@1543	1236	if (smapper.isDirty()) {
jaroslav@1543	1237	emit(smapper, this, "var @1 = @2;", smapper.pushT(v.getType()), v);
jaroslav@1543	1238	} else {
jaroslav@1543	1239	smapper.assign(this, v.getType(), v);
jaroslav@1543	1240	}
jaroslav@21	1241	break;
jaroslav@21	1242	}
lubomir@281	1243	case opc_dup2: {
lubomir@585	1244	final Variable vi1 = smapper.get(0);
lubomir@585	1245
lubomir@585	1246	if (vi1.isCategory2()) {
jaroslav@1509	1247	emit(smapper, this, "var @1 = @2;",
lubomir@585	1248	smapper.pushT(vi1.getType()), vi1);
lubomir@281	1249	} else {
lubomir@585	1250	final Variable vi2 = smapper.get(1);
jaroslav@1509	1251	emit(smapper, this, "var @1 = @2, @3 = @4;",
lubomir@585	1252	smapper.pushT(vi2.getType()), vi2,
lubomir@585	1253	smapper.pushT(vi1.getType()), vi1);
lubomir@281	1254	}
jaroslav@21	1255	break;
jaroslav@21	1256	}
lubomir@281	1257	case opc_dup_x1: {
jaroslav@1509	1258	final Variable vi1 = smapper.pop(this);
jaroslav@1509	1259	final Variable vi2 = smapper.pop(this);
lubomir@307	1260	final Variable vo3 = smapper.pushT(vi1.getType());
lubomir@307	1261	final Variable vo2 = smapper.pushT(vi2.getType());
lubomir@307	1262	final Variable vo1 = smapper.pushT(vi1.getType());
lubomir@281	1263
jaroslav@1509	1264	emit(smapper, this, "var @1 = @2, @3 = @4, @5 = @6;",
lubomir@283	1265	vo1, vi1, vo2, vi2, vo3, vo1);
jaroslav@93	1266	break;
lubomir@281	1267	}
lubomir@585	1268	case opc_dup2_x1: {
jaroslav@1509	1269	final Variable vi1 = smapper.pop(this);
jaroslav@1509	1270	final Variable vi2 = smapper.pop(this);
lubomir@585	1271
lubomir@585	1272	if (vi1.isCategory2()) {
lubomir@307	1273	final Variable vo3 = smapper.pushT(vi1.getType());
lubomir@307	1274	final Variable vo2 = smapper.pushT(vi2.getType());
lubomir@307	1275	final Variable vo1 = smapper.pushT(vi1.getType());
lubomir@281	1276
jaroslav@1509	1277	emit(smapper, this, "var @1 = @2, @3 = @4, @5 = @6;",
lubomir@283	1278	vo1, vi1, vo2, vi2, vo3, vo1);
lubomir@281	1279	} else {
jaroslav@1509	1280	final Variable vi3 = smapper.pop(this);
lubomir@585	1281	final Variable vo5 = smapper.pushT(vi2.getType());
lubomir@585	1282	final Variable vo4 = smapper.pushT(vi1.getType());
lubomir@585	1283	final Variable vo3 = smapper.pushT(vi3.getType());
lubomir@585	1284	final Variable vo2 = smapper.pushT(vi2.getType());
lubomir@585	1285	final Variable vo1 = smapper.pushT(vi1.getType());
lubomir@585	1286
jaroslav@1509	1287	emit(smapper, this, "var @1 = @2, @3 = @4, @5 = @6,",
lubomir@585	1288	vo1, vi1, vo2, vi2, vo3, vi3);
jaroslav@1509	1289	emit(smapper, this, " @1 = @2, @3 = @4;",
lubomir@585	1290	vo4, vo1, vo5, vo2);
lubomir@585	1291	}
lubomir@585	1292	break;
lubomir@585	1293	}
lubomir@585	1294	case opc_dup_x2: {
jaroslav@1509	1295	final Variable vi1 = smapper.pop(this);
jaroslav@1509	1296	final Variable vi2 = smapper.pop(this);
lubomir@585	1297
lubomir@585	1298	if (vi2.isCategory2()) {
lubomir@585	1299	final Variable vo3 = smapper.pushT(vi1.getType());
lubomir@585	1300	final Variable vo2 = smapper.pushT(vi2.getType());
lubomir@585	1301	final Variable vo1 = smapper.pushT(vi1.getType());
lubomir@585	1302
jaroslav@1509	1303	emit(smapper, this, "var @1 = @2, @3 = @4, @5 = @6;",
lubomir@585	1304	vo1, vi1, vo2, vi2, vo3, vo1);
lubomir@585	1305	} else {
jaroslav@1509	1306	final Variable vi3 = smapper.pop(this);
lubomir@307	1307	final Variable vo4 = smapper.pushT(vi1.getType());
lubomir@307	1308	final Variable vo3 = smapper.pushT(vi3.getType());
lubomir@307	1309	final Variable vo2 = smapper.pushT(vi2.getType());
lubomir@307	1310	final Variable vo1 = smapper.pushT(vi1.getType());
lubomir@281	1311
jaroslav@1509	1312	emit(smapper, this, "var @1 = @2, @3 = @4, @5 = @6, @7 = @8;",
lubomir@283	1313	vo1, vi1, vo2, vi2, vo3, vi3, vo4, vo1);
lubomir@281	1314	}
jaroslav@8	1315	break;
lubomir@281	1316	}
lubomir@585	1317	case opc_dup2_x2: {
jaroslav@1509	1318	final Variable vi1 = smapper.pop(this);
jaroslav@1509	1319	final Variable vi2 = smapper.pop(this);
lubomir@585	1320
lubomir@585	1321	if (vi1.isCategory2()) {
lubomir@585	1322	if (vi2.isCategory2()) {
lubomir@585	1323	final Variable vo3 = smapper.pushT(vi1.getType());
lubomir@585	1324	final Variable vo2 = smapper.pushT(vi2.getType());
lubomir@585	1325	final Variable vo1 = smapper.pushT(vi1.getType());
lubomir@585	1326
jaroslav@1509	1327	emit(smapper, this, "var @1 = @2, @3 = @4, @5 = @6;",
lubomir@585	1328	vo1, vi1, vo2, vi2, vo3, vo1);
lubomir@585	1329	} else {
jaroslav@1509	1330	final Variable vi3 = smapper.pop(this);
lubomir@585	1331	final Variable vo4 = smapper.pushT(vi1.getType());
lubomir@585	1332	final Variable vo3 = smapper.pushT(vi3.getType());
lubomir@585	1333	final Variable vo2 = smapper.pushT(vi2.getType());
lubomir@585	1334	final Variable vo1 = smapper.pushT(vi1.getType());
lubomir@585	1335
jaroslav@1509	1336	emit(smapper, this, "var @1 = @2, @3 = @4, @5 = @6, @7 = @8;",
lubomir@585	1337	vo1, vi1, vo2, vi2, vo3, vi3, vo4, vo1);
lubomir@585	1338	}
lubomir@585	1339	} else {
jaroslav@1509	1340	final Variable vi3 = smapper.pop(this);
lubomir@585	1341
lubomir@585	1342	if (vi3.isCategory2()) {
lubomir@585	1343	final Variable vo5 = smapper.pushT(vi2.getType());
lubomir@585	1344	final Variable vo4 = smapper.pushT(vi1.getType());
lubomir@585	1345	final Variable vo3 = smapper.pushT(vi3.getType());
lubomir@585	1346	final Variable vo2 = smapper.pushT(vi2.getType());
lubomir@585	1347	final Variable vo1 = smapper.pushT(vi1.getType());
lubomir@585	1348
jaroslav@1509	1349	emit(smapper, this, "var @1 = @2, @3 = @4, @5 = @6,",
lubomir@585	1350	vo1, vi1, vo2, vi2, vo3, vi3);
jaroslav@1509	1351	emit(smapper, this, " @1 = @2, @3 = @4;",
lubomir@585	1352	vo4, vo1, vo5, vo2);
lubomir@585	1353	} else {
jaroslav@1509	1354	final Variable vi4 = smapper.pop(this);
lubomir@585	1355	final Variable vo6 = smapper.pushT(vi2.getType());
lubomir@585	1356	final Variable vo5 = smapper.pushT(vi1.getType());
lubomir@585	1357	final Variable vo4 = smapper.pushT(vi4.getType());
lubomir@585	1358	final Variable vo3 = smapper.pushT(vi3.getType());
lubomir@585	1359	final Variable vo2 = smapper.pushT(vi2.getType());
lubomir@585	1360	final Variable vo1 = smapper.pushT(vi1.getType());
lubomir@585	1361
jaroslav@1509	1362	emit(smapper, this, "var @1 = @2, @3 = @4, @5 = @6, @7 = @8,",
lubomir@585	1363	vo1, vi1, vo2, vi2, vo3, vi3, vo4, vi4);
jaroslav@1509	1364	emit(smapper, this, " @1 = @2, @3 = @4;",
lubomir@585	1365	vo5, vo1, vo6, vo2);
lubomir@585	1366	}
lubomir@585	1367	}
lubomir@585	1368	break;
lubomir@585	1369	}
lubomir@585	1370	case opc_swap: {
lubomir@585	1371	final Variable vi1 = smapper.get(0);
lubomir@585	1372	final Variable vi2 = smapper.get(1);
lubomir@585	1373
lubomir@585	1374	if (vi1.getType() == vi2.getType()) {
lubomir@585	1375	final Variable tmp = smapper.pushT(vi1.getType());
lubomir@585	1376
jaroslav@1509	1377	emit(smapper, this, "var @1 = @2, @2 = @3, @3 = @1;",
lubomir@585	1378	tmp, vi1, vi2);
lubomir@585	1379	smapper.pop(1);
lubomir@585	1380	} else {
lubomir@585	1381	smapper.pop(2);
lubomir@585	1382	smapper.pushT(vi1.getType());
lubomir@585	1383	smapper.pushT(vi2.getType());
lubomir@585	1384	}
lubomir@585	1385	break;
lubomir@585	1386	}
jaroslav@151	1387	case opc_bipush:
jaroslav@1509	1388	smapper.assign(this, VarType.INTEGER,
jaroslav@1462	1389	"(" + Integer.toString(byteCodes[++i]) + ")");
jaroslav@8	1390	break;
jaroslav@151	1391	case opc_sipush:
jaroslav@1509	1392	smapper.assign(this, VarType.INTEGER,
jaroslav@1462	1393	"(" + Integer.toString(readShortArg(byteCodes, i)) + ")"
jaroslav@1462	1394	);
jaroslav@31	1395	i += 2;
jaroslav@31	1396	break;
jaroslav@151	1397	case opc_getfield: {
jaroslav@864	1398	int indx = readUShortArg(byteCodes, i);
jaroslav@151	1399	String[] fi = jc.getFieldInfoName(indx);
lubomir@307	1400	final int type = VarType.fromFieldType(fi[2].charAt(0));
jaroslav@1409	1401	final String mangleClass = mangleClassName(fi[0]);
jaroslav@1780	1402	final String mangleClassAccess = accessClassFalse(mangleClass);
jaroslav@1513	1403	smapper.replace(this, type, "@2.call(@1)",
jaroslav@1477	1404	smapper.getA(0),
jaroslav@1780	1405	accessField(mangleClassAccess,
jaroslav@1513	1406	"_" + fi[1], fi)
jaroslav@592	1407	);
jaroslav@592	1408	i += 2;
jaroslav@1772	1409	addReference(fi[0]);
jaroslav@592	1410	break;
jaroslav@592	1411	}
jaroslav@592	1412	case opc_putfield: {
jaroslav@864	1413	int indx = readUShortArg(byteCodes, i);
jaroslav@592	1414	String[] fi = jc.getFieldInfoName(indx);
jaroslav@592	1415	final int type = VarType.fromFieldType(fi[2].charAt(0));
jaroslav@1409	1416	final String mangleClass = mangleClassName(fi[0]);
jaroslav@1780	1417	final String mangleClassAccess = accessClassFalse(mangleClass);
jaroslav@1513	1418	emit(smapper, this, "@3.call(@2, @1);",
jaroslav@592	1419	smapper.popT(type),
lubomir@1084	1420	smapper.popA(),
jaroslav@1780	1421	accessField(mangleClassAccess,
lubomir@1085	1422	"_" + fi[1], fi));
jaroslav@8	1423	i += 2;
jaroslav@1772	1424	addReference(fi[0]);
jaroslav@8	1425	break;
jaroslav@8	1426	}
jaroslav@151	1427	case opc_getstatic: {
jaroslav@864	1428	int indx = readUShortArg(byteCodes, i);
jaroslav@151	1429	String[] fi = jc.getFieldInfoName(indx);
lubomir@307	1430	final int type = VarType.fromFieldType(fi[2].charAt(0));
jaroslav@1780	1431	String ac = accessClassFalse(mangleClassName(fi[0]));
jaroslav@1780	1432	String af = accessField(ac, "_" + fi[1], fi);
jaroslav@1558	1433	smapper.assign(this, type, af + "()");
jaroslav@9	1434	i += 2;
jaroslav@151	1435	addReference(fi[0]);
jaroslav@9	1436	break;
jaroslav@9	1437	}
lubomir@281	1438	case opc_putstatic: {
jaroslav@864	1439	int indx = readUShortArg(byteCodes, i);
lubomir@281	1440	String[] fi = jc.getFieldInfoName(indx);
lubomir@307	1441	final int type = VarType.fromFieldType(fi[2].charAt(0));
jaroslav@1780	1442	emit(smapper, this, "@1._@2(@3);",
jaroslav@1780	1443	accessClassFalse(mangleClassName(fi[0])), fi[1],
lubomir@317	1444	smapper.popT(type));
lubomir@281	1445	i += 2;
lubomir@281	1446	addReference(fi[0]);
lubomir@281	1447	break;
lubomir@281	1448	}
jaroslav@151	1449	case opc_checkcast: {
jaroslav@864	1450	int indx = readUShortArg(byteCodes, i);
jaroslav@842	1451	generateCheckcast(indx, smapper);
jaroslav@30	1452	i += 2;
jaroslav@30	1453	break;
jaroslav@30	1454	}
jaroslav@151	1455	case opc_instanceof: {
jaroslav@864	1456	int indx = readUShortArg(byteCodes, i);
jaroslav@842	1457	generateInstanceOf(indx, smapper);
jaroslav@17	1458	i += 2;
jaroslav@30	1459	break;
jaroslav@17	1460	}
jaroslav@151	1461	case opc_athrow: {
jaroslav@1457	1462	final CharSequence v = smapper.popA();
lubomir@307	1463	smapper.clear();
lubomir@281	1464
jaroslav@1509	1465	emit(smapper, this, "{ var @1 = @2; throw @2; }",
lubomir@307	1466	smapper.pushA(), v);
jaroslav@104	1467	break;
jaroslav@104	1468	}
lubomir@221	1469
lubomir@221	1470	case opc_monitorenter: {
jaroslav@1477	1471	debug("/* monitor enter */");
lubomir@307	1472	smapper.popA();
lubomir@221	1473	break;
lubomir@221	1474	}
lubomir@221	1475
lubomir@221	1476	case opc_monitorexit: {
jaroslav@1477	1477	debug("/* monitor exit */");
lubomir@307	1478	smapper.popA();
lubomir@221	1479	break;
lubomir@221	1480	}
lubomir@221	1481
lubomir@585	1482	case opc_wide:
lubomir@585	1483	wide = true;
lubomir@585	1484	break;
lubomir@585	1485
jaroslav@104	1486	default: {
lubomir@585	1487	wide = false;
jaroslav@1509	1488	emit(smapper, this, "throw 'unknown bytecode @1';",
lubomir@283	1489	Integer.toString(c));
jaroslav@104	1490	}
jaroslav@0	1491	}
jaroslav@399	1492	if (debug(" //")) {
jaroslav@842	1493	generateByteCodeComment(prev, i, byteCodes);
jaroslav@0	1494	}
jaroslav@1510	1495	if (outChanged) {
jaroslav@1510	1496	append("\n");
jaroslav@1510	1497	}
jaroslav@0	1498	}
jaroslav@398	1499	if (previousTrap != null) {
jaroslav@843	1500	generateCatch(previousTrap, byteCodes.length, topMostLabel);
jaroslav@398	1501	}
jaroslav@1469	1502	if (didBranches) {
jaroslav@1509	1503	append("\n }\n");
jaroslav@1469	1504	}
jaroslav@839	1505	while (openBraces-- > 0) {
jaroslav@1509	1506	append('}');
jaroslav@839	1507	}
jaroslav@1702	1508	if (defineProp) {
jaroslav@1633	1509	append("\n}});");
jaroslav@1633	1510	} else {
jaroslav@1633	1511	append("\n};");
jaroslav@1633	1512	}
jaroslav@1706	1513	return defineProp;
jaroslav@4	1514	}
jaroslav@4	1515
jaroslav@1468	1516	private int generateIf(StackMapper mapper, byte[] byteCodes,
jaroslav@1468	1517	int i, final CharSequence v2, final CharSequence v1,
jaroslav@1468	1518	final String test, int topMostLabel
jaroslav@1468	1519	) throws IOException {
jaroslav@1509	1520	mapper.flush(this);
jaroslav@864	1521	int indx = i + readShortArg(byteCodes, i);
jaroslav@1509	1522	append("if ((").append(v1)
jaroslav@1477	1523	.append(") ").append(test).append(" (")
jaroslav@1477	1524	.append(v2).append(")) ");
jaroslav@1509	1525	goTo(this, i, indx, topMostLabel);
jaroslav@4	1526	return i + 2;
jaroslav@4	1527	}
jaroslav@839	1528
lubomir@697	1529	private int readInt4(byte[] byteCodes, int offset) {
lubomir@697	1530	final int d = byteCodes[offset + 0] << 24;
lubomir@697	1531	final int c = byteCodes[offset + 1] << 16;
lubomir@697	1532	final int b = byteCodes[offset + 2] << 8;
lubomir@697	1533	final int a = byteCodes[offset + 3];
jaroslav@115	1534	return (d & 0xff000000) \| (c & 0xff0000) \| (b & 0xff00) \| (a & 0xff);
jaroslav@115	1535	}
jaroslav@864	1536	private static int readUByte(byte[] byteCodes, int offset) {
lubomir@697	1537	return byteCodes[offset] & 0xff;
jtulach@128	1538	}
lubomir@585	1539
jaroslav@864	1540	private static int readUShort(byte[] byteCodes, int offset) {
lubomir@697	1541	return ((byteCodes[offset] & 0xff) << 8)
lubomir@697	1542	\| (byteCodes[offset + 1] & 0xff);
lubomir@697	1543	}
jaroslav@864	1544	private static int readUShortArg(byte[] byteCodes, int offsetInstruction) {
jaroslav@864	1545	return readUShort(byteCodes, offsetInstruction + 1);
jaroslav@864	1546	}
lubomir@697	1547
jaroslav@864	1548	private static int readShort(byte[] byteCodes, int offset) {
jaroslav@864	1549	int signed = byteCodes[offset];
jaroslav@864	1550	byte b0 = (byte)signed;
jaroslav@864	1551	return (b0 << 8) \| (byteCodes[offset + 1] & 0xff);
jaroslav@864	1552	}
jaroslav@864	1553	private static int readShortArg(byte[] byteCodes, int offsetInstruction) {
jaroslav@864	1554	return readShort(byteCodes, offsetInstruction + 1);
lubomir@585	1555	}
lubomir@585	1556
lubomir@281	1557	private static void countArgs(String descriptor, char[] returnType, StringBuilder sig, StringBuilder cnt) {
jaroslav@4	1558	int i = 0;
jaroslav@4	1559	Boolean count = null;
jaroslav@32	1560	boolean array = false;
jaroslav@248	1561	sig.append("__");
jaroslav@10	1562	int firstPos = sig.length();
jaroslav@4	1563	while (i < descriptor.length()) {
jaroslav@4	1564	char ch = descriptor.charAt(i++);
jaroslav@4	1565	switch (ch) {
jaroslav@4	1566	case '(':
jaroslav@4	1567	count = true;
jaroslav@4	1568	continue;
jaroslav@4	1569	case ')':
jaroslav@4	1570	count = false;
jaroslav@4	1571	continue;
jaroslav@4	1572	case 'B':
jaroslav@4	1573	case 'C':
jaroslav@4	1574	case 'D':
jaroslav@4	1575	case 'F':
jaroslav@4	1576	case 'I':
jaroslav@4	1577	case 'J':
jaroslav@4	1578	case 'S':
jaroslav@4	1579	case 'Z':
jaroslav@4	1580	if (count) {
jaroslav@32	1581	if (array) {
jaroslav@248	1582	sig.append("_3");
jaroslav@32	1583	}
jaroslav@4	1584	sig.append(ch);
jtulach@156	1585	if (ch == 'J' \|\| ch == 'D') {
jtulach@156	1586	cnt.append('1');
jtulach@156	1587	} else {
jtulach@156	1588	cnt.append('0');
jtulach@156	1589	}
jaroslav@4	1590	} else {
jaroslav@10	1591	sig.insert(firstPos, ch);
jaroslav@32	1592	if (array) {
lubomir@281	1593	returnType[0] = '[';
jaroslav@248	1594	sig.insert(firstPos, "_3");
lubomir@281	1595	} else {
lubomir@281	1596	returnType[0] = ch;
jaroslav@32	1597	}
jaroslav@4	1598	}
jaroslav@93	1599	array = false;
jaroslav@4	1600	continue;
jaroslav@4	1601	case 'V':
jaroslav@4	1602	assert !count;
lubomir@281	1603	returnType[0] = 'V';
jaroslav@10	1604	sig.insert(firstPos, 'V');
jaroslav@4	1605	continue;
jaroslav@4	1606	case 'L':
jaroslav@16	1607	int next = descriptor.indexOf(';', i);
jaroslav@248	1608	String realSig = mangleSig(descriptor, i - 1, next + 1);
jaroslav@4	1609	if (count) {
jaroslav@32	1610	if (array) {
jaroslav@248	1611	sig.append("_3");
jaroslav@32	1612	}
jaroslav@248	1613	sig.append(realSig);
jtulach@156	1614	cnt.append('0');
jaroslav@4	1615	} else {
jaroslav@248	1616	sig.insert(firstPos, realSig);
jaroslav@32	1617	if (array) {
jaroslav@248	1618	sig.insert(firstPos, "_3");
jaroslav@32	1619	}
lubomir@281	1620	returnType[0] = 'L';
jaroslav@4	1621	}
jaroslav@16	1622	i = next + 1;
lubomir@407	1623	array = false;
jaroslav@4	1624	continue;
jaroslav@4	1625	case '[':
jaroslav@248	1626	array = true;
jaroslav@4	1627	continue;
jaroslav@4	1628	default:
jaroslav@248	1629	throw new IllegalStateException("Invalid char: " + ch);
jaroslav@4	1630	}
jaroslav@4	1631	}
jaroslav@0	1632	}
jaroslav@248	1633
jaroslav@592	1634	static String mangleSig(String sig) {
jaroslav@592	1635	return mangleSig(sig, 0, sig.length());
jaroslav@592	1636	}
jaroslav@592	1637
jaroslav@1409	1638	private static String mangleMethodName(String name) {
jaroslav@1409	1639	StringBuilder sb = new StringBuilder(name.length() * 2);
jaroslav@1409	1640	int last = name.length();
jaroslav@1409	1641	for (int i = 0; i < last; i++) {
jaroslav@1409	1642	final char ch = name.charAt(i);
jaroslav@1409	1643	switch (ch) {
jaroslav@1409	1644	case '_': sb.append("_1"); break;
jaroslav@1409	1645	default: sb.append(ch); break;
jaroslav@1409	1646	}
jaroslav@1409	1647	}
jaroslav@1409	1648	return sb.toString();
jaroslav@1409	1649	}
jaroslav@248	1650	private static String mangleSig(String txt, int first, int last) {
jaroslav@1409	1651	StringBuilder sb = new StringBuilder((last - first) * 2);
jaroslav@248	1652	for (int i = first; i < last; i++) {
jaroslav@248	1653	final char ch = txt.charAt(i);
jaroslav@248	1654	switch (ch) {
jaroslav@248	1655	case '/': sb.append('_'); break;
jaroslav@248	1656	case '_': sb.append("_1"); break;
jaroslav@248	1657	case ';': sb.append("_2"); break;
jaroslav@248	1658	case '[': sb.append("_3"); break;
jaroslav@1547	1659	default:
jaroslav@1547	1660	if (Character.isJavaIdentifierPart(ch)) {
jaroslav@1547	1661	sb.append(ch);
jaroslav@1547	1662	} else {
jaroslav@1547	1663	sb.append("_0");
jaroslav@1639	1664	String hex = Integer.toHexString(ch).toLowerCase();
jaroslav@1547	1665	for (int m = hex.length(); m < 4; m++) {
jaroslav@1547	1666	sb.append("0");
jaroslav@1547	1667	}
jaroslav@1547	1668	sb.append(hex);
jaroslav@1547	1669	}
jaroslav@1547	1670	break;
jaroslav@248	1671	}
jaroslav@248	1672	}
jaroslav@248	1673	return sb.toString();
jaroslav@248	1674	}
jaroslav@1409	1675
jaroslav@1409	1676	private static String mangleClassName(String name) {
jaroslav@1409	1677	return mangleSig(name);
jaroslav@1409	1678	}
jaroslav@9	1679
jaroslav@248	1680	private static String findMethodName(MethodData m, StringBuilder cnt) {
jaroslav@42	1681	StringBuilder name = new StringBuilder();
jaroslav@10	1682	if ("<init>".equals(m.getName())) { // NOI18N
jaroslav@42	1683	name.append("cons"); // NOI18N
jaroslav@19	1684	} else if ("<clinit>".equals(m.getName())) { // NOI18N
jaroslav@42	1685	name.append("class"); // NOI18N
jaroslav@10	1686	} else {
jaroslav@1409	1687	name.append(mangleMethodName(m.getName()));
jaroslav@10	1688	}
jaroslav@42	1689
lubomir@282	1690	countArgs(m.getInternalSig(), new char[1], name, cnt);
jaroslav@42	1691	return name.toString();
jaroslav@10	1692	}
jaroslav@10	1693
lubomir@282	1694	static String findMethodName(String[] mi, StringBuilder cnt, char[] returnType) {
jaroslav@10	1695	StringBuilder name = new StringBuilder();
jaroslav@151	1696	String descr = mi[2];//mi.getDescriptor();
jaroslav@151	1697	String nm= mi[1];
jaroslav@151	1698	if ("<init>".equals(nm)) { // NOI18N
jaroslav@10	1699	name.append("cons"); // NOI18N
jaroslav@10	1700	} else {
jaroslav@1409	1701	name.append(mangleMethodName(nm));
jaroslav@10	1702	}
lubomir@282	1703	countArgs(descr, returnType, name, cnt);
jaroslav@10	1704	return name.toString();
jaroslav@10	1705	}
jaroslav@10	1706
lubomir@307	1707	private int invokeStaticMethod(byte[] byteCodes, int i, final StackMapper mapper, boolean isStatic)
jaroslav@10	1708	throws IOException {
jaroslav@864	1709	int methodIndex = readUShortArg(byteCodes, i);
jaroslav@151	1710	String[] mi = jc.getFieldInfoName(methodIndex);
lubomir@281	1711	char[] returnType = { 'V' };
jtulach@156	1712	StringBuilder cnt = new StringBuilder();
lubomir@281	1713	String mn = findMethodName(mi, cnt, returnType);
jaroslav@1779	1714
lubomir@221	1715	final int numArguments = isStatic ? cnt.length() : cnt.length() + 1;
jaroslav@1457	1716	final CharSequence[] vars = new CharSequence[numArguments];
lubomir@221	1717
lubomir@281	1718	for (int j = numArguments - 1; j >= 0; --j) {
jaroslav@1457	1719	vars[j] = mapper.popValue();
jaroslav@11	1720	}
lubomir@281	1721
jaroslav@1779	1722	if ((
jaroslav@1779	1723	"newUpdater__Ljava_util_concurrent_atomic_AtomicIntegerFieldUpdater_2Ljava_lang_Class_2Ljava_lang_String_2".equals(mn)
jaroslav@1779	1724	&& "java/util/concurrent/atomic/AtomicIntegerFieldUpdater".equals(mi[0])
jaroslav@1779	1725	) \|\| (
jaroslav@1779	1726	"newUpdater__Ljava_util_concurrent_atomic_AtomicLongFieldUpdater_2Ljava_lang_Class_2Ljava_lang_String_2".equals(mn)
jaroslav@1779	1727	&& "java/util/concurrent/atomic/AtomicLongFieldUpdater".equals(mi[0])
jaroslav@1779	1728	)) {
jaroslav@1779	1729	if (vars[1] instanceof String) {
jaroslav@1779	1730	String field = vars[1].toString();
jaroslav@1779	1731	if (field.length() > 2 && field.charAt(0) == '"' && field.charAt(field.length() - 1) == '"') {
jaroslav@1779	1732	vars[1] = "c._" + field.substring(1, field.length() - 1);
jaroslav@1779	1733	}
jaroslav@1779	1734	}
jaroslav@1779	1735	}
jaroslav@1779	1736	if (
jaroslav@1779	1737	"newUpdater__Ljava_util_concurrent_atomic_AtomicReferenceFieldUpdater_2Ljava_lang_Class_2Ljava_lang_Class_2Ljava_lang_String_2".equals(mn)
jaroslav@1779	1738	&& "java/util/concurrent/atomic/AtomicReferenceFieldUpdater".equals(mi[0])
jaroslav@1779	1739	) {
jaroslav@1779	1740	if (vars[1] instanceof String) {
jaroslav@1779	1741	String field = vars[2].toString();
jaroslav@1779	1742	if (field.length() > 2 && field.charAt(0) == '"' && field.charAt(field.length() - 1) == '"') {
jaroslav@1779	1743	vars[2] = "c._" + field.substring(1, field.length() - 1);
jaroslav@1779	1744	}
jaroslav@1779	1745	}
jaroslav@1779	1746	}
jaroslav@1779	1747
lubomir@281	1748	if (returnType[0] != 'V') {
jaroslav@1595	1749	mapper.flush(this);
jaroslav@1509	1750	append("var ")
lubomir@474	1751	.append(mapper.pushT(VarType.fromFieldType(returnType[0])))
lubomir@281	1752	.append(" = ");
jaroslav@10	1753	}
lubomir@221	1754
jaroslav@151	1755	final String in = mi[0];
jaroslav@1515	1756	String mcn;
jaroslav@1676	1757	if (callbacks && (
jaroslav@1676	1758	in.equals("org/apidesign/html/boot/spi/Fn") \|\|
jaroslav@1676	1759	in.equals("org/netbeans/html/boot/spi/Fn")
jaroslav@1676	1760	)) {
jaroslav@1515	1761	mcn = "java_lang_Class";
jaroslav@1515	1762	} else {
jaroslav@1515	1763	mcn = mangleClassName(in);
jaroslav@1515	1764	}
jaroslav@1780	1765	String object = accessClassFalse(mcn);
jaroslav@397	1766	if (mn.startsWith("cons_")) {
lubomir@1094	1767	object += ".constructor";
jaroslav@397	1768	}
jaroslav@1513	1769	append(accessStaticMethod(object, mn, mi));
jaroslav@442	1770	if (isStatic) {
jaroslav@1509	1771	append('(');
jaroslav@442	1772	} else {
jaroslav@1509	1773	append(".call(");
jaroslav@442	1774	}
lubomir@221	1775	if (numArguments > 0) {
jaroslav@1509	1776	append(vars[0]);
lubomir@281	1777	for (int j = 1; j < numArguments; ++j) {
jaroslav@1509	1778	append(", ");
jaroslav@1509	1779	append(vars[j]);
lubomir@221	1780	}
jaroslav@10	1781	}
jaroslav@1509	1782	append(");");
jaroslav@10	1783	i += 2;
jaroslav@18	1784	addReference(in);
jaroslav@10	1785	return i;
jaroslav@10	1786	}
lubomir@307	1787	private int invokeVirtualMethod(byte[] byteCodes, int i, final StackMapper mapper)
jaroslav@12	1788	throws IOException {
jaroslav@864	1789	int methodIndex = readUShortArg(byteCodes, i);
jaroslav@151	1790	String[] mi = jc.getFieldInfoName(methodIndex);
lubomir@281	1791	char[] returnType = { 'V' };
jtulach@156	1792	StringBuilder cnt = new StringBuilder();
lubomir@281	1793	String mn = findMethodName(mi, cnt, returnType);
lubomir@221	1794
lubomir@281	1795	final int numArguments = cnt.length() + 1;
jaroslav@1676	1796	final CharSequence[] vars = new CharSequence[numArguments];
lubomir@221	1797
lubomir@281	1798	for (int j = numArguments - 1; j >= 0; --j) {
jaroslav@1458	1799	vars[j] = mapper.popValue();
jaroslav@12	1800	}
lubomir@221	1801
lubomir@281	1802	if (returnType[0] != 'V') {
jaroslav@1509	1803	append("var ")
lubomir@474	1804	.append(mapper.pushT(VarType.fromFieldType(returnType[0])))
lubomir@281	1805	.append(" = ");
jaroslav@12	1806	}
lubomir@281	1807
jaroslav@1613	1808	append(accessVirtualMethod(vars[0].toString(), mn, mi, numArguments));
jaroslav@442	1809	String sep = "";
lubomir@281	1810	for (int j = 1; j < numArguments; ++j) {
jaroslav@1509	1811	append(sep);
jaroslav@1509	1812	append(vars[j]);
jaroslav@442	1813	sep = ", ";
jaroslav@12	1814	}
jaroslav@1509	1815	append(");");
jaroslav@12	1816	i += 2;
jaroslav@12	1817	return i;
jaroslav@12	1818	}
lubomir@221	1819
jaroslav@103	1820	private void addReference(String cn) throws IOException {
jtulach@162	1821	if (requireReference(cn)) {
jaroslav@399	1822	debug(" /* needs " + cn + " */");
jaroslav@18	1823	}
jaroslav@18	1824	}
jaroslav@16	1825
jaroslav@33	1826	private void outType(String d, StringBuilder out) {
jaroslav@33	1827	int arr = 0;
jaroslav@33	1828	while (d.charAt(0) == '[') {
jaroslav@33	1829	out.append('A');
jaroslav@33	1830	d = d.substring(1);
jaroslav@33	1831	}
jaroslav@16	1832	if (d.charAt(0) == 'L') {
jaroslav@16	1833	assert d.charAt(d.length() - 1) == ';';
jaroslav@16	1834	out.append(d.replace('/', '_').substring(0, d.length() - 1));
jaroslav@16	1835	} else {
jaroslav@16	1836	out.append(d);
jaroslav@16	1837	}
jaroslav@16	1838	}
jaroslav@21	1839
jaroslav@230	1840	private String encodeConstant(int entryIndex) throws IOException {
jaroslav@230	1841	String[] classRef = { null };
jaroslav@230	1842	String s = jc.stringValue(entryIndex, classRef);
jaroslav@230	1843	if (classRef[0] != null) {
jaroslav@567	1844	if (classRef[0].startsWith("[")) {
jaroslav@1513	1845	s = accessClass("java_lang_Class") + "(false)['forName__Ljava_lang_Class_2Ljava_lang_String_2']('" + classRef[0] + "')";
jaroslav@567	1846	} else {
jaroslav@567	1847	addReference(classRef[0]);
jaroslav@1780	1848	s = accessClassFalse(mangleClassName(s)) + ".constructor.$class";
jaroslav@567	1849	}
jaroslav@230	1850	}
jaroslav@151	1851	return s;
jaroslav@21	1852	}
jaroslav@32	1853
lubomir@869	1854	private String javaScriptBody(String destObject, MethodData m, boolean isStatic) throws IOException {
jaroslav@152	1855	byte[] arr = m.findAnnotationData(true);
jaroslav@152	1856	if (arr == null) {
jaroslav@266	1857	return null;
jaroslav@152	1858	}
jaroslav@200	1859	final String jvmType = "Lorg/apidesign/bck2brwsr/core/JavaScriptBody;";
jaroslav@1239	1860	final String htmlType = "Lnet/java/html/js/JavaScriptBody;";
jaroslav@152	1861	class P extends AnnotationParser {
jaroslav@237	1862	public P() {
jaroslav@652	1863	super(false, true);
jaroslav@237	1864	}
jaroslav@237	1865
jaroslav@152	1866	int cnt;
jaroslav@152	1867	String[] args = new String[30];
jaroslav@152	1868	String body;
jaroslav@1241	1869	boolean javacall;
jaroslav@1421	1870	boolean html4j;
jaroslav@94	1871
jaroslav@152	1872	@Override
jaroslav@236	1873	protected void visitAttr(String type, String attr, String at, String value) {
jaroslav@152	1874	if (type.equals(jvmType)) {
jaroslav@152	1875	if ("body".equals(attr)) {
jaroslav@152	1876	body = value;
jaroslav@152	1877	} else if ("args".equals(attr)) {
jaroslav@152	1878	args[cnt++] = value;
jaroslav@152	1879	} else {
jaroslav@152	1880	throw new IllegalArgumentException(attr);
jaroslav@152	1881	}
jaroslav@152	1882	}
jaroslav@1239	1883	if (type.equals(htmlType)) {
jaroslav@1421	1884	html4j = true;
jaroslav@1239	1885	if ("body".equals(attr)) {
jaroslav@1239	1886	body = value;
jaroslav@1239	1887	} else if ("args".equals(attr)) {
jaroslav@1239	1888	args[cnt++] = value;
jaroslav@1241	1889	} else if ("javacall".equals(attr)) {
jaroslav@1241	1890	javacall = "1".equals(value);
jaroslav@1635	1891	} else if ("wait4js".equals(attr)) {
jaroslav@1635	1892	// ignore, we always invoke synchronously
jaroslav@1239	1893	} else {
jaroslav@1239	1894	throw new IllegalArgumentException(attr);
jaroslav@1239	1895	}
jaroslav@1239	1896	}
jaroslav@94	1897	}
jaroslav@94	1898	}
jaroslav@152	1899	P p = new P();
jaroslav@152	1900	p.parse(arr, jc);
jaroslav@152	1901	if (p.body == null) {
jaroslav@266	1902	return null;
jaroslav@152	1903	}
jtulach@156	1904	StringBuilder cnt = new StringBuilder();
jaroslav@266	1905	final String mn = findMethodName(m, cnt);
jaroslav@1704	1906	append("m = ").append(destObject).append(".").append(mn);
jaroslav@1509	1907	append(" = function(");
jaroslav@442	1908	String space = "";
jaroslav@443	1909	int index = 0;
jaroslav@1421	1910	StringBuilder toValue = new StringBuilder();
jtulach@156	1911	for (int i = 0; i < cnt.length(); i++) {
jaroslav@1509	1912	append(space);
jaroslav@1509	1913	space = outputArg(this, p.args, index);
jaroslav@1421	1914	if (p.html4j && space.length() > 0) {
jaroslav@1515	1915	toValue.append("\n ").append(p.args[index]).append(" = ")
jaroslav@1515	1916	.append(accessClass("java_lang_Class")).append("(false).toJS(").
jaroslav@1421	1917	append(p.args[index]).append(");");
jaroslav@1421	1918	}
jaroslav@152	1919	index++;
jaroslav@152	1920	}
jaroslav@1509	1921	append(") {").append("\n");
jaroslav@1509	1922	append(toValue.toString());
jaroslav@1242	1923	if (p.javacall) {
jaroslav@1242	1924	int lastSlash = jc.getClassName().lastIndexOf('/');
jaroslav@1242	1925	final String pkg = jc.getClassName().substring(0, lastSlash);
jaroslav@1509	1926	append(mangleCallbacks(pkg, p.body));
jaroslav@1242	1927	requireReference(pkg + "/$JsCallbacks$");
jaroslav@1242	1928	} else {
jaroslav@1509	1929	append(p.body);
jaroslav@1242	1930	}
jaroslav@1509	1931	append("\n}\n");
jaroslav@266	1932	return mn;
jaroslav@151	1933	}
jaroslav@1242	1934
jaroslav@1242	1935	private static CharSequence mangleCallbacks(String pkgName, String body) {
jaroslav@1242	1936	StringBuilder sb = new StringBuilder();
jaroslav@1242	1937	int pos = 0;
jaroslav@1242	1938	for (;;) {
jaroslav@1242	1939	int next = body.indexOf(".@", pos);
jaroslav@1242	1940	if (next == -1) {
jaroslav@1242	1941	sb.append(body.substring(pos));
jaroslav@1243	1942	body = sb.toString();
jaroslav@1243	1943	break;
jaroslav@1242	1944	}
jaroslav@1242	1945	int ident = next;
jaroslav@1242	1946	while (ident > 0) {
jaroslav@1242	1947	if (!Character.isJavaIdentifierPart(body.charAt(--ident))) {
jaroslav@1242	1948	ident++;
jaroslav@1242	1949	break;
jaroslav@1242	1950	}
jaroslav@1242	1951	}
jaroslav@1242	1952	String refId = body.substring(ident, next);
jaroslav@1242	1953
jaroslav@1242	1954	sb.append(body.substring(pos, ident));
jaroslav@1242	1955
jaroslav@1242	1956	int sigBeg = body.indexOf('(', next);
jaroslav@1242	1957	int sigEnd = body.indexOf(')', sigBeg);
jaroslav@1242	1958	int colon4 = body.indexOf("::", next);
jaroslav@1242	1959	if (sigBeg == -1 \|\| sigEnd == -1 \|\| colon4 == -1) {
jaroslav@1242	1960	throw new IllegalStateException("Malformed body " + body);
jaroslav@1242	1961	}
jaroslav@1242	1962	String fqn = body.substring(next + 2, colon4);
jaroslav@1242	1963	String method = body.substring(colon4 + 2, sigBeg);
jaroslav@1242	1964	String params = body.substring(sigBeg, sigEnd + 1);
jaroslav@1242	1965
jaroslav@1242	1966	int paramBeg = body.indexOf('(', sigEnd + 1);
jaroslav@1242	1967
jaroslav@1242	1968	sb.append("vm.").append(pkgName.replace('/', '_')).append("_$JsCallbacks$(false)._VM().");
jaroslav@1409	1969	sb.append(mangleJsCallbacks(fqn, method, params, false));
jaroslav@1242	1970	sb.append("(").append(refId);
jaroslav@1242	1971	if (body.charAt(paramBeg + 1) != ')') {
jaroslav@1242	1972	sb.append(",");
jaroslav@1242	1973	}
jaroslav@1242	1974	pos = paramBeg + 1;
jaroslav@1242	1975	}
jaroslav@1243	1976	sb = null;
jaroslav@1243	1977	pos = 0;
jaroslav@1243	1978	for (;;) {
jaroslav@1243	1979	int next = body.indexOf("@", pos);
jaroslav@1243	1980	if (next == -1) {
jaroslav@1243	1981	if (sb == null) {
jaroslav@1243	1982	return body;
jaroslav@1243	1983	}
jaroslav@1243	1984	sb.append(body.substring(pos));
jaroslav@1243	1985	return sb;
jaroslav@1243	1986	}
jaroslav@1243	1987	if (sb == null) {
jaroslav@1243	1988	sb = new StringBuilder();
jaroslav@1243	1989	}
jaroslav@1243	1990
jaroslav@1243	1991	sb.append(body.substring(pos, next));
jaroslav@1243	1992
jaroslav@1243	1993	int sigBeg = body.indexOf('(', next);
jaroslav@1243	1994	int sigEnd = body.indexOf(')', sigBeg);
jaroslav@1243	1995	int colon4 = body.indexOf("::", next);
jaroslav@1243	1996	if (sigBeg == -1 \|\| sigEnd == -1 \|\| colon4 == -1) {
jaroslav@1243	1997	throw new IllegalStateException("Malformed body " + body);
jaroslav@1243	1998	}
jaroslav@1243	1999	String fqn = body.substring(next + 1, colon4);
jaroslav@1243	2000	String method = body.substring(colon4 + 2, sigBeg);
jaroslav@1243	2001	String params = body.substring(sigBeg, sigEnd + 1);
jaroslav@1243	2002
jaroslav@1243	2003	int paramBeg = body.indexOf('(', sigEnd + 1);
jaroslav@1243	2004
jaroslav@1243	2005	sb.append("vm.").append(pkgName.replace('/', '_')).append("_$JsCallbacks$(false)._VM().");
jaroslav@1409	2006	sb.append(mangleJsCallbacks(fqn, method, params, true));
jaroslav@1243	2007	sb.append("(");
jaroslav@1243	2008	pos = paramBeg + 1;
jaroslav@1243	2009	}
jaroslav@1242	2010	}
jaroslav@1409	2011
jaroslav@1409	2012	static String mangleJsCallbacks(String fqn, String method, String params, boolean isStatic) {
jaroslav@1242	2013	if (params.startsWith("(")) {
jaroslav@1242	2014	params = params.substring(1);
jaroslav@1242	2015	}
jaroslav@1242	2016	if (params.endsWith(")")) {
jaroslav@1242	2017	params = params.substring(0, params.length() - 1);
jaroslav@1242	2018	}
jaroslav@1243	2019	StringBuilder sb = new StringBuilder();
jaroslav@1409	2020	final String fqnu = fqn.replace('.', '_');
jaroslav@1409	2021	final String rfqn = mangleClassName(fqnu);
jaroslav@1409	2022	final String rm = mangleMethodName(method);
jaroslav@1427	2023	final String srp;
jaroslav@1427	2024	{
jaroslav@1427	2025	StringBuilder pb = new StringBuilder();
jaroslav@1427	2026	int len = params.length();
jaroslav@1427	2027	int indx = 0;
jaroslav@1427	2028	while (indx < len) {
jaroslav@1427	2029	char ch = params.charAt(indx);
jaroslav@1427	2030	if (ch == '[' \|\| ch == 'L') {
jaroslav@1754	2031	int column = params.indexOf(';', indx) + 1;
jaroslav@1754	2032	if (column > indx) {
jaroslav@1754	2033	String real = params.substring(indx, column);
jaroslav@1754	2034	if ("Ljava/lang/String;".equals(real)) {
jaroslav@1754	2035	pb.append("Ljava/lang/String;");
jaroslav@1754	2036	indx = column;
jaroslav@1754	2037	continue;
jaroslav@1754	2038	}
jaroslav@1754	2039	}
jaroslav@1427	2040	pb.append("Ljava/lang/Object;");
jaroslav@1754	2041	indx = column;
jaroslav@1427	2042	} else {
jaroslav@1427	2043	pb.append(ch);
jaroslav@1427	2044	indx++;
jaroslav@1427	2045	}
jaroslav@1427	2046	}
jaroslav@1427	2047	srp = mangleSig(pb.toString());
jaroslav@1427	2048	}
jaroslav@1409	2049	final String rp = mangleSig(params);
jaroslav@1409	2050	final String mrp = mangleMethodName(rp);
jaroslav@1248	2051	sb.append(rfqn).append("$").append(rm).
jaroslav@1409	2052	append('$').append(mrp).append("__Ljava_lang_Object_2");
jaroslav@1243	2053	if (!isStatic) {
jaroslav@1409	2054	sb.append('L').append(fqnu).append("_2");
jaroslav@1243	2055	}
jaroslav@1427	2056	sb.append(srp);
jaroslav@1243	2057	return sb.toString();
jaroslav@1242	2058	}
jaroslav@1242	2059
jaroslav@151	2060	private static String className(ClassData jc) {
jaroslav@151	2061	//return jc.getName().getInternalName().replace('/', '_');
jaroslav@1409	2062	return mangleClassName(jc.getClassName());
jaroslav@94	2063	}
jaroslav@152	2064
jaroslav@152	2065	private static String[] findAnnotation(
jaroslav@152	2066	byte[] arr, ClassData cd, final String className,
jaroslav@152	2067	final String... attrNames
jaroslav@152	2068	) throws IOException {
jaroslav@152	2069	if (arr == null) {
jaroslav@152	2070	return null;
jaroslav@152	2071	}
jaroslav@152	2072	final String[] values = new String[attrNames.length];
jaroslav@152	2073	final boolean[] found = { false };
jaroslav@152	2074	final String jvmType = "L" + className.replace('.', '/') + ";";
jaroslav@652	2075	AnnotationParser ap = new AnnotationParser(false, true) {
jaroslav@152	2076	@Override
jaroslav@236	2077	protected void visitAttr(String type, String attr, String at, String value) {
jaroslav@152	2078	if (type.equals(jvmType)) {
jaroslav@152	2079	found[0] = true;
jaroslav@152	2080	for (int i = 0; i < attrNames.length; i++) {
jaroslav@152	2081	if (attrNames[i].equals(attr)) {
jaroslav@152	2082	values[i] = value;
jaroslav@152	2083	}
jaroslav@152	2084	}
jaroslav@152	2085	}
jaroslav@152	2086	}
jaroslav@152	2087
jaroslav@152	2088	};
jaroslav@152	2089	ap.parse(arr, cd);
jaroslav@152	2090	return found[0] ? values : null;
jaroslav@152	2091	}
jaroslav@173	2092
jaroslav@173	2093	private CharSequence initField(FieldData v) {
jaroslav@173	2094	final String is = v.getInternalSig();
jaroslav@173	2095	if (is.length() == 1) {
jaroslav@173	2096	switch (is.charAt(0)) {
jaroslav@173	2097	case 'S':
jaroslav@173	2098	case 'J':
jaroslav@173	2099	case 'B':
jaroslav@173	2100	case 'Z':
jaroslav@173	2101	case 'C':
jaroslav@173	2102	case 'I': return " = 0;";
jaroslav@173	2103	case 'F':
jaroslav@180	2104	case 'D': return " = 0.0;";
jaroslav@173	2105	default:
jaroslav@173	2106	throw new IllegalStateException(is);
jaroslav@173	2107	}
jaroslav@173	2108	}
jaroslav@173	2109	return " = null;";
jaroslav@173	2110	}
jaroslav@235	2111
jaroslav@1509	2112	private void generateAnno(ClassData cd, byte[] data) throws IOException {
jaroslav@652	2113	AnnotationParser ap = new AnnotationParser(true, false) {
jaroslav@652	2114	int[] cnt = new int[32];
jaroslav@652	2115	int depth;
jaroslav@235	2116
jaroslav@235	2117	@Override
jaroslav@659	2118	protected void visitAnnotationStart(String attrType, boolean top) throws IOException {
jaroslav@659	2119	final String slashType = attrType.substring(1, attrType.length() - 1);
jaroslav@659	2120	requireReference(slashType);
jaroslav@659	2121
jaroslav@652	2122	if (cnt[depth]++ > 0) {
jaroslav@1509	2123	append(",");
jaroslav@237	2124	}
jaroslav@659	2125	if (top) {
jaroslav@1509	2126	append('"').append(attrType).append("\" : ");
jaroslav@659	2127	}
jaroslav@1509	2128	append("{\n");
jaroslav@652	2129	cnt[++depth] = 0;
jaroslav@235	2130	}
jaroslav@235	2131
jaroslav@235	2132	@Override
jaroslav@659	2133	protected void visitAnnotationEnd(String type, boolean top) throws IOException {
jaroslav@1509	2134	append("\n}\n");
jaroslav@652	2135	depth--;
jaroslav@652	2136	}
jaroslav@652	2137
jaroslav@652	2138	@Override
jaroslav@652	2139	protected void visitValueStart(String attrName, char type) throws IOException {
jaroslav@652	2140	if (cnt[depth]++ > 0) {
jaroslav@1509	2141	append(",\n");
jaroslav@652	2142	}
jaroslav@652	2143	cnt[++depth] = 0;
jaroslav@652	2144	if (attrName != null) {
jaroslav@1564	2145	append('"').append(attrName).append("\" : ");
jaroslav@652	2146	}
jaroslav@652	2147	if (type == '[') {
jaroslav@1509	2148	append("[");
jaroslav@652	2149	}
jaroslav@652	2150	}
jaroslav@652	2151
jaroslav@652	2152	@Override
jaroslav@652	2153	protected void visitValueEnd(String attrName, char type) throws IOException {
jaroslav@652	2154	if (type == '[') {
jaroslav@1509	2155	append("]");
jaroslav@652	2156	}
jaroslav@652	2157	depth--;
jaroslav@235	2158	}
jaroslav@235	2159
jaroslav@235	2160	@Override
jaroslav@236	2161	protected void visitAttr(String type, String attr, String attrType, String value)
jaroslav@235	2162	throws IOException {
jaroslav@652	2163	if (attr == null && value == null) {
jaroslav@266	2164	return;
jaroslav@266	2165	}
jaroslav@1509	2166	append(value);
jaroslav@592	2167	}
jaroslav@655	2168
jaroslav@655	2169	@Override
jaroslav@655	2170	protected void visitEnumAttr(String type, String attr, String attrType, String value)
jaroslav@655	2171	throws IOException {
jaroslav@655	2172	final String slashType = attrType.substring(1, attrType.length() - 1);
jaroslav@655	2173	requireReference(slashType);
jaroslav@655	2174
jaroslav@1564	2175	final String cn = mangleClassName(slashType);
jaroslav@1780	2176	append(accessClassFalse(cn))
jaroslav@1780	2177	.append("['valueOf__L").
jaroslav@1564	2178	append(cn).
jaroslav@1564	2179	append("_2Ljava_lang_String_2']('").
jaroslav@1564	2180	append(value).
jaroslav@1564	2181	append("')");
jaroslav@235	2182	}
jaroslav@235	2183	};
jaroslav@235	2184	ap.parse(data, cd);
jaroslav@235	2185	}
jaroslav@316	2186
jaroslav@316	2187	private static String outputArg(Appendable out, String[] args, int indx) throws IOException {
jaroslav@316	2188	final String name = args[indx];
jaroslav@316	2189	if (name == null) {
jaroslav@316	2190	return "";
jaroslav@316	2191	}
jaroslav@316	2192	if (name.contains(",")) {
jaroslav@316	2193	throw new IOException("Wrong parameter with ',': " + name);
jaroslav@316	2194	}
jaroslav@316	2195	out.append(name);
jaroslav@316	2196	return ",";
jaroslav@316	2197	}
lubomir@317	2198
jaroslav@1466	2199	final void emitNoFlush(
jaroslav@1466	2200	StackMapper sm,
jaroslav@1466	2201	final String format, final CharSequence... params
jaroslav@1466	2202	) throws IOException {
jaroslav@1509	2203	emitImpl(this, format, params);
jaroslav@1466	2204	}
jaroslav@1509	2205	static final void emit(
jaroslav@1455	2206	StackMapper sm,
jaroslav@1455	2207	final Appendable out,
jaroslav@1455	2208	final String format, final CharSequence... params
jaroslav@1455	2209	) throws IOException {
jaroslav@1455	2210	sm.flush(out);
jaroslav@1455	2211	emitImpl(out, format, params);
jaroslav@1455	2212	}
jaroslav@1455	2213	static void emitImpl(final Appendable out,
lubomir@283	2214	final String format,
lubomir@283	2215	final CharSequence... params) throws IOException {
lubomir@283	2216	final int length = format.length();
lubomir@283	2217
lubomir@283	2218	int processed = 0;
lubomir@283	2219	int paramOffset = format.indexOf('@');
lubomir@283	2220	while ((paramOffset != -1) && (paramOffset < (length - 1))) {
lubomir@283	2221	final char paramChar = format.charAt(paramOffset + 1);
lubomir@283	2222	if ((paramChar >= '1') && (paramChar <= '9')) {
lubomir@283	2223	final int paramIndex = paramChar - '0' - 1;
lubomir@283	2224
lubomir@283	2225	out.append(format, processed, paramOffset);
lubomir@283	2226	out.append(params[paramIndex]);
lubomir@283	2227
lubomir@283	2228	++paramOffset;
lubomir@283	2229	processed = paramOffset + 1;
lubomir@283	2230	}
lubomir@283	2231
lubomir@283	2232	paramOffset = format.indexOf('@', paramOffset + 1);
lubomir@283	2233	}
lubomir@283	2234
lubomir@283	2235	out.append(format, processed, length);
lubomir@283	2236	}
jaroslav@398	2237
jaroslav@843	2238	private void generateCatch(TrapData[] traps, int current, int topMostLabel) throws IOException {
jaroslav@1509	2239	append("} catch (e) {\n");
jaroslav@401	2240	int finallyPC = -1;
jaroslav@398	2241	for (TrapData e : traps) {
jaroslav@398	2242	if (e == null) {
jaroslav@398	2243	break;
jaroslav@398	2244	}
jaroslav@398	2245	if (e.catch_cpx != 0) { //not finally
jaroslav@398	2246	final String classInternalName = jc.getClassName(e.catch_cpx);
jaroslav@398	2247	addReference(classInternalName);
jaroslav@1522	2248	append("e = vm.java_lang_Class(false).bck2BrwsrThrwrbl(e);");
jaroslav@1513	2249	append("if (e['$instOf_" + classInternalName.replace('/', '_') + "']) {");
jaroslav@1509	2250	append("var stA0 = e;");
jaroslav@1509	2251	goTo(this, current, e.handler_pc, topMostLabel);
jaroslav@1509	2252	append("}\n");
jaroslav@398	2253	} else {
jaroslav@401	2254	finallyPC = e.handler_pc;
jaroslav@398	2255	}
jaroslav@398	2256	}
jaroslav@401	2257	if (finallyPC == -1) {
jaroslav@1509	2258	append("throw e;");
jaroslav@401	2259	} else {
jaroslav@1509	2260	append("var stA0 = e;");
jaroslav@1509	2261	goTo(this, current, finallyPC, topMostLabel);
jaroslav@401	2262	}
jaroslav@1509	2263	append("\n}");
jaroslav@398	2264	}
jaroslav@839	2265
jaroslav@843	2266	private static void goTo(Appendable out, int current, int to, int canBack) throws IOException {
jaroslav@839	2267	if (to < current) {
jaroslav@843	2268	if (canBack < to) {
jaroslav@843	2269	out.append("{ gt = 0; continue X_" + to + "; }");
jaroslav@843	2270	} else {
jaroslav@843	2271	out.append("{ gt = " + to + "; continue X_0; }");
jaroslav@843	2272	}
jaroslav@839	2273	} else {
jaroslav@839	2274	out.append("{ gt = " + to + "; break IF; }");
jaroslav@839	2275	}
jaroslav@839	2276	}
jaroslav@839	2277
jaroslav@843	2278	private static void emitIf(
jaroslav@1455	2279	StackMapper sm,
jaroslav@1455	2280	Appendable out, String pattern,
jaroslav@1457	2281	CharSequence param,
jaroslav@843	2282	int current, int to, int canBack
jaroslav@843	2283	) throws IOException {
jaroslav@1455	2284	sm.flush(out);
jaroslav@1455	2285	emitImpl(out, pattern, param);
jaroslav@843	2286	goTo(out, current, to, canBack);
jaroslav@839	2287	}
jaroslav@842	2288
jaroslav@842	2289	private void generateNewArray(int atype, final StackMapper smapper) throws IOException, IllegalStateException {
jaroslav@842	2290	String jvmType;
jaroslav@842	2291	switch (atype) {
jaroslav@842	2292	case 4: jvmType = "[Z"; break;
jaroslav@842	2293	case 5: jvmType = "[C"; break;
jaroslav@842	2294	case 6: jvmType = "[F"; break;
jaroslav@842	2295	case 7: jvmType = "[D"; break;
jaroslav@842	2296	case 8: jvmType = "[B"; break;
jaroslav@842	2297	case 9: jvmType = "[S"; break;
jaroslav@842	2298	case 10: jvmType = "[I"; break;
jaroslav@842	2299	case 11: jvmType = "[J"; break;
jaroslav@842	2300	default: throw new IllegalStateException("Array type: " + atype);
jaroslav@842	2301	}
jaroslav@1513	2302	emit(smapper, this,
jaroslav@1532	2303	"var @2 = Array.prototype['newArray__Ljava_lang_Object_2ZLjava_lang_String_2Ljava_lang_Object_2I'](true, '@3', null, @1);",
jaroslav@842	2304	smapper.popI(), smapper.pushA(), jvmType);
jaroslav@842	2305	}
jaroslav@842	2306
jaroslav@842	2307	private void generateANewArray(int type, final StackMapper smapper) throws IOException {
jaroslav@842	2308	String typeName = jc.getClassName(type);
jaroslav@1532	2309	String ref = "null";
jaroslav@842	2310	if (typeName.startsWith("[")) {
jaroslav@1532	2311	typeName = "'[" + typeName + "'";
jaroslav@842	2312	} else {
jaroslav@1532	2313	ref = "vm." + mangleClassName(typeName);
jaroslav@1532	2314	typeName = "'[L" + typeName + ";'";
jaroslav@842	2315	}
jaroslav@1513	2316	emit(smapper, this,
jaroslav@1532	2317	"var @2 = Array.prototype['newArray__Ljava_lang_Object_2ZLjava_lang_String_2Ljava_lang_Object_2I'](false, @3, @4, @1);",
jaroslav@1532	2318	smapper.popI(), smapper.pushA(), typeName, ref);
jaroslav@842	2319	}
jaroslav@842	2320
jaroslav@842	2321	private int generateMultiANewArray(int type, final byte[] byteCodes, int i, final StackMapper smapper) throws IOException {
jaroslav@842	2322	String typeName = jc.getClassName(type);
jaroslav@842	2323	int dim = readUByte(byteCodes, ++i);
jaroslav@842	2324	StringBuilder dims = new StringBuilder();
jaroslav@842	2325	dims.append('[');
jaroslav@842	2326	for (int d = 0; d < dim; d++) {
jaroslav@842	2327	if (d != 0) {
jaroslav@842	2328	dims.insert(1, ",");
jaroslav@842	2329	}
jaroslav@842	2330	dims.insert(1, smapper.popI());
jaroslav@842	2331	}
jaroslav@842	2332	dims.append(']');
jaroslav@1535	2333	String fn = "null";
jaroslav@1535	2334	if (typeName.charAt(dim) == 'L') {
jaroslav@1535	2335	fn = "vm." + mangleClassName(typeName.substring(dim + 1, typeName.length() - 1));
jaroslav@1535	2336	}
jaroslav@1513	2337	emit(smapper, this,
jaroslav@1535	2338	"var @2 = Array.prototype['multiNewArray__Ljava_lang_Object_2Ljava_lang_String_2_3ILjava_lang_Object_2']('@3', @1, @4);",
jaroslav@1535	2339	dims.toString(), smapper.pushA(), typeName, fn
jaroslav@1535	2340	);
jaroslav@842	2341	return i;
jaroslav@842	2342	}
jaroslav@842	2343
jaroslav@843	2344	private int generateTableSwitch(int i, final byte[] byteCodes, final StackMapper smapper, int topMostLabel) throws IOException {
jaroslav@842	2345	int table = i / 4 * 4 + 4;
jaroslav@842	2346	int dflt = i + readInt4(byteCodes, table);
jaroslav@842	2347	table += 4;
jaroslav@842	2348	int low = readInt4(byteCodes, table);
jaroslav@842	2349	table += 4;
jaroslav@842	2350	int high = readInt4(byteCodes, table);
jaroslav@842	2351	table += 4;
jaroslav@1477	2352	final CharSequence swVar = smapper.popValue();
jaroslav@1509	2353	smapper.flush(this);
jaroslav@1509	2354	append("switch (").append(swVar).append(") {\n");
jaroslav@842	2355	while (low <= high) {
jaroslav@842	2356	int offset = i + readInt4(byteCodes, table);
jaroslav@842	2357	table += 4;
jaroslav@1509	2358	append(" case " + low).append(":"); goTo(this, i, offset, topMostLabel); append('\n');
jaroslav@842	2359	low++;
jaroslav@842	2360	}
jaroslav@1509	2361	append(" default: ");
jaroslav@1509	2362	goTo(this, i, dflt, topMostLabel);
jaroslav@1509	2363	append("\n}");
jaroslav@842	2364	i = table - 1;
jaroslav@842	2365	return i;
jaroslav@842	2366	}
jaroslav@842	2367
jaroslav@843	2368	private int generateLookupSwitch(int i, final byte[] byteCodes, final StackMapper smapper, int topMostLabel) throws IOException {
jaroslav@842	2369	int table = i / 4 * 4 + 4;
jaroslav@842	2370	int dflt = i + readInt4(byteCodes, table);
jaroslav@842	2371	table += 4;
jaroslav@842	2372	int n = readInt4(byteCodes, table);
jaroslav@842	2373	table += 4;
jaroslav@1477	2374	final CharSequence swVar = smapper.popValue();
jaroslav@1509	2375	smapper.flush(this);
jaroslav@1509	2376	append("switch (").append(swVar).append(") {\n");
jaroslav@842	2377	while (n-- > 0) {
jaroslav@842	2378	int cnstnt = readInt4(byteCodes, table);
jaroslav@842	2379	table += 4;
jaroslav@842	2380	int offset = i + readInt4(byteCodes, table);
jaroslav@842	2381	table += 4;
jaroslav@1509	2382	append(" case " + cnstnt).append(": "); goTo(this, i, offset, topMostLabel); append('\n');
jaroslav@842	2383	}
jaroslav@1509	2384	append(" default: ");
jaroslav@1509	2385	goTo(this, i, dflt, topMostLabel);
jaroslav@1509	2386	append("\n}");
jaroslav@842	2387	i = table - 1;
jaroslav@842	2388	return i;
jaroslav@842	2389	}
jaroslav@842	2390
jaroslav@842	2391	private void generateInstanceOf(int indx, final StackMapper smapper) throws IOException {
jaroslav@1534	2392	String type = jc.getClassName(indx);
jaroslav@842	2393	if (!type.startsWith("[")) {
jaroslav@1513	2394	emit(smapper, this,
jaroslav@1513	2395	"var @2 = @1 != null && @1['$instOf_@3'] ? 1 : 0;",
jaroslav@842	2396	smapper.popA(), smapper.pushI(),
jaroslav@842	2397	type.replace('/', '_'));
jaroslav@842	2398	} else {
jaroslav@1534	2399	int cnt = 0;
jaroslav@1534	2400	while (type.charAt(cnt) == '[') {
jaroslav@1534	2401	cnt++;
jaroslav@1534	2402	}
jaroslav@1534	2403	if (type.charAt(cnt) == 'L') {
jaroslav@1534	2404	type = "vm." + mangleClassName(type.substring(cnt + 1, type.length() - 1));
jaroslav@1534	2405	emit(smapper, this,
jaroslav@1534	2406	"var @2 = Array.prototype['isInstance__ZLjava_lang_Object_2ILjava_lang_Object_2'](@1, @4, @3);",
jaroslav@1534	2407	smapper.popA(), smapper.pushI(),
jaroslav@1534	2408	type, "" + cnt
jaroslav@1534	2409	);
jaroslav@1534	2410	} else {
jaroslav@1534	2411	emit(smapper, this,
jaroslav@1534	2412	"var @2 = Array.prototype['isInstance__ZLjava_lang_Object_2Ljava_lang_String_2'](@1, '@3');",
jaroslav@1534	2413	smapper.popA(), smapper.pushI(), type
jaroslav@1534	2414	);
jaroslav@1534	2415	}
jaroslav@842	2416	}
jaroslav@842	2417	}
jaroslav@842	2418
jaroslav@842	2419	private void generateCheckcast(int indx, final StackMapper smapper) throws IOException {
jaroslav@1534	2420	String type = jc.getClassName(indx);
jaroslav@842	2421	if (!type.startsWith("[")) {
jaroslav@1509	2422	emitNoFlush(smapper,
jaroslav@1774	2423	"if (@1 !== null && !@1['$instOf_@2']) vm.java_lang_Class(false).castEx();",
jaroslav@1466	2424	smapper.getT(0, VarType.REFERENCE, false), type.replace('/', '_'));
jaroslav@842	2425	} else {
jaroslav@1534	2426	int cnt = 0;
jaroslav@1534	2427	while (type.charAt(cnt) == '[') {
jaroslav@1534	2428	cnt++;
jaroslav@1534	2429	}
jaroslav@1534	2430	if (type.charAt(cnt) == 'L') {
jaroslav@1534	2431	type = "vm." + mangleClassName(type.substring(cnt + 1, type.length() - 1));
jaroslav@1534	2432	emitNoFlush(smapper,
jaroslav@1774	2433	"if (@1 !== null && !Array.prototype['isInstance__ZLjava_lang_Object_2ILjava_lang_Object_2'](@1, @3, @2)) vm.java_lang_Class(false).castEx();",
jaroslav@1534	2434	smapper.getT(0, VarType.REFERENCE, false), type, "" + cnt
jaroslav@1534	2435	);
jaroslav@1534	2436	} else {
jaroslav@1534	2437	emitNoFlush(smapper,
jaroslav@1774	2438	"if (@1 !== null && !Array.prototype['isInstance__ZLjava_lang_Object_2Ljava_lang_String_2'](@1, '@2')) vm.java_lang_Class(false).castEx();",
jaroslav@1534	2439	smapper.getT(0, VarType.REFERENCE, false), type
jaroslav@1534	2440	);
jaroslav@1534	2441	}
jaroslav@842	2442	}
jaroslav@842	2443	}
jaroslav@842	2444
jaroslav@842	2445	private void generateByteCodeComment(int prev, int i, final byte[] byteCodes) throws IOException {
jaroslav@842	2446	for (int j = prev; j <= i; j++) {
jaroslav@1509	2447	append(" ");
jaroslav@842	2448	final int cc = readUByte(byteCodes, j);
jaroslav@1509	2449	append(Integer.toString(cc));
jaroslav@842	2450	}
jaroslav@842	2451	}
jaroslav@1655	2452
jaroslav@1655	2453	@JavaScriptBody(args = "msg", body = "")
jaroslav@1655	2454	private static void println(String msg) {
jaroslav@1655	2455	System.err.println(msg);
jaroslav@1655	2456	}
jaroslav@0	2457	}

author	Jaroslav Tulach <jaroslav.tulach@apidesign.org>
	Mon, 09 Feb 2015 21:30:04 +0100
changeset 1780	b6e926f68703
parent 1779	9d757281c666
child 1787	ea12a3bb4b33
permissions	-rw-r--r--