/* * Copyright (C) 1985-1992 New York University * * This file is part of the Ada/Ed-C system. See the Ada/Ed README file for * warranty (none) and distribution info and also the GNU General Public * License for more details. */ #define GEN /* ada_min_integer; ada_max_integer; are defined in vars.c */ /* SETL GENflag is list_code in C */ extern int list_code; /* set if GEN option selected */ #ifdef TBSN PREDEF_UNITS; /* predefined units */ #endif extern int debug_flag; /* set debug_line to line number to cause call to trap_line when * starting to generating code for that line * (see maincase.c) ds 7-19-85 */ extern int debug_line; /* MAINunit identifies the main unit. In SETL this is specified by * MAIN program option. In C it will be character string */ extern char *MAINunit; /* name of main unit (from MAIN opo */ extern char *interface_files; extern int bind_option; /* bind option */ extern int bind_only_option; /* set when binding only, no generation */ extern int line_option; /* LINE option use -L to set */ extern int gen_option; /* GEN option: set if want to generate code */ extern int ada_line; /* line number for error file (mixed_case) */ extern int save_ada_line; /* used to save value of ada_line */ #ifdef TBSN /* STIME and BTIME are used to hold elapsed times in SETL version * and are reals there. They are not needed in first C version. */ STIME; /* ?? time */ BTIME; /* binding time */ #endif extern int NB_INSTRUCTIONS; /* number of instructions generated */ extern int NB_STATEMENTS; /* number of statements processed?? */ extern int ERROR_IN_UNIT; /* boolean set if errors in unit */ extern int STUBS_IN_UNIT; /* boolean set if stubs in unit */ /* In SETL, TARGET indicates target machine and is either SETL or IBMPC * In C will be integer */ extern int TARGET; extern Node FIRST_NODE; /* first node in a compilation unit */ extern Tuple UNIT_FIRST_NODE; /* map { unit -> FIRST_NODE } */ /* Represent as 'tuple map' in C */ extern Tuple RENAME_MAP; /* map { generic_name -> instance_name } * This is kept as a tuple in C with successive pairs of elements giving * domain and range values (tuple as map). */ #ifdef TBSN -- this is not referenced ds 22-feb-85 extern Node ROOT_NODE; /* root node of unit to be expanded */ #endif /* Generated code is built up in CODE_SEGMENT, generated data in * DATA_SEGMENT. In SETL these are tuples, and will also be tuples * in first C version. * DATA_SEGMENT_MAIN is data segment for main code slot, initialized * by segment_main_data(); * Since the type of these (Segment) is not known to all files * the variables CODE_SEGMENT, DATA_SEGMENT, DATA_SEGMENT_MAIN * VARIANT_TABLE and FIELD_TABLE are defined in init.c and * declared as extern's explicitly where needed. */ extern Tuple CODE_SLOTS; /* map showing code_slots occupation */ /* { procedure_names -> number } */ extern Tuple DATA_SLOTS; /* map showing data_slots occupation */ /* { compilation_unit_names -> number } */ extern Tuple EXCEPTION_SLOTS; /* map showing exception_slots occupation */ /* { exception_names -> number } */ extern Tuple CODE_SEGMENT_MAP; /* map { number -> [actual code] } */ extern Tuple DATA_SEGMENT_MAP; /* map { number -> [actual data] } */ extern int CURRENT_DATA_SEGMENT; /* number of current data segment */ extern int CURRENT_CODE_SEGMENT; /* number of current code segment */ /* UNIT_NAME is variable unit_name declared in vars.c */ /* name of the current compilation unit */ /* * GENERATED_OBJECTS is a set of symbols in the SETL version. It is * kept as a tuple in the C version. The most common use is in the * form * GENERATED_OBJECTS with:= sym; * which we will write in C as * generate_object(sym); * This will permit option of choosing more efficient data structure * later. */ extern Tuple GENERATED_OBJECTS; /* Symbol table and extended symbol table : */ #ifdef TBSN /* MISC will be symbol table fields in C version */ MISC, /* map used to store miscellanous infos like: */ /* for types: */ /* a boolean indicating that they contain tasks */ /* NOTE: Info in MISC is save in library (AXQ files) */ #endif /* REFERENCE_MAP and LOCAL_REFERENCE_MAP are used in SETL to give * the address assigned to symbols. * LOCAL_REFERENCE_MAP is 'sparse' map from symbols to offsets; note * in particular that it is copied. * See ghdr.c for description of realization of local_reference_map. */ extern Tuple LOCAL_REFERENCE_MAP; /* reference_of sets these globals */ extern int REFERENCE_SEGMENT; extern int REFERENCE_OFFSET; /* CONSTANT_MAP is a map from constant values to generated symbols. It * is referenced only in procedure get_constant_name. The representation * in C is still not clear. * * Constant map is optimization that is not needed in C * It is referenced ony in get_constant_name to reuse locations having * the same value. */ #ifdef TBSN Tuple CONSTANT_MAP; #endif extern int LAST_OFFSET; /* first available offset in current stack frame */ extern int MAX_OFFSET; /* largest offset in current stack frame */ extern int TASKS_DECLARED; /* flag indicating possible presence of tasks in frame */ extern int SPECS_DECLARED; /* count of # of specs requiring a */ /* body in a library package. */ extern Tuple SUBPROG_SPECS; /* set of subprograms having an explicit spec in the */ /* current program unit. */ extern Tuple SOURCE; /* the current list of statements to be processed */ /* in C, EMAP is maintained by emap_... procedures: */ extern Tuple EMAP; /* Various temporary storage: */ /* Type: -> list of dependent deferred types */ /* Constant: -> Boolean true if a deferred constant */ /* NOTE: info in EMAP is NOT save in libarry (AXQ files) */ extern Tuple EMAP_VALUE; /* value of emap if defined, set by emap_get */ extern int CURRENT_LEVEL; /* used for static depth of blocks */ extern Tuple PARAMETER_SET; /* Tuple of symbols for formal parameters */ /* RELAY_SET is a tuple of symbols. */ /* Note; need to review if this need be copied */ /* Note: RELAY_SET should be represented more efficiently than just * as tuple if possible, as may be 'large'. */ extern Tuple RELAY_SET; /* DANGLING_RELAY_SETS is a tuple of relay sets */ extern Tuple DANGLING_RELAY_SETS; extern Tuple SUBPROG_PATCH; extern Tuple CODE_PATCH_SET; extern Tuple DATA_PATCH_SET; /* Global variables used for record type elaboration */ extern int CURRENT_FIELD_NUMBER; extern int CURRENT_FIELD_OFFSET; extern int REC_WITH_TASKS; /* boolean */ extern int STATIC_REC; /* boolean */ extern Tuple INTERNAL_ACCESSED_TYPES; /* of symbols */ /* Variables used by the binder */ extern Tuple axqfiles_read; /* set of already read AXQfiles */ extern Tuple call_lib_unit; /* Accumulates code for idle_task to call library */ /* packages. */ extern Tuple PRECEDES_MAP; /* Map representing relationship between units */ extern Tuple DELAYED_MAP; extern Tuple compilation_table; /* Table of compilation units giving the order of */ /* compilation. */ extern Tuple late_instances; /* Map from unit unique name to a set of late */ /* instances */ extern Tuple interfaced_procedures; /* set of the part of codes generated for each intefaced procedures */ extern int interface_counter; /* integer associated with each subprogram which */ /* has a pragma INTERFACE */ extern int interface_flag; /* equals 1 if there are interfaced procedures, 0 otherwise */ /* Variables used by the peep-hole optimizer */ extern int deleted_instructions; #ifdef TBSN optimizable_codes, #endif /* "local" variables (do not use these names elsewhere!) */ extern Tuple just_read; extern Node unit_node; /* TBSL: symbol_constrained_type added 21 jan - needs to be initialized*/ extern Symbol symbol_constrained_type; extern Symbol symbol_accept_return; /* see gen_accept */ /* TBSL: see if following really needed for 'used' and 'unused': Note; "used" and "unused" are just used for loops can use TRUE and FALSE There is label generated at startof loop needed only if exit; if exit not present, the label is "unused" and some needless code need not be generated. */ extern Symbol symbol_used,symbol_unused; /* symbol_main_task_type is defined in adasem (vars.c) */ /* define symbol_main_task used for main_task here */ extern Symbol symbol_main_task; extern Symbol symbol_type_mark; extern Symbol symbol_task_block; extern Symbol symbol_mulfix; /* expr.c ...*/ /* rat_tof() returns its results in the globals:*/ /* make RAT_TOF_1 long for initial C version ds 6-6-86 */ extern long RAT_TOF_1,RAT_TOF_2; extern Explicit_ref explicit_ref_0; /* for explicit reference of [0,0] */ /* unit_slots is global tuple maintained by unit_slots_get() and * unit_slots_put(). Entries are indexed by unit number. Each entry * is tuple of slot numbers; the first three corresponding to OWNED_SLOTS * the last two to BORROWED slots. */ extern Tuple unit_slots; extern int *ivalue_1,*ivalue_10; /* long integer forms of 1 and 10 */ extern Const int_const_0; /* Const for integer 0 */ extern Rational rat_value_10; /* 10 as rational */ /* global_reference_tupel is used for saving global addresses * for trace printout */ extern Tuple global_reference_tuple; extern Const int_const_null_task; /* for NULL_TASK */ #ifdef BINDER_GEN extern int binder_phase; /* set non-zero if binder phase */ #endif