#include "M3Runtime.h" typedef struct { int tc; char* str; int len; } TXT; PRIVATE TXT txt1 = { 3, "RETURN not in a procedure", 26}; PRIVATE TXT txt2 = { 3, "missing return result", 22}; PRIVATE TXT txt3 = { 3, "procedure does not have a return result", 40}; PRIVATE TXT txt4 = { 3, "@ = ", 5}; PRIVATE TXT txt5 = { 3, "@;\012", 4}; #define t29 ADDRESS #define t80 void #define TC29 TC_REFANY IMPORT TYPE TC_REFANY; IMPORT char VS_REFANY__4b8748e831fc107a; #line 17 "../Interfaces/Scope.i3" #define t43 ADDRESS #define t78 ADDRESS typedef struct { TYPE self; int private; } t78_methods; #define t78_msize (sizeof (t78_methods)) typedef struct { ADDRESS methods; } t78_fields; #define t78_size (sizeof (t78_fields)) #define TC78 TC_UNTRACED_ROOT IMPORT TYPE TC_UNTRACED_ROOT; IMPORT char VS_UNTRACED_ROOT__3e0964513fd6da20; #line 15 "../Interfaces/M3.i3" #define t36 ADDRESS #define TC36 TC_M3__Value IMPORT TYPE TC_M3__Value; #line 15 IMPORT char VS_M3__Value__6f64cf9c2cae25fb; #line 116 ".ROOT/.boots/corelib/Interfaces/Wr.i3" typedef struct { char* elts; int size[1]; } t67; #line 17 "../Interfaces/Scope.i3" #define t46 t67 #define TC43 TC_Scope__ValueList IMPORT TYPE TC_Scope__ValueList; #line 17 IMPORT char VS_Scope__ValueList__64bf053e22e4e53c; #line 16 "../Interfaces/Type.i3" #define t48 ADDRESS typedef int t13; #line 16 #define t59 t67 #define TC48 TC_Type__Map IMPORT TYPE TC_Type__Map; #line 16 IMPORT char VS_Type__Map__41dd9f4b33104fce; #line 14 "../Interfaces/Expr.i3" #define t50 ADDRESS #define t12 ADDRESS #define TC12 TC_M3__Expr IMPORT TYPE TC_M3__Expr; #line 16 "../Interfaces/M3.i3" IMPORT char VS_M3__Expr__8ae39aaa2d432477; #line 14 "../Interfaces/Expr.i3" #define t51 t67 #define TC50 TC_Expr__List IMPORT TYPE TC_Expr__List; #line 14 IMPORT char VS_Expr__List__3f87eceb2b9a246a; #line 17 "../Interfaces/Type.i3" #define t57 ADDRESS #define t3 ADDRESS #define TC3 TC_M3__Type IMPORT TYPE TC_M3__Type; #line 18 "../Interfaces/M3.i3" IMPORT char VS_M3__Type__4d87bc25311f81d2; #line 17 "../Interfaces/Type.i3" typedef struct { t57 _next; t3 _type; } t58; #define TC57 TC_Type__List IMPORT TYPE TC_Type__List; #line 17 IMPORT char VS_Type__List__5791758e343becc1; #define t64 ADDRESS #define TC64 TC_ADDRESS IMPORT TYPE TC_ADDRESS; IMPORT char VS_ADDRESS__30f7308738738b44; #define t81 ADDRESS #define TC81 TC_NULL IMPORT TYPE TC_NULL; IMPORT char VS_NULL__fb50c7d53bec30dc; #line 19 "../Interfaces/M3.i3" #define t1 ADDRESS #define TC1 TC_M3__Temp IMPORT TYPE TC_M3__Temp; #line 19 IMPORT char VS_M3__Temp__450b691937f03dae; #line 16 "../Interfaces/Variable.i3" #define t2 ADDRESS #define TC2 TC_Variable__T IMPORT TYPE TC_Variable__T; #line 16 IMPORT char VS_Variable__T__be7ead4a3afd8be5; #line 16 "./Stmt.i3" typedef unsigned char t54; typedef struct { int elts[1]; } t4; #line 17 "ReturnStmt.m3" #define t5 ADDRESS #line 19 "./StmtRep.i3" typedef t80 (*t7)(); typedef void (*t6)(); #line 17 "../Interfaces/M3.i3" #define t9 ADDRESS #define TC9 TC_M3__Stmt IMPORT TYPE TC_M3__Stmt; #line 17 IMPORT char VS_M3__Stmt__376b307627fc1f2f; #line 17 "ReturnStmt.m3" typedef struct { int filler; } t5_methods; #define t5_msize (sizeof (t5_methods)) typedef struct { #line 17 t12 _expr; } t5_fields; #define t5_size (sizeof (t5_fields)) PRIVATE void t5_InitProc (); #line 17 PRIVATE void t5_SetupProc (); PRIVATE void t5_PrintProc (); PRIVATE typecell t5_TC; PRIVATE typecell t5_TC_init = {0, 0, 0, 0, 0, (PROC)NIL, #line 17 t5_size, t5_msize, NIL, 0, 0, t5_InitProc, t5_SetupProc, t5_PrintProc, "", 627121416, 840983197}; PRIVATE TYPE TC5 = &t5_TC; typedef unsigned char t8; #line 15 "../Interfaces/Token.i3" typedef unsigned char t20; #line 45 typedef struct { int elts[4]; } t10; #line 26 "ReturnStmt.m3" typedef t9 (*t11)(); #line 13 "./StmtRep.i3" #define t14 ADDRESS #line 13 typedef struct { t7 _bind; t7 _check; t7 _precompile; t6 _compile; } t14_methods; #define t14_msize (sizeof (t14_methods)) typedef struct { #line 13 t9 _next; t13 _origin; } t14_fields; #define t14_size (sizeof (t14_fields)) #define TC14 TC_M3__Stmt typedef t8 (*t15)(); #line 13 "../Interfaces/String.i3" #define t16 ADDRESS #define TC16 TC_String__T IMPORT TYPE TC_String__T; #line 13 IMPORT char VS_String__T__3a6c7dc12615e4ee; #define t30 ADDRESS typedef struct { TYPE self; int private; } t30_methods; #define t30_msize (sizeof (t30_methods)) typedef struct { ADDRESS methods; } t30_fields; #define t30_size (sizeof (t30_fields)) #define TC30 TC_ROOT IMPORT TYPE TC_ROOT; IMPORT char VS_ROOT__349f58f628be0ac6; #define t30_MapProc TC_ROOT->mapProc #define t17 ADDRESS #define TC17 TC_Rd__T IMPORT TYPE TC_Rd__T; #line 83 ".ROOT/.boots/corelib/Interfaces/Rd.i3" IMPORT char VS_Rd__T__2555b70b3f7780b1; #define t17_MapProc TC_Rd__T->mapProc #define t18 ADDRESS #define TC18 TC_TEXT IMPORT TYPE TC_TEXT; IMPORT char VS_TEXT__b7a92447326386f5; #define t18_MapProc TC_TEXT->mapProc typedef t16 (*t19)(); #line 13 "../Interfaces/Scanner.i3" typedef struct { t20 _token; t16 _string; t13 _value; t13 _offset; } t21; typedef int t22; #line 249 ".ROOT/.boots/corelib/Interfaces/Rd.i3" typedef t22 (*t23)(); #line 220 typedef t18 (*t24)(); typedef unsigned char t25; #line 189 #define t26 t67 typedef t25 (*t27)(); #line 84 typedef unsigned char t28; #line 20 "./AssignStmt.i3" typedef t12 (*t31)(); #line 18 typedef unsigned char t32; #line 27 "../Interfaces/Emit.i3" typedef signed_char t33; #line 63 typedef t33 (*t34)(); #line 19 "../Interfaces/String.i3" typedef signed_char t62; #line 65 "../Interfaces/Token.i3" #define t60 t67 typedef struct { t16 elts[100]; } t63; #line 17 "../Interfaces/String.i3" typedef struct { t13 _top; t63 _stk; } t35; typedef double t37; #line 14 typedef struct { t16 _module; t16 _item; } t38; #line 14 "../Interfaces/M3.i3" #define t39 ADDRESS #define TC39 TC_M3__Scope IMPORT TYPE TC_M3__Scope; #line 14 IMPORT char VS_M3__Scope__6e6d8848308d8a2d; #line 38 "../Interfaces/Variable.i3" typedef t1 (*t40)(); #line 24 typedef t2 (*t41)(); #line 14 "../Interfaces/Decl.i3" typedef struct { t16 _alias; t8 _isExternal; t8 _isInline; t8 _isUnused; t8 _isObsolete; } t42; #line 38 "../Interfaces/Scope.i3" typedef t36 (*t44)(); #line 31 typedef t39 (*t45)(); #line 90 ".ROOT/.boots/corelib/Interfaces/Wr.i3" #define t47 ADDRESS #define TC47 TC_Wr__T IMPORT TYPE TC_Wr__T; #line 90 IMPORT char VS_Wr__T__2555b70b3f7780b1; #define t47_MapProc TC_Wr__T->mapProc typedef t3 (*t49)(); #line 18 "../Interfaces/Value.i3" typedef unsigned char t52; #line 40 typedef t52 (*t53)(); #line 121 "../Interfaces/Type.i3" typedef t48 (*t55)(); #line 97 typedef t13 (*t56)(); #line 65 "../Interfaces/Token.i3" typedef struct { t16 elts[97]; } t61; #line 67 ".ROOT/.boots/corelib/Interfaces/Text.i3" typedef signed_char t65; typedef t65 (*t66)(); #line 91 ".ROOT/.boots/corelib/Interfaces/Wr.i3" typedef unsigned char t68; #line 15 ".ROOT/.boots/corelib/Interfaces/Thread.i3" #define t69 ADDRESS #define TC69 TC_Thread__T IMPORT TYPE TC_Thread__T; #line 15 IMPORT char VS_Thread__T__2555b70b3f7780b1; #define t69_MapProc TC_Thread__T->mapProc typedef t29 (*t70)(); #define t71 ADDRESS #define TC71 TC_Thread__Condition IMPORT TYPE TC_Thread__Condition; #line 21 IMPORT char VS_Thread__Condition__26d5968239e08f4e; #define t71_MapProc TC_Thread__Condition->mapProc #define t72 ADDRESS #define TC72 TC_MUTEX IMPORT TYPE TC_MUTEX; IMPORT char VS_MUTEX__1f9d4e89391ab815; #define t72_MapProc TC_MUTEX->mapProc typedef t69 (*t73)(); #line 23 #define t74 ADDRESS #line 23 typedef struct { t70 _apply; } t74_methods; #define t74_msize (sizeof (t74_methods)) typedef struct { #line 23 int filler; } t74_fields; #define t74_size (sizeof (t74_fields)) #define TC74 TC_Thread__Closure IMPORT TYPE TC_Thread__Closure; #line 23 IMPORT char VS_Thread__Closure__7fb5c6232c5a658a; #define t74_MapProc TC_Thread__Closure->mapProc typedef t71 (*t75)(); typedef t72 (*t76)(); #line 28 #define t77 ADDRESS #line 28 typedef struct { int filler; } t77_methods; #define t77_msize (sizeof (t77_methods)) typedef struct { #line 28 t22 _stackSize; } t77_fields; #define t77_size (sizeof (t77_fields)) #define TC77 TC_Thread__SizedClosure IMPORT TYPE TC_Thread__SizedClosure; #line 28 IMPORT char VS_Thread__SizedClosure__8a46717d2eae7b07; #define t77_MapProc TC_Thread__SizedClosure->mapProc typedef CLOSURE t79; typedef float t82; #line 11 "ReturnStmt.m3" IMPORT INITLINK* StmtRep__init; IMPORT INITLINK* Stmt__init; IMPORT INITLINK* String__init; IMPORT INITLINK* Marker__init; #line 11 IMPORT INITLINK* Temp__init; IMPORT INITLINK* Void__init; IMPORT INITLINK* Variable__init; IMPORT INITLINK* Scanner__init; #line 11 IMPORT INITLINK* Token__init; IMPORT INITLINK* AssignStmt__init; IMPORT INITLINK* Type__init; IMPORT INITLINK* Emit__init; #line 11 IMPORT INITLINK* Error__init; IMPORT INITLINK* Expr__init; IMPORT INITLINK* ReturnStmt__init; IMPORT t80 _StmtRep__Init (); #line 11 IMPORT char VS_StmtRep__Init__fe14377c36e397de; IMPORT TYPE TC_Stmt__T; IMPORT char VS_Stmt__T__2446b70b3f7780a5; IMPORT TYPE TC_Marker__Prefix; #line 11 IMPORT char VS_Marker__Prefix__819dde3f21a97326; IMPORT t8 _Marker__ReturnOK (); IMPORT char VS_Marker__ReturnOK__b217d96a293189f5; #line 11 IMPORT t80 _Marker__ReturnVar (); IMPORT char VS_Marker__ReturnVar__351bfb97347d6b7a; IMPORT t80 _Marker__EmitReturn (); IMPORT char VS_Marker__EmitReturn__9a77826c22eb25fb; #line 11 IMPORT TYPE TC_Temp__T; IMPORT char VS_Temp__T__3a6c7dc12615e4ee; IMPORT t80 _Temp__Free (); IMPORT char VS_Temp__Free__3b952a2225c26846; #line 11 IMPORT t3 _Void__T; IMPORT char VS_Void__T__d44caf853dc63223; IMPORT t21 _Scanner__cur; IMPORT char VS_Scanner__cur__929fa6f8367ea415; #line 11 IMPORT t80 _Scanner__Match (); IMPORT char VS_Scanner__Match__aaf5b32f2f19a6d8; IMPORT t10 _Token__DeclStart; IMPORT char VS_Token__DeclStart__730c82bc2c2001b8; #line 11 IMPORT t10 _Token__TypeStart; IMPORT char VS_Token__TypeStart__f71616cb38a20d02; IMPORT t10 _Token__ExprStart; IMPORT char VS_Token__ExprStart__21dc8a0a27344836; #line 11 IMPORT t12 _AssignStmt__CheckRHS (); IMPORT char VS_AssignStmt__CheckRHS__9aaea40f392f387e; IMPORT TYPE TC_Type__T; IMPORT char VS_Type__T__2446b70b3f7780a5; #line 11 IMPORT t8 _Type__IsEqual (); IMPORT char VS_Type__IsEqual__4098bc3f32325d05; IMPORT char VS_Emit__MaxStream__cf0a0e8934c9c9f3; #line 11 IMPORT TYPE TC_Emit__Format; IMPORT char VS_Emit__Format__bc4a2b083b93bbd7; IMPORT t80 _Emit__OpV (); IMPORT char VS_Emit__OpV__330b9ba039cee040; #line 11 IMPORT t80 _Emit__OpT (); IMPORT char VS_Emit__OpT__764bdffe21d249e8; IMPORT t80 _Error__Msg (); IMPORT char VS_Error__Msg__4d119a332467757f; #line 11 IMPORT TYPE TC_Expr__T; IMPORT char VS_Expr__T__2446b70b3f7780a5; IMPORT t12 _Expr__Parse (); IMPORT char VS_Expr__Parse__193c41662e6da77f; #line 11 IMPORT t80 _Expr__Bind (); IMPORT char VS_Expr__Bind__7e2752da3eaf56eb; IMPORT t1 _Expr__Compile (); IMPORT char VS_Expr__Compile__a7e0cc4029a2ec76; #line 11 EXPORT t9 _ReturnStmt__Parse (); EXPORT char VS_ReturnStmt__Parse__255a4bd73cd8623d = '\0'; PRIVATE TYPE TC_ReturnStmt__P; #line 11 PRIVATE t80 _ReturnStmt__Bind (); PRIVATE t80 _ReturnStmt__Check (); PRIVATE t80 _ReturnStmt__Precompile (); PRIVATE void _ReturnStmt__Compile (); #line 11 IMPORT char VS_M3__Stmt__8851da472c4ee5cd; #line 26 "ReturnStmt.m3" EXPORT t9 _ReturnStmt__Parse (_fail) t10 * _fail; { t5 z0; t5 z2; t10 z4; t8 z1; t12 z3; #line 26 "ReturnStmt.m3" { auto t5 _p; auto t9 __result; { ZERO1 (& _p); #line 26 CHECKSTACKOVERFLOW; { register char** ptr = (char**) UNEWOBJ (TC5); z0 = (t5) ptr; }; _p = z0; _StmtRep__Init (_p); NILCHECKA (z2 = _p); (((t5_fields*)(z2+(0+t14_size+t78_size)))->_expr) = (t12) 0; z4 = _Token__ExprStart; _Scanner__Match ( 82 , &(*_fail), &z4); {int i = (_Scanner__cur._token); int j = i - 0;z1 = (0 <= i) && (i <= 96) && ((_Token__ExprStart.elts [j/32] & (1<<(j%32))) != 0); }; #line 33 if (z1) { z3 = _Expr__Parse (&(*_fail)); NILCHECKA (z2 = _p); (((t5_fields*)(z2+(0+t14_size+t78_size)))->_expr) = z3; goto if_1_end; #line 34 }; if_1_end: /**/; __result = _p; return __result; } } }; #line 39 "ReturnStmt.m3" PRIVATE t80 _ReturnStmt__Bind (_p) t5 _p; { t5 z2; #line 39 "ReturnStmt.m3" { { CHECKSTACKOVERFLOW; NILCHECKA (z2 = _p); _Expr__Bind ((((t5_fields*)(z2+(0+t14_size+t78_size)))->_expr)); } } }; #line 44 "ReturnStmt.m3" PRIVATE t80 _ReturnStmt__Check (_p) t5 _p; { t8 z1; t8 z0; t8 z3; t5 z2; t5 z4; t12 z5; #line 44 "ReturnStmt.m3" { auto t8 _void; auto t3 _t; auto t2 _v; { ZERO1B (& _void); #line 44 CHECKSTACKOVERFLOW; z1 = _Marker__ReturnOK (); z0 = ! z1; if (z0) { _Error__Msg (((ADDRESS)(& txt1.str))); return; }; _Marker__ReturnVar (&_t, &_v); z3 = _Type__IsEqual (_t, _Void__T); _void = z3; NILCHECKA (z2 = _p); z3 = ((((t5_fields*)(z2+(0+t14_size+t78_size)))->_expr) == 0); if (z3) { z1 = ! _void; if (z1) { _Error__Msg (((ADDRESS)(& txt2.str))); goto if_4_end; }; if_4_end: /**/; goto if_3_end; }; #line 54 if (_void) { _Error__Msg (((ADDRESS)(& txt3.str))); goto if_3_end; }; NILCHECKA (z4 = _p); z5 = _AssignStmt__CheckRHS (_t, (((t5_fields*)(z4+(0+t14_size+t78_size)))->_expr), 0 ); NILCHECKA (z2 = _p); (((t5_fields*)(z2+(0+t14_size+t78_size)))->_expr) = z5; #line 58 if_3_end: /**/; } } }; #line 62 "ReturnStmt.m3" PRIVATE t80 _ReturnStmt__Precompile (_p) t5 _p; { #line 62 "ReturnStmt.m3" { { CHECKSTACKOVERFLOW; } } }; #line 66 "ReturnStmt.m3" PRIVATE void _ReturnStmt__Compile (_p, _return) t5 _p; t4* _return; { t5 z1; t8 z3; t5 z2; t1 z4; t4 z0; t13 z5; #line 66 "ReturnStmt.m3" { auto t3 _t; auto t2 _v; auto t1 _x; auto t4 __result; { CHECKSTACKOVERFLOW; NILCHECKA (z1 = _p); z3 = ((((t5_fields*)(z1+(0+t14_size+t78_size)))->_expr) != 0); if (z3) { NILCHECKA (z2 = _p); z4 = _Expr__Compile ((((t5_fields*)(z2+(0+t14_size+t78_size)))->_expr)); _x = z4; _Marker__ReturnVar (&_t, &_v); _Emit__OpV (((ADDRESS)(& txt4.str)), _v); _Emit__OpT (((ADDRESS)(& txt5.str)), _x); _Temp__Free (_x); goto if_5_end; }; if_5_end: /**/; _Marker__EmitReturn (); z0.elts [0] = 0x00000004; __result = z0; *_return = __result; return; } } }; PRIVATE int init_done = -1; #line 77 "ReturnStmt.m3" PRIVATE void ReturnStmt__initProc (g) int g; { #line 77 "ReturnStmt.m3" if (init_done >= g) return; init_done = g; INITIALIZE (& ReturnStmt__init); INITIALIZE (& StmtRep__init); INITIALIZE (& Stmt__init); #line 77 INITIALIZE (& String__init); INITIALIZE (& Marker__init); INITIALIZE (& Temp__init); INITIALIZE (& Void__init); INITIALIZE (& Variable__init); #line 77 INITIALIZE (& Scanner__init); INITIALIZE (& Token__init); INITIALIZE (& AssignStmt__init); INITIALIZE (& Type__init); INITIALIZE (& Emit__init); #line 77 INITIALIZE (& Error__init); INITIALIZE (& Expr__init); return; }; #line 77 "ReturnStmt.m3" PRIVATE void t5_InitProc (obj) char* obj; { register t5_fields* p; #line 77 "ReturnStmt.m3" CHECKSTACKOVERFLOW; p = (t5_fields*) (obj + TC9->datasize); }; #line 77 "ReturnStmt.m3" PRIVATE void t5_SetupProc () { register int* p; #line 77 "ReturnStmt.m3" t5_TC.datasize += TC9->datasize; t5_TC.methodsize += TC9->methodsize; p = (int*) UALLOC (t5_TC.methodsize); COPY (TC9->defaultMethods, p, (TC9->methodsize)); #line 77 p[0] = (int)(& t5_TC); p[1] = 0; ((t14_methods*) (((char*)p) + TC78->methodsize))->_bind = _ReturnStmt__Bind; ((t14_methods*) (((char*)p) + TC78->methodsize))->_check = _ReturnStmt__Check; #line 77 ((t14_methods*) (((char*)p) + TC78->methodsize))->_precompile = _ReturnStmt__Precompile; ((t14_methods*) (((char*)p) + TC78->methodsize))->_compile = _ReturnStmt__Compile; #line 77 t5_TC.defaultMethods = (char*) p; }; #line 77 "ReturnStmt.m3" PRIVATE void t5_PrintProc (obj) char *obj; { t5_fields* o; #line 77 "ReturnStmt.m3" CHECKSTACKOVERFLOW; if (TC9->printProc != 0) {TC9->printProc (obj); } fprintf (stderr, "{%s} ", TC5->brand); o = (t5_fields*) (obj + TC9->datasize); #line 77 fprintf (stderr, "expr = %#x", o->_expr); fprintf (stderr, ", "); }; PRIVATE INITLINK me_0 ={(INITLINK*)NIL, 0, ReturnStmt__initProc}; static char* VSimports[] = { &VS_StmtRep__Init__fe14377c36e397de, &VS_Stmt__T__2446b70b3f7780a5, &VS_String__T__3a6c7dc12615e4ee, &VS_Marker__Prefix__819dde3f21a97326, &VS_Marker__ReturnOK__b217d96a293189f5, &VS_Marker__ReturnVar__351bfb97347d6b7a, &VS_Marker__EmitReturn__9a77826c22eb25fb, &VS_Temp__T__3a6c7dc12615e4ee, &VS_Temp__Free__3b952a2225c26846, &VS_Void__T__d44caf853dc63223, &VS_Variable__T__be7ead4a3afd8be5, &VS_Scanner__cur__929fa6f8367ea415, &VS_Scanner__Match__aaf5b32f2f19a6d8, &VS_Token__DeclStart__730c82bc2c2001b8, &VS_Token__TypeStart__f71616cb38a20d02, &VS_Token__ExprStart__21dc8a0a27344836, &VS_AssignStmt__CheckRHS__9aaea40f392f387e, &VS_Type__T__2446b70b3f7780a5, &VS_Type__Map__41dd9f4b33104fce, &VS_Type__List__5791758e343becc1, &VS_Type__IsEqual__4098bc3f32325d05, &VS_Emit__MaxStream__cf0a0e8934c9c9f3, &VS_Emit__Format__bc4a2b083b93bbd7, &VS_Emit__OpV__330b9ba039cee040, &VS_Emit__OpT__764bdffe21d249e8, &VS_Error__Msg__4d119a332467757f, &VS_Expr__T__2446b70b3f7780a5, &VS_Expr__List__3f87eceb2b9a246a, &VS_Expr__Parse__193c41662e6da77f, &VS_Expr__Bind__7e2752da3eaf56eb, &VS_Expr__Compile__a7e0cc4029a2ec76, NIL }; void ReturnStmt__MLink (phase) int phase; { switch (phase) { case 0: { me_0.link = ReturnStmt__init; ReturnStmt__init = & me_0; t5_TC = t5_TC_init; REGISTERTYPE (TC5); break; }; case 1: { t5_TC.parent = TC_M3__Stmt; break; }; case 2: { break; }; }; };