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

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

author	Jaroslav Tulach <jaroslav.tulach@apidesign.org>
	Tue, 26 Jan 2016 05:54:37 +0100
changeset 1862	fa00fb053c72
parent 1858	4dea14fafc31
child 1863	14a122c18d73
permissions	-rw-r--r--