#include "M3Runtime.h" typedef struct { int tc; char* str; int len; } TXT; PRIVATE TXT txt1 = { 3, "NARROW: must be a traced reference type", 40}; PRIVATE TXT txt2 = { 3, "NARROW: types must be assignable", 33}; PRIVATE TXT txt3 = { 3, "@ = ((char*) @) == NIL ? NIL : NARROWFAULT;\012", 45}; PRIVATE TXT txt4 = { 3, "@ = NARROW (@, ", 16}; PRIVATE TXT txt5 = { 3, "t@, TC@, ", 10}; PRIVATE TXT txt6 = { 3, "@);\012", 5}; PRIVATE TXT txt7 = { 3, "NARROW ", 8}; #line 16 "../Interfaces/Type.i3" #define t2 ADDRESS #define t74 void typedef int t7; #line 116 ".ROOT/.boots/corelib/Interfaces/Wr.i3" typedef struct { char* elts; int size[1]; } t58; #line 16 "../Interfaces/Type.i3" #define t43 t58 #define TC2 TC_Type__Map IMPORT TYPE TC_Type__Map; #line 16 IMPORT char VS_Type__Map__41dd9f4b33104fce; #define t13 ADDRESS #define TC13 TC_NULL IMPORT TYPE TC_NULL; IMPORT char VS_NULL__fb50c7d53bec30dc; #line 17 "../Interfaces/Scope.i3" #define t30 ADDRESS #define t71 ADDRESS typedef struct { TYPE self; int private; } t71_methods; #define t71_msize (sizeof (t71_methods)) typedef struct { ADDRESS methods; } t71_fields; #define t71_size (sizeof (t71_fields)) #define TC71 TC_UNTRACED_ROOT IMPORT TYPE TC_UNTRACED_ROOT; IMPORT char VS_UNTRACED_ROOT__3e0964513fd6da20; #line 15 "../Interfaces/M3.i3" #define t15 ADDRESS #define TC15 TC_M3__Value IMPORT TYPE TC_M3__Value; #line 15 IMPORT char VS_M3__Value__6f64cf9c2cae25fb; #line 17 "../Interfaces/Scope.i3" #define t33 t58 #define TC30 TC_Scope__ValueList IMPORT TYPE TC_Scope__ValueList; #line 17 IMPORT char VS_Scope__ValueList__64bf053e22e4e53c; #line 14 "./Expr.i3" #define t35 ADDRESS #define t8 ADDRESS #define TC8 TC_M3__Expr IMPORT TYPE TC_M3__Expr; #line 16 "../Interfaces/M3.i3" IMPORT char VS_M3__Expr__8ae39aaa2d432477; #line 14 "./Expr.i3" #define t39 t58 #define TC35 TC_Expr__List IMPORT TYPE TC_Expr__List; #line 14 IMPORT char VS_Expr__List__3f87eceb2b9a246a; #line 17 "../Interfaces/Type.i3" #define t41 ADDRESS #define t11 ADDRESS #define TC11 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 { t41 _next; t11 _type; } t42; #define TC41 TC_Type__List IMPORT TYPE TC_Type__List; #line 17 IMPORT char VS_Type__List__5791758e343becc1; #define t53 ADDRESS #define TC53 TC_ADDRESS IMPORT TYPE TC_ADDRESS; IMPORT char VS_ADDRESS__30f7308738738b44; #define t60 ADDRESS #define TC60 TC_REFANY IMPORT TYPE TC_REFANY; IMPORT char VS_REFANY__4b8748e831fc107a; #define t61 ADDRESS typedef struct { TYPE self; int private; } t61_methods; #define t61_msize (sizeof (t61_methods)) typedef struct { ADDRESS methods; } t61_fields; #define t61_size (sizeof (t61_fields)) #define TC61 TC_ROOT IMPORT TYPE TC_ROOT; IMPORT char VS_ROOT__349f58f628be0ac6; #define t61_MapProc TC_ROOT->mapProc #define t1 ADDRESS #define TC1 TC_Wr__T IMPORT TYPE TC_Wr__T; #line 90 ".ROOT/.boots/corelib/Interfaces/Wr.i3" IMPORT char VS_Wr__T__2555b70b3f7780b1; #define t1_MapProc TC_Wr__T->mapProc #define t3 ADDRESS #line 15 "../Interfaces/Address.i3" typedef t74 (*t4)(); #line 19 "../Interfaces/M3.i3" #define t10 ADDRESS #define TC10 TC_M3__Temp IMPORT TYPE TC_M3__Temp; #line 19 IMPORT char VS_M3__Temp__450b691937f03dae; #line 31 "./ExprRep.i3" typedef t10 (*t12)(); #line 24 typedef t8 (*t9)(); typedef unsigned char t5; #line 15 "./SetExpr.i3" typedef t5 (*t6)(); #line 15 "NarrowExpr.m3" typedef struct { int filler; } t3_methods; #define t3_msize (sizeof (t3_methods)) typedef struct { #line 15 t8 _expr; t11 _tipe; } t3_fields; #define t3_size (sizeof (t3_fields)) PRIVATE void t3_InitProc (); #line 15 PRIVATE void t3_SetupProc (); PRIVATE void t3_PrintProc (); PRIVATE typecell t3_TC; PRIVATE typecell t3_TC_init = {0, 0, 0, 0, 0, (PROC)NIL, #line 15 t3_size, t3_msize, NIL, 0, 0, t3_InitProc, t3_SetupProc, t3_PrintProc, "", -968224824, 786952795}; PRIVATE TYPE TC3 = &t3_TC; #line 31 "../Interfaces/ObjectType.i3" typedef t7 (*t14)(); #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; #line 14 "../Interfaces/M3.i3" #define t17 ADDRESS #define TC17 TC_M3__Scope IMPORT TYPE TC_M3__Scope; #line 14 IMPORT char VS_M3__Scope__6e6d8848308d8a2d; #line 17 "../Interfaces/ObjectType.i3" typedef t11 (*t18)(); #line 15 "../Interfaces/Token.i3" typedef unsigned char t45; #line 45 typedef struct { int elts[4]; } t19; #define t20 ADDRESS #define TC20 TC_TEXT IMPORT TYPE TC_TEXT; IMPORT char VS_TEXT__b7a92447326386f5; #define t20_MapProc TC_TEXT->mapProc typedef struct { #line 14 "../Interfaces/String.i3" t16 _module; t16 _item; } t21; #line 27 "../Interfaces/Emit.i3" typedef signed_char t22; #line 63 typedef t22 (*t23)(); #line 19 "../Interfaces/String.i3" typedef signed_char t51; #line 65 "../Interfaces/Token.i3" #define t44 t58 typedef struct { t16 elts[100]; } t52; #line 17 "../Interfaces/String.i3" typedef struct { t7 _top; t52 _stk; } t24; #line 16 "../Interfaces/Variable.i3" #define t25 ADDRESS #define TC25 TC_Variable__T IMPORT TYPE TC_Variable__T; #line 16 IMPORT char VS_Variable__T__be7ead4a3afd8be5; typedef double t26; typedef unsigned char t27; typedef t25 (*t28)(); #line 14 "../Interfaces/Decl.i3" typedef struct { t16 _alias; t5 _isExternal; t5 _isInline; t5 _isUnused; t5 _isObsolete; } t29; #line 38 "../Interfaces/Scope.i3" typedef t15 (*t31)(); #line 31 typedef t17 (*t32)(); #line 14 "./CompareExpr.i3" typedef unsigned char t34; #line 18 "../Interfaces/Value.i3" typedef unsigned char t36; #line 40 typedef t36 (*t37)(); #line 13 "./ExprRep.i3" #define t38 ADDRESS #line 13 typedef struct { t4 _bind; t4 _check; t4 _write; t6 _isEqual; t9 _evaluate; t4 _getBounds; t6 _isWritable; t6 _isDesignator; #line 13 t6 _isZeroes; t4 _genLiteral; t4 _fprint; t12 _compile; } t38_methods; #define t38_msize (sizeof (t38_methods)) typedef struct { #line 13 t7 _origin; t11 _type; t5 _bound; t5 _inCheck; t5 _checked; } t38_fields; #define t38_size (sizeof (t38_fields)) #define TC38 TC_M3__Expr typedef t2 (*t40)(); #line 65 "../Interfaces/Token.i3" typedef struct { t16 elts[97]; } t46; typedef int t47; #line 37 "../Interfaces/String.i3" typedef t20 (*t48)(); #line 34 typedef t16 (*t49)(); #line 28 #define t50 t58 typedef signed_char t54; #line 67 ".ROOT/.boots/corelib/Interfaces/Text.i3" typedef t54 (*t55)(); #line 26 typedef t47 (*t56)(); #line 23 typedef t27 (*t57)(); #line 91 ".ROOT/.boots/corelib/Interfaces/Wr.i3" typedef unsigned char t59; #line 15 ".ROOT/.boots/corelib/Interfaces/Thread.i3" #define t62 ADDRESS #define TC62 TC_Thread__T IMPORT TYPE TC_Thread__T; #line 15 IMPORT char VS_Thread__T__2555b70b3f7780b1; #define t62_MapProc TC_Thread__T->mapProc typedef t60 (*t63)(); #define t64 ADDRESS #define TC64 TC_Thread__Condition IMPORT TYPE TC_Thread__Condition; #line 21 IMPORT char VS_Thread__Condition__26d5968239e08f4e; #define t64_MapProc TC_Thread__Condition->mapProc #define t65 ADDRESS #define TC65 TC_MUTEX IMPORT TYPE TC_MUTEX; IMPORT char VS_MUTEX__1f9d4e89391ab815; #define t65_MapProc TC_MUTEX->mapProc typedef t62 (*t66)(); #line 23 #define t67 ADDRESS #line 23 typedef struct { t63 _apply; } t67_methods; #define t67_msize (sizeof (t67_methods)) typedef struct { #line 23 int filler; } t67_fields; #define t67_size (sizeof (t67_fields)) #define TC67 TC_Thread__Closure IMPORT TYPE TC_Thread__Closure; #line 23 IMPORT char VS_Thread__Closure__7fb5c6232c5a658a; #define t67_MapProc TC_Thread__Closure->mapProc typedef t64 (*t68)(); typedef t65 (*t69)(); #line 28 #define t70 ADDRESS #line 28 typedef struct { int filler; } t70_methods; #define t70_msize (sizeof (t70_methods)) typedef struct { #line 28 t47 _stackSize; } t70_fields; #define t70_size (sizeof (t70_fields)) #define TC70 TC_Thread__SizedClosure IMPORT TYPE TC_Thread__SizedClosure; #line 28 IMPORT char VS_Thread__SizedClosure__8a46717d2eae7b07; #define t70_MapProc TC_Thread__SizedClosure->mapProc #define t72 ADDRESS #define TC72 TC_M3__Stmt IMPORT TYPE TC_M3__Stmt; #line 17 "../Interfaces/M3.i3" IMPORT char VS_M3__Stmt__376b307627fc1f2f; typedef CLOSURE t73; typedef float t75; #line 9 "NarrowExpr.m3" IMPORT INITLINK* Address__init; IMPORT INITLINK* Wr__init; IMPORT INITLINK* Temp__init; IMPORT INITLINK* ObjectType__init; #line 9 IMPORT INITLINK* Null__init; IMPORT INITLINK* Refany__init; IMPORT INITLINK* Error__init; IMPORT INITLINK* Emit__init; IMPORT INITLINK* SetExpr__init; #line 9 IMPORT INITLINK* String__init; IMPORT INITLINK* Type__init; IMPORT INITLINK* ExprRep__init; IMPORT INITLINK* Expr__init; IMPORT INITLINK* NarrowExpr__init; #line 9 IMPORT EXCEPTION_NAME _Thread__Alerted; IMPORT char VS_Thread__Alerted__fc88feb43485af46; IMPORT EXCEPTION_NAME _Wr__Failure; #line 9 IMPORT char VS_Wr__Failure__5f82cfb43dabf527; IMPORT EXCEPTION_NAME _Wr__Error; IMPORT char VS_Wr__Error__c367253d3ed4fd15; #line 9 IMPORT t74 _Wr__PutText (); IMPORT char VS_Wr__PutText__e034dab73a793846; IMPORT TYPE TC_Temp__T; IMPORT char VS_Temp__T__3a6c7dc12615e4ee; #line 9 IMPORT t10 _Temp__Alloc (); IMPORT char VS_Temp__Alloc__0b946c9d3ec0974e; IMPORT t74 _Temp__Free (); IMPORT char VS_Temp__Free__3b952a2225c26846; #line 9 IMPORT t5 _ObjectType__Is (); IMPORT char VS_ObjectType__Is__bbf46d51350b1d48; IMPORT t11 _Null__T; IMPORT char VS_Null__T__fc9c07773b07e1a2; #line 9 IMPORT t11 _Refany__T; IMPORT char VS_Refany__T__f1d580683a3395ec; IMPORT t74 _Error__Msg (); IMPORT char VS_Error__Msg__4d119a332467757f; #line 9 IMPORT char VS_Emit__MaxStream__cf0a0e8934c9c9f3; IMPORT TYPE TC_Emit__Format; IMPORT char VS_Emit__Format__bc4a2b083b93bbd7; #line 9 IMPORT t74 _Emit__OpII (); IMPORT char VS_Emit__OpII__2247fe46332f901b; IMPORT t74 _Emit__OpT (); IMPORT char VS_Emit__OpT__764bdffe21d249e8; #line 9 IMPORT t74 _Emit__OpTT (); IMPORT char VS_Emit__OpTT__cba0ce912431e01c; IMPORT TYPE TC_Type__T; IMPORT char VS_Type__T__2446b70b3f7780a5; #line 9 IMPORT t11 _Type__Bind (); IMPORT char VS_Type__Bind__3443ccd12eedb9e8; IMPORT t74 _Type__GetBounds (); IMPORT char VS_Type__GetBounds__9a241b2b3c98ad98; #line 9 IMPORT t11 _Type__Base (); IMPORT char VS_Type__Base__2bebd0333659a92c; IMPORT t5 _Type__IsEqual (); IMPORT char VS_Type__IsEqual__4098bc3f32325d05; #line 9 IMPORT t74 _Type__Check (); IMPORT char VS_Type__Check__3c8ceb09206ee440; IMPORT t7 _Type__Name (); IMPORT char VS_Type__Name__f99416972257a869; #line 9 IMPORT t5 _Type__IsSubtype (); IMPORT char VS_Type__IsSubtype__8591fba5245cb882; IMPORT t5 _Type__IsAssignable (); IMPORT char VS_Type__IsAssignable__6d0a7b0e2c806002; #line 9 IMPORT t74 _Type__Fingerprint (); IMPORT char VS_Type__Fingerprint__0d24a3463c25e166; IMPORT t74 _ExprRep__Init (); IMPORT char VS_ExprRep__Init__8b7fff3e227cebab; #line 9 IMPORT t74 _ExprRep__NoBind (); IMPORT char VS_ExprRep__NoBind__e7d0d3dd3d703c08; IMPORT t74 _ExprRep__NoCheck (); IMPORT char VS_ExprRep__NoCheck__c11b54bc361794fa; #line 9 IMPORT t8 _ExprRep__NoValue (); IMPORT char VS_ExprRep__NoValue__8ccc143224598a66; IMPORT t74 _ExprRep__NoBounds (); IMPORT char VS_ExprRep__NoBounds__b64bb146289ee4f0; #line 9 IMPORT t5 _ExprRep__IsNever (); IMPORT char VS_ExprRep__IsNever__8f1a069b301903c8; IMPORT t5 _ExprRep__NeverEq (); IMPORT char VS_ExprRep__NeverEq__dfdc2412249ccb65; #line 9 IMPORT t74 _ExprRep__NoWriter (); IMPORT char VS_ExprRep__NoWriter__a97bb1a23bbf506e; IMPORT t74 _ExprRep__NoLiteral (); IMPORT char VS_ExprRep__NoLiteral__6c9c90073f496f67; #line 9 IMPORT TYPE TC_Expr__T; IMPORT char VS_Expr__T__2446b70b3f7780a5; IMPORT t74 _Expr__Bind (); IMPORT char VS_Expr__Bind__7e2752da3eaf56eb; #line 9 IMPORT t11 _Expr__TypeOf (); IMPORT char VS_Expr__TypeOf__fef0a11b388c64fa; IMPORT t8 _Expr__ConstValue (); IMPORT char VS_Expr__ConstValue__ce4fd448218fe483; #line 9 IMPORT t74 _Expr__GetBounds (); IMPORT char VS_Expr__GetBounds__b20ec781333da5e4; IMPORT t5 _Expr__IsWritable (); IMPORT char VS_Expr__IsWritable__85b9bb292e4a0f55; #line 9 IMPORT t74 _Expr__TypeCheck (); IMPORT char VS_Expr__TypeCheck__af9aa9073729e7f7; IMPORT t10 _Expr__Compile (); IMPORT char VS_Expr__Compile__a7e0cc4029a2ec76; #line 9 IMPORT t5 _Expr__IsEqual (); IMPORT char VS_Expr__IsEqual__062d8b2c385e35a9; IMPORT t74 _Expr__Fingerprint (); IMPORT char VS_Expr__Fingerprint__50ce687c31d90a5b; #line 9 EXPORT t8 _NarrowExpr__New (); EXPORT char VS_NarrowExpr__New__e2f1207d3fc97ab9 = '\0'; PRIVATE TYPE TC_NarrowExpr__P; PRIVATE t74 _NarrowExpr__Bind (); #line 9 PRIVATE t74 _NarrowExpr__Check (); PRIVATE t5 _NarrowExpr__EqCheck (); PRIVATE t10 _NarrowExpr__Compile (); PRIVATE t8 _NarrowExpr__Fold (); #line 9 PRIVATE t74 _NarrowExpr__Bounder (); PRIVATE t5 _NarrowExpr__IsWritable (); PRIVATE t74 _NarrowExpr__FPrinter (); IMPORT char VS_M3__Expr__58bf709e39adf1f7; #line 9 #line 33 "NarrowExpr.m3" EXPORT t8 _NarrowExpr__New (_a, _t) t8 _a; t11 _t; { t3 z0; t3 z2; #line 33 "NarrowExpr.m3" { auto t3 _p; auto t8 __result; { ZERO1 (& _p); #line 33 CHECKSTACKOVERFLOW; { register char** ptr = (char**) UNEWOBJ (TC3); z0 = (t3) ptr; }; _p = z0; _ExprRep__Init (_p); NILCHECKA (z2 = _p); (((t3_fields*)(z2+(0+t38_size+t71_size)))->_expr) = _a; NILCHECKA (z2 = _p); (((t3_fields*)(z2+(0+t38_size+t71_size)))->_tipe) = _t; __result = _p; return __result; } } }; #line 43 "NarrowExpr.m3" PRIVATE t74 _NarrowExpr__Bind (_p) t3 _p; { t3 z2; t11 z3; t3 z1; #line 43 "NarrowExpr.m3" { { CHECKSTACKOVERFLOW; NILCHECKA (z2 = _p); _Expr__Bind ((((t3_fields*)(z2+(0+t38_size+t71_size)))->_expr)); NILCHECKA (z2 = _p); z3 = _Type__Bind ((((t3_fields*)(z2+(0+t38_size+t71_size)))->_tipe)); NILCHECKA (z1 = _p); (((t3_fields*)(z1+(0+t38_size+t71_size)))->_tipe) = z3; NILCHECKA (z1 = _p); (((t38_fields*)(z1+(0+t71_size)))->_type) = (((t3_fields*)(z1+(0+t38_size+t71_size)))->_tipe); #line 47 } } }; #line 50 "NarrowExpr.m3" PRIVATE t74 _NarrowExpr__Check (_p) t3 _p; { t3 z2; t11 z3; t5 z4; t5 z0; #line 50 "NarrowExpr.m3" { auto t11 _t; auto t11 _u; { CHECKSTACKOVERFLOW; NILCHECKA (z2 = _p); _Expr__TypeCheck ((((t3_fields*)(z2+(0+t38_size+t71_size)))->_expr)); NILCHECKA (z2 = _p); _Type__Check ((((t3_fields*)(z2+(0+t38_size+t71_size)))->_tipe)); NILCHECKA (z2 = _p); z3 = _Expr__TypeOf ((((t3_fields*)(z2+(0+t38_size+t71_size)))->_expr)); _u = z3; NILCHECKA (z2 = _p); z3 = _Type__Base ((((t3_fields*)(z2+(0+t38_size+t71_size)))->_tipe)); _t = z3; z4 = _ObjectType__Is (_t); if (z4) { goto if_1_end; }; z4 = _Type__IsSubtype (_t, _Refany__T); z0 = ! z4; if (z0) { _Error__Msg (((ADDRESS)(& txt1.str))); goto if_1_end; }; z4 = _Type__IsAssignable (_t, _u); z0 = ! z4; if (z0) { _Error__Msg (((ADDRESS)(& txt2.str))); goto if_1_end; }; if_1_end: /**/; } } }; #line 68 "NarrowExpr.m3" PRIVATE t5 _NarrowExpr__EqCheck (_a, _e) t3 _a; t8 _e; { t3 z2; t3 z4; t5 z5; t5 z0; t3 z3; t3 z6; #line 68 "NarrowExpr.m3" { auto t5 __result; { ZERO1B (& __result); CHECKSTACKOVERFLOW; { register ADDRESS ref = (ADDRESS) _e; register int tc = TYPECODE (ref); if (tc == 0) goto tc0_0; if (ISSUBTYPE (tc, TC3)) goto tc0_1; #line 70 goto tc0_else; tc0_0:; __result = 0 ; return __result; tc0_1:; { auto t3 _b; { ZERO1 (& _b); #line 71 _b = (t3) ref; NILCHECKA (z2 = _a); NILCHECKA (z4 = _b); z5 = _Type__IsEqual ((((t3_fields*)(z2+(0+t38_size+t71_size)))->_tipe), (((t3_fields*)(z4+(0+t38_size+t71_size)))->_tipe)); #line 72 z0 = 0; if (z5) { NILCHECKA (z3 = _a); NILCHECKA (z6 = _b); z5 = _Expr__IsEqual ((((t3_fields*)(z3+(0+t38_size+t71_size)))->_expr), (((t3_fields*)(z6+(0+t38_size+t71_size)))->_expr)); #line 72 z0 = z5; }; __result = z0; return __result; } } tc0_else:; __result = 0 ; return __result; tc0_exit:; }; } } }; #line 78 "NarrowExpr.m3" PRIVATE t10 _NarrowExpr__Compile (_p) t3 _p; { t3 z1; t11 z2; t5 z3; t5 z0; t5 z4; t10 z5; t7 z6; t7 z7; #line 78 "NarrowExpr.m3" { auto t11 _t; auto t11 _u; auto t11 _z; auto t8 _e; auto t10 _t1; auto t10 _t2; auto t10 __result; { CHECKSTACKOVERFLOW; NILCHECKA (z1 = _p); _e = (((t3_fields*)(z1+(0+t38_size+t71_size)))->_expr); z2 = _Expr__TypeOf (_e); _u = z2; NILCHECKA (z1 = _p); _t = (((t3_fields*)(z1+(0+t38_size+t71_size)))->_tipe); z2 = _Type__Base (_t); _z = z2; z3 = _Type__IsEqual (_u, _t); z0 = 1; if (! z3) { z4 = _Type__IsEqual (_t, _Refany__T); z0 = z4; }; if (z0) { z5 = _Expr__Compile (_e); _t2 = z5; goto if_2_end; }; z3 = _Type__IsEqual (_t, _Null__T); if (z3) { z5 = _Expr__Compile (_e); _t1 = z5; z5 = _Temp__Alloc (_p); _t2 = z5; _Emit__OpTT (((ADDRESS)(& txt3.str)), _t2, _t1); _Temp__Free (_t1); goto if_2_end; }; z5 = _Expr__Compile (_e); _t1 = z5; z5 = _Temp__Alloc (_p); _t2 = z5; _Emit__OpTT (((ADDRESS)(& txt4.str)), _t2, _t1); z6 = _Type__Name (_t); z7 = _Type__Name (_t); _Emit__OpII (((ADDRESS)(& txt5.str)), z6, z7); _Emit__OpT (((ADDRESS)(& txt6.str)), _t2); _Temp__Free (_t1); if_2_end: /**/; __result = _t2; return __result; } } }; #line 103 "NarrowExpr.m3" PRIVATE t8 _NarrowExpr__Fold (_p) t3 _p; { t3 z2; t8 z3; #line 103 "NarrowExpr.m3" { auto t8 __result; { CHECKSTACKOVERFLOW; NILCHECKA (z2 = _p); z3 = _Expr__ConstValue ((((t3_fields*)(z2+(0+t38_size+t71_size)))->_expr)); __result = z3; return __result; #line 105 } } }; #line 108 "NarrowExpr.m3" PRIVATE t74 _NarrowExpr__Bounder (_p, _min, _max) t3 _p; t7 * _min; t7 * _max; { t3 z2; t7 z3; t7 z4; #line 108 "NarrowExpr.m3" { auto t7 _min1; auto t7 _max1; { CHECKSTACKOVERFLOW; NILCHECKA (z2 = _p); _Expr__GetBounds ((((t3_fields*)(z2+(0+t38_size+t71_size)))->_expr), &(*_min), &(*_max)); NILCHECKA (z2 = _p); _Type__GetBounds ((((t3_fields*)(z2+(0+t38_size+t71_size)))->_tipe), &_min1, &_max1); z3 = (*_min); z4 = _min1; if (z3 < z4) z3 = z4; (*_min) = z3; z3 = (*_max); z4 = _max1; if (z3 > z4) z3 = z4; (*_max) = z3; } } }; #line 124 "NarrowExpr.m3" PRIVATE t5 _NarrowExpr__IsWritable (_p) t3 _p; { t3 z2; t5 z3; #line 124 "NarrowExpr.m3" { auto t5 __result; { ZERO1B (& __result); CHECKSTACKOVERFLOW; NILCHECKA (z2 = _p); z3 = _Expr__IsWritable ((((t3_fields*)(z2+(0+t38_size+t71_size)))->_expr)); __result = z3; return __result; #line 126 } } }; #line 129 "NarrowExpr.m3" PRIVATE t74 _NarrowExpr__FPrinter (_p, _map, _wr) t3 _p; t2 _map; t1 _wr; { t3 z2; #line 129 "NarrowExpr.m3" { { CHECKSTACKOVERFLOW; _Wr__PutText (_wr, ((ADDRESS)(& txt7.str))); NILCHECKA (z2 = _p); _Expr__Fingerprint ((((t3_fields*)(z2+(0+t38_size+t71_size)))->_expr), _map, _wr); NILCHECKA (z2 = _p); _Type__Fingerprint ((((t3_fields*)(z2+(0+t38_size+t71_size)))->_tipe), _map, _wr); } } }; PRIVATE int init_done = -1; #line 133 "NarrowExpr.m3" PRIVATE void NarrowExpr__initProc (g) int g; { #line 133 "NarrowExpr.m3" if (init_done >= g) return; init_done = g; INITIALIZE (& NarrowExpr__init); INITIALIZE (& Address__init); INITIALIZE (& Wr__init); #line 133 INITIALIZE (& Temp__init); INITIALIZE (& ObjectType__init); INITIALIZE (& Null__init); INITIALIZE (& Refany__init); INITIALIZE (& Error__init); #line 133 INITIALIZE (& Emit__init); INITIALIZE (& SetExpr__init); INITIALIZE (& String__init); INITIALIZE (& Type__init); INITIALIZE (& ExprRep__init); #line 133 INITIALIZE (& Expr__init); return; }; #line 133 "NarrowExpr.m3" PRIVATE void t3_InitProc (obj) char* obj; { register t3_fields* p; #line 133 "NarrowExpr.m3" CHECKSTACKOVERFLOW; p = (t3_fields*) (obj + TC8->datasize); }; #line 133 "NarrowExpr.m3" PRIVATE void t3_SetupProc () { register int* p; #line 133 "NarrowExpr.m3" t3_TC.datasize += TC8->datasize; t3_TC.methodsize += TC8->methodsize; p = (int*) UALLOC (t3_TC.methodsize); COPY (TC8->defaultMethods, p, (TC8->methodsize)); #line 133 p[0] = (int)(& t3_TC); p[1] = 0; ((t38_methods*) (((char*)p) + TC71->methodsize))->_bind = _NarrowExpr__Bind; ((t38_methods*) (((char*)p) + TC71->methodsize))->_check = _NarrowExpr__Check; #line 133 ((t38_methods*) (((char*)p) + TC71->methodsize))->_compile = _NarrowExpr__Compile; ((t38_methods*) (((char*)p) + TC71->methodsize))->_evaluate = _NarrowExpr__Fold; #line 133 ((t38_methods*) (((char*)p) + TC71->methodsize))->_fprint = _NarrowExpr__FPrinter; ((t38_methods*) (((char*)p) + TC71->methodsize))->_write = _ExprRep__NoWriter; #line 133 ((t38_methods*) (((char*)p) + TC71->methodsize))->_isEqual = _NarrowExpr__EqCheck; ((t38_methods*) (((char*)p) + TC71->methodsize))->_getBounds = _NarrowExpr__Bounder; #line 133 ((t38_methods*) (((char*)p) + TC71->methodsize))->_isWritable = _NarrowExpr__IsWritable; ((t38_methods*) (((char*)p) + TC71->methodsize))->_isDesignator = _ExprRep__IsNever; #line 133 ((t38_methods*) (((char*)p) + TC71->methodsize))->_isZeroes = _ExprRep__IsNever; ((t38_methods*) (((char*)p) + TC71->methodsize))->_genLiteral = _ExprRep__NoLiteral; #line 133 t3_TC.defaultMethods = (char*) p; }; #line 133 "NarrowExpr.m3" PRIVATE void t3_PrintProc (obj) char *obj; { t3_fields* o; #line 133 "NarrowExpr.m3" CHECKSTACKOVERFLOW; if (TC8->printProc != 0) {TC8->printProc (obj); } fprintf (stderr, "{%s} ", TC3->brand); o = (t3_fields*) (obj + TC8->datasize); #line 133 fprintf (stderr, "expr = %#x", o->_expr); fprintf (stderr, ", "); fprintf (stderr, "tipe = %#x", o->_tipe); fprintf (stderr, ", "); #line 133 }; PRIVATE INITLINK me_0 ={(INITLINK*)NIL, 0, NarrowExpr__initProc}; static char* VSimports[] = { &VS_Thread__Alerted__fc88feb43485af46, &VS_Wr__T__2555b70b3f7780b1, &VS_Wr__Failure__5f82cfb43dabf527, &VS_Wr__Error__c367253d3ed4fd15, &VS_Wr__PutText__e034dab73a793846, &VS_Temp__T__3a6c7dc12615e4ee, &VS_Temp__Alloc__0b946c9d3ec0974e, &VS_Temp__Free__3b952a2225c26846, &VS_ObjectType__Is__bbf46d51350b1d48, &VS_Null__T__fc9c07773b07e1a2, &VS_Refany__T__f1d580683a3395ec, &VS_Error__Msg__4d119a332467757f, &VS_Emit__MaxStream__cf0a0e8934c9c9f3, &VS_Emit__Format__bc4a2b083b93bbd7, &VS_Emit__OpII__2247fe46332f901b, &VS_Emit__OpT__764bdffe21d249e8, &VS_Emit__OpTT__cba0ce912431e01c, &VS_String__T__3a6c7dc12615e4ee, &VS_Type__T__2446b70b3f7780a5, &VS_Type__Map__41dd9f4b33104fce, &VS_Type__List__5791758e343becc1, &VS_Type__Bind__3443ccd12eedb9e8, &VS_Type__GetBounds__9a241b2b3c98ad98, &VS_Type__Base__2bebd0333659a92c, &VS_Type__IsEqual__4098bc3f32325d05, &VS_Type__Check__3c8ceb09206ee440, &VS_Type__Name__f99416972257a869, &VS_Type__IsSubtype__8591fba5245cb882, &VS_Type__IsAssignable__6d0a7b0e2c806002, &VS_Type__Fingerprint__0d24a3463c25e166, &VS_ExprRep__Init__8b7fff3e227cebab, &VS_ExprRep__NoBind__e7d0d3dd3d703c08, &VS_ExprRep__NoCheck__c11b54bc361794fa, &VS_ExprRep__NoValue__8ccc143224598a66, &VS_ExprRep__NoBounds__b64bb146289ee4f0, &VS_ExprRep__IsNever__8f1a069b301903c8, &VS_ExprRep__NeverEq__dfdc2412249ccb65, &VS_ExprRep__NoWriter__a97bb1a23bbf506e, &VS_ExprRep__NoLiteral__6c9c90073f496f67, &VS_Expr__T__2446b70b3f7780a5, &VS_Expr__List__3f87eceb2b9a246a, &VS_Expr__Bind__7e2752da3eaf56eb, &VS_Expr__TypeOf__fef0a11b388c64fa, &VS_Expr__ConstValue__ce4fd448218fe483, &VS_Expr__GetBounds__b20ec781333da5e4, &VS_Expr__IsWritable__85b9bb292e4a0f55, &VS_Expr__TypeCheck__af9aa9073729e7f7, &VS_Expr__Compile__a7e0cc4029a2ec76, &VS_Expr__IsEqual__062d8b2c385e35a9, &VS_Expr__Fingerprint__50ce687c31d90a5b, NIL }; void NarrowExpr__MLink (phase) int phase; { switch (phase) { case 0: { me_0.link = NarrowExpr__init; NarrowExpr__init = & me_0; t3_TC = t3_TC_init; REGISTERTYPE (TC3); break; }; case 1: { t3_TC.parent = TC_M3__Expr; break; }; case 2: { break; }; }; };