factor/vm/layouts.h

#define INLINE inline static

typedef unsigned char u8;
typedef unsigned short u16;
typedef unsigned int u32;
typedef unsigned long long u64;
typedef signed char s8;
typedef signed short s16;
typedef signed int s32;
typedef signed long long s64;

#ifdef _WIN64
	typedef long long F_FIXNUM;
	typedef unsigned long long CELL;
#else
	typedef long F_FIXNUM;
	typedef unsigned long CELL;
#endif

#define CELLS ((signed)sizeof(CELL))

/* must always be 16 bits */
#define CHARS ((signed)sizeof(u16))

#define WORD_SIZE (CELLS*8)
#define HALF_WORD_SIZE (CELLS*4)
#define HALF_WORD_MASK (((unsigned long)1<<HALF_WORD_SIZE)-1)

#define TAG_MASK 7
#define TAG_BITS 3
#define TAG(cell) ((CELL)(cell) & TAG_MASK)
#define UNTAG(cell) ((CELL)(cell) & ~TAG_MASK)
#define RETAG(cell,tag) (UNTAG(cell) | (tag))

/*** Tags ***/
#define FIXNUM_TYPE 0
#define BIGNUM_TYPE 1
#define TUPLE_TYPE 2
#define OBJECT_TYPE 3
#define RATIO_TYPE 4
#define FLOAT_TYPE 5
#define COMPLEX_TYPE 6

/* Canonical F object */
#define F_TYPE 7
#define F F_TYPE

#define HEADER_TYPE 7 /* anything less than or equal to this is a tag */

#define GC_COLLECTED 5 /* See gc.c */

/*** Header types ***/
#define ARRAY_TYPE 8
#define WRAPPER_TYPE 9
#define HASHTABLE_TYPE 10
#define VECTOR_TYPE 11
#define STRING_TYPE 12
#define SBUF_TYPE 13
#define QUOTATION_TYPE 14
#define DLL_TYPE 15
#define ALIEN_TYPE 16
#define WORD_TYPE 17
#define BYTE_ARRAY_TYPE 18
#define BIT_ARRAY_TYPE 19
#define FLOAT_ARRAY_TYPE 20
#define CURRY_TYPE 21
#define CALLSTACK_TYPE 22

#define TYPE_COUNT 23

INLINE bool immediate_p(CELL obj)
{
	return (TAG(obj) == FIXNUM_TYPE || obj == F);
}

INLINE F_FIXNUM untag_fixnum_fast(CELL tagged)
{
	return ((F_FIXNUM)tagged) >> TAG_BITS;
}

INLINE CELL tag_fixnum(F_FIXNUM untagged)
{
	return RETAG(untagged << TAG_BITS,FIXNUM_TYPE);
}

INLINE void *untag_object(CELL tagged)
{
	return (void *)UNTAG(tagged);
}

typedef void *XT;

/* Assembly code makes assumptions about the layout of this struct */
typedef struct {
	CELL header;
	/* tagged */
	CELL capacity;
} F_ARRAY;

typedef F_ARRAY F_BYTE_ARRAY;

typedef F_ARRAY F_BIT_ARRAY;

typedef F_ARRAY F_FLOAT_ARRAY;

/* Assembly code makes assumptions about the layout of this struct */
typedef struct {
	/* always tag_header(VECTOR_TYPE) */
	CELL header;
	/* tagged */
	CELL top;
	/* tagged */
	CELL array;
} F_VECTOR;

/* Assembly code makes assumptions about the layout of this struct */
typedef struct {
	CELL header;
	/* tagged num of chars */
	CELL length;
	/* tagged */
	CELL hashcode;
} F_STRING;

/* Assembly code makes assumptions about the layout of this struct */
typedef struct {
	/* always tag_header(SBUF_TYPE) */
	CELL header;
	/* tagged */
	CELL top;
	/* tagged */
	CELL string;
} F_SBUF;

/* Assembly code makes assumptions about the layout of this struct */
typedef struct {
	/* always tag_header(HASHTABLE_TYPE) */
	CELL header;
	/* tagged */
	CELL count;
        /* tagged */
        CELL deleted;
	/* tagged */
	CELL array;
} F_HASHTABLE;

/* The compiled code heap is structured into blocks. */
typedef struct
{
	CELL type; /* this is WORD_TYPE or QUOTATION_TYPE */
	CELL code_length; /* # bytes */
	CELL reloc_length; /* # bytes */
	CELL literals_length; /* # bytes */
} F_COMPILED;

/* Assembly code makes assumptions about the layout of this struct */
typedef struct {
	/* TAGGED header */
	CELL header;
	/* TAGGED hashcode */
	CELL hashcode;
	/* TAGGED word name */
	CELL name;
	/* TAGGED word vocabulary */
	CELL vocabulary;
	/* TAGGED definition */
	CELL def;
	/* TAGGED property assoc for library code */
	CELL props;
	/* TAGGED t or f, depending on if the word is compiled or not */
	CELL compiledp;
	/* TAGGED call count for profiling */
	CELL counter;
	/* UNTAGGED execution token: jump here to execute word */
	XT xt;
	/* UNTAGGED compiled code block */
	F_COMPILED *code;
	/* UNTAGGED profiler stub */
	F_COMPILED *profiling;
} F_WORD;

/* Assembly code makes assumptions about the layout of this struct */
typedef struct {
	CELL header;
	CELL object;
} F_WRAPPER;

/* Assembly code makes assumptions about the layout of this struct */
typedef struct {
	CELL header;
	CELL numerator;
	CELL denominator;
} F_RATIO;

/* Assembly code makes assumptions about the layout of this struct */
typedef struct {
/* C sucks. */
	union {
		CELL header;
		long long padding;
	};
	double n;
} F_FLOAT;

/* Assembly code makes assumptions about the layout of this struct */
typedef struct {
	CELL header;
	/* tagged */
	CELL array;
	/* tagged */
	CELL compiledp;
	/* UNTAGGED */
	XT xt;
	/* UNTAGGED compiled code block */
	F_COMPILED *code;
} F_QUOTATION;

/* Assembly code makes assumptions about the layout of this struct */
typedef struct {
	CELL header;
	CELL real;
	CELL imaginary;
} F_COMPLEX;

/* Assembly code makes assumptions about the layout of this struct */
typedef struct {
	CELL header;
	/* tagged */
	CELL alien;
	/* tagged */
	CELL expired;
	/* untagged */
	CELL displacement;
} F_ALIEN;

typedef struct {
	CELL header;
	/* tagged byte array holding a C string */
	CELL path;
	/* OS-specific handle */
	void *dll;
} F_DLL;

typedef struct {
	CELL header;
	/* tagged */
	CELL obj;
	/* tagged */
	CELL quot;
} F_CURRY;

typedef struct {
	CELL header;
	/* tagged */
	CELL length;
} F_CALLSTACK;

typedef struct
{
	XT xt;
	/* Frame size in bytes */
	CELL size;
} F_STACK_FRAME;