#ifndef PROGRAM_H
#define PROGRAM_H
/*
* A compiled program consists of several data blocks, all allocated
* contiguously in memory to enhance the working set. During compilation,
* the blocks will be allocated separately, as the final size is
* unknown. When compilation is done, the blocks will be copied into
* the one big area.
*
* There are 5 different blocks of information for each program:
* 1. The program itself. Consists of machine code instructions for a virtual
* stack machine. The size of the program must not be bigger than
* 65535 bytes, as 16 bit pointers are used. Who would ever need a bigger
* program :-)
* 2. Function names. All local functions that has been defined or called,
* with the address of the function in the program. Inherited functions
* will be found here too, with information of how far up the inherit
* chain that the function was defined.
* 3. String table. All strings used in the program. They are all pointers
* into the shared string area. Thus, they are easily found and deallocated
* when the object is destructed.
* 4. Table of variable names. They all point into the shared string table.
* 5. Line number information. A table which tells at what address every
* line belongs to. The table has the same number of entries as the
* programs has source lines. This is used at errors, to find out the
* line number of the error. This is usually swapped out to save space.
* First entry is the length of the table.
* 6. List of inherited objects.
*/
/*
* When a new object inherits from another, all function definitions
* are copied, and all variable definitions.
* Flags below can't explicitly declared. Flags that can be declared,
* are found with TYPE_ below.
*
* When an object is compiled with type testing NAME_STRICT_TYPES, all
* types are saved of the arguments for that function during compilation.
* If the #pragma save_types is specified, then the types are saved even
* after compilation, to be used when the object is inherited.
*/
/* The semantics of the flags are currently as follows:
(1) A function is either a definition, a prototype or an undefined
function
(2) A definition is an address that executes code when
it is jumped to and finishes with a return.
The address is labeled by the following info:
function name, type, flags,number of arguments, number of locals,
argument types.
(3) A prototype does not execute code, and is basically a label with
the following info:
argument types (optionally also argument names),function name,
type, flags, number of arguments
(4) An undefined function is an unknown function that has been called or
a label that is as yet not known to be a prototype or definition
Note that the above rules apply to comments in compiler.c as well.
In particular, a known prototype is not undefined. When 'function'
by itself is used, (1) is always meant.
FUNC_INHERITED - The function entry that exists in this object actually
is a function in an object we inherited
FUNC_UNDEFINED - see (4)
FUNC_STRICT_TYPES - compiled with strict type testing
FUNC_PROTOTYPE - see (3)
FUNC_ALIAS - This entry refers us to another entry, usually because
this function was overloaded by that function
Sym
*/
#define FUNC_INHERITED 0x0001
#define FUNC_UNDEFINED 0x0002
#define FUNC_STRICT_TYPES 0x0004
#define FUNC_PROTOTYPE 0x0008
#define FUNC_TRUE_VARARGS 0x0010
#define FUNC_VARARGS 0x0020
#define FUNC_ALIAS 0x8000 /* This shouldn't be changed */
#define DECL_HIDDEN 0x0100 /* used by private vars */
#define DECL_PRIVATE 0x0200 /* Can't be inherited */
#define DECL_PROTECTED 0x0400 /* Static function or variable */
#define DECL_PUBLIC 0x0800
#define DECL_NOMASK 0x1000 /* The nomask => not redefineable */
#define DECL_NOSAVE 0x2000
#ifndef SENSIBLE_MODIFIERS
#define DECL_VISIBLE 0x4000 /* Force inherit through private */
#define DECL_ACCESS (DECL_HIDDEN | DECL_PRIVATE | DECL_PROTECTED | DECL_PUBLIC | DECL_VISIBLE)
#define DECL_MODIFY(x,y) ((((x)|(y))&DECL_VISIBLE) ? ((((x)|(y))&~DECL_ACCESS)|DECL_VISIBLE) : DECL_MODIFY2(x,y))
#else
#define DECL_ACCESS (DECL_HIDDEN | DECL_PRIVATE | DECL_PROTECTED | DECL_PUBLIC)
#define DECL_MODIFY(x,y) DECL_MODIFY2(x,y)
#endif
#define DECL_MODS (DECL_ACCESS | DECL_NOMASK | DECL_NOSAVE)
#define DECL_MODIFY2(t, mod) ((((t) & DECL_ACCESS) > ((mod) & DECL_ACCESS)) ? ((t) & ~DECL_ACCESS) | (mod) : (t) | ((mod) & ~DECL_ACCESS))
/* only the flags that should be copied up through inheritance levels */
#define FUNC_MASK (FUNC_VARARGS | FUNC_UNDEFINED | FUNC_STRICT_TYPES | FUNC_PROTOTYPE | FUNC_TRUE_VARARGS | FUNC_ALIAS | DECL_MODS)
/* a function that isn't 'real' */
#define FUNC_NO_CODE (FUNC_ALIAS | FUNC_PROTOTYPE | FUNC_UNDEFINED)
#define REAL_FUNCTION(x) (!((x) & (FUNC_ALIAS | FUNC_PROTOTYPE)))
/*
* These are or'ed in on top of the basic type.
*/
/* Note, the following restricts class_num to < 0x40 or 64 */
/* The reason for this is that vars still have a ushort type */
/* This restriction is not unreasonable, since LPC is still */
/* catered for mini-applications (compared to say, C++ or */
/* java)..for now - Sym */
#define TYPE_MOD_ARRAY 0x0040 /* Pointer to a basic type */
#define TYPE_MOD_CLASS 0x0080 /* a class */
#define CLASS_NUM_MASK 0x003f
#define LOCAL_MOD_REF 0x0100
#define LOCAL_MOD_UNUSED 0x0200
#define LOCAL_MODS (LOCAL_MOD_UNUSED|LOCAL_MOD_REF)
typedef struct {
unsigned char num_arg;
unsigned char num_local;
unsigned short f_index; /* Index in sorted function table */
} runtime_defined_t;
typedef struct {
unsigned short offset;
unsigned short function_index_offset;
} runtime_inherited_t;
typedef union {
runtime_defined_t def;
runtime_inherited_t inh;
} runtime_function_u;
typedef struct {
unsigned short first_defined;
unsigned short first_overload;
unsigned short num_compressed;
unsigned short num_deleted;
unsigned char index[1];
} compressed_offset_table_t;
#ifdef USE_32BIT_ADDRESSES
#define ADDRESS_TYPE unsigned int
#define ADDRESS_MAX UINT_MAX
#else
#define ADDRESS_TYPE unsigned short
#define ADDRESS_MAX USHRT_MAX
#endif
typedef struct {
char *funcname;
unsigned short type;
unsigned char num_arg;
unsigned char num_local;
ADDRESS_TYPE address;
#ifdef PROFILE_FUNCTIONS
unsigned long calls, self, children;
#endif
} function_t;
typedef struct {
unsigned short classname;
unsigned short type;
unsigned short size;
unsigned short index;
} class_def_t;
typedef struct {
unsigned short membername;
unsigned short type;
} class_member_entry_t;
typedef struct {
char *name;
unsigned short type; /* Type of variable. See above. TYPE_ */
} variable_t;
typedef struct {
struct program_s *prog;
unsigned short function_index_offset;
unsigned short variable_index_offset;
unsigned short type_mod;
} inherit_t;
typedef struct program_s {
const char *filename; /* Name of file that defined prog */
unsigned short flags;
unsigned short last_inherited;
unsigned PROG_REF_TYPE ref; /* Reference count */
unsigned short func_ref;
#ifdef DEBUG
int extra_ref; /* Used to verify ref count */
int extra_func_ref;
#endif
char *program; /* The binary instructions */
unsigned char *line_info; /* Line number information */
unsigned short *file_info;
int line_swap_index; /* Where line number info is swapped */
function_t *function_table;
unsigned short *function_flags; /* separate for alignment reasons */
class_def_t *classes;
class_member_entry_t *class_members;
char **strings; /* All strings uses by the program */
char **variable_table; /* variables defined by this program */
unsigned short *variable_types; /* variables defined by this program */
inherit_t *inherit; /* List of inherited prgms */
int total_size; /* Sum of all data in this struct */
/*
* The types of function arguments are saved where 'argument_types'
* points. It can be a variable number of arguments, so allocation is
* done dynamically. To know where first argument is found for function
* 'n' (number of function), use 'type_start[n]'. These two arrays will
* only be allocated if '#pragma save_types' has been specified. This
* #pragma should be specified in files that are commonly used for
* inheritance. There are several lines of code that depends on the type
* length (16 bits) of 'type_start' (sorry !).
*/
unsigned short *argument_types;
#define INDEX_START_NONE 65535
unsigned short *type_start;
/*
* And now some general size information.
*/
unsigned short heart_beat; /* Index of the heart beat function. 0 means
* no heart beat */
unsigned short program_size;/* size of this instruction code */
unsigned short num_classes;
unsigned short num_functions_defined;
unsigned short num_strings;
unsigned short num_variables_total;
unsigned short num_variables_defined;
unsigned short num_inherited;
} program_t;
extern int total_num_prog_blocks;
extern int total_prog_block_size;
void reference_prog (program_t *, const char *);
void free_prog (program_t **);
void deallocate_program (program_t *);
char *variable_name (program_t *, int);
function_t *find_func_entry (program_t *, int);
#endif
