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

jaroslav@106	1	/**
jaroslav@106	2	* Back 2 Browser Bytecode Translator
jaroslav@106	3	* Copyright (C) 2012 Jaroslav Tulach <jaroslav.tulach@apidesign.org>
jaroslav@106	4	*
jaroslav@106	5	* This program is free software: you can redistribute it and/or modify
jaroslav@106	6	* it under the terms of the GNU General Public License as published by
jaroslav@106	7	* the Free Software Foundation, version 2 of the License.
jaroslav@106	8	*
jaroslav@106	9	* This program is distributed in the hope that it will be useful,
jaroslav@106	10	* but WITHOUT ANY WARRANTY; without even the implied warranty of
jaroslav@106	11	* MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
jaroslav@106	12	* GNU General Public License for more details.
jaroslav@106	13	*
jaroslav@106	14	* You should have received a copy of the GNU General Public License
jaroslav@106	15	* along with this program. Look for COPYING file in the top folder.
jaroslav@106	16	* If not, see http://opensource.org/licenses/GPL-2.0.
jaroslav@106	17	*/
jaroslav@22	18	package org.apidesign.vm4brwsr;
jaroslav@0	19
jaroslav@0	20	import java.io.IOException;
jaroslav@0	21	import java.io.InputStream;
jaroslav@94	22	import org.apidesign.bck2brwsr.core.JavaScriptBody;
jtulach@167	23	import org.apidesign.javap.AnnotationParser;
jtulach@167	24	import org.apidesign.javap.ClassData;
jtulach@167	25	import org.apidesign.javap.FieldData;
jtulach@167	26	import org.apidesign.javap.MethodData;
lubomir@221	27	import org.apidesign.javap.StackMapIterator;
jtulach@167	28	import static org.apidesign.javap.RuntimeConstants.*;
jaroslav@0	29
jaroslav@0	30	/** Translator of the code inside class files to JavaScript.
jaroslav@0	31	*
jaroslav@0	32	* @author Jaroslav Tulach <jtulach@netbeans.org>
jaroslav@0	33	*/
jtulach@162	34	public abstract class ByteCodeToJavaScript {
jtulach@162	35	private ClassData jc;
jaroslav@0	36	private final Appendable out;
jaroslav@0	37
jtulach@162	38	protected ByteCodeToJavaScript(Appendable out) {
jaroslav@0	39	this.out = out;
jaroslav@0	40	}
jtulach@162	41
jtulach@162	42	/* Collects additional required resources.
jtulach@162	43	*
jtulach@162	44	* @param internalClassName classes that were referenced and should be loaded in order the
jtulach@162	45	* generated JavaScript code works properly. The names are in internal
jtulach@162	46	* JVM form so String is <code>java/lang/String</code>.
jtulach@162	47	*/
jtulach@162	48	protected abstract boolean requireReference(String internalClassName);
jtulach@162	49
jtulach@162	50	/*
jtulach@162	51	* @param resourcePath name of resources to read
jtulach@162	52	*/
jtulach@162	53	protected abstract void requireScript(String resourcePath);
jaroslav@18	54
jaroslav@18	55	/**
jaroslav@18	56	* Converts a given class file to a JavaScript version.
jaroslav@18	57	*
jaroslav@0	58	* @param classFile input stream with code of the .class file
jaroslav@97	59	* @return the initialization code for this class, if any. Otherwise <code>null</code>
jaroslav@91	60	*
jaroslav@0	61	* @throws IOException if something goes wrong during read or write or translating
jaroslav@0	62	*/
jaroslav@18	63
jtulach@162	64	public String compile(InputStream classFile) throws IOException {
jtulach@162	65	this.jc = new ClassData(classFile);
jaroslav@152	66	byte[] arrData = jc.findAnnotationData(true);
jaroslav@170	67	String[] arr = findAnnotation(arrData, jc,
jaroslav@170	68	"org.apidesign.bck2brwsr.core.ExtraJavaScript",
jaroslav@170	69	"resource", "processByteCode"
jaroslav@170	70	);
jaroslav@152	71	if (arr != null) {
jtulach@162	72	requireScript(arr[0]);
jaroslav@152	73	if ("0".equals(arr[1])) {
jaroslav@97	74	return null;
jaroslav@91	75	}
jaroslav@91	76	}
jtulach@162	77	StringArray toInitilize = new StringArray();
jaroslav@151	78	for (MethodData m : jc.getMethods()) {
jaroslav@0	79	if (m.isStatic()) {
jtulach@162	80	generateStaticMethod(m, toInitilize);
jaroslav@10	81	} else {
jtulach@162	82	generateInstanceMethod(m);
jaroslav@0	83	}
jaroslav@0	84	}
jaroslav@151	85	final String className = className(jc);
jaroslav@13	86	out.append("\nfunction ").append(className);
jaroslav@10	87	out.append("() {");
jaroslav@151	88	for (FieldData v : jc.getFields()) {
jaroslav@10	89	if (!v.isStatic()) {
jaroslav@137	90	out.append("\n this.fld_").
jaroslav@173	91	append(v.getName()).append(initField(v));
jaroslav@10	92	}
jaroslav@10	93	}
jaroslav@98	94	out.append("\n}\n\nfunction ").append(className).append("_proto() {");
jaroslav@98	95	out.append("\n if (").append(className).
jaroslav@98	96	append(".prototype.$instOf_").append(className).append(") {");
jtulach@130	97	out.append("\n return new ").append(className).append(";");
jaroslav@98	98	out.append("\n }");
jtulach@191	99	for (FieldData v : jc.getFields()) {
jtulach@191	100	if (v.isStatic()) {
jtulach@191	101	generateStaticField(v);
jtulach@191	102	}
jtulach@191	103	}
jaroslav@151	104	// ClassName sc = jc.getSuperClass();
jaroslav@151	105	String sc = jc.getSuperClassName(); // with _
jaroslav@13	106	if (sc != null) {
jtulach@130	107	out.append("\n var p = ").append(className)
jtulach@130	108	.append(".prototype = ").
jaroslav@151	109	append(sc.replace('/', '_')).append("_proto();");
jtulach@130	110	} else {
jaroslav@135	111	out.append("\n var p = ").append(className).append(".prototype;");
jaroslav@13	112	}
jaroslav@151	113	for (MethodData m : jc.getMethods()) {
jtulach@190	114	if (!m.getName().contains("<cinit>")) {
jtulach@162	115	generateMethodReference("\n p.", m);
jaroslav@38	116	}
jaroslav@38	117	}
jtulach@130	118	out.append("\n p.$instOf_").append(className).append(" = true;");
jaroslav@151	119	for (String superInterface : jc.getSuperInterfaces()) {
jaroslav@151	120	out.append("\n p.$instOf_").append(superInterface.replace('/', '_')).append(" = true;");
jaroslav@40	121	}
jtulach@130	122	out.append("\n return new ").append(className).append(";");
jaroslav@98	123	out.append("\n}");
jaroslav@98	124	out.append("\n").append(className).append("_proto();");
jaroslav@97	125	StringBuilder sb = new StringBuilder();
jtulach@162	126	for (String init : toInitilize.toArray()) {
jaroslav@97	127	sb.append("\n").append(init).append("();");
jaroslav@21	128	}
jaroslav@97	129	return sb.toString();
jaroslav@0	130	}
jtulach@162	131	private void generateStaticMethod(MethodData m, StringArray toInitilize) throws IOException {
jaroslav@94	132	if (javaScriptBody(m, true)) {
jaroslav@94	133	return;
jaroslav@94	134	}
jtulach@156	135	StringBuilder argsCnt = new StringBuilder();
jaroslav@151	136	final String mn = findMethodName(m, argsCnt);
jaroslav@1	137	out.append("\nfunction ").append(
jaroslav@151	138	className(jc)
jaroslav@21	139	).append('_').append(mn);
jaroslav@21	140	if (mn.equals("classV")) {
jaroslav@151	141	toInitilize.add(className(jc) + '_' + mn);
jaroslav@21	142	}
jaroslav@0	143	out.append('(');
jaroslav@0	144	String space = "";
jtulach@156	145	for (int index = 0, i = 0; i < argsCnt.length(); i++) {
jaroslav@0	146	out.append(space);
jaroslav@2	147	out.append("arg").append(String.valueOf(index));
jaroslav@0	148	space = ",";
jaroslav@151	149	final String desc = null;// XXX findDescriptor(args.get(i).getDescriptor());
jtulach@156	150	if (argsCnt.charAt(i) == '1') {
jaroslav@2	151	index += 2;
jaroslav@2	152	} else {
jaroslav@2	153	index++;
jaroslav@2	154	}
jaroslav@0	155	}
jaroslav@5	156	out.append(") {").append("\n");
lubomir@221	157	if (m.getCode() != null) {
jaroslav@151	158	int len = m.getMaxLocals();
lubomir@221	159	for (int i = argsCnt.length(); i < len; i++) {
jaroslav@18	160	out.append(" var ");
jaroslav@18	161	out.append("arg").append(String.valueOf(i)).append(";\n");
jaroslav@18	162	}
lubomir@221	163	produceCode(m);
jaroslav@18	164	} else {
jaroslav@151	165	out.append(" /* no code found for ").append(m.getInternalSig()).append(" */\n");
jaroslav@0	166	}
jaroslav@10	167	out.append("}");
jaroslav@10	168	}
jaroslav@10	169
jaroslav@151	170	private void generateMethodReference(String prefix, MethodData m) throws IOException {
jtulach@156	171	final String name = findMethodName(m, new StringBuilder());
jaroslav@38	172	out.append(prefix).append(name).append(" = ")
jaroslav@151	173	.append(className(jc))
jaroslav@12	174	.append('_').append(name).append(";");
jaroslav@12	175	}
jaroslav@12	176
jaroslav@151	177	private void generateInstanceMethod(MethodData m) throws IOException {
jaroslav@94	178	if (javaScriptBody(m, false)) {
jaroslav@94	179	return;
jaroslav@94	180	}
jtulach@156	181	StringBuilder argsCnt = new StringBuilder();
jaroslav@10	182	out.append("\nfunction ").append(
jaroslav@151	183	className(jc)
jaroslav@151	184	).append('_').append(findMethodName(m, argsCnt));
jaroslav@10	185	out.append("(arg0");
jaroslav@10	186	String space = ",";
jtulach@156	187	for (int index = 1, i = 0; i < argsCnt.length(); i++) {
jaroslav@10	188	out.append(space);
jaroslav@10	189	out.append("arg").append(String.valueOf(index));
jtulach@156	190	if (argsCnt.charAt(i) == '1') {
jaroslav@10	191	index += 2;
jaroslav@10	192	} else {
jaroslav@10	193	index++;
jaroslav@10	194	}
jaroslav@10	195	}
jaroslav@10	196	out.append(") {").append("\n");
lubomir@221	197	if (m.getCode() != null) {
jaroslav@151	198	int len = m.getMaxLocals();
lubomir@221	199	for (int i = argsCnt.length(); i < len; i++) {
jaroslav@18	200	out.append(" var ");
jaroslav@18	201	out.append("arg").append(String.valueOf(i + 1)).append(";\n");
jaroslav@18	202	}
lubomir@221	203	produceCode(m);
jaroslav@18	204	} else {
jaroslav@151	205	out.append(" /* no code found for ").append(m.getInternalSig()).append(" */\n");
jaroslav@10	206	}
jaroslav@0	207	out.append("}");
jaroslav@0	208	}
jaroslav@0	209
lubomir@221	210	private void produceCode(MethodData m) throws IOException {
lubomir@221	211	final byte[] byteCodes = m.getCode();
lubomir@221	212	final StackMapIterator stackMapIterator = m.createStackMapIterator();
lubomir@221	213	final StackToVariableMapper mapper = new StackToVariableMapper();
lubomir@221	214
lubomir@221	215	// maxStack includes two stack positions for every pushed long / double
lubomir@221	216	// so this might generate more stack variables than we need
lubomir@221	217	final int maxStack = m.getMaxStack();
lubomir@221	218	if (maxStack > 0) {
lubomir@221	219	out.append("\n var ").append(mapper.constructVariableName(0));
lubomir@221	220	for (int i = 1; i < maxStack; ++i) {
lubomir@221	221	out.append(", ");
lubomir@221	222	out.append(mapper.constructVariableName(i));
lubomir@221	223	}
lubomir@221	224	out.append(';');
lubomir@221	225	}
lubomir@221	226
lubomir@221	227	int lastStackFrame = -1;
lubomir@221	228
jaroslav@10	229	out.append("\n var gt = 0;\n for(;;) switch(gt) {\n");
jaroslav@0	230	for (int i = 0; i < byteCodes.length; i++) {
jaroslav@0	231	int prev = i;
lubomir@221	232	stackMapIterator.advanceTo(i);
lubomir@221	233	if (lastStackFrame != stackMapIterator.getFrameIndex()) {
lubomir@221	234	lastStackFrame = stackMapIterator.getFrameIndex();
lubomir@221	235	mapper.reset(stackMapIterator.getFrameStackItemsCount());
lubomir@221	236	out.append(" case " + i).append(": ");
lubomir@221	237	} else {
lubomir@221	238	out.append(" /* " + i).append(" */ ");
lubomir@221	239	}
jtulach@128	240	final int c = readByte(byteCodes, i);
jaroslav@0	241	switch (c) {
jaroslav@151	242	case opc_aload_0:
jaroslav@151	243	case opc_iload_0:
jaroslav@151	244	case opc_lload_0:
jaroslav@151	245	case opc_fload_0:
jaroslav@151	246	case opc_dload_0:
lubomir@221	247	out.append(mapper.push()).append(" = arg0;");
jaroslav@0	248	break;
jaroslav@151	249	case opc_aload_1:
jaroslav@151	250	case opc_iload_1:
jaroslav@151	251	case opc_lload_1:
jaroslav@151	252	case opc_fload_1:
jaroslav@151	253	case opc_dload_1:
lubomir@221	254	out.append(mapper.push()).append(" = arg1;");
jaroslav@0	255	break;
jaroslav@151	256	case opc_aload_2:
jaroslav@151	257	case opc_iload_2:
jaroslav@151	258	case opc_lload_2:
jaroslav@151	259	case opc_fload_2:
jaroslav@151	260	case opc_dload_2:
lubomir@221	261	out.append(mapper.push()).append(" = arg2;");
jaroslav@2	262	break;
jaroslav@151	263	case opc_aload_3:
jaroslav@151	264	case opc_iload_3:
jaroslav@151	265	case opc_lload_3:
jaroslav@151	266	case opc_fload_3:
jaroslav@151	267	case opc_dload_3:
lubomir@221	268	out.append(mapper.push()).append(" = arg3;");
jaroslav@3	269	break;
jaroslav@151	270	case opc_iload:
jaroslav@151	271	case opc_lload:
jaroslav@151	272	case opc_fload:
jaroslav@151	273	case opc_dload:
jaroslav@151	274	case opc_aload: {
jtulach@128	275	final int indx = readByte(byteCodes, ++i);
lubomir@221	276	out.append(mapper.push())
lubomir@221	277	.append(" = arg")
lubomir@221	278	.append(indx + ";");
jaroslav@3	279	break;
jaroslav@3	280	}
jaroslav@151	281	case opc_istore:
jaroslav@151	282	case opc_lstore:
jaroslav@151	283	case opc_fstore:
jaroslav@151	284	case opc_dstore:
jaroslav@151	285	case opc_astore: {
jtulach@128	286	final int indx = readByte(byteCodes, ++i);
lubomir@221	287	out.append("arg" + indx)
lubomir@221	288	.append(" = ")
lubomir@221	289	.append(mapper.pop())
lubomir@221	290	.append(';');
jaroslav@31	291	break;
jaroslav@31	292	}
jaroslav@151	293	case opc_astore_0:
jaroslav@151	294	case opc_istore_0:
jaroslav@151	295	case opc_lstore_0:
jaroslav@151	296	case opc_fstore_0:
jaroslav@151	297	case opc_dstore_0:
lubomir@221	298	out.append("arg0 = ").append(mapper.pop()).append(';');
jaroslav@5	299	break;
jaroslav@151	300	case opc_astore_1:
jaroslav@151	301	case opc_istore_1:
jaroslav@151	302	case opc_lstore_1:
jaroslav@151	303	case opc_fstore_1:
jaroslav@151	304	case opc_dstore_1:
lubomir@221	305	out.append("arg1 = ").append(mapper.pop()).append(';');
jaroslav@5	306	break;
jaroslav@151	307	case opc_astore_2:
jaroslav@151	308	case opc_istore_2:
jaroslav@151	309	case opc_lstore_2:
jaroslav@151	310	case opc_fstore_2:
jaroslav@151	311	case opc_dstore_2:
lubomir@221	312	out.append("arg2 = ").append(mapper.pop()).append(';');
jaroslav@5	313	break;
jaroslav@151	314	case opc_astore_3:
jaroslav@151	315	case opc_istore_3:
jaroslav@151	316	case opc_lstore_3:
jaroslav@151	317	case opc_fstore_3:
jaroslav@151	318	case opc_dstore_3:
lubomir@221	319	out.append("arg3 = ").append(mapper.pop()).append(';');
jaroslav@5	320	break;
jaroslav@151	321	case opc_iadd:
jaroslav@151	322	case opc_ladd:
jaroslav@151	323	case opc_fadd:
jaroslav@151	324	case opc_dadd:
lubomir@221	325	out.append(mapper.get(1)).append(" += ")
lubomir@221	326	.append(mapper.pop()).append(';');
jaroslav@0	327	break;
jaroslav@151	328	case opc_isub:
jaroslav@151	329	case opc_lsub:
jaroslav@151	330	case opc_fsub:
jaroslav@151	331	case opc_dsub:
lubomir@221	332	out.append(mapper.get(1)).append(" -= ")
lubomir@221	333	.append(mapper.pop()).append(';');
jaroslav@2	334	break;
jaroslav@151	335	case opc_imul:
jaroslav@151	336	case opc_lmul:
jaroslav@151	337	case opc_fmul:
jaroslav@151	338	case opc_dmul:
lubomir@221	339	out.append(mapper.get(1)).append(" *= ")
lubomir@221	340	.append(mapper.pop()).append(';');
jaroslav@1	341	break;
jaroslav@151	342	case opc_idiv:
jaroslav@151	343	case opc_ldiv:
lubomir@221	344	out.append(mapper.get(1))
lubomir@221	345	.append(" = Math.floor(")
lubomir@221	346	.append(mapper.get(1))
lubomir@221	347	.append(" / ")
lubomir@221	348	.append(mapper.pop())
lubomir@221	349	.append(");");
jaroslav@3	350	break;
jaroslav@151	351	case opc_fdiv:
jaroslav@151	352	case opc_ddiv:
lubomir@221	353	out.append(mapper.get(1)).append(" /= ")
lubomir@221	354	.append(mapper.pop()).append(';');
jaroslav@3	355	break;
jaroslav@178	356	case opc_irem:
jaroslav@178	357	case opc_lrem:
jaroslav@178	358	case opc_frem:
jaroslav@178	359	case opc_drem:
lubomir@221	360	out.append(mapper.get(1)).append(" %= ")
lubomir@221	361	.append(mapper.pop()).append(';');
jaroslav@178	362	break;
jaroslav@151	363	case opc_iand:
jaroslav@151	364	case opc_land:
lubomir@221	365	out.append(mapper.get(1)).append(" &= ")
lubomir@221	366	.append(mapper.pop()).append(';');
jaroslav@7	367	break;
jaroslav@151	368	case opc_ior:
jaroslav@151	369	case opc_lor:
lubomir@221	370	out.append(mapper.get(1)).append(" \|= ")
lubomir@221	371	.append(mapper.pop()).append(';');
jaroslav@7	372	break;
jaroslav@151	373	case opc_ixor:
jaroslav@151	374	case opc_lxor:
lubomir@221	375	out.append(mapper.get(1)).append(" ^= ")
lubomir@221	376	.append(mapper.pop()).append(';');
jaroslav@6	377	break;
jaroslav@151	378	case opc_ineg:
jaroslav@151	379	case opc_lneg:
jaroslav@151	380	case opc_fneg:
jaroslav@151	381	case opc_dneg:
lubomir@221	382	out.append(mapper.get(0)).append(" = -")
lubomir@221	383	.append(mapper.get(0)).append(';');
jaroslav@93	384	break;
jaroslav@151	385	case opc_ishl:
jaroslav@151	386	case opc_lshl:
lubomir@221	387	out.append(mapper.get(1)).append(" <<= ")
lubomir@221	388	.append(mapper.pop()).append(';');
jaroslav@93	389	break;
jaroslav@151	390	case opc_ishr:
jaroslav@151	391	case opc_lshr:
lubomir@221	392	out.append(mapper.get(1)).append(" >>= ")
lubomir@221	393	.append(mapper.pop()).append(';');
jaroslav@93	394	break;
jaroslav@151	395	case opc_iushr:
jaroslav@151	396	case opc_lushr:
lubomir@221	397	out.append(mapper.get(1)).append(" >>>= ")
lubomir@221	398	.append(mapper.pop()).append(';');
jaroslav@93	399	break;
jaroslav@151	400	case opc_iinc: {
jtulach@128	401	final int varIndx = readByte(byteCodes, ++i);
jaroslav@104	402	final int incrBy = byteCodes[++i];
jaroslav@5	403	if (incrBy == 1) {
jaroslav@5	404	out.append("arg" + varIndx).append("++;");
jaroslav@5	405	} else {
jaroslav@5	406	out.append("arg" + varIndx).append(" += " + incrBy).append(";");
jaroslav@5	407	}
jaroslav@5	408	break;
jaroslav@5	409	}
jaroslav@151	410	case opc_return:
jaroslav@10	411	out.append("return;");
jaroslav@10	412	break;
jaroslav@151	413	case opc_ireturn:
jaroslav@151	414	case opc_lreturn:
jaroslav@151	415	case opc_freturn:
jaroslav@151	416	case opc_dreturn:
jaroslav@151	417	case opc_areturn:
lubomir@221	418	out.append("return ").append(mapper.pop()).append(';');
jaroslav@1	419	break;
jaroslav@151	420	case opc_i2l:
jaroslav@151	421	case opc_i2f:
jaroslav@151	422	case opc_i2d:
jaroslav@151	423	case opc_l2i:
jaroslav@3	424	// max int check?
jaroslav@151	425	case opc_l2f:
jaroslav@151	426	case opc_l2d:
jaroslav@151	427	case opc_f2d:
jaroslav@151	428	case opc_d2f:
jaroslav@3	429	out.append("/* number conversion */");
jaroslav@3	430	break;
jaroslav@151	431	case opc_f2i:
jaroslav@151	432	case opc_f2l:
jaroslav@151	433	case opc_d2i:
jaroslav@151	434	case opc_d2l:
lubomir@221	435	out.append(mapper.get(0))
lubomir@221	436	.append(" = Math.floor(")
lubomir@221	437	.append(mapper.get(0))
lubomir@221	438	.append(");");
jaroslav@3	439	break;
jaroslav@151	440	case opc_i2b:
jaroslav@151	441	case opc_i2c:
jaroslav@151	442	case opc_i2s:
jaroslav@2	443	out.append("/* number conversion */");
jaroslav@2	444	break;
jaroslav@151	445	case opc_aconst_null:
lubomir@221	446	out.append(mapper.push()).append(" = null;");
jaroslav@46	447	break;
jaroslav@151	448	case opc_iconst_m1:
lubomir@221	449	out.append(mapper.push()).append(" = -1;");
jaroslav@48	450	break;
jaroslav@151	451	case opc_iconst_0:
jaroslav@151	452	case opc_dconst_0:
jaroslav@151	453	case opc_lconst_0:
jaroslav@151	454	case opc_fconst_0:
lubomir@221	455	out.append(mapper.push()).append(" = 0;");
jaroslav@4	456	break;
jaroslav@151	457	case opc_iconst_1:
jaroslav@151	458	case opc_lconst_1:
jaroslav@151	459	case opc_fconst_1:
jaroslav@151	460	case opc_dconst_1:
lubomir@221	461	out.append(mapper.push()).append(" = 1;");
jaroslav@4	462	break;
jaroslav@151	463	case opc_iconst_2:
jaroslav@151	464	case opc_fconst_2:
lubomir@221	465	out.append(mapper.push()).append(" = 2;");
jaroslav@4	466	break;
jaroslav@151	467	case opc_iconst_3:
lubomir@221	468	out.append(mapper.push()).append(" = 3;");
jaroslav@4	469	break;
jaroslav@151	470	case opc_iconst_4:
lubomir@221	471	out.append(mapper.push()).append(" = 4;");
jaroslav@4	472	break;
jaroslav@151	473	case opc_iconst_5:
lubomir@221	474	out.append(mapper.push()).append(" = 5;");
jaroslav@4	475	break;
jaroslav@151	476	case opc_ldc: {
jtulach@128	477	int indx = readByte(byteCodes, ++i);
jaroslav@151	478	String v = encodeConstant(indx);
lubomir@221	479	out.append(mapper.push())
lubomir@221	480	.append(" = ")
lubomir@221	481	.append(v)
lubomir@221	482	.append(';');
jaroslav@20	483	break;
jaroslav@20	484	}
jaroslav@151	485	case opc_ldc_w:
jaroslav@151	486	case opc_ldc2_w: {
jaroslav@8	487	int indx = readIntArg(byteCodes, i);
jaroslav@8	488	i += 2;
jaroslav@151	489	String v = encodeConstant(indx);
lubomir@221	490	out.append(mapper.push())
lubomir@221	491	.append(" = ")
lubomir@221	492	.append(v)
lubomir@221	493	.append(';');
jaroslav@8	494	break;
jaroslav@8	495	}
jaroslav@151	496	case opc_lcmp:
jaroslav@151	497	case opc_fcmpl:
jaroslav@151	498	case opc_fcmpg:
jaroslav@151	499	case opc_dcmpl:
jaroslav@151	500	case opc_dcmpg: {
lubomir@221	501	out.append(mapper.get(1))
lubomir@221	502	.append(" = (")
lubomir@221	503	.append(mapper.get(1))
lubomir@221	504	.append(" == ")
lubomir@221	505	.append(mapper.get(0))
lubomir@221	506	.append(") ? 0 : ((")
lubomir@221	507	.append(mapper.get(1))
lubomir@221	508	.append(" < ")
lubomir@221	509	.append(mapper.get(0))
lubomir@221	510	.append(") ? -1 : 1);");
lubomir@221	511
lubomir@221	512	mapper.pop(1);
jaroslav@20	513	break;
jaroslav@20	514	}
jaroslav@151	515	case opc_if_acmpeq:
lubomir@221	516	i = generateIf(byteCodes, i, mapper, "===");
jaroslav@104	517	break;
jaroslav@151	518	case opc_if_acmpne:
lubomir@221	519	i = generateIf(byteCodes, i, mapper, "!=");
jaroslav@104	520	break;
jaroslav@151	521	case opc_if_icmpeq: {
lubomir@221	522	i = generateIf(byteCodes, i, mapper, "==");
jaroslav@4	523	break;
jaroslav@4	524	}
jaroslav@151	525	case opc_ifeq: {
jaroslav@7	526	int indx = i + readIntArg(byteCodes, i);
lubomir@221	527	out.append("if (").append(mapper.pop())
lubomir@221	528	.append(" == 0) { gt = " + indx);
jaroslav@7	529	out.append("; continue; }");
jaroslav@7	530	i += 2;
jaroslav@7	531	break;
jaroslav@7	532	}
jaroslav@151	533	case opc_ifne: {
jaroslav@20	534	int indx = i + readIntArg(byteCodes, i);
lubomir@221	535	out.append("if (").append(mapper.pop())
lubomir@221	536	.append(" != 0) { gt = " + indx);
jaroslav@20	537	out.append("; continue; }");
jaroslav@20	538	i += 2;
jaroslav@20	539	break;
jaroslav@20	540	}
jaroslav@151	541	case opc_iflt: {
jaroslav@20	542	int indx = i + readIntArg(byteCodes, i);
lubomir@221	543	out.append("if (").append(mapper.pop())
lubomir@221	544	.append(" < 0) { gt = " + indx);
jaroslav@20	545	out.append("; continue; }");
jaroslav@20	546	i += 2;
jaroslav@20	547	break;
jaroslav@20	548	}
jaroslav@151	549	case opc_ifle: {
jaroslav@20	550	int indx = i + readIntArg(byteCodes, i);
lubomir@221	551	out.append("if (").append(mapper.pop())
lubomir@221	552	.append(" <= 0) { gt = " + indx);
jaroslav@20	553	out.append("; continue; }");
jaroslav@20	554	i += 2;
jaroslav@20	555	break;
jaroslav@20	556	}
jaroslav@151	557	case opc_ifgt: {
jaroslav@20	558	int indx = i + readIntArg(byteCodes, i);
lubomir@221	559	out.append("if (").append(mapper.pop())
lubomir@221	560	.append(" > 0) { gt = " + indx);
jaroslav@20	561	out.append("; continue; }");
jaroslav@20	562	i += 2;
jaroslav@20	563	break;
jaroslav@20	564	}
jaroslav@151	565	case opc_ifge: {
jaroslav@20	566	int indx = i + readIntArg(byteCodes, i);
lubomir@221	567	out.append("if (").append(mapper.pop())
lubomir@221	568	.append(" >= 0) { gt = " + indx);
jaroslav@20	569	out.append("; continue; }");
jaroslav@20	570	i += 2;
jaroslav@20	571	break;
jaroslav@20	572	}
jaroslav@151	573	case opc_ifnonnull: {
jaroslav@16	574	int indx = i + readIntArg(byteCodes, i);
lubomir@221	575	out.append("if (").append(mapper.pop())
lubomir@221	576	.append(" !== null) { gt = " + indx);
jaroslav@16	577	out.append("; continue; }");
jaroslav@16	578	i += 2;
jaroslav@16	579	break;
jaroslav@16	580	}
jaroslav@151	581	case opc_ifnull: {
jaroslav@16	582	int indx = i + readIntArg(byteCodes, i);
lubomir@221	583	out.append("if (").append(mapper.pop())
lubomir@221	584	.append(" === null) { gt = " + indx);
jaroslav@16	585	out.append("; continue; }");
jaroslav@16	586	i += 2;
jaroslav@16	587	break;
jaroslav@16	588	}
jaroslav@151	589	case opc_if_icmpne:
lubomir@221	590	i = generateIf(byteCodes, i, mapper, "!=");
jaroslav@4	591	break;
jaroslav@151	592	case opc_if_icmplt:
lubomir@221	593	i = generateIf(byteCodes, i, mapper, "<");
jaroslav@4	594	break;
jaroslav@151	595	case opc_if_icmple:
lubomir@221	596	i = generateIf(byteCodes, i, mapper, "<=");
jaroslav@4	597	break;
jaroslav@151	598	case opc_if_icmpgt:
lubomir@221	599	i = generateIf(byteCodes, i, mapper, ">");
jaroslav@4	600	break;
jaroslav@151	601	case opc_if_icmpge:
lubomir@221	602	i = generateIf(byteCodes, i, mapper, ">=");
jaroslav@4	603	break;
jaroslav@151	604	case opc_goto: {
jaroslav@5	605	int indx = i + readIntArg(byteCodes, i);
jaroslav@5	606	out.append("gt = " + indx).append("; continue;");
jaroslav@5	607	i += 2;
jaroslav@5	608	break;
jaroslav@5	609	}
jaroslav@151	610	case opc_lookupswitch: {
jtulach@128	611	int table = i / 4 * 4 + 4;
jaroslav@115	612	int dflt = i + readInt4(byteCodes, table);
jaroslav@115	613	table += 4;
jaroslav@115	614	int n = readInt4(byteCodes, table);
jaroslav@115	615	table += 4;
lubomir@221	616	out.append("switch (").append(mapper.pop()).append(") {\n");
jaroslav@115	617	while (n-- > 0) {
jaroslav@115	618	int cnstnt = readInt4(byteCodes, table);
jaroslav@115	619	table += 4;
jaroslav@115	620	int offset = i + readInt4(byteCodes, table);
jaroslav@115	621	table += 4;
jaroslav@115	622	out.append(" case " + cnstnt).append(": gt = " + offset).append("; continue;\n");
jaroslav@115	623	}
jaroslav@115	624	out.append(" default: gt = " + dflt).append("; continue;\n}");
jaroslav@115	625	i = table - 1;
jaroslav@115	626	break;
jaroslav@115	627	}
jaroslav@151	628	case opc_tableswitch: {
jtulach@128	629	int table = i / 4 * 4 + 4;
jaroslav@115	630	int dflt = i + readInt4(byteCodes, table);
jaroslav@115	631	table += 4;
jaroslav@115	632	int low = readInt4(byteCodes, table);
jaroslav@115	633	table += 4;
jaroslav@115	634	int high = readInt4(byteCodes, table);
jaroslav@115	635	table += 4;
lubomir@221	636	out.append("switch (").append(mapper.pop()).append(") {\n");
jaroslav@115	637	while (low <= high) {
jaroslav@115	638	int offset = i + readInt4(byteCodes, table);
jaroslav@115	639	table += 4;
jaroslav@115	640	out.append(" case " + low).append(": gt = " + offset).append("; continue;\n");
jaroslav@115	641	low++;
jaroslav@115	642	}
jaroslav@115	643	out.append(" default: gt = " + dflt).append("; continue;\n}");
jaroslav@115	644	i = table - 1;
jaroslav@115	645	break;
jaroslav@115	646	}
jaroslav@151	647	case opc_invokeinterface: {
lubomir@221	648	i = invokeVirtualMethod(byteCodes, i, mapper) + 2;
jaroslav@46	649	break;
jaroslav@46	650	}
jaroslav@151	651	case opc_invokevirtual:
lubomir@221	652	i = invokeVirtualMethod(byteCodes, i, mapper);
jaroslav@12	653	break;
jaroslav@151	654	case opc_invokespecial:
lubomir@221	655	i = invokeStaticMethod(byteCodes, i, mapper, false);
jaroslav@4	656	break;
jaroslav@151	657	case opc_invokestatic:
lubomir@221	658	i = invokeStaticMethod(byteCodes, i, mapper, true);
jaroslav@10	659	break;
jaroslav@151	660	case opc_new: {
jaroslav@8	661	int indx = readIntArg(byteCodes, i);
jaroslav@151	662	String ci = jc.getClassName(indx);
lubomir@221	663	out.append(mapper.push()).append(" = ");
jaroslav@151	664	out.append("new ").append(ci.replace('/','_'));
lubomir@221	665	out.append(';');
jaroslav@151	666	addReference(ci);
jaroslav@8	667	i += 2;
jaroslav@8	668	break;
jaroslav@8	669	}
jaroslav@151	670	case opc_newarray: {
lubomir@221	671	++i; // skip type of array
lubomir@221	672	out.append(mapper.get(0))
lubomir@221	673	.append(" = new Array(")
lubomir@221	674	.append(mapper.get(0))
lubomir@221	675	.append(").fillNulls();");
jaroslav@21	676	break;
jaroslav@21	677	}
jaroslav@151	678	case opc_anewarray: {
jaroslav@21	679	i += 2; // skip type of array
lubomir@221	680	out.append(mapper.get(0))
lubomir@221	681	.append(" = new Array(")
lubomir@221	682	.append(mapper.get(0))
lubomir@221	683	.append(").fillNulls();");
jaroslav@21	684	break;
jaroslav@21	685	}
jaroslav@151	686	case opc_multianewarray: {
jtulach@128	687	i += 2;
jtulach@128	688	int dim = readByte(byteCodes, ++i);
lubomir@221	689	out.append("{ var a0 = new Array(").append(mapper.pop())
lubomir@221	690	.append(").fillNulls();");
jtulach@128	691	for (int d = 1; d < dim; d++) {
lubomir@221	692	out.append("\n var l" + d).append(" = ")
lubomir@221	693	.append(mapper.pop()).append(';');
jtulach@128	694	out.append("\n for (var i" + d).append (" = 0; i" + d).
jtulach@128	695	append(" < a" + (d - 1)).
jtulach@128	696	append(".length; i" + d).append("++) {");
jtulach@128	697	out.append("\n var a" + d).
jaroslav@172	698	append (" = new Array(l" + d).append(").fillNulls();");
jtulach@128	699	out.append("\n a" + (d - 1)).append("[i" + d).append("] = a" + d).
jtulach@128	700	append(";");
jtulach@128	701	}
jtulach@128	702	for (int d = 1; d < dim; d++) {
jtulach@128	703	out.append("\n }");
jtulach@128	704	}
lubomir@221	705	out.append("\n").append(mapper.push()).append(" = a0; }");
jtulach@128	706	break;
jtulach@128	707	}
jaroslav@151	708	case opc_arraylength:
lubomir@221	709	out.append(mapper.get(0)).append(" = ")
lubomir@221	710	.append(mapper.get(0)).append(".length;");
jaroslav@21	711	break;
jaroslav@151	712	case opc_iastore:
jaroslav@151	713	case opc_lastore:
jaroslav@151	714	case opc_fastore:
jaroslav@151	715	case opc_dastore:
jaroslav@151	716	case opc_aastore:
jaroslav@151	717	case opc_bastore:
jaroslav@151	718	case opc_castore:
jaroslav@151	719	case opc_sastore: {
lubomir@221	720	out.append(mapper.get(2))
lubomir@221	721	.append('[').append(mapper.get(1)).append(']')
lubomir@221	722	.append(" = ")
lubomir@221	723	.append(mapper.get(0))
lubomir@221	724	.append(';');
lubomir@221	725	mapper.pop(3);
jaroslav@21	726	break;
jaroslav@21	727	}
jaroslav@151	728	case opc_iaload:
jaroslav@151	729	case opc_laload:
jaroslav@151	730	case opc_faload:
jaroslav@151	731	case opc_daload:
jaroslav@151	732	case opc_aaload:
jaroslav@151	733	case opc_baload:
jaroslav@151	734	case opc_caload:
jaroslav@151	735	case opc_saload: {
lubomir@221	736	out.append(mapper.get(1))
lubomir@221	737	.append(" = ")
lubomir@221	738	.append(mapper.get(1))
lubomir@221	739	.append('[').append(mapper.pop()).append("];");
jaroslav@21	740	break;
jaroslav@21	741	}
lubomir@221	742	case opc_pop:
jaroslav@151	743	case opc_pop2:
lubomir@221	744	mapper.pop(1);
lubomir@221	745	out.append("/* pop */");
jaroslav@93	746	break;
jaroslav@151	747	case opc_dup:
lubomir@221	748	out.append(mapper.push()).append(" = ")
lubomir@221	749	.append(mapper.get(1)).append(';');
jaroslav@8	750	break;
jaroslav@170	751	case opc_dup_x1:
lubomir@221	752	out.append("{ ");
lubomir@221	753	out.append(mapper.push()).append(" = ")
lubomir@221	754	.append(mapper.get(1)).append("; ");
lubomir@221	755	out.append(mapper.get(1)).append(" = ")
lubomir@221	756	.append(mapper.get(2)).append("; ");
lubomir@221	757	out.append(mapper.get(2)).append(" = ")
lubomir@221	758	.append(mapper.get(0)).append("; ");
lubomir@221	759	out.append('}');
jaroslav@170	760	break;
jaroslav@170	761	case opc_dup_x2:
lubomir@221	762	out.append("{ ");
lubomir@221	763	out.append(mapper.push()).append(" = ")
lubomir@221	764	.append(mapper.get(1)).append("; ");
lubomir@221	765	out.append(mapper.get(1)).append(" = ")
lubomir@221	766	.append(mapper.get(2)).append("; ");
lubomir@221	767	out.append(mapper.get(2)).append(" = ")
lubomir@221	768	.append(mapper.get(3)).append("; ");
lubomir@221	769	out.append(mapper.get(3)).append(" = ")
lubomir@221	770	.append(mapper.get(0)).append("; ");
lubomir@221	771	out.append('}');
jaroslav@170	772	break;
jaroslav@151	773	case opc_bipush:
lubomir@221	774	out.append(mapper.push()).append(" = ")
lubomir@221	775	.append(Integer.toString(byteCodes[++i])).append(';');
jaroslav@8	776	break;
jaroslav@151	777	case opc_sipush:
lubomir@221	778	out.append(mapper.push()).append(" = ")
lubomir@221	779	.append(Integer.toString(readIntArg(byteCodes, i)))
lubomir@221	780	.append(';');
jaroslav@31	781	i += 2;
jaroslav@31	782	break;
jaroslav@151	783	case opc_getfield: {
jaroslav@8	784	int indx = readIntArg(byteCodes, i);
jaroslav@151	785	String[] fi = jc.getFieldInfoName(indx);
lubomir@221	786	out.append(mapper.get(0)).append(" = ")
lubomir@221	787	.append(mapper.get(0)).append(".fld_")
lubomir@221	788	.append(fi[1]).append(';');
jaroslav@8	789	i += 2;
jaroslav@8	790	break;
jaroslav@8	791	}
jaroslav@151	792	case opc_getstatic: {
jaroslav@9	793	int indx = readIntArg(byteCodes, i);
jaroslav@151	794	String[] fi = jc.getFieldInfoName(indx);
lubomir@221	795	out.append(mapper.push()).append(" = ")
lubomir@221	796	.append(fi[0].replace('/', '_'))
lubomir@221	797	.append('.').append(fi[1]).append(';');
jaroslav@9	798	i += 2;
jaroslav@151	799	addReference(fi[0]);
jaroslav@9	800	break;
jaroslav@9	801	}
jaroslav@151	802	case opc_putstatic: {
jaroslav@9	803	int indx = readIntArg(byteCodes, i);
jaroslav@151	804	String[] fi = jc.getFieldInfoName(indx);
jaroslav@151	805	out.append(fi[0].replace('/', '_'));
lubomir@221	806	out.append('.').append(fi[1]).append(" = ")
lubomir@221	807	.append(mapper.pop()).append(';');
jaroslav@9	808	i += 2;
jaroslav@151	809	addReference(fi[0]);
jaroslav@9	810	break;
jaroslav@9	811	}
jaroslav@151	812	case opc_putfield: {
jaroslav@10	813	int indx = readIntArg(byteCodes, i);
jaroslav@151	814	String[] fi = jc.getFieldInfoName(indx);
lubomir@221	815	out.append(mapper.get(1)).append(".fld_").append(fi[1])
lubomir@221	816	.append(" = ")
lubomir@221	817	.append(mapper.get(0)).append(';');
lubomir@221	818	mapper.pop(2);
jaroslav@10	819	i += 2;
jaroslav@10	820	break;
jaroslav@10	821	}
jaroslav@151	822	case opc_checkcast: {
jaroslav@30	823	int indx = readIntArg(byteCodes, i);
jaroslav@151	824	final String type = jc.getClassName(indx);
jaroslav@42	825	if (!type.startsWith("[")) {
jaroslav@42	826	// no way to check arrays right now
lubomir@221	827	out.append("if (").append(mapper.get(0))
lubomir@221	828	.append(".$instOf_").append(type.replace('/', '_'))
jaroslav@42	829	.append(" != 1) throw {};"); // XXX proper exception
jaroslav@42	830	}
jaroslav@30	831	i += 2;
jaroslav@30	832	break;
jaroslav@30	833	}
jaroslav@151	834	case opc_instanceof: {
jaroslav@17	835	int indx = readIntArg(byteCodes, i);
jaroslav@151	836	final String type = jc.getClassName(indx);
lubomir@221	837	out.append(mapper.get(0)).append(" = ")
lubomir@221	838	.append(mapper.get(0)).append(".$instOf_")
jaroslav@151	839	.append(type.replace('/', '_'))
lubomir@221	840	.append(" ? 1 : 0;");
jaroslav@17	841	i += 2;
jaroslav@30	842	break;
jaroslav@17	843	}
jaroslav@151	844	case opc_athrow: {
lubomir@221	845	out.append("{ ");
lubomir@221	846	out.append(mapper.bottom()).append(" = ")
lubomir@221	847	.append(mapper.top()).append("; ");
lubomir@221	848	out.append("throw ").append(mapper.bottom()).append("; ");
lubomir@221	849	out.append('}');
lubomir@221	850
lubomir@221	851	mapper.reset(1);
jaroslav@104	852	break;
jaroslav@104	853	}
lubomir@221	854
lubomir@221	855	case opc_monitorenter: {
lubomir@221	856	out.append("/* monitor enter */");
lubomir@221	857	mapper.pop(1);
lubomir@221	858	break;
lubomir@221	859	}
lubomir@221	860
lubomir@221	861	case opc_monitorexit: {
lubomir@221	862	out.append("/* monitor exit */");
lubomir@221	863	mapper.pop(1);
lubomir@221	864	break;
lubomir@221	865	}
lubomir@221	866
jaroslav@104	867	default: {
jaroslav@104	868	out.append("throw 'unknown bytecode " + c + "';");
jaroslav@104	869	}
jaroslav@8	870
jaroslav@0	871	}
jaroslav@39	872	out.append(" //");
jaroslav@0	873	for (int j = prev; j <= i; j++) {
jaroslav@0	874	out.append(" ");
jtulach@128	875	final int cc = readByte(byteCodes, j);
jaroslav@0	876	out.append(Integer.toString(cc));
jaroslav@0	877	}
jaroslav@39	878	out.append("\n");
jaroslav@0	879	}
jaroslav@10	880	out.append(" }\n");
lubomir@221	881
lubomir@221	882	if (mapper.getMaxStackSize() > maxStack) {
lubomir@221	883	throw new IllegalStateException("Incorrect stack usage");
lubomir@221	884	}
jaroslav@4	885	}
jaroslav@4	886
lubomir@221	887	private int generateIf(byte[] byteCodes, int i, final StackToVariableMapper mapper, final String test) throws IOException {
jaroslav@4	888	int indx = i + readIntArg(byteCodes, i);
lubomir@221	889	out.append("if (").append(mapper.get(1))
lubomir@221	890	.append(' ').append(test).append(' ')
lubomir@221	891	.append(mapper.get(0)).append(") { gt = " + indx)
lubomir@221	892	.append("; continue; }");
lubomir@221	893	mapper.pop(2);
jaroslav@4	894	return i + 2;
jaroslav@4	895	}
jaroslav@4	896
jaroslav@4	897	private int readIntArg(byte[] byteCodes, int offsetInstruction) {
jaroslav@5	898	final int indxHi = byteCodes[offsetInstruction + 1] << 8;
jaroslav@5	899	final int indxLo = byteCodes[offsetInstruction + 2];
jaroslav@5	900	return (indxHi & 0xffffff00) \| (indxLo & 0xff);
jaroslav@4	901	}
jaroslav@115	902	private int readInt4(byte[] byteCodes, int offsetInstruction) {
jaroslav@115	903	final int d = byteCodes[offsetInstruction + 0] << 24;
jaroslav@115	904	final int c = byteCodes[offsetInstruction + 1] << 16;
jaroslav@115	905	final int b = byteCodes[offsetInstruction + 2] << 8;
jaroslav@115	906	final int a = byteCodes[offsetInstruction + 3];
jaroslav@115	907	return (d & 0xff000000) \| (c & 0xff0000) \| (b & 0xff00) \| (a & 0xff);
jaroslav@115	908	}
jtulach@128	909	private int readByte(byte[] byteCodes, int offsetInstruction) {
lubomir@221	910	return byteCodes[offsetInstruction] & 0xff;
jtulach@128	911	}
jaroslav@4	912
jtulach@156	913	private static void countArgs(String descriptor, boolean[] hasReturnType, StringBuilder sig, StringBuilder cnt) {
jaroslav@4	914	int i = 0;
jaroslav@4	915	Boolean count = null;
jaroslav@32	916	boolean array = false;
jaroslav@10	917	int firstPos = sig.length();
jaroslav@4	918	while (i < descriptor.length()) {
jaroslav@4	919	char ch = descriptor.charAt(i++);
jaroslav@4	920	switch (ch) {
jaroslav@4	921	case '(':
jaroslav@4	922	count = true;
jaroslav@4	923	continue;
jaroslav@4	924	case ')':
jaroslav@4	925	count = false;
jaroslav@4	926	continue;
jaroslav@32	927	case 'A':
jaroslav@32	928	array = true;
jaroslav@32	929	break;
jaroslav@4	930	case 'B':
jaroslav@4	931	case 'C':
jaroslav@4	932	case 'D':
jaroslav@4	933	case 'F':
jaroslav@4	934	case 'I':
jaroslav@4	935	case 'J':
jaroslav@4	936	case 'S':
jaroslav@4	937	case 'Z':
jaroslav@4	938	if (count) {
jaroslav@32	939	if (array) {
jaroslav@32	940	sig.append('A');
jaroslav@32	941	}
jaroslav@4	942	sig.append(ch);
jtulach@156	943	if (ch == 'J' \|\| ch == 'D') {
jtulach@156	944	cnt.append('1');
jtulach@156	945	} else {
jtulach@156	946	cnt.append('0');
jtulach@156	947	}
jaroslav@4	948	} else {
jaroslav@4	949	hasReturnType[0] = true;
jaroslav@10	950	sig.insert(firstPos, ch);
jaroslav@32	951	if (array) {
jaroslav@32	952	sig.insert(firstPos, 'A');
jaroslav@32	953	}
jaroslav@4	954	}
jaroslav@93	955	array = false;
jaroslav@4	956	continue;
jaroslav@4	957	case 'V':
jaroslav@4	958	assert !count;
jaroslav@4	959	hasReturnType[0] = false;
jaroslav@10	960	sig.insert(firstPos, 'V');
jaroslav@4	961	continue;
jaroslav@4	962	case 'L':
jaroslav@16	963	int next = descriptor.indexOf(';', i);
jaroslav@4	964	if (count) {
jaroslav@32	965	if (array) {
jaroslav@32	966	sig.append('A');
jaroslav@32	967	}
jaroslav@16	968	sig.append(ch);
jaroslav@16	969	sig.append(descriptor.substring(i, next).replace('/', '_'));
jtulach@156	970	cnt.append('0');
jaroslav@4	971	} else {
jaroslav@16	972	sig.insert(firstPos, descriptor.substring(i, next).replace('/', '_'));
jaroslav@16	973	sig.insert(firstPos, ch);
jaroslav@32	974	if (array) {
jaroslav@33	975	sig.insert(firstPos, 'A');
jaroslav@32	976	}
jaroslav@4	977	hasReturnType[0] = true;
jaroslav@4	978	}
jaroslav@16	979	i = next + 1;
jaroslav@4	980	continue;
jaroslav@4	981	case '[':
jaroslav@4	982	//arrays++;
jaroslav@4	983	continue;
jaroslav@4	984	default:
jaroslav@4	985	break; // invalid character
jaroslav@4	986	}
jaroslav@4	987	}
jaroslav@0	988	}
jaroslav@9	989
jaroslav@151	990	private void generateStaticField(FieldData v) throws IOException {
jtulach@191	991	out.append("\n ")
jaroslav@151	992	.append(className(jc))
jtulach@191	993	.append('.').append(v.getName()).append(initField(v));
jaroslav@9	994	}
jaroslav@10	995
jtulach@156	996	private String findMethodName(MethodData m, StringBuilder cnt) {
jaroslav@42	997	StringBuilder name = new StringBuilder();
jaroslav@10	998	if ("<init>".equals(m.getName())) { // NOI18N
jaroslav@42	999	name.append("cons"); // NOI18N
jaroslav@19	1000	} else if ("<clinit>".equals(m.getName())) { // NOI18N
jaroslav@42	1001	name.append("class"); // NOI18N
jaroslav@10	1002	} else {
jaroslav@42	1003	name.append(m.getName());
jaroslav@10	1004	}
jaroslav@42	1005
jaroslav@42	1006	boolean hasReturn[] = { false };
jtulach@156	1007	countArgs(findDescriptor(m.getInternalSig()), hasReturn, name, cnt);
jaroslav@42	1008	return name.toString();
jaroslav@10	1009	}
jaroslav@10	1010
jtulach@156	1011	private String findMethodName(String[] mi, StringBuilder cnt, boolean[] hasReturn) {
jaroslav@10	1012	StringBuilder name = new StringBuilder();
jaroslav@151	1013	String descr = mi[2];//mi.getDescriptor();
jaroslav@151	1014	String nm= mi[1];
jaroslav@151	1015	if ("<init>".equals(nm)) { // NOI18N
jaroslav@10	1016	name.append("cons"); // NOI18N
jaroslav@10	1017	} else {
jaroslav@151	1018	name.append(nm);
jaroslav@10	1019	}
jtulach@156	1020	countArgs(findDescriptor(descr), hasReturn, name, cnt);
jaroslav@10	1021	return name.toString();
jaroslav@10	1022	}
jaroslav@10	1023
lubomir@221	1024	private int invokeStaticMethod(byte[] byteCodes, int i, final StackToVariableMapper mapper, boolean isStatic)
jaroslav@10	1025	throws IOException {
jaroslav@10	1026	int methodIndex = readIntArg(byteCodes, i);
jaroslav@151	1027	String[] mi = jc.getFieldInfoName(methodIndex);
jaroslav@10	1028	boolean[] hasReturn = { false };
jtulach@156	1029	StringBuilder cnt = new StringBuilder();
jaroslav@10	1030	String mn = findMethodName(mi, cnt, hasReturn);
lubomir@221	1031
lubomir@221	1032	final int numArguments = isStatic ? cnt.length() : cnt.length() + 1;
lubomir@221	1033
lubomir@221	1034	if (hasReturn[0]) {
lubomir@221	1035	out.append((numArguments > 0) ? mapper.get(numArguments - 1)
lubomir@221	1036	: mapper.push()).append(" = ");
jaroslav@11	1037	}
lubomir@221	1038
jaroslav@151	1039	final String in = mi[0];
jaroslav@18	1040	out.append(in.replace('/', '_'));
jtulach@190	1041	out.append(".prototype.");
jaroslav@10	1042	out.append(mn);
jaroslav@10	1043	out.append('(');
lubomir@221	1044	if (numArguments > 0) {
lubomir@221	1045	out.append(mapper.get(numArguments - 1));
lubomir@221	1046	for (int j = numArguments - 2; j >= 0; --j) {
lubomir@221	1047	out.append(", ");
lubomir@221	1048	out.append(mapper.get(j));
lubomir@221	1049	}
jaroslav@10	1050	}
lubomir@221	1051	out.append(");");
lubomir@221	1052	if (numArguments > 0) {
lubomir@221	1053	mapper.pop(hasReturn[0] ? numArguments - 1 : numArguments);
jaroslav@10	1054	}
jaroslav@10	1055	i += 2;
jaroslav@18	1056	addReference(in);
jaroslav@10	1057	return i;
jaroslav@10	1058	}
lubomir@221	1059	private int invokeVirtualMethod(byte[] byteCodes, int i, final StackToVariableMapper mapper)
jaroslav@12	1060	throws IOException {
jaroslav@12	1061	int methodIndex = readIntArg(byteCodes, i);
jaroslav@151	1062	String[] mi = jc.getFieldInfoName(methodIndex);
jaroslav@12	1063	boolean[] hasReturn = { false };
jtulach@156	1064	StringBuilder cnt = new StringBuilder();
jaroslav@12	1065	String mn = findMethodName(mi, cnt, hasReturn);
lubomir@221	1066
lubomir@221	1067	final int numArguments = cnt.length();
lubomir@221	1068
lubomir@221	1069	if (hasReturn[0]) {
lubomir@221	1070	out.append(mapper.get(numArguments)).append(" = ");
jaroslav@12	1071	}
lubomir@221	1072
lubomir@221	1073	out.append(mapper.get(numArguments)).append('.');
jaroslav@12	1074	out.append(mn);
jaroslav@12	1075	out.append('(');
lubomir@221	1076	out.append(mapper.get(numArguments));
lubomir@221	1077	for (int j = numArguments - 1; j >= 0; --j) {
jaroslav@12	1078	out.append(", ");
lubomir@221	1079	out.append(mapper.get(j));
jaroslav@12	1080	}
lubomir@221	1081	out.append(");");
lubomir@221	1082	mapper.pop(hasReturn[0] ? numArguments : numArguments + 1);
jaroslav@12	1083	i += 2;
jaroslav@12	1084	return i;
jaroslav@12	1085	}
lubomir@221	1086
jaroslav@103	1087	private void addReference(String cn) throws IOException {
jtulach@162	1088	if (requireReference(cn)) {
jtulach@162	1089	out.append(" /* needs ").append(cn).append(" */");
jaroslav@18	1090	}
jaroslav@18	1091	}
jaroslav@16	1092
jaroslav@33	1093	private void outType(String d, StringBuilder out) {
jaroslav@33	1094	int arr = 0;
jaroslav@33	1095	while (d.charAt(0) == '[') {
jaroslav@33	1096	out.append('A');
jaroslav@33	1097	d = d.substring(1);
jaroslav@33	1098	}
jaroslav@16	1099	if (d.charAt(0) == 'L') {
jaroslav@16	1100	assert d.charAt(d.length() - 1) == ';';
jaroslav@16	1101	out.append(d.replace('/', '_').substring(0, d.length() - 1));
jaroslav@16	1102	} else {
jaroslav@16	1103	out.append(d);
jaroslav@16	1104	}
jaroslav@16	1105	}
jaroslav@21	1106
jaroslav@151	1107	private String encodeConstant(int entryIndex) {
jaroslav@151	1108	String s = jc.stringValue(entryIndex, true);
jaroslav@151	1109	return s;
jaroslav@21	1110	}
jaroslav@32	1111
jaroslav@32	1112	private String findDescriptor(String d) {
jaroslav@32	1113	return d.replace('[', 'A');
jaroslav@32	1114	}
jaroslav@94	1115
jaroslav@151	1116	private boolean javaScriptBody(MethodData m, boolean isStatic) throws IOException {
jaroslav@152	1117	byte[] arr = m.findAnnotationData(true);
jaroslav@152	1118	if (arr == null) {
jaroslav@152	1119	return false;
jaroslav@152	1120	}
jaroslav@152	1121	final String jvmType = "L" + JavaScriptBody.class.getName().replace('.', '/') + ";";
jaroslav@152	1122	class P extends AnnotationParser {
jaroslav@152	1123	int cnt;
jaroslav@152	1124	String[] args = new String[30];
jaroslav@152	1125	String body;
jaroslav@94	1126
jaroslav@152	1127	@Override
jaroslav@152	1128	protected void visitAttr(String type, String attr, String value) {
jaroslav@152	1129	if (type.equals(jvmType)) {
jaroslav@152	1130	if ("body".equals(attr)) {
jaroslav@152	1131	body = value;
jaroslav@152	1132	} else if ("args".equals(attr)) {
jaroslav@152	1133	args[cnt++] = value;
jaroslav@152	1134	} else {
jaroslav@152	1135	throw new IllegalArgumentException(attr);
jaroslav@152	1136	}
jaroslav@152	1137	}
jaroslav@94	1138	}
jaroslav@94	1139	}
jaroslav@152	1140	P p = new P();
jaroslav@152	1141	p.parse(arr, jc);
jaroslav@152	1142	if (p.body == null) {
jaroslav@152	1143	return false;
jaroslav@152	1144	}
jtulach@156	1145	StringBuilder cnt = new StringBuilder();
jaroslav@152	1146	out.append("\nfunction ").append(className(jc)).append('_').
jtulach@156	1147	append(findMethodName(m, cnt));
jaroslav@152	1148	out.append("(");
jaroslav@152	1149	String space;
jaroslav@152	1150	int index;
jaroslav@152	1151	if (!isStatic) {
jaroslav@152	1152	out.append(p.args[0]);
jaroslav@152	1153	space = ",";
jaroslav@152	1154	index = 1;
jaroslav@152	1155	} else {
jaroslav@152	1156	space = "";
jaroslav@152	1157	index = 0;
jaroslav@152	1158	}
jtulach@156	1159	for (int i = 0; i < cnt.length(); i++) {
jaroslav@152	1160	out.append(space);
jaroslav@152	1161	out.append(p.args[index]);
jaroslav@152	1162	index++;
jaroslav@152	1163	space = ",";
jaroslav@152	1164	}
jaroslav@152	1165	out.append(") {").append("\n");
jaroslav@152	1166	out.append(p.body);
jaroslav@152	1167	out.append("\n}\n");
jaroslav@152	1168	return true;
jaroslav@151	1169	}
jaroslav@151	1170	private static String className(ClassData jc) {
jaroslav@151	1171	//return jc.getName().getInternalName().replace('/', '_');
jaroslav@151	1172	return jc.getClassName().replace('/', '_');
jaroslav@94	1173	}
jaroslav@152	1174
jaroslav@152	1175	private static String[] findAnnotation(
jaroslav@152	1176	byte[] arr, ClassData cd, final String className,
jaroslav@152	1177	final String... attrNames
jaroslav@152	1178	) throws IOException {
jaroslav@152	1179	if (arr == null) {
jaroslav@152	1180	return null;
jaroslav@152	1181	}
jaroslav@152	1182	final String[] values = new String[attrNames.length];
jaroslav@152	1183	final boolean[] found = { false };
jaroslav@152	1184	final String jvmType = "L" + className.replace('.', '/') + ";";
jaroslav@152	1185	AnnotationParser ap = new AnnotationParser() {
jaroslav@152	1186	@Override
jaroslav@152	1187	protected void visitAttr(String type, String attr, String value) {
jaroslav@152	1188	if (type.equals(jvmType)) {
jaroslav@152	1189	found[0] = true;
jaroslav@152	1190	for (int i = 0; i < attrNames.length; i++) {
jaroslav@152	1191	if (attrNames[i].equals(attr)) {
jaroslav@152	1192	values[i] = value;
jaroslav@152	1193	}
jaroslav@152	1194	}
jaroslav@152	1195	}
jaroslav@152	1196	}
jaroslav@152	1197
jaroslav@152	1198	};
jaroslav@152	1199	ap.parse(arr, cd);
jaroslav@152	1200	return found[0] ? values : null;
jaroslav@152	1201	}
jaroslav@173	1202
jaroslav@173	1203	private CharSequence initField(FieldData v) {
jaroslav@173	1204	final String is = v.getInternalSig();
jaroslav@173	1205	if (is.length() == 1) {
jaroslav@173	1206	switch (is.charAt(0)) {
jaroslav@173	1207	case 'S':
jaroslav@173	1208	case 'J':
jaroslav@173	1209	case 'B':
jaroslav@173	1210	case 'Z':
jaroslav@173	1211	case 'C':
jaroslav@173	1212	case 'I': return " = 0;";
jaroslav@173	1213	case 'F':
jaroslav@180	1214	case 'D': return " = 0.0;";
jaroslav@173	1215	default:
jaroslav@173	1216	throw new IllegalStateException(is);
jaroslav@173	1217	}
jaroslav@173	1218	}
jaroslav@173	1219	return " = null;";
jaroslav@173	1220	}
jaroslav@0	1221	}

author	Lubomir Nerad <lubomir.nerad@oracle.com>
	Thu, 29 Nov 2012 20:19:00 +0100
branch	registers
changeset 221	3ee23267706c
parent 191	c18c3df35966
child 242	8bd4adaf6590
permissions	-rw-r--r--