sourcepawn2: src/Interpreter.cpp@32ad0523b309 (annotated)

dvander@39	1	/* vim: set ts=4 sw=4 tw=99 et:
dvander@39	2	*
dvander@0	3	* Copyright (C) 2012 David Anderson
dvander@0	4	*
dvander@0	5	* This file is part of JITCraft.
dvander@0	6	*
dvander@0	7	* JITCraft is free software: you can redistribute it and/or modify it under
dvander@0	8	* the terms of the GNU General Public License as published by the Free
dvander@0	9	* Software Foundation, either version 3 of the License, or (at your option)
dvander@0	10	* any later version.
dvander@0	11	*
dvander@0	12	* Foobar is distributed in the hope that it will be useful, but WITHOUT ANY
dvander@0	13	* WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS
dvander@0	14	* FOR A PARTICULAR PURPOSE. See the GNU General Public License for more details.
dvander@0	15	*
dvander@0	16	* You should have received a copy of the GNU General Public License along with
dvander@0	17	* JITCraft. If not, see http://www.gnu.org/licenses/.
dvander@0	18	*/
dvander@0	19	#include "Interpreter.h"
dvander@0	20	#include "Modules.h"
dvander@0	21	#include "Zone.h"
dvander@0	22	#include "Types.h"
dvander@12	23	#include "Array.h"
dvander@14	24	#include "Reference.h"
dvander@69	25	#include "Strings.h"
dvander@85	26	#include "Environments.h"
dvander@28	27	#include "Heap-inl.h"
dvander@0	28
dvander@59	29	using namespace ke;
dvander@0	30
dvander@0	31	#define PUSH_I32(top, value) \
dvander@0	32	do { \
dvander@0	33	top.sp->i32 = value; \
dvander@0	34	top.sp++; \
dvander@0	35	} while (0)
dvander@0	36
dvander@4	37	#define PUSH_F(top, value) \
dvander@4	38	do { \
dvander@4	39	top.sp->f = value; \
dvander@4	40	top.sp++; \
dvander@4	41	} while (0)
dvander@4	42
dvander@0	43	static inline int
dvander@0	44	POP_I32(Top &top)
dvander@0	45	{
dvander@0	46	int value = top.sp[-1].i32;
dvander@0	47	top.sp--;
dvander@0	48	return value;
dvander@0	49	}
dvander@0	50
dvander@4	51	static inline float
dvander@4	52	POP_F(Top &top)
dvander@4	53	{
dvander@4	54	float value = top.sp[-1].f;
dvander@4	55	top.sp--;
dvander@4	56	return value;
dvander@4	57	}
dvander@4	58
dvander@77	59	// Pawn's original semantics specify some kind of floor operation, so
dvander@77	60	// (8 / -3 == -3) and (-8 / 3 == -1). The SourcePawn 1 compiler (spcomp) uses
dvander@77	61	// the upstream algorithm when constant folding. However the SourcePawn 1 JIT
dvander@77	62	// does not. My guess is that Borja freaked out seeing the 13-instruction x86
dvander@77	63	// sequence necessary to get this functionality (I vaguely recall a thread
dvander@77	64	// where we discussed this with Mark Peter? But the ITB forums are gone...),
dvander@77	65	// and we just decided to break the damn thing. So SP1 was inconsistent, but
dvander@77	66	// we are not. And for completeness, we assert that the C compiler does the
dvander@77	67	// right thing, since C89 leaves it unspecified.
dvander@77	68	STATIC_ASSERT(8 / -3 == -2);
dvander@77	69	STATIC_ASSERT(-8 / 3 == -2);
dvander@77	70
dvander@0	71	static inline bool
dvander@14	72	PushNewRef(Zone zone, Top &top, void location, Heap::Tenure tenure)
dvander@14	73	{
dvander@14	74	Reference *ref = Reference::NewStack(zone, location, tenure);
dvander@14	75	if (!ref)
dvander@14	76	return false;
dvander@14	77	top.sp->ref = ref;
dvander@14	78	top.sp++;
dvander@14	79	return true;
dvander@14	80	}
dvander@14	81
dvander@12	82	// Generate an array with completely static sizes.
dvander@12	83	static Array *
dvander@85	84	GenerateArray(Zone *zone, Handle<ArrayMap> map, Heap::Tenure tenure)
dvander@0	85	{
dvander@12	86	assert(map->type()->elements() != -1);
dvander@0	87
dvander@85	88	Local<Array> array(zone, Array::New(zone, map, map->type()->elements(), tenure));
dvander@12	89	if (!array)
dvander@0	90	return NULL;
dvander@0	91
dvander@12	92	if (map->type()->levels() == 1)
dvander@12	93	return array;
dvander@0	94
dvander@27	95	Local<ArrayMap> contained(zone, map->contained());
dvander@43	96	Local<Array> sub(zone);
dvander@12	97	for (unsigned i = 0; i < unsigned(map->type()->elements()); i++) {
dvander@85	98	sub = GenerateArray(zone, contained, tenure);
dvander@12	99	if (!sub)
dvander@0	100	return NULL;
dvander@12	101	array->writeObject(zone, i, sub);
dvander@0	102	}
dvander@0	103
dvander@12	104	return array;
dvander@0	105	}
dvander@0	106
dvander@21	107	static bool
dvander@21	108	CopyArray(Zone zone, Array source, Array *dest)
dvander@21	109	{
dvander@21	110	assert(source->type()->levels() == 1);
dvander@21	111	assert(dest->type()->levels() == 1);
dvander@21	112	assert(source->type()->contained()->primitive() ==
dvander@21	113	dest->type()->contained()->primitive());
dvander@21	114	assert(source->nelements() >= dest->nelements());
dvander@21	115	assert(dest->elementSize() == source->elementSize());
dvander@21	116
dvander@21	117	memcpy(source->vec(), dest->vec(), dest->nelements() * dest->elementSize());
dvander@21	118	return true;
dvander@21	119	}
dvander@21	120
dvander@68	121	static bool
dvander@68	122	InvokeNative(Zone zone, Handle<Native> native, void identity, LocalSlot *args, unsigned argc,
dvander@68	123	int *result)
dvander@68	124	{
dvander@68	125	NativeArgs guard;
dvander@68	126
dvander@68	127	if (!zone->stack().pushNativeFrame(native, guard, argc + 1))
dvander@68	128	return false;
dvander@68	129
dvander@68	130	intptr_t *cells = guard.args();
dvander@68	131
dvander@68	132	// params[0] == argc, in ISPE
dvander@68	133	cells[0] = argc;
dvander@68	134
dvander@68	135	// Pass the formal arguments.
dvander@68	136	Local<Type> type(zone, native->type());
dvander@68	137	Local<Type> param(zone);
dvander@68	138	for (unsigned i = 0; i < type->parameters()->length(); i++) {
dvander@68	139	param = type->parameterAt(i);
dvander@68	140
dvander@68	141	// For floats, we rely on the aliasing of \|i32\| and \|f\|.
dvander@68	142	LocalSlot &arg = args[-int(i) - 1];
dvander@68	143	if (param->isInt32() \|\| param->isFloat()) {
dvander@68	144	cells[i + 1] = arg.i32;
dvander@68	145	} else if (param->isReference()) {
dvander@68	146	cells[i + 1] = reinterpret_cast<intptr_t>(arg.ref->location());
dvander@68	147	} else {
dvander@68	148	assert(param->isArray());
dvander@68	149	cells[i + 1] = reinterpret_cast<intptr_t>(arg.array->vec());
dvander@68	150	}
dvander@68	151	}
dvander@68	152
dvander@68	153	// For variadic arguments, the compiler left either arrays or references.
dvander@68	154	for (unsigned i = type->parameters()->length(); i < argc; i++) {
dvander@68	155	LocalSlot &arg = args[-int(i) - 1];
dvander@68	156
dvander@68	157	if (arg.obj->is(MapKind_Reference)) {
dvander@68	158	cells[i + 1] = reinterpret_cast<intptr_t>(arg.ref->location());
dvander@68	159	} else {
dvander@68	160	assert(arg.obj->is(MapKind_Array));
dvander@68	161	cells[i + 1] = reinterpret_cast<intptr_t>(arg.array->vec());
dvander@68	162	}
dvander@68	163	}
dvander@68	164
dvander@68	165	typedef intptr_t (INVOKE)(void , intptr_t *);
dvander@68	166	INVOKE invoke = (INVOKE)native->function();
dvander@68	167	*result = invoke(identity, cells);
dvander@68	168
dvander@69	169	return !zone->hasPendingException();
dvander@68	170	}
dvander@68	171
dvander@0	172	bool
dvander@59	173	ke::Interpret(Zone zone, Frame entryFrame, LocalSlot *result)
dvander@0	174	{
dvander@42	175	Top &top = *zone->stack().top();
dvander@69	176	if (!entryFrame)
dvander@69	177	entryFrame = top.fp;
dvander@69	178
dvander@47	179	LocalSlot *locals = entryFrame->locals();
dvander@0	180
dvander@0	181	for (;;) {
dvander@0	182	Opcode op = Opcode(*top.pc);
dvander@0	183	switch (op) {
dvander@0	184
dvander@0	185	case OP_NOP:
dvander@0	186	break;
dvander@0	187
dvander@0	188	case OP_INT:
dvander@0	189	PUSH_I32(top, READ_INT32(top.pc));
dvander@0	190	break;
dvander@0	191
dvander@4	192	case OP_FLOAT:
dvander@4	193	PUSH_F(top, READ_FLOAT(top.pc));
dvander@4	194	break;
dvander@4	195
dvander@0	196	case OP_RETURN:
dvander@72	197	case OP_RETURNVOID:
dvander@72	198	case OP_STOP:
dvander@0	199	{
dvander@72	200	if (op == OP_RETURN)
dvander@72	201	result = --top.sp;
dvander@72	202
dvander@69	203	if (top.fp == entryFrame)
dvander@69	204	goto done;
dvander@0	205
dvander@72	206	// This must not GC.
dvander@65	207	zone->stack().popInlineFrame();
dvander@47	208	locals = top.fp->locals();
dvander@72	209
dvander@72	210	if (op == OP_RETURN)
dvander@72	211	top.sp++ = result;
dvander@72	212
dvander@0	213	top.pc += OpcodeInfo[*top.pc].length;
dvander@0	214	continue;
dvander@0	215	}
dvander@0	216
dvander@80	217	case OP_POP:
dvander@80	218	{
dvander@80	219	top.sp--;
dvander@80	220	break;
dvander@80	221	}
dvander@80	222
dvander@0	223	#define RELATIONAL_JUMP(op) \
dvander@0	224	{ \
dvander@0	225	int right = POP_I32(top); \
dvander@0	226	int left = POP_I32(top); \
dvander@0	227	if (left op right) { \
dvander@0	228	top.pc += READ_INT32(top.pc); \
dvander@0	229	continue; \
dvander@0	230	} \
dvander@0	231	}
dvander@0	232
dvander@0	233	case OP_JL:
dvander@0	234	RELATIONAL_JUMP(<);
dvander@0	235	break;
dvander@0	236
dvander@0	237	case OP_JLE:
dvander@0	238	RELATIONAL_JUMP(<=);
dvander@0	239	break;
dvander@0	240
dvander@0	241	case OP_JG:
dvander@0	242	RELATIONAL_JUMP(>);
dvander@0	243	break;
dvander@0	244
dvander@0	245	case OP_JGE:
dvander@0	246	RELATIONAL_JUMP(>=);
dvander@0	247	break;
dvander@0	248
dvander@0	249	case OP_JEQ:
dvander@0	250	RELATIONAL_JUMP(==);
dvander@0	251	break;
dvander@0	252
dvander@0	253	case OP_JNE:
dvander@0	254	RELATIONAL_JUMP(!=);
dvander@0	255	break;
dvander@0	256
dvander@74	257	#undef RELATIONAL_JUMP
dvander@74	258
dvander@0	259	case OP_JT:
dvander@0	260	{
dvander@0	261	int value = POP_I32(top);
dvander@0	262	if (value) {
dvander@0	263	top.pc += READ_INT32(top.pc);
dvander@0	264	continue;
dvander@0	265	}
dvander@0	266	break;
dvander@0	267	}
dvander@0	268
dvander@0	269	case OP_JF:
dvander@0	270	{
dvander@0	271	int value = POP_I32(top);
dvander@0	272	if (!value) {
dvander@0	273	top.pc += READ_INT32(top.pc);
dvander@0	274	continue;
dvander@0	275	}
dvander@0	276	break;
dvander@0	277	}
dvander@0	278
dvander@74	279	#define RELATIONAL_JUMP_F(op) \
dvander@74	280	{ \
dvander@74	281	float right = POP_F(top); \
dvander@74	282	float left = POP_F(top); \
dvander@74	283	if (left op right) { \
dvander@74	284	top.pc += READ_INT32(top.pc); \
dvander@74	285	continue; \
dvander@74	286	} \
dvander@74	287	}
dvander@74	288
dvander@74	289	case OP_JL_F:
dvander@74	290	RELATIONAL_JUMP_F(<);
dvander@74	291	break;
dvander@74	292
dvander@74	293	case OP_JLE_F:
dvander@74	294	RELATIONAL_JUMP_F(<=);
dvander@74	295	break;
dvander@74	296
dvander@74	297	case OP_JG_F:
dvander@74	298	RELATIONAL_JUMP_F(>);
dvander@74	299	break;
dvander@74	300
dvander@74	301	case OP_JGE_F:
dvander@74	302	RELATIONAL_JUMP_F(>=);
dvander@74	303	break;
dvander@74	304
dvander@74	305	case OP_JEQ_F:
dvander@74	306	RELATIONAL_JUMP_F(==);
dvander@74	307	break;
dvander@74	308
dvander@74	309	case OP_JNE_F:
dvander@74	310	RELATIONAL_JUMP_F(!=);
dvander@74	311	break;
dvander@74	312
dvander@74	313	case OP_JT_F:
dvander@74	314	{
dvander@74	315	float value = POP_F(top);
dvander@74	316	if (value) {
dvander@74	317	top.pc += READ_INT32(top.pc);
dvander@74	318	continue;
dvander@74	319	}
dvander@74	320	break;
dvander@74	321	}
dvander@74	322
dvander@74	323	case OP_JF_F:
dvander@74	324	{
dvander@74	325	float value = POP_F(top);
dvander@74	326	if (!value) {
dvander@74	327	top.pc += READ_INT32(top.pc);
dvander@74	328	continue;
dvander@74	329	}
dvander@74	330	break;
dvander@74	331	}
dvander@74	332
dvander@0	333	case OP_JUMP:
dvander@0	334	top.pc += READ_INT32(top.pc);
dvander@0	335	continue;
dvander@0	336
dvander@0	337	case OP_GETLOCAL:
dvander@0	338	{
dvander@0	339	int slot = READ_INT32(top.pc);
dvander@0	340	*top.sp++ = locals[slot];
dvander@0	341	break;
dvander@0	342	}
dvander@0	343
dvander@0	344	case OP_SETLOCAL:
dvander@0	345	{
dvander@0	346	int slot = READ_INT32(top.pc);
dvander@0	347	locals[slot] = top.sp[-1];
dvander@0	348	break;
dvander@0	349	}
dvander@0	350
dvander@0	351	case OP_ADD:
dvander@0	352	{
dvander@77	353	top.sp[-2].i32 = top.sp[-2].i32 + top.sp[-1].i32;
dvander@77	354	top.sp--;
dvander@0	355	break;
dvander@0	356	}
dvander@0	357
dvander@0	358	case OP_SUB:
dvander@0	359	{
dvander@77	360	top.sp[-2].i32 = top.sp[-2].i32 - top.sp[-1].i32;
dvander@77	361	top.sp--;
dvander@0	362	break;
dvander@0	363	}
dvander@0	364
dvander@0	365	case OP_MUL:
dvander@0	366	{
dvander@77	367	top.sp[-2].i32 = top.sp[-2].i32 * top.sp[-1].i32;
dvander@77	368	top.sp--;
dvander@0	369	break;
dvander@0	370	}
dvander@0	371
dvander@0	372	case OP_DIV:
dvander@0	373	{
dvander@77	374	if (top.sp[-1].i32 == 0) {
dvander@69	375	zone->reportError(Message_IntegerDivideByZero);
dvander@69	376	goto error;
dvander@69	377	}
dvander@77	378	top.sp[-2].i32 = top.sp[-2].i32 / top.sp[-1].i32;
dvander@77	379	top.sp--;
dvander@0	380	break;
dvander@0	381	}
dvander@0	382
dvander@82	383	case OP_MOD:
dvander@82	384	{
dvander@82	385	if (top.sp[-1].i32 == 0) {
dvander@82	386	zone->reportError(Message_IntegerDivideByZero);
dvander@82	387	goto error;
dvander@82	388	}
dvander@82	389	top.sp[-2].i32 = top.sp[-2].i32 % top.sp[-1].i32;
dvander@82	390	top.sp--;
dvander@82	391	break;
dvander@82	392	}
dvander@82	393
dvander@74	394	case OP_LT:
dvander@74	395	{
dvander@74	396	top.sp[-2].i32 = top.sp[-2].i32 < top.sp[-1].i32;
dvander@74	397	top.sp--;
dvander@74	398	break;
dvander@74	399	}
dvander@74	400
dvander@74	401	case OP_LE:
dvander@74	402	{
dvander@74	403	top.sp[-2].i32 = top.sp[-2].i32 <= top.sp[-1].i32;
dvander@74	404	top.sp--;
dvander@74	405	break;
dvander@74	406	}
dvander@74	407
dvander@74	408	case OP_GT:
dvander@74	409	{
dvander@74	410	top.sp[-2].i32 = top.sp[-2].i32 > top.sp[-1].i32;
dvander@74	411	top.sp--;
dvander@74	412	break;
dvander@74	413	}
dvander@74	414
dvander@74	415	case OP_GE:
dvander@74	416	{
dvander@74	417	top.sp[-2].i32 = top.sp[-2].i32 >= top.sp[-1].i32;
dvander@74	418	top.sp--;
dvander@74	419	break;
dvander@74	420	}
dvander@74	421
dvander@74	422	case OP_EQ:
dvander@74	423	{
dvander@74	424	top.sp[-2].i32 = (top.sp[-2].i32 == top.sp[-1].i32);
dvander@74	425	top.sp--;
dvander@74	426	break;
dvander@74	427	}
dvander@74	428
dvander@74	429	case OP_NE:
dvander@74	430	{
dvander@74	431	top.sp[-2].i32 = (top.sp[-2].i32 != top.sp[-1].i32);
dvander@74	432	top.sp--;
dvander@74	433	break;
dvander@74	434	}
dvander@74	435
dvander@4	436	case OP_ADD_F:
dvander@4	437	{
dvander@77	438	top.sp[-2].f = top.sp[-2].f + top.sp[-1].f;
dvander@77	439	top.sp--;
dvander@4	440	break;
dvander@4	441	}
dvander@4	442
dvander@4	443	case OP_SUB_F:
dvander@4	444	{
dvander@77	445	top.sp[-2].f = top.sp[-2].f - top.sp[-1].f;
dvander@77	446	top.sp--;
dvander@4	447	break;
dvander@4	448	}
dvander@4	449
dvander@4	450	case OP_MUL_F:
dvander@4	451	{
dvander@77	452	top.sp[-2].f = top.sp[-2].f * top.sp[-1].f;
dvander@77	453	top.sp--;
dvander@4	454	break;
dvander@4	455	}
dvander@4	456
dvander@4	457	case OP_DIV_F:
dvander@4	458	{
dvander@77	459	top.sp[-2].f = top.sp[-2].f / top.sp[-1].f;
dvander@77	460	top.sp--;
dvander@4	461	break;
dvander@4	462	}
dvander@4	463
dvander@74	464	case OP_LT_F:
dvander@74	465	{
dvander@74	466	top.sp[-2].f = top.sp[-2].f < top.sp[-1].f;
dvander@74	467	top.sp--;
dvander@74	468	break;
dvander@74	469	}
dvander@74	470
dvander@74	471	case OP_LE_F:
dvander@74	472	{
dvander@74	473	top.sp[-2].f = top.sp[-2].f <= top.sp[-1].f;
dvander@74	474	top.sp--;
dvander@74	475	break;
dvander@74	476	}
dvander@74	477
dvander@74	478	case OP_GT_F:
dvander@74	479	{
dvander@74	480	top.sp[-2].f = top.sp[-2].f > top.sp[-1].f;
dvander@74	481	top.sp--;
dvander@74	482	break;
dvander@74	483	}
dvander@74	484
dvander@74	485	case OP_GE_F:
dvander@74	486	{
dvander@74	487	top.sp[-2].f = top.sp[-2].f >= top.sp[-1].f;
dvander@74	488	top.sp--;
dvander@74	489	break;
dvander@74	490	}
dvander@74	491
dvander@74	492	case OP_EQ_F:
dvander@74	493	{
dvander@74	494	top.sp[-2].i32 = (top.sp[-2].f == top.sp[-1].f);
dvander@74	495	top.sp--;
dvander@74	496	break;
dvander@74	497	}
dvander@74	498
dvander@74	499	case OP_NE_F:
dvander@74	500	{
dvander@74	501	top.sp[-2].i32 = (top.sp[-2].f != top.sp[-1].f);
dvander@74	502	top.sp--;
dvander@74	503	break;
dvander@74	504	}
dvander@74	505
dvander@8	506	case OP_SHL:
dvander@8	507	{
dvander@77	508	top.sp[-2].i32 = top.sp[-2].i32 << top.sp[-1].i32;
dvander@77	509	top.sp--;
dvander@8	510	break;
dvander@8	511	}
dvander@8	512
dvander@8	513	case OP_SHR:
dvander@8	514	{
dvander@77	515	top.sp[-2].i32 = top.sp[-2].i32 >> top.sp[-1].i32;
dvander@77	516	top.sp--;
dvander@8	517	break;
dvander@8	518	}
dvander@8	519
dvander@8	520	case OP_USHR:
dvander@8	521	{
dvander@77	522	top.sp[-2].i32 = unsigned(top.sp[-2].i32) << unsigned(top.sp[-1].i32);
dvander@77	523	top.sp--;
dvander@8	524	break;
dvander@8	525	}
dvander@8	526
dvander@8	527	case OP_BITAND:
dvander@8	528	{
dvander@77	529	top.sp[-2].i32 = top.sp[-2].i32 & top.sp[-1].i32;
dvander@77	530	top.sp--;
dvander@8	531	break;
dvander@8	532	}
dvander@8	533
dvander@8	534	case OP_BITOR:
dvander@8	535	{
dvander@77	536	top.sp[-2].i32 = top.sp[-2].i32 \| top.sp[-1].i32;
dvander@77	537	top.sp--;
dvander@8	538	break;
dvander@8	539	}
dvander@8	540
dvander@8	541	case OP_BITXOR:
dvander@8	542	{
dvander@77	543	top.sp[-2].i32 = top.sp[-2].i32 ^ top.sp[-1].i32;
dvander@77	544	top.sp--;
dvander@8	545	break;
dvander@8	546	}
dvander@8	547
dvander@78	548	case OP_BITNOT:
dvander@78	549	{
dvander@78	550	top.sp[-1].i32 = ~top.sp[-1].i32;
dvander@78	551	break;
dvander@78	552	}
dvander@78	553
dvander@79	554	case OP_NOT:
dvander@79	555	{
dvander@79	556	top.sp[-1].i32 = top.sp[-1].i32 ? 0 : 1;
dvander@79	557	break;
dvander@79	558	}
dvander@79	559
dvander@79	560	case OP_NOT_F:
dvander@79	561	{
dvander@79	562	top.sp[-1].i32 = top.sp[-1].f ? 0 : 1;
dvander@79	563	break;
dvander@79	564	}
dvander@79	565
dvander@80	566	case OP_NEG:
dvander@79	567	{
dvander@80	568	top.sp[-1].i32 = -top.sp[-1].i32;
dvander@80	569	break;
dvander@80	570	}
dvander@80	571
dvander@80	572	case OP_NEG_F:
dvander@80	573	{
dvander@80	574	top.sp[-1].f = -top.sp[-1].f;
dvander@0	575	break;
dvander@79	576	}
dvander@0	577
dvander@73	578	case OP_CALL:
dvander@0	579	{
dvander@73	580	Local<Function> newFun(zone, top.sp[-1].fun);
dvander@73	581	top.sp--;
dvander@73	582
dvander@69	583	if (!zone->stack().pushInlineFrame(newFun))
dvander@69	584	goto error;
dvander@0	585
dvander@47	586	locals = top.fp->locals();
dvander@0	587	continue;
dvander@0	588	}
dvander@0	589
dvander@0	590	case OP_GETARG:
dvander@0	591	{
dvander@0	592	unsigned slot = READ_UINT32(top.pc);
dvander@47	593	*top.sp++ = top.fp->arg(slot);
dvander@0	594	break;
dvander@0	595	}
dvander@0	596
dvander@0	597	case OP_SETARG:
dvander@0	598	{
dvander@0	599	unsigned slot = READ_UINT32(top.pc);
dvander@47	600	top.fp->arg(slot) = *--top.sp;
dvander@0	601	break;
dvander@0	602	}
dvander@0	603
dvander@19	604	case OP_BOUNDS:
dvander@0	605	{
dvander@12	606	Array *array = top.sp[-2].array;
dvander@0	607	int index = top.sp[-1].i32;
dvander@69	608	if (index < 0 \|\| unsigned(index) >= array->nelements()) {
dvander@69	609	zone->reportError(Message_ArrayIndexOutOfBounds, index, array->nelements());
dvander@69	610	goto error;
dvander@69	611	}
dvander@0	612	break;
dvander@0	613	}
dvander@0	614
dvander@6	615	case OP_GETARRAY_I:
dvander@0	616	{
dvander@12	617	Array *array = top.sp[-2].array;
dvander@0	618	int index = top.sp[-1].i32;
dvander@0	619	top.sp[-2].i32 = array->readInt32(index);
dvander@0	620	top.sp--;
dvander@0	621	break;
dvander@0	622	}
dvander@0	623
dvander@7	624	case OP_GETARRAY_F:
dvander@7	625	{
dvander@12	626	Array *array = top.sp[-2].array;
dvander@7	627	int index = top.sp[-1].i32;
dvander@7	628	top.sp[-2].f = array->readFloat(index);
dvander@7	629	top.sp--;
dvander@7	630	break;
dvander@7	631	}
dvander@7	632
dvander@21	633	case OP_GETARRAY_C:
dvander@21	634	{
dvander@21	635	Array *array = top.sp[-2].array;
dvander@21	636	int index = top.sp[-1].i32;
dvander@21	637	top.sp[-2].i32 = array->readChar(index);
dvander@21	638	top.sp--;
dvander@21	639	break;
dvander@21	640	}
dvander@21	641
dvander@6	642	case OP_SETARRAY_I:
dvander@0	643	{
dvander@12	644	Array *array = top.sp[-3].array;
dvander@0	645	int index = top.sp[-2].i32;
dvander@0	646	array->writeInt32(index, top.sp[-1].i32);
dvander@0	647	top.sp[-3] = top.sp[-1];
dvander@0	648	top.sp -= 2;
dvander@0	649	break;
dvander@0	650	}
dvander@0	651
dvander@7	652	case OP_SETARRAY_F:
dvander@7	653	{
dvander@12	654	Array *array = top.sp[-3].array;
dvander@7	655	int index = top.sp[-2].i32;
dvander@7	656	array->writeFloat(index, top.sp[-1].f);
dvander@7	657	top.sp[-3] = top.sp[-1];
dvander@7	658	top.sp -= 2;
dvander@7	659	break;
dvander@7	660	}
dvander@7	661
dvander@21	662	case OP_SETARRAY_C:
dvander@21	663	{
dvander@21	664	Array *array = top.sp[-3].array;
dvander@21	665	int index = top.sp[-2].i32;
dvander@21	666	array->writeChar(index, top.sp[-1].i32);
dvander@21	667	top.sp[-3] = top.sp[-1];
dvander@21	668	top.sp -= 2;
dvander@21	669	break;
dvander@21	670	}
dvander@21	671
dvander@19	672	case OP_GETARRAY_O:
dvander@0	673	{
dvander@12	674	Array *array = top.sp[-2].array;
dvander@0	675	int index = top.sp[-1].i32;
dvander@12	676	top.sp[-2].array = Array::cast(array->readObject(index));
dvander@0	677	top.sp--;
dvander@0	678	break;
dvander@0	679	}
dvander@0	680
dvander@4	681	case OP_CVT_I2F:
dvander@4	682	{
dvander@4	683	int ival = POP_I32(top);
dvander@4	684	float fval = (float)ival;
dvander@4	685	PUSH_F(top, fval);
dvander@4	686	break;
dvander@4	687	}
dvander@4	688
dvander@85	689	case OP_NEWARRAY:
dvander@12	690	{
dvander@85	691	Heap::Tenure tenure = (Heap::Tenure)top.pc[1];
dvander@85	692	Local<ArrayMap> map(zone, ArrayMap::cast(top.fp->code()->map(READ_UINT32(top.pc + 1))));
dvander@85	693	Array *array = GenerateArray(zone, map, tenure);
dvander@69	694	if (!array)
dvander@69	695	goto error;
dvander@12	696	top.sp->obj = array;
dvander@12	697	top.sp++;
dvander@12	698	break;
dvander@12	699	}
dvander@12	700
dvander@12	701	case OP_SAVELIFO:
dvander@10	702	{
dvander@10	703	unsigned slot = READ_UINT32(top.pc);
dvander@42	704	locals[slot].address = zone->heap().lifoPosition();
dvander@12	705	break;
dvander@12	706	}
dvander@12	707
dvander@12	708	case OP_UNWINDLIFO:
dvander@12	709	{
dvander@12	710	unsigned slot = READ_UINT32(top.pc);
dvander@42	711	zone->heap().unwindLifo(locals[slot].address);
dvander@10	712	break;
dvander@10	713	}
dvander@10	714
dvander@14	715	case OP_VARREF_LIFO:
dvander@14	716	{
dvander@14	717	unsigned slot = READ_UINT32(top.pc);
dvander@69	718	if (!PushNewRef(zone, top, &locals[slot], Heap::Tenure_Stack))
dvander@69	719	goto error;
dvander@14	720	break;
dvander@14	721	}
dvander@14	722
dvander@14	723	case OP_ARGREF_LIFO:
dvander@14	724	{
dvander@14	725	unsigned slot = READ_UINT32(top.pc);
dvander@69	726	if (!PushNewRef(zone, top, &top.fp->arg(slot), Heap::Tenure_Stack))
dvander@69	727	goto error;
dvander@14	728	break;
dvander@14	729	}
dvander@14	730
dvander@17	731	case OP_ARRAYREF_LIFO:
dvander@17	732	{
dvander@42	733	Local<Array> array(zone, top.sp[-2].array);
dvander@42	734	Local<Reference> ref(zone, Reference::NewArray(zone, array, top.sp[-1].i32, Heap::Tenure_Stack));
dvander@69	735	if (!ref)
dvander@69	736	goto error;
dvander@17	737	top.sp[-2].ref = ref;
dvander@17	738	top.sp--;
dvander@17	739	break;
dvander@17	740	}
dvander@17	741
dvander@16	742	case OP_SLOTREF_LIFO:
dvander@16	743	{
dvander@42	744	Reference *ref = Reference::NewStack(zone, top.sp[-1], Heap::Tenure_Stack);
dvander@69	745	if (!ref)
dvander@69	746	goto error;
dvander@16	747	top.sp[-1].ref = ref;
dvander@16	748	break;
dvander@16	749	}
dvander@16	750
dvander@14	751	case OP_GETREF_I:
dvander@14	752	{
dvander@14	753	top.sp[-1].i32 = top.sp[-1].ref->getInt();
dvander@14	754	break;
dvander@14	755	}
dvander@14	756
dvander@14	757	case OP_SETREF_I:
dvander@14	758	{
dvander@14	759	top.sp[-2].ref->setInt(top.sp[-1].i32);
dvander@14	760	top.sp[-2].i32 = top.sp[-1].i32;
dvander@23	761	top.sp--;
dvander@14	762	break;
dvander@14	763	}
dvander@14	764
dvander@14	765	case OP_GETREF_F:
dvander@14	766	{
dvander@14	767	top.sp[-1].f = top.sp[-1].ref->getFloat();
dvander@14	768	break;
dvander@14	769	}
dvander@14	770
dvander@14	771	case OP_SETREF_F:
dvander@14	772	{
dvander@14	773	top.sp[-2].ref->setFloat(top.sp[-1].f);
dvander@14	774	top.sp[-2].f = top.sp[-1].f;
dvander@14	775	break;
dvander@14	776	}
dvander@14	777
dvander@21	778	case OP_OBJECT:
dvander@21	779	{
dvander@47	780	top.sp->obj = top.fp->code()->object(READ_UINT32(top.pc));
dvander@21	781	top.sp++;
dvander@21	782	break;
dvander@21	783	}
dvander@21	784
dvander@21	785	case OP_ARRAYCOPY:
dvander@21	786	{
dvander@21	787	// Note for this assignment opcode, we return the left-hand side, not the
dvander@21	788	// right, since in this case the result of the expression could be different.
dvander@69	789	if (!CopyArray(zone, top.sp[-2].array, top.sp[-1].array))
dvander@69	790	goto error;
dvander@21	791	top.sp--;
dvander@21	792	break;
dvander@21	793	}
dvander@21	794
dvander@22	795	case OP_DUP:
dvander@22	796	{
dvander@23	797	top.sp++;
dvander@23	798	top.sp[-1] = top.sp[-2];
dvander@22	799	break;
dvander@22	800	}
dvander@22	801
dvander@22	802	case OP_DUP2:
dvander@22	803	{
dvander@23	804	top.sp += 2;
dvander@23	805	top.sp[-2] = top.sp[-4];
dvander@23	806	top.sp[-1] = top.sp[-3];
dvander@23	807	break;
dvander@23	808	}
dvander@23	809
dvander@23	810	case OP_SWAP:
dvander@23	811	{
dvander@23	812	LocalSlot slot = top.sp[-2];
dvander@23	813	top.sp[-2] = top.sp[-1];
dvander@23	814	top.sp[-1] = slot;
dvander@23	815	break;
dvander@23	816	}
dvander@23	817
dvander@23	818	case OP_ROLL3:
dvander@23	819	{
dvander@23	820	LocalSlot slot = top.sp[-3];
dvander@23	821	top.sp[-3] = top.sp[-2];
dvander@23	822	top.sp[-2] = top.sp[-1];
dvander@23	823	top.sp[-1] = slot;
dvander@23	824	break;
dvander@23	825	}
dvander@23	826
dvander@23	827	case OP_PICK2:
dvander@23	828	{
dvander@23	829	top.sp++;
dvander@23	830	top.sp[-1] = top.sp[-3];
dvander@23	831	break;
dvander@23	832	}
dvander@23	833
dvander@23	834	case OP_PICK3:
dvander@23	835	{
dvander@23	836	top.sp++;
dvander@23	837	top.sp[-1] = top.sp[-4];
dvander@22	838	break;
dvander@22	839	}
dvander@22	840
dvander@68	841	case OP_CALLNATIVE:
dvander@68	842	{
dvander@68	843	unsigned index = READ_UINT32(top.pc);
dvander@68	844	unsigned argc = READ_UINT32(top.pc + 4);
dvander@68	845
dvander@68	846	Local<Native> native(zone, Native::cast(top.fp->code()->module()->natives()->at(index)));
dvander@68	847	if (!native->function()) {
dvander@69	848	zone->reportError(Message_NativeNotBound, native->name()->chars());
dvander@69	849	goto error;
dvander@68	850	}
dvander@68	851
dvander@68	852	int result;
dvander@68	853	void *nativeIdentity = top.fp->code()->module()->nativeIdentity();
dvander@69	854	if (!InvokeNative(zone, native, nativeIdentity, top.sp, argc, &result))
dvander@69	855	goto error;
dvander@68	856
dvander@68	857	top.sp -= argc;
dvander@68	858	PUSH_I32(top, result);
dvander@68	859	break;
dvander@68	860	}
dvander@68	861
dvander@73	862	case OP_MODULE:
dvander@73	863	{
dvander@73	864	top.sp++;
dvander@73	865	top.sp[-1].module = top.fp->code()->module();
dvander@73	866	break;
dvander@73	867	}
dvander@73	868
dvander@73	869	case OP_GETMODULE_FN:
dvander@73	870	{
dvander@73	871	top.sp[-1].fun = top.sp[-1].module->getFunction(READ_UINT32(top.pc));
dvander@73	872	break;
dvander@73	873	}
dvander@73	874
dvander@85	875	case OP_GETGLOBAL_I:
dvander@85	876	{
dvander@85	877	unsigned slot = READ_UINT32(top.pc);
dvander@85	878	top.sp++;
dvander@85	879	top.sp[-1].i32 = top.fp->code()->module()->environment()->getInt32(slot);
dvander@85	880	break;
dvander@85	881	}
dvander@85	882
dvander@85	883	case OP_GETGLOBAL_F:
dvander@85	884	{
dvander@85	885	unsigned slot = READ_UINT32(top.pc);
dvander@85	886	top.sp++;
dvander@85	887	top.sp[-1].f = top.fp->code()->module()->environment()->getFloat(slot);
dvander@85	888	break;
dvander@85	889	}
dvander@85	890
dvander@85	891	case OP_GETGLOBAL_O:
dvander@85	892	{
dvander@85	893	unsigned slot = READ_UINT32(top.pc);
dvander@85	894	top.sp++;
dvander@85	895	top.sp[-1].obj = top.fp->code()->module()->environment()->getObject(slot);
dvander@85	896	break;
dvander@85	897	}
dvander@85	898
dvander@85	899	case OP_SETGLOBAL_I:
dvander@85	900	{
dvander@85	901	unsigned slot = READ_UINT32(top.pc);
dvander@85	902	top.fp->code()->module()->environment()->setInt32(slot, top.sp[-1].i32);
dvander@85	903	break;
dvander@85	904	}
dvander@85	905
dvander@85	906	case OP_SETGLOBAL_F:
dvander@85	907	{
dvander@85	908	unsigned slot = READ_UINT32(top.pc);
dvander@85	909	top.fp->code()->module()->environment()->setFloat(slot, top.sp[-1].f);
dvander@85	910	break;
dvander@85	911	}
dvander@85	912
dvander@85	913	case OP_SETGLOBAL_O:
dvander@85	914	{
dvander@85	915	unsigned slot = READ_UINT32(top.pc);
dvander@85	916	top.fp->code()->module()->environment()->setObject(slot, top.sp[-1].obj);
dvander@85	917	break;
dvander@85	918	}
dvander@85	919
dvander@0	920	default:
dvander@0	921	assert(false);
dvander@0	922	return false;
dvander@0	923
dvander@0	924	}
dvander@0	925
dvander@0	926	top.pc += OpcodeInfo[op].length;
dvander@0	927	}
dvander@0	928
dvander@69	929	done:
dvander@0	930	return true;
dvander@69	931
dvander@69	932	error:
dvander@69	933	// Unwind frames until we can continue.
dvander@69	934	while (top.fp != entryFrame)
dvander@69	935	zone->stack().popInlineFrame();
dvander@69	936	return false;
dvander@0	937	}

author	David Anderson <dvander@alliedmods.net>
	Tue Jul 24 23:53:34 2012 -0700 (2012-07-24)
changeset 86	32ad0523b309
parent 85	jitcraft/Interpreter.cpp@06a0015b6a5c
child 91	5f4402180204
permissions	-rw-r--r--