Context Navigation

framscript.y @ 200

Last change on this file since 200 was 197, checked in by Maciej Komosinski, 11 years ago
GDK used by developers since 1999, distributed on the web since 2002
Property svn:eol-style set to `native`
File size: 39.4 KB

Rev	Line
[163]	1	// This file is a part of the Framsticks GDK.
[197]	2	// Copyright (C) 1999-2014 Maciej Komosinski and Szymon Ulatowski. See LICENSE.txt for details.
[163]	3	// Refer to http://www.framsticks.com/ for further information.
	4
	5	%{
	6	#include "framscript-defs.h"
	7	#include "common/framsg.h"
	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
	15	static void yyprint (FILE *file,int type,YYSTYPE value);
	16	void handleTwoArg(YYSTYPE& result,const YYSTYPE& arg1,const YYSTYPE& arg2,
	17	int optoken,const char* opname, bool logic, bool negarg2, bool uniq);
	18	void handleCompare(YYSTYPE& result,const YYSTYPE& arg1,const YYSTYPE& arg2,
	19	int optoken,const char* opname);
	20	bool handleAssignOp(YYSTYPE& result,const YYSTYPE& var,const YYSTYPE& arg,const char* opname);
	21	bool handleAssignOp2(YYSTYPE& result,const char var,const YYSTYPE& arg,const char opname,int stackpos,bool push);
	22	bool variableOk(TokenValue &tok, const TokenValue& var,int &loc);
	23	bool globalOk(const TokenValue& var);
	24	void badVariable(TokenValue &tok, const TokenValue &var);
	25	bool evalVariable(TokenValue &tok, const TokenValue &var);
	26	bool doBreak(int level);
	27	bool doContinue(int level);
	28	void warnTruthValue(const TokenValue& t);
	29	void outFunName(const TokenValue& t);
	30
	31	static const char* assign_op_names[]={"add","sub","mul","div","mod"};
	32
	33	%}
	34
	35	%token_table
	36
	37	%token CONSTANT
	38
	39	%nonassoc ASSIGN_ADD ASSIGN_SUB ASSIGN_MUL ASSIGN_DIV ASSIGN_MOD
	40	%nonassoc PLUSPLUS MINUSMINUS
	41	%left LOGIC_AND LOGIC_OR '!'
	42	%left EQUAL NOT_EQUAL GEQUAL LEQUAL '>' '<'
	43	%left '\|' '&' '^'
	44	%left '-' '+'
	45	%left '*' '/' '%'
	46	%left NEG /* negation--unary minus */
	47	%left TYPEOF
	48
	49	%token IDENT
	50	%token OBJNAME
	51
	52	%token IF "if"
	53	%token ELSE "else"
	54	%token FOR "for"
	55	%token INNN "in"
	56	%token WHILE "while"
	57	%token DO "do"
	58	%token GOTO "goto"
	59	%token RETURN "return"
	60	%token BREAK "break"
	61	%token CONTINUE "continue"
	62	%token SWITCH "switch"
	63	%token CASE "case"
	64	%token DEFAULT "default"
	65
	66	%token TYPEOF "typeof"
	67
	68	%token ASM
	69	%token ASMLINE
	70
	71	%token VAR "var"
	72	%token GLOBAL "global"
	73	%token FUNCTION "function"
	74
	75	%token CALL "call"
	76
	77	%token ASSIGN
	78	%token ASSIGN_ADD
	79	%token ASSIGN_SUB
	80	%token ASSIGN_MUL
	81	%token ASSIGN_DIV
	82
	83	%token EQUAL
	84	%token NOT_EQUAL
	85	%token GEQUAL
	86	%token LEQUAL
	87
	88	%token LOGIC_AND
	89	%token LOGIC_OR
	90
	91	%token PLUSPLUS
	92	%token MINUSMINUS
	93
	94	%token LSHIFT
	95	%token RSHIFT
	96
	97	%%
	98	code: {$$.setInt(trstack.currentPos());} recurcode
	99	{
	100	int pos=$1.getInt();
	101	if (pos!=trstack.currentPos()) trctx.out->printf("add %d,m0\n",pos-trstack.currentPos());
	102	}
	103	;
	104
	105	recurcode: /* empty string */
	106	\| recurcode statement
	107	;
	108
	109	statement: ';'
	110	\| VAR vardeflist ';'
	111	\| GLOBAL globaldeflist ';'
	112	\| IDENT ':' {trctx.out->printf(":%s\n",str($1));}
	113	\| expr ';' {if (!$1.constant) { trctx.out->printf("inc m0\n"); trstack.adjust(+1); } }
	114	\| functiondef
	115	\| blok
	116	\| if_statement
	117	\| goto_statement
	118	\| return_statement
	119	\| for_statement
	120	\| while_statement
	121	\| dowhile_statement
	122	\| break_statement
	123	\| continue_statement
	124	\| switch_statement
	125	// \| error ';'
	126	\| asmblock
	127	;
	128
	129	asmblock: ASM asmlines '}'
	130	;
	131
	132	asmlines: /* empty */
	133	\| ASMLINE {fputs(str($1),trctx.out);fputc('\n',trctx.out);}
	134	\| asmlines ASMLINE {fputs(str($2),trctx.out);fputc('\n',trctx.out);}
	135	;
	136
	137	goto_statement: GOTO IDENT ';'
	138	{
	139	#ifdef FRAMSCRIPT_GOTO
	140	trctx.out->printf("jump :%s\n",str($2)); FMprintf("FramScriptCompiler","translate",FMLV_WARN,"goto is not recommended (%s line %d)",(const char*)trctx.srcname,trctx.line);
	141	#else
	142	trctx.err->printf("goto is not supported");return 1;
	143	#endif
	144	}
	145	;
	146
	147	return_statement: RETURN expr ';'
	148	{
	149	int offset;
	150	if (trctx.functionstackpos==999)
	151	offset=-trstack.currentPos();
	152	else
	153	offset=trctx.functionstackpos-trstack.currentPos();
	154	if (!offset)
	155	{
	156	if ($2.constant)
	157	trctx.out->printf("move %s,s0\nreturn\n",litstr($2));
	158	else
	159	{
	160	trctx.out->printf("move m[m0++],s0\nreturn\n");
	161	trstack.adjust(+1);
	162	}
	163	}
	164	else
	165	{
	166	if ($2.constant)
	167	{
	168	trctx.out->printf("add %d,m0\nmove %s,s0\nreturn\n",offset,litstr($2));
	169	trstack.adjust(offset);
	170	}
	171	else
	172	{
	173	trctx.out->printf("move s0,s%d\nadd %d,m0\nreturn\n",offset,offset);
	174	trstack.adjust(offset);
	175	}
	176	}
	177	}
	178	\| RETURN ';'
	179	{
	180	int offset;
	181	if (trctx.functionstackpos==999)
	182	offset=-trstack.currentPos();
	183	else
	184	offset=trctx.functionstackpos-trstack.currentPos();
	185	if (!offset)
	186	trctx.out->printf("move invalid,s0\nreturn\n");
	187	else
	188	trctx.out->printf("add %d,m0\nmove invalid,s0\nreturn\n",offset);
	189	}
	190	;
	191
	192	vardeflist: vardef
	193	\| vardeflist ',' vardef
	194	;
	195
	196	vardef: IDENT {trstack.addVariable($1.getString()); trctx.out->printf("push invalid\n");}
	197	\| IDENT '=' stackexpr {trstack.adjust(1); trstack.addVariable($1.getString());}
	198	;
	199
	200	globaldeflist: globaldef
	201	\| globaldeflist ',' globaldef
	202	;
	203
	204	globaldef: IDENT {trstack.globals.add($1.getString(),0);
	205	trctx.out->printf("global %s\n",str($1));}
	206	;
	207
	208	funparam: IDENT { trstack.addVariable($1.getString()); };
	209
	210	paramlist: /* empty */ {$$.setInt(0); }
	211	\| funparam {$$.setInt(1); }
	212	\| paramlist ',' funparam {$$.setInt($1.getInt()+1);}
	213	;
	214
	215	funnamelist:
	216	IDENT {outFunName($1);}
	217	\| funnamelist ',' IDENT {outFunName($3);}
	218	;
	219
	220	functiondef: FUNCTION funnamelist
	221	{
	222	int pos=trstack.currentPos();
	223	$$.setInt(pos);
	224	if (trctx.functionstackpos!=999)
	225	{trctx.err->printf("functions cannot be nested");return 1;}
	226	}
	227	'(' paramlist ')'
	228	{
	229	trctx.functionstackpos=trstack.currentPos();
	230	}
	231	blok
	232	{trctx.out->printf("move invalid,s0\nreturn\n");
	233	int pos=$3.getInt();
	234	trstack.dropToPos(pos);
	235	trctx.functionstackpos=999;
	236	trctx.out->printf(":_skipfun_%d\n",trctx.functiontmplabel);
	237	trctx.functiontmplabel=-1;
	238	};
	239
	240	break_statement: BREAK ';' {if (!doBreak(1)) return 1;}
	241	\| BREAK expr ';'
	242	{
	243	if (!$2.constant)
	244	{trctx.err->printf("break level must be a constant expression");return 1;}
	245	int level=$2.getInt();
	246	if (level<1)
	247	{trctx.err->printf("break level must be a positive integer");return 1;}
	248	if (!doBreak(level)) return 1;
	249	};
	250
	251	continue_statement: CONTINUE ';' {if (!doContinue(1)) return 1;}
	252	\| CONTINUE expr ';'
	253	{
	254	if (!$2.constant)
	255	{trctx.err->printf("continue level must be a constant expression");return 1;}
	256	int level=$2.getInt();
	257	if (level<1)
	258	{trctx.err->printf("continue level must be a positive integer");return 1;}
	259	if (!doContinue(level)) return 1;
	260	};
	261
	262	while_statement: WHILE '('
	263	{ int c=trctx.labelcounter++; $$.setInt(c);
	264	$$.stack=trstack.currentPos();
	265	trstack.loops.addLoop(c,$$.stack);
	266	trctx.out->printf(":_loop_%d\n",c);}
	267	expr ')'
	268	{
	269	int c=$3.getInt();
	270	warnTruthValue($4);
	271	if ($4.constant)
	272	{if (!$4.getInt()) trctx.out->printf("jump :_loop_end_%d\n",c);}
	273	else
	274	{
	275	trctx.out->printf("if m[m0++],==,0,:_loop_end_%d\n",c,c);
	276	trstack.adjust(+1);
	277	}
	278	}
	279	pseudoblok_statement
	280	{trctx.out->printf("jump :_loop_%d\n:_loop_end_%d\n",$3.getInt(),$3.getInt());
	281	trstack.adjust($3.stack-trstack.currentPos());
	282	trstack.loops.drop();
	283	}
	284	;
	285
	286	dowhile_statement: DO
	287	{ int c=trctx.labelcounter++; $$.setInt(c);
	288	$$.stack=trstack.currentPos();
	289	trstack.loops.addLoop(c,$$.stack);
	290	trctx.out->printf(":_loop_%d\n",c);} //2
	291
	292	pseudoblok_statement WHILE '(' expr ')'
	293
	294	{//8
	295	int c=$2.getInt();
	296	warnTruthValue($6);
	297	if ($6.constant)
	298	{if ($6.getInt()) trctx.out->printf("jump :_loop_%d\n",c);}
	299	else
	300	{
	301	trctx.out->printf("if !=,m[m0++],:_loop_%d\n",c);
	302	trstack.adjust(+1);
	303	}
	304	trctx.out->printf(":_loop_end_%d\n",c);
	305	trstack.adjust($2.stack-trstack.currentPos());
	306	trstack.loops.drop();
	307	}
	308	;
	309
	310	switch_statement: SWITCH '('
	311	{int c=trctx.labelcounter++; $1.setInt(c);
	312	trstack.loops.addLoop(c,trstack.currentPos());}
	313	stackexpr ')'
	314	{trctx.out->printf("dec m0\n");trstack.adjust(-1);}
	315	'{' inside_switch '}'
	316	{int c=$1.getInt(); trctx.out->printf("add 2,m0\n:_loop_end_%d\n",c); trstack.adjust(+2);
	317	trstack.loops.drop();}
	318	;
	319
	320	inside_switch: /* empty */
	321	\| case_label
	322	\| inside_switch case_label
	323	;
	324
	325	case_label: CASE expr ':'
	326	{if (!$2.constant) {trctx.err->printf("case label must be a constant expression");return 1;}
	327	int c=trctx.labelcounter++; $1.setInt(c);
	328	trctx.out->printf("if s1,!=,%s,:_skip_%d\n",litstr($2),c);
	329	int pos=trstack.currentPos(); $$.setInt(pos);
	330	}
	331	recurcode
	332	{
	333	int pos=$4.getInt();
	334	if (pos!=trstack.currentPos()) trctx.out->printf("add %d,m0\n",pos-trstack.currentPos());
	335	trstack.dropToPos(pos);
	336	trctx.out->printf(":_skip_%d\n",$1.getInt());
	337	}
	338	\| DEFAULT ':' recurcode
	339	;
	340
	341	newvar_or_expr:
	342	VAR IDENT { $$.setInt(trstack.addVariable($2.getString())); trctx.out->printf("push invalid\n"); $$.ident=true; $$.var=true; }
	343
	344	\|
	345	VAR IDENT '=' stackexpr
	346	{
	347	//trctx.out->printf("# VAR IDENT '=' stackexpr pos=%d\n",trstack.currentPos());
	348	trstack.adjust(+1);
	349	$$.setInt(trstack.addVariable($2.getString()));
	350	$$.ident=true; $$.var=true;
	351	}
	352
	353	\|
	354	expr_special_ident
	355	{
	356	$$=$1;
	357	}
	358
	359	\| //nic
	360	{
	361	$$.setInt(1); $$.assign=false; $$.ident=false; $$.var=false; $$.constant=true;
	362	}
	363	;
	364
	365	expr_or_objname:
	366	expr { $$=$1; $$.objname=false; }
	367	\|
	368	OBJNAME { $$.setString($1.getString()); $$.objname=true; }
	369	;
	370
	371	for_statement_begin: FOR '('
	372	{
	373	int c=trctx.labelcounter++; $$.counter=c; $$.stack=trstack.currentPos();
	374	}
	375	newvar_or_expr
	376	{
	377	$$=$4; $$.counter=$3.counter; $$.stack=$3.stack;
	378	};
	379
	380	for_statement:
	381
	382	/////////// for(in) ... ////////////
	383	for_statement_begin INNN
	384	{//3
	385	if (!$1.ident)
	386	{
	387	trctx.err->printf("for(... in ...) requires an variable\n");
	388	return 1;
	389	}
	390	int loc;
	391	if ($1.var) // for(var x[=expr] in
	392	$$.setInt($1.getInt());
	393	else
	394	{ // for(x in
	395	if (variableOk($$,$1,loc))
	396	$$.setInt(loc);
	397	else if (globalOk($1))
	398	{
	399	trctx.err->printf("global '%s' can't be iterating variable in for\n",str($1));
	400	return 1;
	401	}
	402	else
	403	{
	404	badVariable($$,$1);
	405	return 1;
	406	}
	407	}
	408	}
	409	expr_or_objname ')'
	410	{//6
	411	if ($4.constant)
	412	{trctx.err->printf("%s can't be iterated\n",str($4)); return 1;}
	413	if ($4.objname)
	414	trctx.out->printf("move %s.iterator,m[--m0]\n",(const char*)$4.getString());
	415	else
	416	trctx.out->printf("move s%d,m1\nmove [m1].\"iterator\",m[--m0]\n",0);
	417	trstack.adjust(-1);
	418	// s0=iterator s1=obj (=obj.iterator)
	419	trstack.loops.addLoop($1.counter,trstack.currentPos());
	420	trctx.out->printf(":_loop1_%d\n",$1.counter);
	421	trctx.out->printf(":_loop_%d\n",$1.counter);
	422	trctx.out->printf("move s0,m1\nmove [m1].\"next\",m2\n");
	423	trctx.out->printf("if m2,==,0,:_loop_end_%d\n",$1.counter);
	424	trctx.out->printf("move [m1].\"value\",s%d\n",$3.getInt()-trstack.currentPos());
	425	}
	426	pseudoblok_statement
	427	{
	428	trctx.out->printf("jump :_loop1_%d\n",$1.counter);
	429	trctx.out->printf(":_loop_end_%d\n",$1.counter);
	430	trstack.loops.drop();
	431	if ($1.stack != trstack.currentPos())
	432	trctx.out->printf("add %d,m0\n",$1.stack-trstack.currentPos());
	433	trstack.adjust($1.stack-trstack.currentPos());
	434	}
	435
	436	\|
	437
	438	/////////// for(;;) ... ////////////
	439	for_statement_begin ';'
	440	{ //3
	441	//trctx.out->printf("# for_statement_begin pos=%d ident=%d var=%d\n",trstack.currentPos(),$1.ident,$1.var);
	442	if ((!$1.var) && ($1.ident))
	443	{ // for(x;
	444	int loc;
	445	if ((!variableOk($$,$1,loc)) \|\| (globalOk($1)))
	446	{
	447	badVariable($$,$1);
	448	return 1;
	449	}
	450	}
	451	if (!$1.constant && !$1.ident)
	452	{
	453	trctx.out->printf("inc m0\n");
	454	trstack.adjust(+1);
	455	}
	456	trstack.loops.addLoop($1.counter,trstack.currentPos());
	457	trctx.out->printf(":_loop1_%d\n",$1.counter);
	458	//trctx.out->printf("# expr#2\n");
	459	}
	460	expr_or_empty ';'
	461	{ //6
	462	int c=$1.counter;
	463	warnTruthValue($4);
	464	if ($4.constant)
	465	{if (!$4.getInt()) trctx.out->printf("jump :_loop_end_%d\n",c);}
	466	else
	467	{
	468	trctx.out->printf("if m[m0++],==,0,:_loop_end_%d\n",c,c);
	469	trstack.adjust(+1);
	470	}
	471	trctx.tmp=0;
	472	trctx.divertOut();
	473	//trctx.out->printf("# expr#3\n");
	474	}
	475	expr_or_empty ')'
	476	{ //9
	477	if (!$7.constant) { trctx.out->printf("inc m0\n"); trstack.adjust(+1); }
	478	trctx.restoreOut();
	479	$$.setString(trctx.tmp);
	480	//trctx.out->printf("# pseudoblok_statement pos=%d\n",trstack.currentPos());
	481	}
	482	pseudoblok_statement
	483	{//11
	484	trctx.out->printf(":_loop_%d\n",$1.counter);
	485	LoopInfo* li=trstack.loops.getLoop(0);
	486	if (li->location != trstack.currentPos())
	487	trctx.out->printf("add %d,m0\n",li->location-trstack.currentPos());
	488	trctx.out->printf(str($9));
	489	if (li->location != trstack.currentPos())
	490	trctx.out->printf("sub %d,m0\n",li->location-trstack.currentPos());
	491	trctx.out->printf("jump :_loop1_%d\n:_loop_end_%d\n",$1.counter,$1.counter);
	492	if ($1.stack != trstack.currentPos())
	493	trctx.out->printf("add %d,m0\n",$1.stack-trstack.currentPos());
	494	trstack.adjust($1.stack-trstack.currentPos());
	495	trstack.loops.drop();
	496	}
	497	;
	498
	499	pseudoblok_statement:
	500	{int pos=trstack.currentPos(); $$.setInt(pos);
	501	}
	502	statement
	503	{
	504	int pos=$1.getInt();
	505	if (pos!=trstack.currentPos()) trctx.out->printf("add %d,m0\n",pos-trstack.currentPos());
	506	trstack.dropToPos(pos);
	507	};
	508
	509	if_statement:
	510	if_condition pseudoblok_statement
	511	{
	512	if ($1.stack!=trstack.currentPos())
	513	trctx.out->printf("add %d,m0\n",$1.stack-trstack.currentPos());
	514	trstack.adjust(trstack.currentPos()-$1.stack);
	515	trctx.out->printf("jump :_if_end_%d\n:_if_else_%d\n",$1.getInt(),$1.getInt());
	516	}
	517	ELSE
	518	{trstack.adjust($1.stack-trstack.currentPos());}
	519	pseudoblok_statement
	520	{
	521	if ($1.stack!=trstack.currentPos())
	522	trctx.out->printf("add %d,m0\n",$1.stack-trstack.currentPos());
	523	trstack.adjust(trstack.currentPos()-$1.stack);
	524	trctx.out->printf(":_if_end_%d\n",$1.getInt());
	525	}
	526	\|
	527	if_condition pseudoblok_statement
	528	{
	529	if ($1.stack!=trstack.currentPos())
	530	trctx.out->printf("add %d,m0\n",$1.stack-trstack.currentPos());
	531	trstack.dropToPos($1.stack);
	532	trctx.out->printf(":_if_else_%d\n",$1.getInt());
	533	}
	534	;
	535
	536	if_condition: IF
	537	{$$.stack=trstack.currentPos();}
	538
	539	'(' expr ')'
	540	{
	541	int c=trctx.labelcounter++;
	542	$$.setInt(c);
	543	warnTruthValue($4);
	544	if ($4.constant)
	545	{
	546	if (!$4.getInt()) trctx.out->printf("jump :_if_else_%d\n",c);
	547	}
	548	else
	549	{
	550	trctx.out->printf("if m[m0++],==,0,:_if_else_%d\n",c);
	551	trstack.adjust(+1);
	552	}
	553	$$.stack=$2.stack;
	554	};
	555
	556	blok: '{'
	557	{ int pos=trstack.currentPos();
	558	$$.setInt(pos);
	559	}
	560	recurcode '}'
	561	{
	562	int pos=$2.getInt();
	563	if (pos!=trstack.currentPos()) trctx.out->printf("add %d,m0\n",pos-trstack.currentPos());
	564	trstack.dropToPos(pos);
	565	}
	566
	567	assign_op: ASSIGN_ADD {$$.setInt(0);}
	568	\| ASSIGN_SUB {$$.setInt(1);}
	569	\| ASSIGN_MUL {$$.setInt(2);}
	570	\| ASSIGN_DIV {$$.setInt(3);}
	571	\| ASSIGN_MOD {$$.setInt(4);}
	572
	573	plusminus: PLUSPLUS {$$.setInt(1);} \| MINUSMINUS {$$.setInt(0);}
	574
	575	expr: expr_special_ident
	576	{
	577	//trctx.out->printf("# expr: ident=%d str=%s\n",$1.ident,(const char*)$1.getString());
	578	if ($1.ident)
	579	{
	580	if (evalVariable($$,$1))
	581	$$.constant=false;
	582	else
	583	return 1;
	584	}
	585	else
	586	{$$=$1; $$.ident=false;}
	587	}
	588	;
	589
	590	expr_or_empty:
	591	expr {$$=$1;}
	592
	593	\| //nic
	594	{ $$.setInt(1); $$.assign=false; $$.constant=true; $$.ident=false; $$.ident=false; }
	595	;
	596
	597	expr_special_ident: CONSTANT { $$=$1; $$.constant=1; $$.ident=0; }
	598
	599	\| IDENT { $$.ident=true; $$.setString($1.getString()); }
	600
	601	\| OBJNAME ':' IDENT {$$.constant=0; $$.ident=0;
	602	trctx.out->printf("push %s:%s\n",(const char*)$1.getString(),
	603	(const char*)$3.getString());
	604	trstack.adjust(-1);
	605	}
	606	\| plusminus IDENT
	607	{
	608	$$.ident=0;
	609	int loc; if (variableOk($$,$2,loc))
	610	{ loc-=trstack.currentPos();
	611	trctx.out->printf("%s s%d\npush s%d\n",$1.getInt()?"inc":"dec",loc,loc);
	612	trstack.adjust(-1);}
	613	else if (globalOk($2))
	614	{ trctx.out->printf("%s @%s\npush @%s\n",$1.getInt()?"inc":"dec",str($2),str($2));
	615	trstack.adjust(-1);}
	616	else {badVariable($$,$2); return 1;}
	617	}
	618
	619	\| IDENT plusminus
	620	{
	621	$$.ident=0;
	622	int loc; if (variableOk($$,$1,loc))
	623	{loc-=trstack.currentPos(); trctx.out->printf("push s%d\n%s s%d\n",loc,$2.getInt()?"inc":"dec",loc+1);
	624	trstack.adjust(-1);}
	625	else if (globalOk($1))
	626	{ trctx.out->printf("push @%s\n%s @%s\n",(const char*)$1.getString(),
	627	$2.getInt()?"inc":"dec",(const char*)$1.getString());
	628	trstack.adjust(-1);}
	629	else {badVariable($$,$1); return 1;}
	630	}
	631
	632	\| IDENT assign_op expr { $$.ident=0;
	633	if (!handleAssignOp($$,$1,$3,assign_op_names[$2.getInt()]))
	634	if (globalOk($1)) {SString t="@"; t+=$1.getString();
	635	handleAssignOp2($$,(const char*)t,$3,assign_op_names[$2.getInt()],0,1);}
	636	else { badVariable($$,$1); return 1; }
	637	}
	638
	639	\| TYPEOF expr { $$.ident=0;
	640	if ($2.constant)
	641	{$$.constant=1; $$=$2.getExtType();}
	642	else
	643	{trctx.out->printf("type s0,s0\n");}
	644	}
	645
	646	\| expr '+' expr { handleTwoArg($$,$1,$3,'+',"add",0,0,1); }
	647	\| expr '-' expr { handleTwoArg($$,$1,$3,'-',"sub",0,0,0); }
	648	\| expr '' expr { handleTwoArg($$,$1,$3,'',"mul",0,0,1); }
	649	\| expr '/' expr { handleTwoArg($$,$1,$3,'/',"div",0,0,0); }
	650	\| expr '&' expr { handleTwoArg($$,$1,$3,'&',"and",0,0,0); }
	651	\| expr '\|' expr { handleTwoArg($$,$1,$3,'\|',"or",0,0,0); }
	652	\| expr '%' expr { handleTwoArg($$,$1,$3,'%',"mod",0,0,0); }
	653	\| expr LOGIC_AND expr { handleTwoArg($$,$1,$3,LOGIC_AND,"and",1,0,0); }
	654	\| expr LOGIC_OR expr { handleTwoArg($$,$1,$3,LOGIC_OR,"or",1,0,0); }
	655	\| expr LSHIFT expr { handleTwoArg($$,$1,$3,LSHIFT,"shift",0,0,0); }
	656	\| expr RSHIFT expr { handleTwoArg($$,$1,$3,RSHIFT,"shift",0,1,0); }
	657	\| expr EQUAL expr { handleCompare($$,$1,$3,EQUAL,"=="); }
	658	\| expr NOT_EQUAL expr { handleCompare($$,$1,$3,NOT_EQUAL,"!="); }
	659	\| expr GEQUAL expr { handleCompare($$,$1,$3,GEQUAL,">="); }
	660	\| expr LEQUAL expr { handleCompare($$,$1,$3,LEQUAL,"<="); }
	661	\| expr '>' expr { handleCompare($$,$1,$3,'>',">"); }
	662	\| expr '<' expr { handleCompare($$,$1,$3,'<',"<"); }
	663
	664	\| '!' expr {
	665	$$.assign=$2.assign; $$.parens=0; $$.ident=0;
	666	if ($2.constant)
	667	{$$.constant=1; $$.setInt(!$2.getInt());}
	668	else
	669	{trctx.out->printf("setif ==,s0,s0\n");}
	670	}
	671
	672	\| '-' expr %prec NEG {
	673	$$.assign=$2.assign; $$.parens=0; $$.ident=0;
	674	if ($2.constant)
	675	{ $$.constant=$2.constant;
	676	if ($2.type==TInt) $$.setInt(-$2.getInt());
	677	else if ($2.type==TDouble) $$.setDouble(-$2.getDouble());
	678	else $$=$2;
	679	}
	680	else
	681	{
	682	$$.constant=0; SString t="-"; t+=$2.getString(); $$.setString(t);
	683	trctx.out->printf("mul -1,s0\n");
	684	}
	685	}
	686
	687	\| '(' expr ')' { $$ = $2; $$.assign=$2.assign?(!$2.parens):0; $$.parens=1; $$.ident=0; }
	688
	689	\| OBJNAME '.' member {
	690	$$.constant=0; $$.ident=0; SString t=$1.getString(); t+="."; t+=$3.getString(); $$.setString(t);
	691	if ($3.constant)
	692	{
	693	trctx.out->printf("push %s.%s\n",str($1),str($3)); trstack.adjust(-1);
	694	}
	695	else
	696	{
	697	trctx.out->printf("move s0,m1\nmove %s.[m1],s0\n",str($1));
	698	}
	699	}
	700
	701	\| OBJNAME '.' member assign_op expr
	702	{ $$.constant=0; $$.ident=0; SString t=$1.getString(); t+="."; t+=$3.getString(); $$.setString(t);
	703	if ($3.constant)
	704	{
	705	handleAssignOp2($$,(const char*)t,$5,assign_op_names[$4.getInt()],0,1);
	706	}
	707	else
	708	{
	709	int sp=($5.constant)?0:1;
	710	t=$1.getString();t+=".[m1]";
	711	trctx.out->printf("move s0,m1\n",str($1));
	712	handleAssignOp2($$,(const char*)t,$5,assign_op_names[$4.getInt()],sp,0);
	713	if (sp) {trctx.out->printf("inc m0\n"); trstack.adjust(1);}
	714	}
	715	}
	716
	717	\| plusminus OBJNAME '.' member {
	718	$$.constant=0; $$.ident=0; SString t=$2.getString(); t+="."; t+=$4.getString(); $$.setString(t);
	719	if ($4.constant)
	720	{
	721	trctx.out->printf("%s %s.%s\npush %s.%s\n",$1.getInt()?"inc":"dec",
	722	str($2),str($4),str($2),str($4));
	723	trstack.adjust(-1);
	724	}
	725	else
	726	{
	727	trctx.out->printf("move s0,m1\n%s %s.[m1]\nmove %s.[m1],s0\n",
	728	$1.getInt()?"inc":"dec",str($2),str($2));
	729	}
	730	}
	731
	732	\| OBJNAME '.' member plusminus {
	733	$$.constant=0; $$.ident=0; SString t=$1.getString(); t+="."; t+=$3.getString(); $$.setString(t);
	734	if ($3.constant)
	735	{
	736	trctx.out->printf("push %s.%s\n%s %s.%s\n",
	737	str($1),str($3),$4.getInt()?"inc":"dec",str($1),str($3));
	738	trstack.adjust(-1);
	739	}
	740	else
	741	{
	742	trctx.out->printf("move s0,m1\nmove %s.[m1],s0\n%s %s.[m1]\n",
	743	str($1),$4.getInt()?"inc":"dec",str($1));
	744	}
	745	}
	746
	747	\| OBJNAME '.' '*' {
	748	$$.constant=0; $$.ident=0; SString t=$1.getString(); t+=".*"; $$.setString(t);
	749	trctx.out->printf("push %s.*\n",str($1)); trstack.adjust(-1);
	750	}
	751
	752
	753	\| OBJNAME '.' member '=' expr {
	754	$$=$5; $$.assign=1; $$.parens=0; $$.ident=0;
	755	if ($3.constant)
	756	{
	757	if ($$.constant)
	758	trctx.out->printf("move %s,%s.%s\n",litstr($5),str($1),str($3));
	759	else
	760	trctx.out->printf("move s0,%s.%s\n",str($1),str($3));
	761	}
	762	else
	763	{
	764	if ($$.constant)
	765	{
	766	trctx.out->printf("move m[m0++],m1\nmove %s,%s.[m1]\n",
	767	litstr($5),str($1));
	768	trstack.adjust(1);
	769	}
	770	else
	771	{
	772	trctx.out->printf("move s1,m1\nmove m[m0++],s0\nmove s0,%s.[m1]\n",
	773	str($1));
	774	trstack.adjust(1);
	775	}
	776	}
	777	}
	778
	779	\| OBJNAME '.' member '(' arguments ')'
	780	{
	781	$$.constant=0; $$.ident=0; SString t=$1.getString(); t+="."; t+=$3.getString(); $$.setString(t);
	782	int adj=0,adj2=0;
	783	if ($5.getInt()==0)
	784	{trctx.out->printf("dec m0\n");trstack.adjust(-1);adj=1;}
	785	if ($3.constant)
	786	trctx.out->printf("call %s.%s\n",str($1),str($3));
	787	else
	788	{
	789	trctx.out->printf("move s%d,m1\ncall %s.[m1]\n",$5.getInt()+adj,str($1));
	790	adj2=1;
	791	}
	792	adj2+=$5.getInt()-1+adj;
	793	if (adj2>0)
	794	{
	795	trctx.out->printf("add %d,m0\nxmove s%d,s0\n",adj2,-adj2);
	796	trstack.adjust(adj2);
	797	}
	798	}
	799
	800	\| CALL expr '(' arguments ')'
	801	{ $$.constant=0; $$.ident=0; $$.setString($2.getString());
	802	short adj=0;
	803	if ($4.getInt()==0)
	804	{trctx.out->printf("dec m0\n");trstack.adjust(-1);adj=1;}
	805	if ($2.constant)
	806	trctx.out->printf("call %s\n",litstr($2));
	807	else
	808	trctx.out->printf("call s%d\n",$4.getInt()+adj);
	809	if (($4.getInt()+adj) > 0)
	810	{
	811	trctx.out->printf("add %d,m0\nxmove s%d,s0\n",$4.getInt()+adj,-($4.getInt()+adj));
	812	trstack.adjust($4.getInt()+adj);
	813	}
	814	}
	815
	816	\| FUNCTION IDENT
	817	{ $$.constant=0; $$.ident=0; SString t=":"; t+=$1.getString(); $$.setString(t);
	818	trctx.out->printf("push :%s\n",(const char*)$2.getString());
	819	trstack.adjust(-1);
	820	}
	821
	822	\| expr '.' member
	823	{ $$.constant=0; $$.ident=0; SString t=$1.getString(); t+="."; t+=$3.getString(); $$.setString(t);
	824	if ($3.constant)
	825	trctx.out->printf("move s0,m1\nmove [m1].%s,s0\n",str($3));
	826	else
	827	// trctx.out->printf("move s1,m1\nmove m[m0++],m2\nmove [m1].[m2],s0\n");
	828	{trctx.out->printf("move s1,m1\nmove m[m0++],m2\nmove [m1].[m2],s0\n");trstack.adjust(1);}
	829	}
	830
	831	\| plusminus expr '.' member
	832	{ $$.constant=0; $$.ident=0; SString t=$2.getString(); t+="."; t+=$4.getString(); $$.setString(t);
	833	if ($4.constant)
	834	trctx.out->printf("move s0,m1\n%s [m1].%s\nmove [m1].%s,s0\n",
	835	$1.getInt()?"inc":"dec",str($4),str($4));
	836	else
	837	// trctx.out->printf("move s1,m1\nmove m[m0++],m2\nmove [m1].[m2],s0\n");
	838	{trctx.out->printf("move s1,m1\nmove m[m0++],m2\n%s [m1].[m2]\nmove [m1].[m2],s0\n",
	839	$1.getInt()?"inc":"dec");trstack.adjust(1);}
	840	}
	841
	842	\| expr '.' member plusminus
	843	{ $$.constant=0; $$.ident=0; SString t=$1.getString(); t+="."; t+=$3.getString(); $$.setString(t);
	844	if ($3.constant)
	845	trctx.out->printf("move s0,m1\nmove [m1].%s,s0\n%s [m1].%s\n",
	846	str($3),$4.getInt()?"inc":"dec",str($3));
	847	else
	848	// trctx.out->printf("move s1,m1\nmove m[m0++],m2\nmove [m1].[m2],s0\n");
	849	{trctx.out->printf("move s1,m1\nmove m[m0++],m2\nmove [m1].[m2],s0\n%s [m1].[m2]\n",
	850	$4.getInt()?"inc":"dec");trstack.adjust(1);}
	851	}
	852
	853	\| expr '.' member assign_op expr
	854	{ $$.constant=0; $$.ident=0; SString t=$1.getString(); t+="."; t+=$3.getString(); $$.setString(t);
	855	if ($3.constant)
	856	{
	857	int sp;
	858	if ($5.constant)
	859	{sp=0; trctx.out->printf("move s0,m1\n");}
	860	else
	861	{sp=1; trctx.out->printf("move s1,m1\n");}
	862	t="[m1]."; t+=str($3);
	863	handleAssignOp2($$,(const char*)t,$5,assign_op_names[$4.getInt()],sp,0);
	864	if (sp) {trctx.out->printf("inc m0\n");trstack.adjust(1);}
	865	}
	866	else
	867	{
	868	int sp;
	869	char *t;
	870	if ($5.constant)
	871	{sp=1; t="move s1,m1\nmove s0,m2\n";}
	872	else
	873	{sp=2; t="move s2,m1\nmove s1,m2\n";}
	874	trctx.out->printf(t);
	875	handleAssignOp2($$,"[m1].[m2]",$5,assign_op_names[$4.getInt()],sp,0);
	876	trctx.out->printf("add %d,m0\n",sp);
	877	trstack.adjust(sp);
	878	}
	879	}
	880
	881	\| expr '.' member '=' stackexpr
	882	{ $$=$5; $$.assign=1; $$.parens=0; $$.ident=0;
	883	if ($3.constant)
	884	{
	885	trctx.out->printf("move s1,m1\nmove m[m0++],s0\nmove s0,[m1].%s\n",str($3));
	886	trstack.adjust(1);
	887	}
	888	else
	889	{
	890	trctx.out->printf("move s2,m1\nmove s1,m2\nmove s0,[m1].[m2]\nadd 2,m0\nmove s-2,s0\n");
	891	trstack.adjust(2);
	892	}
	893	}
	894
	895	\| expr '.' member '(' arguments ')'
	896	{ $$.constant=0; $$.ident=0; SString t=$1.getString(); t+="."; t+=$3.getString(); $$.setString(t);
	897	int adj=0;
	898	if ($5.getInt()==0)
	899	{trctx.out->printf("dec m0\n");trstack.adjust(-1);adj=1;}
	900	if ($3.constant)
	901	{
	902	trctx.out->printf("move s%d,m1\ncall [m1].%s\n",$5.getInt()+adj,str($3));
	903	adj+=1;
	904	}
	905	else
	906	{
	907	trctx.out->printf("move s%d,m2\nmove s%d,m1\ncall [m2].[m1]\n",
	908	$5.getInt()+adj+1,$5.getInt()+adj);
	909	adj+=2;
	910	}
	911	if (($5.getInt()+adj) > 1)
	912	{
	913	trctx.out->printf("add %d,m0\nxmove s%d,s0\n",$5.getInt()-1+adj,-($5.getInt()-1+adj));
	914	trstack.adjust($5.getInt()-1+adj);
	915	}
	916	}
	917
	918	\| expr '[' expr ']' '=' expr // shortcut: expr.set(expr,expr)
	919	{ $$=$6; $$.assign=1; $$.parens=0; $$.ident=0;
	920	if ($3.constant)
	921	{
	922	if ($6.constant)
	923	{trctx.out->printf("move s0,m1\ncall [m1].\"set\",%s,%s\ninc m0\n",litstr($3),litstr($6));$$=$6;trstack.adjust(+1);}
	924	else
	925	{trctx.out->printf("move s1,m1\npush s0\nmove %s,s1\ncall [m1].\"set\"\nadd 2,m0\nmove s-2,s0\n",litstr($3));trstack.adjust(+1);}
	926	}
	927	else
	928	{
	929	if ($6.constant)
	930	{trctx.out->printf("move s1,m1\npush %s\ncall [m1].\"set\"\nadd 3,m0\n",litstr($6)); trstack.adjust(+2);}
	931	else
	932	{trctx.out->printf("move s2,m1\ncall [m1].\"set\"\nadd 2,m0\nmove s-2,s0\n"); trstack.adjust(+2);}
	933	}
	934	}
	935
	936	\| expr '[' expr ']' /* shortcut: expr.get(expr) */
	937	{ $$.constant=0; $$.ident=0; SString t=$1.getString(); t+=".get"; $$.setString(t);
	938	if ($3.constant)
	939	{
	940	trctx.out->printf("move s0,m1\ncall [m1].\"get\",%s\n",litstr($3));
	941	}
	942	else
	943	{
	944	trctx.out->printf("move s1,m1\ncall [m1].\"get\"\ninc m0\nmove s-1,s0\n");
	945	trstack.adjust(+1);
	946	}
	947	}
	948
	949	\| IDENT '=' expr { $$=$3; $$.assign=1; $$.ident=0;
	950	int loc=trstack.getVariableLocation($1.getString());
	951	if (loc!=TranslatorStack::NOTFOUND)
	952	{
	953	if ($3.constant)
	954	trctx.out->printf("move %s,s%d\n",litstr($3),loc-trstack.currentPos());
	955	else
	956	trctx.out->printf("move s0,s%d\n",loc-trstack.currentPos());
	957	}
	958	else if (globalOk($1)) { $$=$3; $$.ident=0; $$.assign=1;
	959	if ($3.constant) trctx.out->printf("move %s,@%s\n",litstr($3),str($1));
	960	else trctx.out->printf("move s0,@%s\n",str($1));}
	961	else {trctx.err->printf("undefined variable: %s\n",str($1)); return 1;}
	962	}
	963
	964	\| OBJNAME '[' expr ']' /* shortcut: OBJNAME.get(expr) */
	965	{ $$.constant=0; $$.ident=0; SString t=$1.getString(); t+=".get"; $$.setString(t);
	966	if ($3.constant)
	967	{
	968	trctx.out->printf("dec m0\ncall %s.get,%s\n",str($1),litstr($3));
	969	trstack.adjust(-1);
	970	}
	971	else
	972	{
	973	trctx.out->printf("call %s.get\n",str($1));
	974	}
	975	}
	976
	977	\| IDENT '(' arguments ')'
	978	{
	979	$$.constant=0; $$.ident=0; $$.setString("function call");
	980	if ($3.getInt()==0)
	981	{trctx.out->printf("dec m0\n");trstack.adjust(-1);}
	982	trctx.out->printf("call :%s\n",str($1));
	983	if ($3.getInt()>1)
	984	{
	985	trctx.out->printf("add %d,m0\nxmove s%d,s0\n",$3.getInt()-1,-($3.getInt()-1));
	986	trstack.adjust($3.getInt()-1);
	987	}
	988	}
	989
	990	\| '[' {$$.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)
	991	v_elements ']'
	992	{$$.constant=0; trctx.out->printf("inc m0\n");trstack.adjust(1);}
	993
	994	\| '{' {$$.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)
	995	d_elements '}'
	996	{$$.constant=0; trctx.out->printf("inc m0\n"); trstack.adjust(1);}
	997
	998	// \| '&' stackexpr {trctx.out->printf("call Ref.new\n");}
	999
	1000	\| '&' IDENT {
	1001	$$.ident=0;
	1002	int loc=trstack.getVariableLocation($2.getString());
	1003	if (loc!=TranslatorStack::NOTFOUND)
	1004	{
	1005	trctx.out->printf("push &%d\ncall Ref.newS\n",loc-trstack.currentPos());trstack.adjust(-1);
	1006	}
	1007	else if (globalOk($2))
	1008	{
	1009	trctx.out->printf("gpush &@%s\ncall Ref.newO\ninc m0\nmove s-1,s0\n",str($2));
	1010	trstack.adjust(-1);
	1011	}
	1012	else {trctx.err->printf("undefined variable: %s\n",str($1)); return 1;}
	1013	}
	1014
	1015	\| '&' OBJNAME '.' member {
	1016	$$.ident=0;
	1017	if ($4.constant)
	1018	{
	1019	trctx.out->printf("dec m0\ncall Ref.newO,%s.*,%s:%s\n",str($2),str($2),str($4));
	1020	trstack.adjust(-1);
	1021	}
	1022	else
	1023	{
	1024	trctx.out->printf("call Ref.newO,%s.*,s0\n",str($2));
	1025	}
	1026	}
	1027
	1028	\| '&' '(' stackexpr ')' '.' member {
	1029	$$.ident=0;
	1030	if ($6.constant)
	1031	{
	1032	trctx.out->printf("call Ref.newO,s0,%s\n",litstr($6));
	1033	}
	1034	else
	1035	{
	1036	trctx.out->printf("call Ref.newO,s1,s0\ninc m0\nmove s-1,s0\n");
	1037	trstack.adjust(1);
	1038	}
	1039	}
	1040
	1041	\| '(' stackexpr ',' stackexpr ',' stackexpr ')' {
	1042	$$.ident=0;
	1043	trctx.out->printf("call XYZ.new\nadd 2,m0\nmove s-2,s0\n");trstack.adjust(2);}
	1044	;
	1045
	1046	v_elements: /* empty */
	1047	\| v_element
	1048	\| v_elements ',' v_element
	1049	;
	1050
	1051	d_elements: /* empty */
	1052	\| d_element
	1053	\| d_elements ',' d_element
	1054	;
	1055
	1056	v_element: expr
	1057	{
	1058	if ($1.constant)
	1059	trctx.out->printf("move s1,m1\ncall [m1].Vector:add,%s\n",litstr($1));
	1060	else
	1061	{trctx.out->printf("move s2,m1\ncall [m1].Vector:add\ninc m0\n");trstack.adjust(1);}
	1062	}
	1063	;
	1064
	1065	d_element: expr ':' expr
	1066	{
	1067	if ($1.constant)
	1068	{
	1069	if ($3.constant)
	1070	trctx.out->printf("move s1,m1\ncall [m1].Dictionary:set,%s,%s\n",litstr($1),litstr($3));
	1071	else
	1072	{trctx.out->printf("move s2,m1\nmove %s,s1\ncall [m1].Dictionary:set\ninc m0\n",litstr($1));trstack.adjust(1);}
	1073	}
	1074	else
	1075	{
	1076	if ($3.constant)
	1077	{trctx.out->printf("move s2,m1\nmove s0,s1\nmove %s,s0\ncall [m1].Dictionary:set\ninc m0\n",litstr($3));trstack.adjust(1);}
	1078	else
	1079	{trctx.out->printf("move s3,m1\ncall [m1].Dictionary:set\nadd 2,m0\n");trstack.adjust(2);}
	1080	}
	1081	}
	1082	;
	1083
	1084	member: IDENT { $$=$1; $$.constant=1;}
	1085	\| OBJNAME ':' IDENT { SString t=$1.getString();t+=":";t+=$3.getString();
	1086	$$.setString(t);$$.constant=1;}
	1087	\| '[' stackexpr ']' { SString t="["; t+=$2.getString(); t+="]";
	1088	$$.setString(t); $$.constant=0;}
	1089
	1090	stackexpr: expr {if ($1.constant) {trctx.out->printf("push %s\n",litstr($1)); trstack.adjust(-1); $$.constant=0;} }
	1091
	1092	arguments: /* empty */ { $$.setInt(0); }
	1093	\| stackexpr { $$.setInt(1); }
	1094	\| arguments ',' stackexpr {$$.setInt($1.getInt()+1);}
	1095	;
	1096
	1097	%%
	1098
	1099	SString makeLitString(const ExtValue& val)
	1100	{
	1101	if (val.type!=TString)
	1102	return val.getString();
	1103	SString s=val.getString();
	1104	int len=s.len();
	1105	SString ret((len*11)/10+10);
	1106	ret+='\"';
	1107	const chart=(const char)s;
	1108	while(len>0)
	1109	{
	1110	switch(*t)
	1111	{
	1112	case '\n': ret+="\\n"; break;
	1113	case '\r': ret+="\\r"; break;
	1114	case '\t': ret+="\\t"; break;
	1115	default: ret+=*t;
	1116	}
	1117	t++; len--;
	1118	}
	1119	ret+='\"';
	1120	return ret;
	1121	}
	1122
	1123	static void yyprint (FILE *file,int type,YYSTYPE value)
	1124	{
	1125	fprintf(file,"(%s)%s",str(value),value.constant?"c":"");
	1126	}
	1127
	1128	int yyerror (const char s) / Called by yyparse on error */
	1129	{
	1130	trctx.err->printf ("%s\n",s);
	1131	return 0; // w przykladach do bisona tez nie dali returna...
	1132	}
	1133
	1134	void handleTwoArg(YYSTYPE& result,const YYSTYPE& arg1,const YYSTYPE& arg2,
	1135	int optoken,const char* opname,bool logic,bool negarg2,bool uniq)
	1136	{
	1137	result.ident=false;
	1138	if (arg1.constant && arg2.constant)
	1139	{
	1140	result=arg1;
	1141	switch(optoken)
	1142	{
	1143	case '+': result+=arg2; break;
	1144	case '-': result-=arg2; break;
	1145	case '': result=arg2; break;
	1146	case '/': result/=arg2; break;
	1147	case '%': result%=arg2; break;
	1148	case '&': result.setInt(arg1.getInt() & arg2.getInt()); break;
	1149	case '\|': result.setInt(arg1.getInt() \| arg2.getInt()); break;
	1150	case LSHIFT: result.setInt(arg1.getInt() << arg2.getInt()); break;
	1151	case RSHIFT: result.setInt(arg1.getInt() >> arg2.getInt()); break;
	1152	case LOGIC_AND: result.setInt(arg1.getInt() && arg2.getInt()); break;
	1153	case LOGIC_OR: result.setInt(arg1.getInt() \|\| arg2.getInt()); break;
	1154	}
	1155	}
	1156	else
	1157	{
	1158	//TODO: prawie kazde uzycie uniq jest niepotrzebne bo typem rzadko bedzie vector, ale w wiekszosci miejsc okreslenie typu wartosci
	1159	// byloby bardzo trudne lub niemozliwe. mozna byloby natomiast zapamietywac przy parsowaniu czy dana wartosc na stosie jest
	1160	// skopiowana ze zmiennej/pola czy jest wynikiem wczesniejszej operacji co pozwoliloby na likwidacje bardzo wielu uniq
	1161	result.constant=0;
	1162	result.assign=arg1.assign \|\| arg2.assign;
	1163	result.parens=0;
	1164	result.setString(opname);
	1165	if (arg1.constant)
	1166	trctx.out->printf("move %s,m1\n%s%s%s s0,m1\nmove m1,s0\n",litstr(arg1),
	1167	(logic?"setif !=,m1,m1\nsetif !=,s0,s0\n":""),
	1168	negarg2?"neg s0\n":"",
	1169	opname);
	1170	else if (arg2.constant)
	1171	{
	1172	if (logic)
	1173	trctx.out->printf("move %s,m1\nsetif !=,m1,m1\nsetif !=,s0,s0\n%s m1,s0\n",
	1174	litstr(arg2),opname);
	1175	else
	1176	{
	1177	if (negarg2)
	1178	trctx.out->printf("%s %d,s0\n",opname,-arg2.getInt());
	1179	else
	1180	trctx.out->printf("%s%s %s,s0\n",(uniq?"uniq s0\n":""),opname,litstr(arg2));
	1181	}
	1182	}
	1183	else
	1184	{
	1185	trctx.out->printf("%s%s%s s0,s1\ninc m0\n",
	1186	(logic?"setif !=,s0,s0\nsetif !=,s1,s1\n":(uniq?"uniq s1\n":"")),
	1187	negarg2?"neg s0\n":"",
	1188	opname);
	1189	trstack.adjust(+1);
	1190	}
	1191	}
	1192	}
	1193
	1194	bool handleAssignOp(YYSTYPE& result,const YYSTYPE& var,const YYSTYPE& arg,const char* opname)
	1195	{
	1196	int loc; if (variableOk(result,var,loc))
	1197	{
	1198	loc-=trstack.currentPos();
	1199	if (arg.constant)
	1200	{
	1201	trctx.out->printf("%s %s,s%d\npush s%d\n",opname,litstr(arg),loc,loc);
	1202	trstack.adjust(-1);
	1203	}
	1204	else
	1205	trctx.out->printf("%s s0,s%d\nmove s%d,s0\n",opname,loc,loc);
	1206	return 1;
	1207	}
	1208	return 0;
	1209	}
	1210
	1211	bool handleAssignOp2(YYSTYPE& result,const char var,const YYSTYPE& arg,const char opname,int stackpos,bool push)
	1212	{
	1213	if (arg.constant)
	1214	{
	1215	trctx.out->printf("%s %s,%s\n",opname,litstr(arg),var);
	1216	if (!push)
	1217	trctx.out->printf("move %s,s%d\n",var,stackpos);
	1218	else
	1219	{
	1220	trctx.out->printf("push %s\n",var);
	1221	trstack.adjust(-1);
	1222	}
	1223	}
	1224	else
	1225	trctx.out->printf("%s s0,%s\nmove %s,s%d\n",opname,var,var,stackpos);
	1226	return 1;
	1227	}
	1228
	1229	void handleCompare(YYSTYPE& result,const YYSTYPE& arg1,const YYSTYPE& arg2,int optoken,const char* opname)
	1230	{
	1231	result.ident=0;
	1232	if (arg1.constant && arg2.constant)
	1233	{
	1234	result.constant=1;
	1235	switch(optoken)
	1236	{
	1237	case '>': result.setInt(arg1.compare(arg2) > 0); break;
	1238	case '<': result.setInt(arg1.compare(arg2) < 0); break;
	1239	case EQUAL: result.setInt(arg1.compare(arg2) == 0); break;
	1240	case NOT_EQUAL: result.setInt(arg1.compare(arg2) != 0); break;
	1241	case GEQUAL: result.setInt(arg1.compare(arg2) >= 0); break;
	1242	case LEQUAL: result.setInt(arg1.compare(arg2) <= 0); break;
	1243	}
	1244	}
	1245	else
	1246	{
	1247	result.constant=0;
	1248	result.assign=arg1.assign \|\| arg2.assign;
	1249	result.parens=0;
	1250	result.setString(opname);
	1251	if (arg1.constant)
	1252	trctx.out->printf("setif %s,%s,s0,s0\n",litstr(arg1),opname);
	1253	else if (arg2.constant)
	1254	trctx.out->printf("setif s0,%s,%s,s0\n",opname,litstr(arg2));
	1255	else
	1256	{
	1257	trctx.out->printf("setif s1,%s,s0,s1\ninc m0\n",opname);
	1258	trstack.adjust(+1);
	1259	}
	1260	}
	1261	}
	1262
	1263	bool variableOk(TokenValue &tok, const TokenValue& var,int &loc)
	1264	{
	1265	loc=trstack.getVariableLocation(var.getString());
	1266	if (loc != TranslatorStack::NOTFOUND)
	1267	{tok.setInt(loc); tok.constant=0;
	1268	return 1;}
	1269	return 0;
	1270	}
	1271
	1272	bool globalOk(const TokenValue& var)
	1273	{
	1274	SymTabEntry* found=trstack.globals.find(var.getString());
	1275	if (found) return true;
	1276	return framscriptIsGlobalName(var.getString());
	1277	}
	1278
	1279	void badVariable(TokenValue &tok, const TokenValue& var)
	1280	{
	1281	tok=var; tok.constant=1;
	1282	trctx.err->printf("undefined variable '%s'\n",str(var));
	1283	}
	1284
	1285	bool doBreak(int level)
	1286	{
	1287	if (trstack.loops.size()<level)
	1288	{trctx.err->printf("invalid 'break'"); return 0;}
	1289	LoopInfo* li=trstack.loops.getLoop(level-1);
	1290	if (li->location != trstack.currentPos())
	1291	trctx.out->printf("add %d,m0\n",li->location-trstack.currentPos());
	1292	trctx.out->printf("jump :_loop_end_%d\n",li->id);
	1293	return 1;
	1294	}
	1295
	1296	bool doContinue(int level)
	1297	{
	1298	if (trstack.loops.size()<level)
	1299	{trctx.err->printf("invalid 'continue'"); return 0;}
	1300	LoopInfo* li=trstack.loops.getLoop(level-1);
	1301	if (li->location != trstack.currentPos())
	1302	trctx.out->printf("add %d,m0\n",li->location-trstack.currentPos());
	1303	trctx.out->printf("jump :_loop_%d\n",li->id);
	1304	return 1;
	1305	}
	1306
	1307	int lookupToken(char *s)
	1308	{
	1309	int len=strlen(s);
	1310	int i;
	1311	const char *t;
	1312	for (i = 0; i < YYNTOKENS; i++)
	1313	{
	1314	t=yytname[i];
	1315	if (t && (t[0]=='"')
	1316	&& (!strncmp(t+1,s,len))
	1317	&& (t[len+1]=='"')
	1318	&& (t[len+2] == 0))
	1319	return yytoknum[i];
	1320	}
	1321	return -1;
	1322	}
	1323
	1324	void warnTruthValue(const TokenValue& t)
	1325	{
	1326	if (t.assign && (!t.parens))
	1327	FMprintf("FramScriptCompiler","translate",FMLV_WARN,"Assignment used as truth value, use double parens if you really mean it (%s line %d)",(const char*)trctx.srcname,trctx.line);
	1328	}
	1329
	1330	void outFunName(const TokenValue& t)
	1331	{
	1332	if (trctx.functiontmplabel<0)
	1333	{
	1334	trctx.functiontmplabel=trctx.labelcounter++;
	1335	trctx.out->printf("jump :_skipfun_%d\n",trctx.functiontmplabel);
	1336	}
	1337	trctx.out->printf(":%s\n",str(t));
	1338	}
	1339
	1340	bool evalVariable(TokenValue &tok,const TokenValue &var)
	1341	{
	1342	int loc;
	1343	if (variableOk(tok,var,loc))
	1344	{
	1345	trctx.out->printf("push s%d\n",loc-trstack.currentPos());
	1346	trstack.adjust(-1);
	1347	return true;
	1348	}
	1349	else if (globalOk(var))
	1350	{
	1351	trctx.out->printf("push @%s\n",(const char*)var.getString());
	1352	trstack.adjust(-1);
	1353	return true;
	1354	}
	1355	else
	1356	{
	1357	badVariable(tok,var); return false;
	1358	}
	1359	}

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

Download in other formats:

Original Format