Context Navigation

framscript.y @ 1182

Last change on this file since 1182 was 1077, checked in by Maciej Komosinski, 4 years ago
Fixed limited scope of for(var somevariable) ...
Property svn:eol-style set to `native`
File size: 52.3 KB

Rev	Line
[286]	1	// This file is a part of Framsticks SDK. http://www.framsticks.com/
	2	// Copyright (C) 1999-2015 Maciej Komosinski and Szymon Ulatowski.
	3	// See LICENSE.txt for details.
[163]	4
	5	%{
	6	#include "framscript-defs.h"
[375]	7	#include "common/log.h"
[163]	8	#include <math.h>
	9	#include <ctype.h>
	10	#include <stdio.h>
	11
	12	#define YYERROR_VERBOSE
	13	#define YYPRINT(file,type,value) yyprint (file,type,value)
	14
[477]	15	enum NameKind { NameNotFound, VariableName, GlobalName, ConstName };
	16	static const char* name_kind_names[]={"","var","global","const"};
	17
[163]	18	static void yyprint (FILE *file,int type,YYSTYPE value);
	19	void handleTwoArg(YYSTYPE& result,const YYSTYPE& arg1,const YYSTYPE& arg2,
[332]	20	int optoken,const char* opname, bool negarg2, bool uniq);
	21	bool handleCompare(YYSTYPE& result,const YYSTYPE& arg1,const YYSTYPE& arg2,
	22	ExtValue::CmpOperator,const char* opname);
[163]	23	bool handleAssignOp(YYSTYPE& result,const YYSTYPE& var,const YYSTYPE& arg,const char* opname);
	24	bool handleAssignOp2(YYSTYPE& result,const char var,const YYSTYPE& arg,const char opname,int stackpos,bool push);
[477]	25	bool canAddName(const SString &name,NameKind kind);
[163]	26	bool variableOk(TokenValue &tok, const TokenValue& var,int &loc);
[477]	27	int variableNameOk(const SString &name);
[163]	28	bool globalOk(const TokenValue& var);
[477]	29	bool globalNameOk(const SString& name);
[163]	30	void badVariable(TokenValue &tok, const TokenValue &var);
	31	bool evalVariable(TokenValue &tok, const TokenValue &var);
	32	bool doBreak(int level);
	33	bool doContinue(int level);
	34	void warnTruthValue(const TokenValue& t);
	35	void outFunName(const TokenValue& t);
[333]	36	static bool resultIsRelaxedEqual(ExtValue::CompareResult res);
[163]	37
	38	static const char* assign_op_names[]={"add","sub","mul","div","mod"};
	39
	40	%}
	41
	42	%token_table
	43
	44	%token CONSTANT
[468]	45	%token INVALID_NUMBER
[163]	46
[863]	47	%left ASSIGN_ADD ASSIGN_SUB ASSIGN_MUL ASSIGN_DIV ASSIGN_MOD
[859]	48	%right '?' ':'
[863]	49	%left LOGIC_OR
	50	%left LOGIC_AND
	51	%left '\|'
	52	%left '&'
	53	%left EQUAL NOT_EQUAL
	54	%left GEQUAL LEQUAL '>' '<'
	55	%left LSHIFT RSHIFT
[163]	56	%left '-' '+'
	57	%left '*' '/' '%'
[863]	58	%right NEG '!' PLUSPLUS MINUSMINUS
[163]	59	%left TYPEOF
[333]	60	%left INT_TYPE
	61	%left FLOAT_TYPE
	62	%left STRING_TYPE
[163]	63
	64	%token IDENT
	65	%token OBJNAME
	66
	67	%token IF "if"
	68	%token ELSE "else"
	69	%token FOR "for"
	70	%token INNN "in"
	71	%token WHILE "while"
	72	%token DO "do"
	73	%token GOTO "goto"
	74	%token RETURN "return"
	75	%token BREAK "break"
	76	%token CONTINUE "continue"
	77	%token SWITCH "switch"
	78	%token CASE "case"
	79	%token DEFAULT "default"
	80
[333]	81	%token TYPEOF "typeof"
	82	%token INT_TYPE "int"
	83	%token FLOAT_TYPE "float"
	84	%token STRING_TYPE "string"
[163]	85
	86	%token ASM
	87	%token ASMLINE
	88
	89	%token VAR "var"
[477]	90	%token CONSTDEF "const"
[163]	91	%token GLOBAL "global"
	92	%token FUNCTION "function"
	93
	94	%token CALL "call"
	95
[477]	96	%token ARROW
	97
[163]	98	%token ASSIGN
	99	%token ASSIGN_ADD
	100	%token ASSIGN_SUB
	101	%token ASSIGN_MUL
	102	%token ASSIGN_DIV
	103
	104	%token EQUAL
	105	%token NOT_EQUAL
	106	%token GEQUAL
	107	%token LEQUAL
	108
	109	%token LOGIC_AND
	110	%token LOGIC_OR
	111
	112	%token PLUSPLUS
	113	%token MINUSMINUS
	114
	115	%token LSHIFT
	116	%token RSHIFT
	117
	118	%%
	119	code: {$$.setInt(trstack.currentPos());} recurcode
	120	{
	121	int pos=$1.getInt();
	122	if (pos!=trstack.currentPos()) trctx.out->printf("add %d,m0\n",pos-trstack.currentPos());
	123	}
	124	;
	125
	126	recurcode: /* empty string */
	127	\| recurcode statement
	128	;
	129
	130	statement: ';'
	131	\| VAR vardeflist ';'
[477]	132	\| CONSTDEF constdeflist ';'
[163]	133	\| GLOBAL globaldeflist ';'
	134	\| IDENT ':' {trctx.out->printf(":%s\n",str($1));}
[332]	135	\| expr ';' {if (!$1.constant) { trctx.out->printf("inc m0\n"); trstack.adjust(+1); } trctx.emitLine(); }
[163]	136	\| functiondef
	137	\| blok
	138	\| if_statement
	139	\| goto_statement
	140	\| return_statement
	141	\| for_statement
	142	\| while_statement
	143	\| dowhile_statement
	144	\| break_statement
	145	\| continue_statement
	146	\| switch_statement
	147	// \| error ';'
	148	\| asmblock
	149	;
	150
	151	asmblock: ASM asmlines '}'
	152	;
	153
	154	asmlines: /* empty */
[523]	155	\| ASMLINE {trctx.out->Vputs(str($1));trctx.out->Vputc('\n');}
	156	\| asmlines ASMLINE {trctx.out->Vputs(str($2));trctx.out->Vputc('\n');}
[163]	157	;
	158
	159	goto_statement: GOTO IDENT ';'
	160	{
	161	#ifdef FRAMSCRIPT_GOTO
[375]	162	trctx.out->printf("jump :%s\n",str($2)); logPrintf("FramScriptCompiler","translate",LOG_WARN,"goto is not recommended"); trctx.emitLine();
[163]	163	#else
[245]	164	trctx.err->printf("goto is not supported\n");return 1;
[163]	165	#endif
	166	}
	167	;
	168
	169	return_statement: RETURN expr ';'
	170	{
	171	int offset;
[466]	172	if (trctx.functionstackpos==TranslatorContext::NOT_IN_FUNCTION)
[163]	173	offset=-trstack.currentPos();
	174	else
	175	offset=trctx.functionstackpos-trstack.currentPos();
	176	if (!offset)
	177	{
	178	if ($2.constant)
	179	trctx.out->printf("move %s,s0\nreturn\n",litstr($2));
	180	else
	181	{
	182	trctx.out->printf("move m[m0++],s0\nreturn\n");
	183	trstack.adjust(+1);
	184	}
	185	}
	186	else
	187	{
	188	if ($2.constant)
	189	{
	190	trctx.out->printf("add %d,m0\nmove %s,s0\nreturn\n",offset,litstr($2));
	191	trstack.adjust(offset);
	192	}
	193	else
	194	{
	195	trctx.out->printf("move s0,s%d\nadd %d,m0\nreturn\n",offset,offset);
	196	trstack.adjust(offset);
	197	}
	198	}
	199	}
	200	\| RETURN ';'
	201	{
	202	int offset;
[466]	203	if (trctx.functionstackpos==TranslatorContext::NOT_IN_FUNCTION)
[163]	204	offset=-trstack.currentPos();
	205	else
	206	offset=trctx.functionstackpos-trstack.currentPos();
[332]	207	trctx.emitLine();
[163]	208	if (!offset)
	209	trctx.out->printf("move invalid,s0\nreturn\n");
	210	else
	211	trctx.out->printf("add %d,m0\nmove invalid,s0\nreturn\n",offset);
	212	}
	213	;
	214
	215	vardeflist: vardef
	216	\| vardeflist ',' vardef
	217	;
	218
[477]	219	vardef: IDENT { trctx.emitLine(); if (!canAddName($1.getString(),VariableName)) return 1; trstack.addVariable($1.getString()); trctx.out->printf("push invalid\n"); }
	220	\| IDENT '=' stackexpr { trctx.emitLine(); if (!canAddName($1.getString(),VariableName)) return 1; trstack.adjust(1); trstack.addVariable($1.getString());}
[163]	221	;
	222
[477]	223	constdeflist: constdef
	224	\| constdeflist ',' constdef
	225	;
	226
	227	constdef: IDENT '=' expr { trctx.emitLine(); if (!canAddName($1.getString(),ConstName)) return 1; if (!$3.constant) {trctx.err->printf("const expression must be constant");return 1;} trstack.addConstant($1.getString(),$3); }
	228	;
	229
[163]	230	globaldeflist: globaldef
	231	\| globaldeflist ',' globaldef
	232	;
	233
[477]	234	globaldef: IDENT { if (!canAddName($1.getString(),GlobalName)) return 1; trstack.globals.add($1.getString(),0); trctx.out->printf("global %s\n",str($1));}
[163]	235	;
	236
	237	funparam: IDENT { trstack.addVariable($1.getString()); };
	238
	239	paramlist: /* empty */ {$$.setInt(0); }
	240	\| funparam {$$.setInt(1); }
	241	\| paramlist ',' funparam {$$.setInt($1.getInt()+1);}
	242	;
	243
	244	funnamelist:
	245	IDENT {outFunName($1);}
	246	\| funnamelist ',' IDENT {outFunName($3);}
	247	;
	248
	249	functiondef: FUNCTION funnamelist
	250	{
[332]	251	trctx.emitLine();
[163]	252	int pos=trstack.currentPos();
	253	$$.setInt(pos);
[466]	254	if (trctx.functionstackpos!=TranslatorContext::NOT_IN_FUNCTION)
[245]	255	{trctx.err->printf("functions cannot be nested\n");return 1;}
[466]	256	trctx.beforefunctionstackpos=trstack.currentPos();
[163]	257	}
	258	'(' paramlist ')'
	259	{
	260	trctx.functionstackpos=trstack.currentPos();
	261	}
	262	blok
	263	{trctx.out->printf("move invalid,s0\nreturn\n");
	264	int pos=$3.getInt();
	265	trstack.dropToPos(pos);
[466]	266	trctx.functionstackpos=TranslatorContext::NOT_IN_FUNCTION;
	267	trctx.beforefunctionstackpos=TranslatorContext::NOT_IN_FUNCTION;
[163]	268	trctx.out->printf(":_skipfun_%d\n",trctx.functiontmplabel);
	269	trctx.functiontmplabel=-1;
[332]	270	trctx.emitLine();
[163]	271	};
	272
	273	break_statement: BREAK ';' {if (!doBreak(1)) return 1;}
	274	\| BREAK expr ';'
	275	{
[332]	276	trctx.emitLine();
[163]	277	if (!$2.constant)
[245]	278	{trctx.err->printf("break level must be a constant expression\n");return 1;}
[163]	279	int level=$2.getInt();
	280	if (level<1)
[245]	281	{trctx.err->printf("break level must be a positive integer\n");return 1;}
[163]	282	if (!doBreak(level)) return 1;
[332]	283	trctx.emitLine();
[163]	284	};
	285
	286	continue_statement: CONTINUE ';' {if (!doContinue(1)) return 1;}
	287	\| CONTINUE expr ';'
	288	{
	289	if (!$2.constant)
[245]	290	{trctx.err->printf("continue level must be a constant expression\n");return 1;}
[163]	291	int level=$2.getInt();
	292	if (level<1)
[245]	293	{trctx.err->printf("continue level must be a positive integer\n");return 1;}
[163]	294	if (!doContinue(level)) return 1;
[332]	295	trctx.emitLine();
[163]	296	};
	297
	298	while_statement: WHILE '('
[332]	299	{
	300	int c=trctx.labelcounter++; $$.setInt(c);
[163]	301	$$.stack=trstack.currentPos();
	302	trstack.loops.addLoop(c,$$.stack);
	303	trctx.out->printf(":_loop_%d\n",c);}
	304	expr ')'
	305	{
	306	int c=$3.getInt();
	307	warnTruthValue($4);
	308	if ($4.constant)
	309	{if (!$4.getInt()) trctx.out->printf("jump :_loop_end_%d\n",c);}
	310	else
	311	{
[332]	312	trctx.out->printf("if ~=,m[m0++],:_loop_end_%d\n",c,c);
[163]	313	trstack.adjust(+1);
	314	}
	315	}
	316	pseudoblok_statement
[332]	317	{
	318	trctx.out->printf("jump :_loop_%d\n:_loop_end_%d\n",$3.getInt(),$3.getInt());
[163]	319	trstack.adjust($3.stack-trstack.currentPos());
	320	trstack.loops.drop();
	321	}
	322	;
	323
	324	dowhile_statement: DO
[332]	325	{
	326	trctx.emitLine();
	327	int c=trctx.labelcounter++; $$.setInt(c);
[163]	328	$$.stack=trstack.currentPos();
	329	trstack.loops.addLoop(c,$$.stack);
	330	trctx.out->printf(":_loop_%d\n",c);} //2
	331
	332	pseudoblok_statement WHILE '(' expr ')'
	333
	334	{//8
	335	int c=$2.getInt();
	336	warnTruthValue($6);
	337	if ($6.constant)
	338	{if ($6.getInt()) trctx.out->printf("jump :_loop_%d\n",c);}
	339	else
	340	{
[332]	341	trctx.out->printf("if !~,m[m0++],:_loop_%d\n",c);
[163]	342	trstack.adjust(+1);
	343	}
	344	trctx.out->printf(":_loop_end_%d\n",c);
	345	trstack.adjust($2.stack-trstack.currentPos());
	346	trstack.loops.drop();
[332]	347	trctx.emitLine();
[163]	348	}
	349	;
	350
	351	switch_statement: SWITCH '('
[332]	352	{
	353	int c=trctx.labelcounter++; $1.setInt(c);
[163]	354	trstack.loops.addLoop(c,trstack.currentPos());}
	355	stackexpr ')'
[332]	356	{trctx.emitLine(); trctx.out->printf("dec m0\n"); trstack.adjust(-1);}
[163]	357	'{' inside_switch '}'
[332]	358	{
	359	trctx.emitLine();
	360	LoopInfo *li=trstack.loops.getLoop(0);
	361	trctx.out->printf(":_case_after_%d_%d\n"
	362	"add 2,m0\n"
	363	":_loop_end_%d\n",
	364	li->id,li->casecounter,
	365	li->id);
	366	trstack.adjust(+2);
	367	trstack.loops.drop();
	368	}
[163]	369	;
	370
	371	inside_switch: /* empty */
	372	\| case_label
	373	\| inside_switch case_label
	374	;
	375
	376	case_label: CASE expr ':'
[332]	377	{
	378	LoopInfo *li=trstack.loops.getLoop(0);
	379	if ($2.constant)
	380	trctx.out->printf("if s1,!=,%s,:_case_before_%d_%d\n",
	381	litstr($2),
	382	li->id,li->casecounter+1);
	383	else
	384	{
	385	trctx.out->printf("if s2,!=,m[m0++],:_case_before_%d_%d\n",
	386	li->id,li->casecounter+1);
	387	trstack.adjust(+1);
	388	}
	389	trctx.out->printf(":_case_after_%d_%d\n",
	390	li->id,li->casecounter);
[163]	391	int pos=trstack.currentPos(); $$.setInt(pos);
	392	}
	393	recurcode
	394	{
[332]	395	trctx.emitLine();
	396	LoopInfo *li=trstack.loops.getLoop(0);
[163]	397	int pos=$4.getInt();
	398	if (pos!=trstack.currentPos()) trctx.out->printf("add %d,m0\n",pos-trstack.currentPos());
	399	trstack.dropToPos(pos);
[332]	400	li->casecounter++;
	401	trctx.out->printf("jump :_case_after_%d_%d\n"
	402	":_case_before_%d_%d\n",
	403	li->id,li->casecounter,
	404	li->id,li->casecounter);
[163]	405	}
[332]	406	\| DEFAULT ':'
	407	{
	408	LoopInfo *li=trstack.loops.getLoop(0);
	409	trctx.out->printf(":_case_after_%d_%d\n",li->id,li->casecounter);
	410	}
	411	recurcode
	412	{
	413	LoopInfo *li=trstack.loops.getLoop(0);
	414	li->casecounter++;
	415	}
[163]	416	;
	417
	418	newvar_or_expr:
	419	VAR IDENT { $$.setInt(trstack.addVariable($2.getString())); trctx.out->printf("push invalid\n"); $$.ident=true; $$.var=true; }
	420
	421	\|
	422	VAR IDENT '=' stackexpr
	423	{
	424	//trctx.out->printf("# VAR IDENT '=' stackexpr pos=%d\n",trstack.currentPos());
	425	trstack.adjust(+1);
	426	$$.setInt(trstack.addVariable($2.getString()));
	427	$$.ident=true; $$.var=true;
	428	}
	429
	430	\|
	431	expr_special_ident
	432	{
	433	$$=$1;
	434	}
	435
	436	\| //nic
	437	{
	438	$$.setInt(1); $$.assign=false; $$.ident=false; $$.var=false; $$.constant=true;
	439	}
	440	;
	441
	442	expr_or_objname:
	443	expr { $$=$1; $$.objname=false; }
	444	\|
	445	OBJNAME { $$.setString($1.getString()); $$.objname=true; }
	446	;
	447
	448	for_statement_begin: FOR '('
	449	{
	450	int c=trctx.labelcounter++; $$.counter=c; $$.stack=trstack.currentPos();
	451	}
	452	newvar_or_expr
	453	{
	454	$$=$4; $$.counter=$3.counter; $$.stack=$3.stack;
	455	};
	456
	457	for_statement:
	458
	459	/////////// for(in) ... ////////////
	460	for_statement_begin INNN
	461	{//3
	462	if (!$1.ident)
	463	{
[652]	464	trctx.err->printf("for(... in ...) requires a variable\n");
[163]	465	return 1;
	466	}
	467	int loc;
	468	if ($1.var) // for(var x[=expr] in
	469	$$.setInt($1.getInt());
	470	else
	471	{ // for(x in
	472	if (variableOk($$,$1,loc))
	473	$$.setInt(loc);
	474	else if (globalOk($1))
	475	{
[652]	476	trctx.err->printf("global '%s' can't be the iterating variable in 'for'\n",str($1));
[163]	477	return 1;
	478	}
	479	else
	480	{
	481	badVariable($$,$1);
	482	return 1;
	483	}
	484	}
[846]	485	$$.stack=trstack.currentPos();
[163]	486	}
	487	expr_or_objname ')'
	488	{//6
[332]	489	trctx.emitLine();
[163]	490	if ($4.constant)
[477]	491	{
	492	logPrintf("", "", LOG_WARN, "%s can't be iterated",str($4));
	493	trctx.out->printf("jump :_loop_end_%d\n",$1.counter);
	494	}
	495	trstack.adjust(-1);
	496	trstack.loops.addLoop($1.counter,trstack.currentPos());
[163]	497	if ($4.objname)
[477]	498	trctx.out->printf("dec m0\nmove %s.iterator,m[m0]\n",$4.getString().c_str());
[163]	499	else
[489]	500	trctx.out->printf("move s%d,m1\ndec m0\nif ~=,m1,:_loop_end_%d\nmove [m1].\"iterator\",m[m0]\n",0,$1.counter);
[163]	501	// s0=iterator s1=obj (=obj.iterator)
	502	trctx.out->printf(":_loop1_%d\n",$1.counter);
	503	trctx.out->printf(":_loop_%d\n",$1.counter);
	504	trctx.out->printf("move s0,m1\nmove [m1].\"next\",m2\n");
[489]	505	trctx.out->printf("if ~=,m2,:_loop_end_%d\n",$1.counter);
[163]	506	trctx.out->printf("move [m1].\"value\",s%d\n",$3.getInt()-trstack.currentPos());
	507	}
	508	pseudoblok_statement
	509	{
	510	trctx.out->printf("jump :_loop1_%d\n",$1.counter);
	511	trctx.out->printf(":_loop_end_%d\n",$1.counter);
	512	trstack.loops.drop();
[846]	513	if ($4.constant)
	514	trstack.adjust($3.stack-trstack.currentPos());
	515	int adj=$1.stack-trstack.currentPos();
[1077]	516	trstack.dropToPos($1.stack);
[846]	517	if (adj!=0)
	518	trctx.out->printf("add %d,m0\n",adj);
[163]	519	}
	520
	521	\|
	522
	523	/////////// for(;;) ... ////////////
	524	for_statement_begin ';'
	525	{ //3
[332]	526	trctx.emitLine();
[163]	527	//trctx.out->printf("# for_statement_begin pos=%d ident=%d var=%d\n",trstack.currentPos(),$1.ident,$1.var);
	528	if ((!$1.var) && ($1.ident))
	529	{ // for(x;
	530	int loc;
	531	if ((!variableOk($$,$1,loc)) \|\| (globalOk($1)))
	532	{
	533	badVariable($$,$1);
	534	return 1;
	535	}
	536	}
	537	if (!$1.constant && !$1.ident)
	538	{
	539	trctx.out->printf("inc m0\n");
	540	trstack.adjust(+1);
	541	}
	542	trstack.loops.addLoop($1.counter,trstack.currentPos());
	543	trctx.out->printf(":_loop1_%d\n",$1.counter);
	544	//trctx.out->printf("# expr#2\n");
	545	}
	546	expr_or_empty ';'
	547	{ //6
[332]	548	trctx.emitLine();
[163]	549	int c=$1.counter;
	550	warnTruthValue($4);
	551	if ($4.constant)
	552	{if (!$4.getInt()) trctx.out->printf("jump :_loop_end_%d\n",c);}
	553	else
	554	{
	555	trctx.out->printf("if m[m0++],==,0,:_loop_end_%d\n",c,c);
	556	trstack.adjust(+1);
	557	}
[382]	558	trctx.tmp="";
[163]	559	trctx.divertOut();
	560	//trctx.out->printf("# expr#3\n");
	561	}
	562	expr_or_empty ')'
	563	{ //9
[332]	564	trctx.emitLine();
[163]	565	if (!$7.constant) { trctx.out->printf("inc m0\n"); trstack.adjust(+1); }
	566	trctx.restoreOut();
[382]	567	$$.setString(trctx.tmp.c_str());
[163]	568	//trctx.out->printf("# pseudoblok_statement pos=%d\n",trstack.currentPos());
	569	}
	570	pseudoblok_statement
	571	{//11
	572	trctx.out->printf(":_loop_%d\n",$1.counter);
	573	LoopInfo* li=trstack.loops.getLoop(0);
	574	if (li->location != trstack.currentPos())
	575	trctx.out->printf("add %d,m0\n",li->location-trstack.currentPos());
	576	trctx.out->printf(str($9));
	577	if (li->location != trstack.currentPos())
	578	trctx.out->printf("sub %d,m0\n",li->location-trstack.currentPos());
	579	trctx.out->printf("jump :_loop1_%d\n:_loop_end_%d\n",$1.counter,$1.counter);
	580	if ($1.stack != trstack.currentPos())
	581	trctx.out->printf("add %d,m0\n",$1.stack-trstack.currentPos());
[1077]	582	trstack.dropToPos($1.stack);
[163]	583	trstack.loops.drop();
	584	}
	585	;
	586
	587	pseudoblok_statement:
[332]	588	{trctx.emitLine(); int pos=trstack.currentPos(); $$.setInt(pos);}
[163]	589	statement
	590	{
	591	int pos=$1.getInt();
	592	if (pos!=trstack.currentPos()) trctx.out->printf("add %d,m0\n",pos-trstack.currentPos());
	593	trstack.dropToPos(pos);
[332]	594	trctx.emitLine();
[163]	595	};
	596
	597	if_statement:
	598	if_condition pseudoblok_statement
	599	{
	600	if ($1.stack!=trstack.currentPos())
	601	trctx.out->printf("add %d,m0\n",$1.stack-trstack.currentPos());
	602	trstack.adjust(trstack.currentPos()-$1.stack);
	603	trctx.out->printf("jump :_if_end_%d\n:_if_else_%d\n",$1.getInt(),$1.getInt());
	604	}
	605	ELSE
	606	{trstack.adjust($1.stack-trstack.currentPos());}
	607	pseudoblok_statement
	608	{
	609	if ($1.stack!=trstack.currentPos())
	610	trctx.out->printf("add %d,m0\n",$1.stack-trstack.currentPos());
	611	trstack.adjust(trstack.currentPos()-$1.stack);
	612	trctx.out->printf(":_if_end_%d\n",$1.getInt());
	613	}
	614	\|
	615	if_condition pseudoblok_statement
	616	{
	617	if ($1.stack!=trstack.currentPos())
	618	trctx.out->printf("add %d,m0\n",$1.stack-trstack.currentPos());
	619	trstack.dropToPos($1.stack);
	620	trctx.out->printf(":_if_else_%d\n",$1.getInt());
	621	}
	622	;
	623
	624	if_condition: IF
[332]	625	{$$.stack=trstack.currentPos();trctx.emitLine();}
[163]	626
	627	'(' expr ')'
	628	{
[332]	629	trctx.emitLine();
[163]	630	int c=trctx.labelcounter++;
	631	$$.setInt(c);
	632	warnTruthValue($4);
	633	if ($4.constant)
	634	{
	635	if (!$4.getInt()) trctx.out->printf("jump :_if_else_%d\n",c);
	636	}
	637	else
	638	{
[332]	639	trctx.out->printf("if ~=,m[m0++],:_if_else_%d\n",c);
[163]	640	trstack.adjust(+1);
	641	}
	642	$$.stack=$2.stack;
	643	};
	644
	645	blok: '{'
	646	{ int pos=trstack.currentPos();
	647	$$.setInt(pos);
	648	}
	649	recurcode '}'
	650	{
	651	int pos=$2.getInt();
	652	if (pos!=trstack.currentPos()) trctx.out->printf("add %d,m0\n",pos-trstack.currentPos());
	653	trstack.dropToPos(pos);
	654	}
	655
	656	assign_op: ASSIGN_ADD {$$.setInt(0);}
	657	\| ASSIGN_SUB {$$.setInt(1);}
	658	\| ASSIGN_MUL {$$.setInt(2);}
	659	\| ASSIGN_DIV {$$.setInt(3);}
	660	\| ASSIGN_MOD {$$.setInt(4);}
	661
	662	plusminus: PLUSPLUS {$$.setInt(1);} \| MINUSMINUS {$$.setInt(0);}
	663
	664	expr: expr_special_ident
	665	{
	666	//trctx.out->printf("# expr: ident=%d str=%s\n",$1.ident,(const char*)$1.getString());
	667	if ($1.ident)
	668	{
	669	if (evalVariable($$,$1))
	670	$$.constant=false;
	671	else
	672	return 1;
	673	}
	674	else
	675	{$$=$1; $$.ident=false;}
[332]	676	trctx.emitLine();
[163]	677	}
	678	;
	679
[345]	680	stackexpr: expr {if ($1.constant) {trctx.out->printf("push %s\n",litstr($1)); trstack.adjust(-1); $$.constant=0;} }
	681
[163]	682	expr_or_empty:
	683	expr {$$=$1;}
	684
	685	\| //nic
	686	{ $$.setInt(1); $$.assign=false; $$.constant=true; $$.ident=false; $$.ident=false; }
	687	;
	688
	689	expr_special_ident: CONSTANT { $$=$1; $$.constant=1; $$.ident=0; }
	690
[477]	691	\| IDENT {
	692	ExtValue c;
	693	if (trstack.getConstant($1.getString(),c))
	694	{ $$=c; $$.constant=1; $$.ident=0; }
	695	else
	696	{ $$.ident=true; $$.setString($1.getString()); }
	697	}
[163]	698
	699	\| OBJNAME ':' IDENT {$$.constant=0; $$.ident=0;
[348]	700	trctx.out->printf("push %s:%s\n",$1.getString().c_str(),
	701	$3.getString().c_str());
[163]	702	trstack.adjust(-1);
	703	}
	704	\| plusminus IDENT
	705	{
[332]	706	trctx.emitLine();
[163]	707	$$.ident=0;
	708	int loc; if (variableOk($$,$2,loc))
	709	{ loc-=trstack.currentPos();
	710	trctx.out->printf("%s s%d\npush s%d\n",$1.getInt()?"inc":"dec",loc,loc);
	711	trstack.adjust(-1);}
	712	else if (globalOk($2))
	713	{ trctx.out->printf("%s @%s\npush @%s\n",$1.getInt()?"inc":"dec",str($2),str($2));
	714	trstack.adjust(-1);}
	715	else {badVariable($$,$2); return 1;}
	716	}
	717
	718	\| IDENT plusminus
	719	{
[332]	720	trctx.emitLine();
[163]	721	$$.ident=0;
	722	int loc; if (variableOk($$,$1,loc))
	723	{loc-=trstack.currentPos(); trctx.out->printf("push s%d\n%s s%d\n",loc,$2.getInt()?"inc":"dec",loc+1);
	724	trstack.adjust(-1);}
	725	else if (globalOk($1))
[348]	726	{ trctx.out->printf("push @%s\n%s @%s\n",$1.getString().c_str(),
	727	$2.getInt()?"inc":"dec",$1.getString().c_str());
[163]	728	trstack.adjust(-1);}
	729	else {badVariable($$,$1); return 1;}
	730	}
	731
[332]	732	\| IDENT assign_op expr { trctx.emitLine(); $$.ident=0;
[163]	733	if (!handleAssignOp($$,$1,$3,assign_op_names[$2.getInt()]))
	734	if (globalOk($1)) {SString t="@"; t+=$1.getString();
[348]	735	handleAssignOp2($$,t.c_str(),$3,assign_op_names[$2.getInt()],0,1);}
[163]	736	else { badVariable($$,$1); return 1; }
	737	}
	738
[332]	739	\| TYPEOF '(' expr ')' { trctx.emitLine(); $$.ident=0;
	740	if ($3.constant)
	741	{$$.constant=1; $$=$3.getExtType();}
[163]	742	else
	743	{trctx.out->printf("type s0,s0\n");}
	744	}
[333]	745	\| INT_TYPE '(' expr ')' { trctx.emitLine(); $$.ident=0;
[332]	746	if ($3.constant)
	747	{$$.constant=1; $$=ExtValue($3.getInt());}
	748	else
	749	{trctx.out->printf("conv 1,s0\n");}
	750	}
[333]	751	\| FLOAT_TYPE '(' expr ')' { trctx.emitLine(); $$.ident=0;
[332]	752	if ($3.constant)
	753	{$$.constant=1; $$=ExtValue($3.getDouble());}
	754	else
	755	{trctx.out->printf("conv 2,s0\n");}
	756	}
[333]	757	\| STRING_TYPE '(' expr ')' { trctx.emitLine(); $$.ident=0;
[332]	758	if ($3.constant)
	759	{$$.constant=1; $$=ExtValue($3.getString());}
	760	else
	761	{trctx.out->printf("conv 3,s0\n");}
	762	}
[163]	763
[332]	764	\| expr '+' expr { handleTwoArg($$,$1,$3,'+',"add",0,1); }
	765	\| expr '-' expr { handleTwoArg($$,$1,$3,'-',"sub",0,0); }
	766	\| expr '' expr { handleTwoArg($$,$1,$3,'',"mul",0,1); }
	767	\| expr '/' expr { handleTwoArg($$,$1,$3,'/',"div",0,0); }
	768	\| expr '&' expr { handleTwoArg($$,$1,$3,'&',"and",0,0); }
	769	\| expr '\|' expr { handleTwoArg($$,$1,$3,'\|',"or",0,0); }
	770	\| expr '%' expr { handleTwoArg($$,$1,$3,'%',"mod",0,0); }
[163]	771
[332]	772	\| expr LOGIC_AND
	773	{
	774	// a && b:
	775	// push a
	776	// if (a)
	777	// pop; goto and_b
	778	// else
[846]	779	// goto and_end
[332]	780	// and_b:
	781	// push b
	782	// and_end:
	783	trctx.emitLine();
	784	// trctx.out->printf("\n####### logic AND\n");
	785	int c=trctx.labelcounter++;
[846]	786	$$.counter=c;
[332]	787	if ($1.constant)
	788	{
[333]	789	ExtValue::CompareResult cond=$1.compare(ExtValue::zero());
	790	if (resultIsRelaxedEqual(cond))
[332]	791	{
	792	$1.counter=0;
[846]	793	trctx.out->printf("jump :_and_end_%d\n",c);
[332]	794	}
	795	else
	796	$1.counter=1;
	797	}
	798	else
	799	{
[846]	800	trctx.out->printf("if !~,m[m0],:_and_b_%d\n" // skip to b if a!~=false, "a" stays on top
[332]	801	"jump :_and_end_%d\n"
	802	":_and_b_%d\n"
	803	,c,c,c);
	804	}
	805	}
	806	expr
	807	{
[846]	808	if ($1.constant)
[332]	809	{
[846]	810	if ($1.counter==0)
[332]	811	{
[846]	812	$$=$1;
	813	if (!$4.constant)
	814	trstack.adjust(+1);
[332]	815	}
[846]	816	else
	817	$$=$4;
[332]	818	}
[846]	819	else
	820	{
	821	$$.ident=false;
	822	$$.constant=0;
	823	if ($4.constant)
	824	{
	825	trctx.out->printf("inc m0\n"
	826	"push %s\n",litstr($4));
	827	}
	828	else
	829	{
	830	trstack.adjust(+1);
	831	trctx.out->printf("move m[m0],m[m0+1]\n"
	832	"inc m0\n"); //drop "a"
	833	}
	834	}
	835	trctx.out->printf(":_and_end_%d\n",$3.counter);
[332]	836	// trctx.out->printf("#################\n\n");
	837	}
	838
	839	\| expr LOGIC_OR
	840	{
	841	// a \|\| b:
	842	// push a
	843	// if (!a)
[846]	844	// pop; goto or_b
[332]	845	// else
[846]	846	// goto or_end
	847	// or_b:
[332]	848	// push b
[846]	849	// or_end:
[332]	850	trctx.emitLine();
[846]	851	// trctx.out->printf("\n####### logic OR\n");
[332]	852	int c=trctx.labelcounter++;
[846]	853	$$.counter=c;
[332]	854	if ($1.constant)
	855	{
[333]	856	ExtValue::CompareResult cond=$1.compare(ExtValue::zero());
	857	if (!resultIsRelaxedEqual(cond))
[332]	858	{
	859	$1.counter=1;
[846]	860	trctx.out->printf("jump :_or_end_%d\n",c);
[332]	861	}
	862	else
	863	$1.counter=0;
	864	}
	865	else
	866	{
[846]	867	trctx.out->printf("if ~=,m[m0],:_or_b_%d\n" // skip to b if a~=false, "a" stays on top
[332]	868	"jump :_or_end_%d\n"
	869	":_or_b_%d\n"
	870	,c,c,c);
	871	}
	872	}
	873	expr
	874	{
[846]	875	if ($1.constant)
[332]	876	{
[846]	877	if ($1.counter==1)
[332]	878	{
[846]	879	$$=$1;
	880	if (!$4.constant)
	881	trstack.adjust(+1);
[332]	882	}
[846]	883	else
	884	$$=$4;
[332]	885	}
[846]	886	else
	887	{
	888	$$.ident=false;
	889	$$.constant=0;
	890	if ($4.constant)
	891	{
	892	trctx.out->printf("inc m0\n"
	893	"push %s\n",litstr($4));
	894	}
	895	else
	896	{
	897	trstack.adjust(+1);
	898	trctx.out->printf("move m[m0],m[m0+1]\n"
	899	"inc m0\n"); //drop "a"
	900	}
	901	}
	902	trctx.out->printf(":_or_end_%d\n",$3.counter);
[332]	903	// trctx.out->printf("#################\n\n");
	904	}
	905
[836]	906	\| expr '?'
	907	{
	908	trctx.emitLine();
	909	// trctx.out->printf("\n####### conditional operator\n");
	910	$$.counter=trctx.labelcounter++;
	911	warnTruthValue($1);
	912	if ($1.constant)
	913	{
	914	ExtValue::CompareResult cond=$1.compare(ExtValue::zero());
	915	$1.counter=0;
	916	if (resultIsRelaxedEqual(cond))
	917	trctx.out->printf("jump :_cond_false_%d\n",$$.counter);
	918	}
	919	else
	920	{
	921	trstack.adjust(+1);
	922	trctx.out->printf("if ~=,m[m0++],:_cond_false_%d\n",$$.counter);
	923	}
	924	$$.stack=trstack.currentPos();
	925	// trctx.out->printf("\n####### conditional - true\n");
	926	}
	927	stackexpr ':'
	928	{
	929	trctx.emitLine();
	930	trctx.out->printf("jump :_cond_end_%d\n",$3.counter);
	931	trctx.out->printf(":_cond_false_%d\n",$3.counter);
	932	// trctx.out->printf("\n####### conditional - false\n");
	933	trstack.adjust($3.stack-trstack.currentPos());
	934	}
	935	stackexpr
	936	{
	937	trctx.emitLine();
	938	trctx.out->printf(":_cond_end_%d\n",$3.counter);
	939	// trctx.out->printf("\n####### conditional - end\n");
	940	$$.ident=false; $$.constant=0; $$.parens=0; $$.assign=0;
	941	}
	942
[332]	943	\| expr LSHIFT expr { handleTwoArg($$,$1,$3,LSHIFT,"shift",0,0); }
	944	\| expr RSHIFT expr { handleTwoArg($$,$1,$3,RSHIFT,"shift",1,0); }
	945	\| expr EQUAL expr { if (!handleCompare($$,$1,$3,ExtValue::CmpEQ,"==")) return 1; }
	946	\| expr NOT_EQUAL expr { if (!handleCompare($$,$1,$3,ExtValue::CmpNE,"!=")) return 1; }
	947	\| expr GEQUAL expr { if (!handleCompare($$,$1,$3,ExtValue::CmpGE,">=")) return 1; }
	948	\| expr LEQUAL expr { if (!handleCompare($$,$1,$3,ExtValue::CmpLE,"<=")) return 1; }
	949	\| expr '>' expr { if (!handleCompare($$,$1,$3,ExtValue::CmpGT,">")) return 1; }
	950	\| expr '<' expr { if (!handleCompare($$,$1,$3,ExtValue::CmpLT,"<")) return 1; }
	951
[163]	952	\| '!' expr {
[332]	953	trctx.emitLine(); $$.assign=$2.assign; $$.parens=0; $$.ident=0;
[163]	954	if ($2.constant)
[333]	955	{$$.constant=1; ExtValue::CompareResult res=$2.compare(ExtValue((paInt)0)); $$.setInt(resultIsRelaxedEqual(res));}
[163]	956	else
[332]	957	{trctx.out->printf("setif ~=,s0,s0\n");}
[163]	958	}
	959
	960	\| '-' expr %prec NEG {
[332]	961	trctx.emitLine(); $$.assign=$2.assign; $$.parens=0; $$.ident=0;
[163]	962	if ($2.constant)
	963	{ $$.constant=$2.constant;
	964	if ($2.type==TInt) $$.setInt(-$2.getInt());
	965	else if ($2.type==TDouble) $$.setDouble(-$2.getDouble());
	966	else $$=$2;
	967	}
	968	else
	969	{
	970	$$.constant=0; SString t="-"; t+=$2.getString(); $$.setString(t);
	971	trctx.out->printf("mul -1,s0\n");
	972	}
	973	}
	974
[332]	975	\| '(' expr ')' { trctx.emitLine(); $$ = $2; $$.assign=$2.assign?(!$2.parens):0; $$.parens=1; $$.ident=0; }
[163]	976
	977	\| OBJNAME '.' member {
[332]	978	trctx.emitLine(); $$.constant=0; $$.ident=0; SString t=$1.getString(); t+="."; t+=$3.getString(); $$.setString(t);
[163]	979	if ($3.constant)
	980	{
	981	trctx.out->printf("push %s.%s\n",str($1),str($3)); trstack.adjust(-1);
	982	}
	983	else
	984	{
	985	trctx.out->printf("move s0,m1\nmove %s.[m1],s0\n",str($1));
	986	}
	987	}
	988
	989	\| OBJNAME '.' member assign_op expr
[332]	990	{ trctx.emitLine(); $$.constant=0; $$.ident=0; SString t=$1.getString(); t+="."; t+=$3.getString(); $$.setString(t);
[163]	991	if ($3.constant)
	992	{
[348]	993	handleAssignOp2($$,t.c_str(),$5,assign_op_names[$4.getInt()],0,1);
[163]	994	}
	995	else
	996	{
	997	int sp=($5.constant)?0:1;
	998	t=$1.getString();t+=".[m1]";
	999	trctx.out->printf("move s0,m1\n",str($1));
[348]	1000	handleAssignOp2($$,t.c_str(),$5,assign_op_names[$4.getInt()],sp,0);
[163]	1001	if (sp) {trctx.out->printf("inc m0\n"); trstack.adjust(1);}
	1002	}
	1003	}
	1004
	1005	\| plusminus OBJNAME '.' member {
[332]	1006	trctx.emitLine(); $$.constant=0; $$.ident=0; SString t=$2.getString(); t+="."; t+=$4.getString(); $$.setString(t);
[163]	1007	if ($4.constant)
	1008	{
	1009	trctx.out->printf("%s %s.%s\npush %s.%s\n",$1.getInt()?"inc":"dec",
	1010	str($2),str($4),str($2),str($4));
	1011	trstack.adjust(-1);
	1012	}
	1013	else
	1014	{
	1015	trctx.out->printf("move s0,m1\n%s %s.[m1]\nmove %s.[m1],s0\n",
	1016	$1.getInt()?"inc":"dec",str($2),str($2));
	1017	}
	1018	}
	1019
	1020	\| OBJNAME '.' member plusminus {
[332]	1021	trctx.emitLine(); $$.constant=0; $$.ident=0; SString t=$1.getString(); t+="."; t+=$3.getString(); $$.setString(t);
[163]	1022	if ($3.constant)
	1023	{
	1024	trctx.out->printf("push %s.%s\n%s %s.%s\n",
	1025	str($1),str($3),$4.getInt()?"inc":"dec",str($1),str($3));
	1026	trstack.adjust(-1);
	1027	}
	1028	else
	1029	{
	1030	trctx.out->printf("move s0,m1\nmove %s.[m1],s0\n%s %s.[m1]\n",
	1031	str($1),$4.getInt()?"inc":"dec",str($1));
	1032	}
	1033	}
	1034
	1035	\| OBJNAME '.' '*' {
[332]	1036	trctx.emitLine(); $$.constant=0; $$.ident=0; SString t=$1.getString(); t+=".*"; $$.setString(t);
[163]	1037	trctx.out->printf("push %s.*\n",str($1)); trstack.adjust(-1);
	1038	}
	1039
	1040
	1041	\| OBJNAME '.' member '=' expr {
[332]	1042	trctx.emitLine(); $$=$5; $$.assign=1; $$.parens=0; $$.ident=0;
[163]	1043	if ($3.constant)
	1044	{
	1045	if ($$.constant)
	1046	trctx.out->printf("move %s,%s.%s\n",litstr($5),str($1),str($3));
	1047	else
	1048	trctx.out->printf("move s0,%s.%s\n",str($1),str($3));
	1049	}
	1050	else
	1051	{
	1052	if ($$.constant)
	1053	{
	1054	trctx.out->printf("move m[m0++],m1\nmove %s,%s.[m1]\n",
	1055	litstr($5),str($1));
	1056	trstack.adjust(1);
	1057	}
	1058	else
	1059	{
	1060	trctx.out->printf("move s1,m1\nmove m[m0++],s0\nmove s0,%s.[m1]\n",
	1061	str($1));
	1062	trstack.adjust(1);
	1063	}
	1064	}
	1065	}
	1066
	1067	\| OBJNAME '.' member '(' arguments ')'
	1068	{
[332]	1069	trctx.emitLine(); $$.constant=0; $$.ident=0; SString t=$1.getString(); t+="."; t+=$3.getString(); $$.setString(t);
[163]	1070	int adj=0,adj2=0;
	1071	if ($5.getInt()==0)
	1072	{trctx.out->printf("dec m0\n");trstack.adjust(-1);adj=1;}
	1073	if ($3.constant)
	1074	trctx.out->printf("call %s.%s\n",str($1),str($3));
	1075	else
	1076	{
	1077	trctx.out->printf("move s%d,m1\ncall %s.[m1]\n",$5.getInt()+adj,str($1));
	1078	adj2=1;
	1079	}
	1080	adj2+=$5.getInt()-1+adj;
	1081	if (adj2>0)
	1082	{
	1083	trctx.out->printf("add %d,m0\nxmove s%d,s0\n",adj2,-adj2);
	1084	trstack.adjust(adj2);
	1085	}
	1086	}
	1087
	1088	\| CALL expr '(' arguments ')'
[332]	1089	{ trctx.emitLine(); $$.constant=0; $$.ident=0; $$.setString($2.getString());
[163]	1090	short adj=0;
	1091	if ($4.getInt()==0)
	1092	{trctx.out->printf("dec m0\n");trstack.adjust(-1);adj=1;}
	1093	if ($2.constant)
	1094	trctx.out->printf("call %s\n",litstr($2));
	1095	else
	1096	trctx.out->printf("call s%d\n",$4.getInt()+adj);
	1097	if (($4.getInt()+adj) > 0)
	1098	{
	1099	trctx.out->printf("add %d,m0\nxmove s%d,s0\n",$4.getInt()+adj,-($4.getInt()+adj));
	1100	trstack.adjust($4.getInt()+adj);
	1101	}
	1102	}
	1103
	1104	\| FUNCTION IDENT
[332]	1105	{ trctx.emitLine(); $$.constant=0; $$.ident=0; SString t=":"; t+=$1.getString(); $$.setString(t);
[348]	1106	trctx.out->printf("push :%s\n",$2.getString().c_str());
[163]	1107	trstack.adjust(-1);
	1108	}
	1109
[341]	1110	\| stackexpr '.' member
[332]	1111	{ trctx.emitLine(); $$.constant=0; $$.ident=0; SString t=$1.getString(); t+="."; t+=$3.getString(); $$.setString(t);
[163]	1112	if ($3.constant)
	1113	trctx.out->printf("move s0,m1\nmove [m1].%s,s0\n",str($3));
	1114	else
	1115	// trctx.out->printf("move s1,m1\nmove m[m0++],m2\nmove [m1].[m2],s0\n");
	1116	{trctx.out->printf("move s1,m1\nmove m[m0++],m2\nmove [m1].[m2],s0\n");trstack.adjust(1);}
	1117	}
	1118
[477]	1119	\| stackexpr ARROW IDENT /* shortcut: expr.get("ident") */
	1120	{ trctx.emitLine(); $$.constant=0; $$.ident=0; SString t=$1.getString(); t+="->"; t+=$3.getString(); $$.setString(t);
	1121	trctx.out->printf("move s0,m1\ncall [m1].\"get\",%s\n",litstr($3));
	1122	}
	1123
	1124	\| OBJNAME ARROW IDENT /* shortcut: StaticObject.get("ident") */
	1125	{ trctx.emitLine(); $$.constant=0; $$.ident=0; SString t=$1.getString(); t+="->"; t+=$3.getString(); $$.setString(t);
	1126	trctx.out->printf("dec m0\ncall %s.\"get\",%s\n",$1.getString().c_str(),litstr($3)); trstack.adjust(-1);
	1127	}
	1128
	1129	\| plusminus stackexpr ARROW IDENT /* shortcut: expr.set("ident",expr.get("ident")+/-1) */
	1130	{ trctx.emitLine(); $$.constant=0; $$.ident=0; $$.setString("");
	1131	trctx.out->printf("move s0,m1\ncall [m1].\"get\",%s\n"
	1132	"move s0,m2\n%s m2\n"
	1133	"call [m1].\"set\",%s,m2\nmove m2,s0\n",
	1134	litstr($4),$1.getInt()?"inc":"dec",litstr($4));
	1135	}
	1136
	1137	\| stackexpr ARROW IDENT plusminus /* shortcut: expr.set("ident",expr.get("ident")+/-1) */
	1138	{ trctx.emitLine(); $$.constant=0; $$.ident=0; $$.setString("");
	1139	trctx.out->printf("move s0,m1\ncall [m1].\"get\",%s\n"
	1140	"move s0,m2\n%s s0\n"
	1141	"call [m1].\"set\",%s,s0\nmove m2,s0\n",
	1142	litstr($3),$4.getInt()?"inc":"dec",litstr($3));
	1143	}
	1144
	1145	\| stackexpr ARROW IDENT assign_op expr /* shortcut: expr1.set("ident",expr1.get("ident") +-/ expr2) /
	1146	{ trctx.emitLine(); $$.constant=0; $$.ident=0; $$.setString("");
	1147	if ($5.constant)
	1148	trctx.out->printf("move s0,m1\ncall [m1].\"get\",%s\n"
	1149	"move s0,m2\n%s %s,m2\n"
	1150	"call [m1].\"set\",%s,m2\nmove m2,s0\n",
	1151	litstr($3),assign_op_names[$4.getInt()],litstr($5),litstr($3));
	1152	else
	1153	{
	1154	trctx.out->printf("move s0,m3\nmove s1,m1\ncall [m1].\"get\",%s\n"
	1155	"move s0,m2\n%s m3,m2\n"
	1156	"call [m1].\"set\",%s,m2\ninc m0\nmove m2,s0\n",
	1157	litstr($3),assign_op_names[$4.getInt()],litstr($3));
	1158	trstack.adjust(1);
	1159	}
	1160	}
	1161
[341]	1162	\| plusminus stackexpr '.' member
[332]	1163	{ trctx.emitLine(); $$.constant=0; $$.ident=0; SString t=$2.getString(); t+="."; t+=$4.getString(); $$.setString(t);
[163]	1164	if ($4.constant)
	1165	trctx.out->printf("move s0,m1\n%s [m1].%s\nmove [m1].%s,s0\n",
	1166	$1.getInt()?"inc":"dec",str($4),str($4));
	1167	else
	1168	// trctx.out->printf("move s1,m1\nmove m[m0++],m2\nmove [m1].[m2],s0\n");
	1169	{trctx.out->printf("move s1,m1\nmove m[m0++],m2\n%s [m1].[m2]\nmove [m1].[m2],s0\n",
	1170	$1.getInt()?"inc":"dec");trstack.adjust(1);}
	1171	}
	1172
[341]	1173	\| stackexpr '.' member plusminus
[332]	1174	{ trctx.emitLine(); $$.constant=0; $$.ident=0; SString t=$1.getString(); t+="."; t+=$3.getString(); $$.setString(t);
[163]	1175	if ($3.constant)
	1176	trctx.out->printf("move s0,m1\nmove [m1].%s,s0\n%s [m1].%s\n",
	1177	str($3),$4.getInt()?"inc":"dec",str($3));
	1178	else
	1179	// trctx.out->printf("move s1,m1\nmove m[m0++],m2\nmove [m1].[m2],s0\n");
	1180	{trctx.out->printf("move s1,m1\nmove m[m0++],m2\nmove [m1].[m2],s0\n%s [m1].[m2]\n",
	1181	$4.getInt()?"inc":"dec");trstack.adjust(1);}
	1182	}
	1183
[341]	1184	\| stackexpr '.' member assign_op expr
[332]	1185	{ trctx.emitLine(); $$.constant=0; $$.ident=0; SString t=$1.getString(); t+="."; t+=$3.getString(); $$.setString(t);
[163]	1186	if ($3.constant)
	1187	{
	1188	int sp;
	1189	if ($5.constant)
	1190	{sp=0; trctx.out->printf("move s0,m1\n");}
	1191	else
	1192	{sp=1; trctx.out->printf("move s1,m1\n");}
	1193	t="[m1]."; t+=str($3);
[348]	1194	handleAssignOp2($$,t.c_str(),$5,assign_op_names[$4.getInt()],sp,0);
[163]	1195	if (sp) {trctx.out->printf("inc m0\n");trstack.adjust(1);}
	1196	}
	1197	else
	1198	{
	1199	int sp;
	1200	char *t;
	1201	if ($5.constant)
	1202	{sp=1; t="move s1,m1\nmove s0,m2\n";}
	1203	else
	1204	{sp=2; t="move s2,m1\nmove s1,m2\n";}
	1205	trctx.out->printf(t);
	1206	handleAssignOp2($$,"[m1].[m2]",$5,assign_op_names[$4.getInt()],sp,0);
	1207	trctx.out->printf("add %d,m0\n",sp);
	1208	trstack.adjust(sp);
	1209	}
	1210	}
	1211
[341]	1212	\| stackexpr '.' member '=' stackexpr
[332]	1213	{ trctx.emitLine(); $$=$5; $$.assign=1; $$.parens=0; $$.ident=0;
[163]	1214	if ($3.constant)
	1215	{
	1216	trctx.out->printf("move s1,m1\nmove m[m0++],s0\nmove s0,[m1].%s\n",str($3));
	1217	trstack.adjust(1);
	1218	}
	1219	else
	1220	{
	1221	trctx.out->printf("move s2,m1\nmove s1,m2\nmove s0,[m1].[m2]\nadd 2,m0\nmove s-2,s0\n");
	1222	trstack.adjust(2);
	1223	}
	1224	}
	1225
[341]	1226	\| stackexpr '.' member '(' arguments ')'
[332]	1227	{ trctx.emitLine(); $$.constant=0; $$.ident=0; SString t=$1.getString(); t+="."; t+=$3.getString(); $$.setString(t);
[163]	1228	int adj=0;
	1229	if ($5.getInt()==0)
	1230	{trctx.out->printf("dec m0\n");trstack.adjust(-1);adj=1;}
	1231	if ($3.constant)
	1232	{
	1233	trctx.out->printf("move s%d,m1\ncall [m1].%s\n",$5.getInt()+adj,str($3));
	1234	adj+=1;
	1235	}
	1236	else
	1237	{
	1238	trctx.out->printf("move s%d,m2\nmove s%d,m1\ncall [m2].[m1]\n",
	1239	$5.getInt()+adj+1,$5.getInt()+adj);
	1240	adj+=2;
	1241	}
	1242	if (($5.getInt()+adj) > 1)
	1243	{
	1244	trctx.out->printf("add %d,m0\nxmove s%d,s0\n",$5.getInt()-1+adj,-($5.getInt()-1+adj));
	1245	trstack.adjust($5.getInt()-1+adj);
	1246	}
	1247	}
	1248
[341]	1249	\| stackexpr '[' expr ']' '=' expr // shortcut: expr.set(expr,expr)
[332]	1250	{ trctx.emitLine(); $$=$6; $$.assign=1; $$.parens=0; $$.ident=0;
[163]	1251	if ($3.constant)
	1252	{
	1253	if ($6.constant)
[538]	1254	{trctx.out->printf("move s0,m1\ncall [m1].\"set\",%s,%s\ninc m0\n",litstr($3),litstr($6));trstack.adjust(+1);}
[163]	1255	else
[538]	1256	{trctx.out->printf("move s1,m1\npush s0\npush s0\nmove %s,s1\ncall [m1].\"set\"\nadd 3,m0\nmove s-1,s0\n",litstr($3));trstack.adjust(+1);}
[163]	1257	}
	1258	else
	1259	{
	1260	if ($6.constant)
	1261	{trctx.out->printf("move s1,m1\npush %s\ncall [m1].\"set\"\nadd 3,m0\n",litstr($6)); trstack.adjust(+2);}
	1262	else
[538]	1263	{trctx.out->printf("move s2,m1\npush s1\npush s1\ncall [m1].\"set\"\nadd 4,m0\nmove s-2,s0\n"); trstack.adjust(+2);}
[163]	1264	}
	1265	}
	1266
[477]	1267	\| plusminus stackexpr '[' expr ']' /* shortcut: o.set(index,o.get(index)+/-1) */
	1268	{ trctx.emitLine(); $$.constant=0; $$.ident=0; $$.setString("");
	1269	if ($4.constant)
	1270	trctx.out->printf("move s0,m1\ncall [m1].\"get\",%s\n"
	1271	"move s0,m2\n%s m2\n"
	1272	"call [m1].\"set\",%s,m2\nmove m2,s0\n",
	1273	litstr($4),$1.getInt()?"inc":"dec",litstr($4));
	1274	else
	1275	{
	1276	trctx.out->printf("move s0,m3\nmove s1,m1\ncall [m1].\"get\",m3\n"
	1277	"move s0,m2\n%s m2\n"
	1278	"call [m1].\"set\",m3,m2\ninc m0\nmove m2,s0\n",
	1279	$1.getInt()?"inc":"dec");
	1280	trstack.adjust(1);
	1281	}
	1282	}
	1283
	1284	\| stackexpr '[' expr ']' plusminus /* shortcut: o.set(index,o.get(index)+/-1) */
	1285	{ trctx.emitLine(); $$.constant=0; $$.ident=0; $$.setString("");
	1286	if ($3.constant)
	1287	trctx.out->printf("move s0,m1\ncall [m1].\"get\",%s\n"
	1288	"move s0,m2\n%s s0\n"
	1289	"call [m1].\"set\",%s,s0\nmove m2,s0\n",
	1290	litstr($3),$5.getInt()?"inc":"dec",litstr($3));
	1291	else
	1292	{
	1293	trctx.out->printf("move s0,m3\nmove s1,m1\ncall [m1].\"get\",m3\n"
	1294	"move s0,m2\n%s s0\n"
	1295	"call [m1].\"set\",m3,s0\ninc m0\nmove m2,s0\n",
	1296	$5.getInt()?"inc":"dec");
	1297	trstack.adjust(1);
	1298	}
	1299	}
	1300
	1301	\| stackexpr '[' expr ']' assign_op expr /* shortcut: o.set(index,o.get(index) +-/ expr) /
	1302	{ trctx.emitLine(); $$.constant=0; $$.ident=0; $$.setString("");
	1303	if ($6.constant)
	1304	{
	1305	if ($3.constant)
	1306	trctx.out->printf("move s0,m1\ncall [m1].\"get\",%s\n"
	1307	"move s0,m2\n%s %s,m2\n"
	1308	"call [m1].\"set\",%s,m2\nmove m2,s0\n",
	1309	litstr($3),assign_op_names[$5.getInt()],litstr($6),litstr($3));
	1310	else
	1311	{
	1312	trctx.out->printf("move s0,m3\nmove s1,m1\ncall [m1].\"get\",m3\n"
	1313	"move s0,m2\n%s %s,m2\n"
	1314	"call [m1].\"set\",m3,m2\ninc m0\nmove m2,s0\n",
	1315	assign_op_names[$5.getInt()],litstr($6));
	1316	trstack.adjust(1);
	1317	}
	1318	}
	1319	else
	1320	{
	1321	if ($3.constant)
	1322	{
	1323	trctx.out->printf("move s0,m3\nmove s1,m1\ncall [m1].\"get\",%s\n"
	1324	"move s0,m2\n%s m3,m2\n"
	1325	"call [m1].\"set\",%s,m2\ninc m0\nmove m2,s0\n",
	1326	litstr($3),assign_op_names[$5.getInt()],litstr($3));
	1327	trstack.adjust(1);
	1328	}
	1329	else
	1330	{
	1331	trctx.out->printf("move s0,m3\nmove s1,m4\nmove s2,m1\ncall [m1].\"get\",m4\n"
	1332	"move s0,m2\n%s m3,m2\n"
	1333	"call [m1].\"set\",m4,m2\nadd 2,m0\nmove m2,s0\n",
	1334	assign_op_names[$5.getInt()]);
	1335	trstack.adjust(2);
	1336	}
	1337	}
	1338	}
	1339
	1340
	1341	\| stackexpr ARROW IDENT '=' expr /* shortcut: expr.set("ident",expr) */
	1342	{ trctx.emitLine(); $$=$5; $$.assign=1; $$.ident=0; $$.parens=0;
	1343	if ($5.constant)
	1344	{trctx.out->printf("move s0,m1\ncall [m1].\"set\",%s,%s\ninc m0\n",litstr($3),litstr($5));$$=$5;trstack.adjust(+1);}
	1345	else
[538]	1346	{trctx.out->printf("move s1,m1\npush s0\npush s0\nmove %s,s1\ncall [m1].\"set\"\nadd 3,m0\nmove s-1,s0\n",litstr($3));trstack.adjust(+1);}
[477]	1347	}
	1348
[341]	1349	\| stackexpr '[' expr ']' /* shortcut: expr.get(expr) */
[332]	1350	{ trctx.emitLine(); $$.constant=0; $$.ident=0; SString t=$1.getString(); t+=".get"; $$.setString(t);
[163]	1351	if ($3.constant)
	1352	{
	1353	trctx.out->printf("move s0,m1\ncall [m1].\"get\",%s\n",litstr($3));
	1354	}
	1355	else
	1356	{
	1357	trctx.out->printf("move s1,m1\ncall [m1].\"get\"\ninc m0\nmove s-1,s0\n");
	1358	trstack.adjust(+1);
	1359	}
	1360	}
	1361
[332]	1362	\| IDENT '=' expr { trctx.emitLine(); $$=$3; $$.assign=1; $$.ident=0;
[163]	1363	int loc=trstack.getVariableLocation($1.getString());
	1364	if (loc!=TranslatorStack::NOTFOUND)
	1365	{
	1366	if ($3.constant)
	1367	trctx.out->printf("move %s,s%d\n",litstr($3),loc-trstack.currentPos());
	1368	else
	1369	trctx.out->printf("move s0,s%d\n",loc-trstack.currentPos());
	1370	}
	1371	else if (globalOk($1)) { $$=$3; $$.ident=0; $$.assign=1;
	1372	if ($3.constant) trctx.out->printf("move %s,@%s\n",litstr($3),str($1));
	1373	else trctx.out->printf("move s0,@%s\n",str($1));}
[245]	1374	else {trctx.err->printf("undefined variable: '%s'\n",str($1)); return 1;}
[163]	1375	}
	1376
	1377	\| OBJNAME '[' expr ']' /* shortcut: OBJNAME.get(expr) */
[332]	1378	{ trctx.emitLine(); $$.constant=0; $$.ident=0; SString t=$1.getString(); t+=".get"; $$.setString(t);
[163]	1379	if ($3.constant)
	1380	{
	1381	trctx.out->printf("dec m0\ncall %s.get,%s\n",str($1),litstr($3));
	1382	trstack.adjust(-1);
	1383	}
	1384	else
	1385	{
	1386	trctx.out->printf("call %s.get\n",str($1));
	1387	}
	1388	}
	1389
	1390	\| IDENT '(' arguments ')'
	1391	{
[332]	1392	trctx.emitLine(); $$.constant=0; $$.ident=0; $$.setString("function call");
[163]	1393	if ($3.getInt()==0)
	1394	{trctx.out->printf("dec m0\n");trstack.adjust(-1);}
	1395	trctx.out->printf("call :%s\n",str($1));
	1396	if ($3.getInt()>1)
	1397	{
	1398	trctx.out->printf("add %d,m0\nxmove s%d,s0\n",$3.getInt()-1,-($3.getInt()-1));
	1399	trstack.adjust($3.getInt()-1);
	1400	}
	1401	}
	1402
[332]	1403	\| '[' {trctx.emitLine(); $$.ident=0; trctx.out->printf("add -2,m0\ncall Vector.new\nmove s0,s1\n");trstack.adjust(-2);} // s1=vector, s0=nieuzywane ale zarezerwowane zeby nie przesuwac stosu przy kazdym elemencie (trafia tu wartosc zwracana przez add/set)
[163]	1404	v_elements ']'
	1405	{$$.constant=0; trctx.out->printf("inc m0\n");trstack.adjust(1);}
	1406
[332]	1407	\| '{' {trctx.emitLine(); $$.ident=0; trctx.out->printf("add -2,m0\ncall Dictionary.new\nmove s0,s1\n");trstack.adjust(-2);} // s1=dict, s0=nieuzywane ale zarezerwowane zeby nie przesuwac stosu przy kazdym elemencie (trafia tu wartosc zwracana przez add/set)
[163]	1408	d_elements '}'
	1409	{$$.constant=0; trctx.out->printf("inc m0\n"); trstack.adjust(1);}
	1410
	1411	// \| '&' stackexpr {trctx.out->printf("call Ref.new\n");}
	1412
	1413	\| '&' IDENT {
[332]	1414	trctx.emitLine(); $$.ident=0;
[163]	1415	int loc=trstack.getVariableLocation($2.getString());
	1416	if (loc!=TranslatorStack::NOTFOUND)
	1417	{
[247]	1418	trctx.out->printf("push &%d\n",loc-trstack.currentPos());trstack.adjust(-1);
[163]	1419	}
	1420	else if (globalOk($2))
	1421	{
	1422	trctx.out->printf("gpush &@%s\ncall Ref.newO\ninc m0\nmove s-1,s0\n",str($2));
	1423	trstack.adjust(-1);
	1424	}
[245]	1425	else {trctx.err->printf("undefined variable: '%s'\n",str($1)); return 1;}
[163]	1426	}
	1427
	1428	\| '&' OBJNAME '.' member {
[332]	1429	trctx.emitLine(); $$.ident=0;
[163]	1430	if ($4.constant)
	1431	{
	1432	trctx.out->printf("dec m0\ncall Ref.newO,%s.*,%s:%s\n",str($2),str($2),str($4));
	1433	trstack.adjust(-1);
	1434	}
	1435	else
	1436	{
	1437	trctx.out->printf("call Ref.newO,%s.*,s0\n",str($2));
	1438	}
	1439	}
	1440
	1441	\| '&' '(' stackexpr ')' '.' member {
[332]	1442	trctx.emitLine(); $$.ident=0;
[163]	1443	if ($6.constant)
	1444	{
	1445	trctx.out->printf("call Ref.newO,s0,%s\n",litstr($6));
	1446	}
	1447	else
	1448	{
	1449	trctx.out->printf("call Ref.newO,s1,s0\ninc m0\nmove s-1,s0\n");
	1450	trstack.adjust(1);
	1451	}
	1452	}
	1453
	1454	\| '(' stackexpr ',' stackexpr ',' stackexpr ')' {
[332]	1455	trctx.emitLine(); $$.ident=0;
[163]	1456	trctx.out->printf("call XYZ.new\nadd 2,m0\nmove s-2,s0\n");trstack.adjust(2);}
	1457	;
	1458
	1459	v_elements: /* empty */
	1460	\| v_element
	1461	\| v_elements ',' v_element
	1462	;
	1463
	1464	d_elements: /* empty */
	1465	\| d_element
	1466	\| d_elements ',' d_element
	1467	;
	1468
	1469	v_element: expr
	1470	{
	1471	if ($1.constant)
	1472	trctx.out->printf("move s1,m1\ncall [m1].Vector:add,%s\n",litstr($1));
	1473	else
	1474	{trctx.out->printf("move s2,m1\ncall [m1].Vector:add\ninc m0\n");trstack.adjust(1);}
	1475	}
	1476	;
	1477
	1478	d_element: expr ':' expr
	1479	{
	1480	if ($1.constant)
	1481	{
	1482	if ($3.constant)
	1483	trctx.out->printf("move s1,m1\ncall [m1].Dictionary:set,%s,%s\n",litstr($1),litstr($3));
	1484	else
	1485	{trctx.out->printf("move s2,m1\nmove %s,s1\ncall [m1].Dictionary:set\ninc m0\n",litstr($1));trstack.adjust(1);}
	1486	}
	1487	else
	1488	{
	1489	if ($3.constant)
	1490	{trctx.out->printf("move s2,m1\nmove s0,s1\nmove %s,s0\ncall [m1].Dictionary:set\ninc m0\n",litstr($3));trstack.adjust(1);}
	1491	else
	1492	{trctx.out->printf("move s3,m1\ncall [m1].Dictionary:set\nadd 2,m0\n");trstack.adjust(2);}
	1493	}
	1494	}
	1495	;
	1496
	1497	member: IDENT { $$=$1; $$.constant=1;}
	1498	\| OBJNAME ':' IDENT { SString t=$1.getString();t+=":";t+=$3.getString();
	1499	$$.setString(t);$$.constant=1;}
	1500	\| '[' stackexpr ']' { SString t="["; t+=$2.getString(); t+="]";
	1501	$$.setString(t); $$.constant=0;}
	1502
	1503	arguments: /* empty */ { $$.setInt(0); }
	1504	\| stackexpr { $$.setInt(1); }
	1505	\| arguments ',' stackexpr {$$.setInt($1.getInt()+1);}
	1506	;
	1507
	1508	%%
	1509
	1510	SString makeLitString(const ExtValue& val)
	1511	{
	1512	if (val.type!=TString)
	1513	return val.getString();
	1514	SString s=val.getString();
[973]	1515	int len=s.length();
[955]	1516	SString ret;
	1517	ret.reserve((len*11)/10+10);
[163]	1518	ret+='\"';
[348]	1519	const char*t=s.c_str();
[163]	1520	while(len>0)
	1521	{
	1522	switch(*t)
	1523	{
	1524	case '\n': ret+="\\n"; break;
	1525	case '\r': ret+="\\r"; break;
	1526	case '\t': ret+="\\t"; break;
	1527	default: ret+=*t;
	1528	}
	1529	t++; len--;
	1530	}
	1531	ret+='\"';
	1532	return ret;
	1533	}
	1534
	1535	static void yyprint (FILE *file,int type,YYSTYPE value)
	1536	{
	1537	fprintf(file,"(%s)%s",str(value),value.constant?"c":"");
	1538	}
	1539
	1540	int yyerror (const char s) / Called by yyparse on error */
	1541	{
	1542	trctx.err->printf ("%s\n",s);
	1543	return 0; // w przykladach do bisona tez nie dali returna...
	1544	}
	1545
	1546	void handleTwoArg(YYSTYPE& result,const YYSTYPE& arg1,const YYSTYPE& arg2,
[332]	1547	int optoken,const char* opname,bool negarg2,bool uniq)
[163]	1548	{
[332]	1549	trctx.emitLine();
[163]	1550	result.ident=false;
	1551	if (arg1.constant && arg2.constant)
	1552	{
	1553	result=arg1;
	1554	switch(optoken)
	1555	{
	1556	case '+': result+=arg2; break;
	1557	case '-': result-=arg2; break;
	1558	case '': result=arg2; break;
	1559	case '/': result/=arg2; break;
	1560	case '%': result%=arg2; break;
	1561	case '&': result.setInt(arg1.getInt() & arg2.getInt()); break;
	1562	case '\|': result.setInt(arg1.getInt() \| arg2.getInt()); break;
	1563	case LSHIFT: result.setInt(arg1.getInt() << arg2.getInt()); break;
	1564	case RSHIFT: result.setInt(arg1.getInt() >> arg2.getInt()); break;
	1565	}
	1566	}
	1567	else
	1568	{
	1569	//TODO: prawie kazde uzycie uniq jest niepotrzebne bo typem rzadko bedzie vector, ale w wiekszosci miejsc okreslenie typu wartosci
	1570	// byloby bardzo trudne lub niemozliwe. mozna byloby natomiast zapamietywac przy parsowaniu czy dana wartosc na stosie jest
	1571	// skopiowana ze zmiennej/pola czy jest wynikiem wczesniejszej operacji co pozwoliloby na likwidacje bardzo wielu uniq
	1572	result.constant=0;
	1573	result.assign=arg1.assign \|\| arg2.assign;
	1574	result.parens=0;
	1575	result.setString(opname);
	1576	if (arg1.constant)
[332]	1577	trctx.out->printf("move %s,m1\n%s%s s0,m1\nmove m1,s0\n",litstr(arg1),
[163]	1578	negarg2?"neg s0\n":"",
	1579	opname);
	1580	else if (arg2.constant)
	1581	{
[332]	1582	if (negarg2)
	1583	trctx.out->printf("%s %d,s0\n",opname,-arg2.getInt());
[163]	1584	else
[332]	1585	trctx.out->printf("%s%s %s,s0\n",(uniq?"uniq s0\n":""),opname,litstr(arg2));
[163]	1586	}
	1587	else
	1588	{
	1589	trctx.out->printf("%s%s%s s0,s1\ninc m0\n",
[332]	1590	uniq?"uniq s1\n":"",
[163]	1591	negarg2?"neg s0\n":"",
	1592	opname);
	1593	trstack.adjust(+1);
	1594	}
	1595	}
	1596	}
	1597
	1598	bool handleAssignOp(YYSTYPE& result,const YYSTYPE& var,const YYSTYPE& arg,const char* opname)
	1599	{
	1600	int loc; if (variableOk(result,var,loc))
	1601	{
	1602	loc-=trstack.currentPos();
	1603	if (arg.constant)
	1604	{
	1605	trctx.out->printf("%s %s,s%d\npush s%d\n",opname,litstr(arg),loc,loc);
	1606	trstack.adjust(-1);
	1607	}
	1608	else
	1609	trctx.out->printf("%s s0,s%d\nmove s%d,s0\n",opname,loc,loc);
	1610	return 1;
	1611	}
	1612	return 0;
	1613	}
	1614
	1615	bool handleAssignOp2(YYSTYPE& result,const char var,const YYSTYPE& arg,const char opname,int stackpos,bool push)
	1616	{
	1617	if (arg.constant)
	1618	{
	1619	trctx.out->printf("%s %s,%s\n",opname,litstr(arg),var);
	1620	if (!push)
	1621	trctx.out->printf("move %s,s%d\n",var,stackpos);
	1622	else
	1623	{
	1624	trctx.out->printf("push %s\n",var);
	1625	trstack.adjust(-1);
	1626	}
	1627	}
	1628	else
	1629	trctx.out->printf("%s s0,%s\nmove %s,s%d\n",opname,var,var,stackpos);
	1630	return 1;
	1631	}
	1632
[332]	1633	bool handleCompare(YYSTYPE& result,const YYSTYPE& arg1,const YYSTYPE& arg2,ExtValue::CmpOperator op,const char* opname)
	1634	{
	1635	trctx.emitLine();
[163]	1636	result.ident=0;
	1637	if (arg1.constant && arg2.constant)
	1638	{
	1639	result.constant=1;
[333]	1640	ExtValue::CompareResult cmp=arg1.compare(arg2);
[332]	1641	ExtValue::CmpContext context;
	1642	context.v1=&arg1;
	1643	context.v2=&arg2;
	1644	int ret=ExtValue::interpretCompare(op,cmp,&context);
	1645	if (ret<0)
	1646	result.setEmpty();//return false;
	1647	else
	1648	result.setInt(ret);
	1649	return true;
[163]	1650	}
	1651	else
	1652	{
	1653	result.constant=0;
	1654	result.assign=arg1.assign \|\| arg2.assign;
	1655	result.parens=0;
	1656	result.setString(opname);
	1657	if (arg1.constant)
	1658	trctx.out->printf("setif %s,%s,s0,s0\n",litstr(arg1),opname);
	1659	else if (arg2.constant)
	1660	trctx.out->printf("setif s0,%s,%s,s0\n",opname,litstr(arg2));
	1661	else
	1662	{
	1663	trctx.out->printf("setif s1,%s,s0,s1\ninc m0\n",opname);
	1664	trstack.adjust(+1);
	1665	}
[332]	1666	return true;
[163]	1667	}
	1668	}
	1669
[333]	1670	static bool resultIsRelaxedEqual(ExtValue::CompareResult res)
	1671	{
	1672	return (res==ExtValue::ResultEqual)\|\|(res==ExtValue::ResultEqualUnordered)\|\|(res==ExtValue::ResultUnequal_RelaxedEqual);
	1673	}
	1674
[477]	1675	bool canAddName(const SString &name,NameKind kind)
[163]	1676	{
[477]	1677	ExtValue dummy;
	1678	NameKind found=NameNotFound;
	1679	if (globalNameOk(name)) found=GlobalName;
	1680	else if (trstack.getConstant(name,dummy)) found=ConstName;
	1681	else if (kind!=VariableName) { if (variableNameOk(name)!=TranslatorStack::NOTFOUND) found=VariableName; }
	1682	if (found!=NameNotFound)
	1683	{ trctx.err->printf("Can't define '%s %s' (previously defined as %s)",name_kind_names[kind],name.c_str(),name_kind_names[found]); return false; }
	1684	return true;
	1685	}
	1686
	1687	int variableNameOk(const SString &name)
	1688	{
	1689	int loc=trstack.getVariableLocation(name);
[163]	1690	if (loc != TranslatorStack::NOTFOUND)
[466]	1691	{
	1692	if ((trctx.functionstackpos!=TranslatorContext::NOT_IN_FUNCTION)
	1693	&& (loc>=trctx.beforefunctionstackpos))
[477]	1694	return TranslatorStack::NOTFOUND;
	1695	return loc;
	1696	}
	1697	return TranslatorStack::NOTFOUND;
	1698	}
	1699
	1700	bool variableOk(TokenValue &tok, const TokenValue& var,int &loc)
	1701	{
	1702	loc=variableNameOk(var.getString());
	1703	if (loc != TranslatorStack::NOTFOUND)
	1704	{
[466]	1705	tok.setInt(loc); tok.constant=0;
[477]	1706	return true;
[466]	1707	}
[477]	1708	return false;
[163]	1709	}
	1710
	1711	bool globalOk(const TokenValue& var)
	1712	{
[477]	1713	return globalNameOk(var.getString());
	1714	}
	1715
	1716	bool globalNameOk(const SString& name)
	1717	{
	1718	SymTabEntry* found=trstack.globals.find(name);
[163]	1719	if (found) return true;
[477]	1720	return framscriptIsGlobalName(name.c_str());
[163]	1721	}
	1722
	1723	void badVariable(TokenValue &tok, const TokenValue& var)
	1724	{
	1725	tok=var; tok.constant=1;
	1726	trctx.err->printf("undefined variable '%s'\n",str(var));
	1727	}
	1728
	1729	bool doBreak(int level)
	1730	{
	1731	if (trstack.loops.size()<level)
[245]	1732	{trctx.err->printf("invalid 'break'\n"); return 0;}
[163]	1733	LoopInfo* li=trstack.loops.getLoop(level-1);
	1734	if (li->location != trstack.currentPos())
	1735	trctx.out->printf("add %d,m0\n",li->location-trstack.currentPos());
	1736	trctx.out->printf("jump :_loop_end_%d\n",li->id);
	1737	return 1;
	1738	}
	1739
	1740	bool doContinue(int level)
	1741	{
	1742	if (trstack.loops.size()<level)
[245]	1743	{trctx.err->printf("invalid 'continue'\n"); return 0;}
[163]	1744	LoopInfo* li=trstack.loops.getLoop(level-1);
	1745	if (li->location != trstack.currentPos())
	1746	trctx.out->printf("add %d,m0\n",li->location-trstack.currentPos());
	1747	trctx.out->printf("jump :_loop_%d\n",li->id);
	1748	return 1;
	1749	}
	1750
	1751	int lookupToken(char *s)
	1752	{
	1753	int len=strlen(s);
	1754	int i;
	1755	const char *t;
	1756	for (i = 0; i < YYNTOKENS; i++)
	1757	{
	1758	t=yytname[i];
	1759	if (t && (t[0]=='"')
	1760	&& (!strncmp(t+1,s,len))
	1761	&& (t[len+1]=='"')
	1762	&& (t[len+2] == 0))
	1763	return yytoknum[i];
	1764	}
	1765	return -1;
	1766	}
	1767
	1768	void warnTruthValue(const TokenValue& t)
	1769	{
	1770	if (t.assign && (!t.parens))
[375]	1771	logPrintf("FramScriptCompiler","translate",LOG_WARN,"Assignment used as truth value, use ((double parens)) if you really mean it");
[163]	1772	}
	1773
	1774	void outFunName(const TokenValue& t)
	1775	{
	1776	if (trctx.functiontmplabel<0)
	1777	{
	1778	trctx.functiontmplabel=trctx.labelcounter++;
	1779	trctx.out->printf("jump :_skipfun_%d\n",trctx.functiontmplabel);
	1780	}
	1781	trctx.out->printf(":%s\n",str(t));
	1782	}
	1783
	1784	bool evalVariable(TokenValue &tok,const TokenValue &var)
	1785	{
	1786	int loc;
	1787	if (variableOk(tok,var,loc))
	1788	{
	1789	trctx.out->printf("push s%d\n",loc-trstack.currentPos());
	1790	trstack.adjust(-1);
	1791	return true;
	1792	}
	1793	else if (globalOk(var))
	1794	{
[348]	1795	trctx.out->printf("push @%s\n",var.getString().c_str());
[163]	1796	trstack.adjust(-1);
	1797	return true;
	1798	}
	1799	else
	1800	{
	1801	badVariable(tok,var); return false;
	1802	}
	1803	}

Note: See TracBrowser for help on using the repository browser.

Download in other formats:

Original Format