mirror of
https://github.com/Interlisp/maiko.git
synced 2026-01-13 23:27:12 +00:00
451 lines
12 KiB
C
451 lines
12 KiB
C
#ifndef STACK_H
|
|
#define STACK_H 1
|
|
/* $Id: stack.h,v 1.2 1999/01/03 02:06:23 sybalsky Exp $ (C) Copyright Venue, All Rights Reserved */
|
|
|
|
|
|
|
|
/************************************************************************/
|
|
/* */
|
|
/* (C) Copyright 1989-98 Venue. All Rights Reserved. */
|
|
/* Manufactured in the United States of America. */
|
|
/* */
|
|
/************************************************************************/
|
|
|
|
|
|
/* ContextSW frame number */
|
|
#define CurrentFXP 0
|
|
#define ResetFXP 1
|
|
#define SubovFXP 2
|
|
#define KbdFXP 3
|
|
#define HardReturnFXP 4
|
|
#define GCFXP 5
|
|
#define FAULTFXP 6
|
|
|
|
#define STK_FSB_WORD 0xA000u
|
|
#define STK_GUARD_WORD 0xE000u
|
|
#define BF_MARK 0x8000u
|
|
#define BF_MARK32 0x80000000
|
|
#define FX_MARK 0xc000u
|
|
#define FX_MARK_NATIVE 0xc800u
|
|
|
|
#define STK_GUARD 7
|
|
#define STK_FX 6
|
|
#define STK_FSB 5
|
|
#define STK_BF 4
|
|
#define STK_NOTFLG 0
|
|
|
|
#define STK_SAFE 32 /* added with stkmin */
|
|
#define MINEXTRASTACKWORDS 32
|
|
#define STACKAREA_SIZE 768
|
|
|
|
/* For Fvar operations */
|
|
#define FVSTACK 2
|
|
#define FVGLOBAL 6
|
|
#define FVUBNBOUND 3
|
|
#define FVIVAR 0x0
|
|
#define FVPVAR 0x80
|
|
#define FVFVAR 0xC0
|
|
#define ENDSTACKMARK 0xb
|
|
|
|
#define FXPTR(base) ((struct frameex1 *) WORDPTR(base))
|
|
|
|
#ifndef BYTESWAP
|
|
|
|
/*******************************************************/
|
|
/* Normal definitions for structures on stack */
|
|
/*******************************************************/
|
|
typedef struct fnhead{
|
|
DLword stkmin; /* ?? */
|
|
short na; /* Numbers of arguments */
|
|
short pv; /* ?? */
|
|
DLword startpc;
|
|
/* head of ByteCodes, DLword offset from stkmin */
|
|
unsigned native : 1; /* native translated? */
|
|
unsigned byteswapped : 1; /* code was reswapped. */
|
|
unsigned argtype : 2; /* ?? */
|
|
#ifdef BIGVM
|
|
unsigned framename :28; /* index in AtomSpace */
|
|
#else
|
|
unsigned nil2 : 2; /* not used */
|
|
unsigned nil3 : 2; /* not used */
|
|
unsigned framename :24; /* index in AtomSpace */
|
|
#endif /* BIGVM */
|
|
DLword ntsize; /* size of NameTable */
|
|
unsigned nlocals : 8; /* ?? */
|
|
unsigned fvaroffset : 8;
|
|
/* DLword offset from head of NameTable */
|
|
/* NameTable of variable length is following with this structure. */
|
|
} FNHEAD;
|
|
|
|
|
|
typedef struct frameex1{
|
|
unsigned flags :3;
|
|
unsigned fast :1;
|
|
unsigned native :1; /* This frame treats N-func */
|
|
unsigned incall :1;
|
|
unsigned validnametable :1;
|
|
/* 0: look for FunctionHeader
|
|
1: look for NameTable on this FrameEx */
|
|
unsigned nopush :1;
|
|
unsigned usecount :8;
|
|
DLword alink; /* alink pointer (Low addr) */
|
|
#ifdef BIGVM
|
|
LispPTR fnheader; /* pointer to FunctionHeader (Hi2 addr) */
|
|
#else
|
|
DLword lofnheader; /* pointer to FunctionHeader (Low addr) */
|
|
unsigned hi1fnheader : 8; /* pointer to FunctionHeader (Hi1 addr) */
|
|
unsigned hi2fnheader : 8; /* pointer to FunctionHeader (Hi2 addr) */
|
|
#endif /* BIGVM */
|
|
DLword nextblock; /* pointer to FreeStackBlock */
|
|
DLword pc; /* Program counter */
|
|
#ifdef BIGVM
|
|
LispPTR nametable; /* ptr to NameTable of this FrameEx (Hi2 addr) */
|
|
#else
|
|
DLword lonametable; /* ptr to NameTable of this FrameEx (Low addr) */
|
|
unsigned hi1nametable :8; /* ptr to NameTable of this FrameEx (Hi1 addr) */
|
|
unsigned hi2nametable :8; /* ptr to NameTable of this FrameEx (Hi2 addr) */
|
|
#endif /* BIGVM */
|
|
DLword blink; /* blink pointer (Low addr) */
|
|
DLword clink; /* clink pointer (Low addr) */
|
|
} FX;
|
|
|
|
typedef struct frameex2{
|
|
unsigned flags :3;
|
|
unsigned fast :1;
|
|
unsigned native :1; /* This frame treats N-func */
|
|
unsigned incall :1;
|
|
unsigned validnametable :1;
|
|
/* 0: look for FunctionHeader
|
|
1: look for NameTable on this FrameEx */
|
|
unsigned nopush :1;
|
|
unsigned usecount :8;
|
|
DLword alink; /* alink pointer (Low addr) */
|
|
LispPTR fnheader; /* pointer to FunctionHeader */
|
|
DLword nextblock; /* pointer to FreeStackBlock */
|
|
DLword pc; /* Program counter */
|
|
LispPTR nametable; /* address of NameTable */
|
|
DLword blink; /* blink pointer (Low addr) */
|
|
DLword clink; /* clink pointer (Low addr) */
|
|
} FX2;
|
|
|
|
|
|
|
|
|
|
typedef struct fxblock {
|
|
unsigned flagbyte : 8;
|
|
unsigned nil : 23;
|
|
unsigned slowp : 1;
|
|
} FXBLOCK;
|
|
|
|
|
|
|
|
typedef struct basic_frame {
|
|
unsigned flags : 3;
|
|
unsigned nil : 3;
|
|
unsigned residual: 1;
|
|
unsigned padding : 1;
|
|
unsigned usecnt : 8;
|
|
DLword ivar; /* stk offset of IVARs for this frame ?? */
|
|
|
|
} Bframe;
|
|
|
|
typedef struct stkword {
|
|
unsigned short flags :3;
|
|
unsigned short nil :5;
|
|
unsigned short usecount :8;
|
|
} StackWord;
|
|
|
|
|
|
typedef struct stack_block {
|
|
DLword flagword;
|
|
DLword size;
|
|
} STKBLK;
|
|
|
|
/* Lisp DATATYPE STACKP */
|
|
typedef struct stackp {
|
|
DLword stackp0;
|
|
DLword edfxp;
|
|
} STACKP;
|
|
|
|
|
|
/*************************************************************/
|
|
/* Pointer-dereferencing macros for one-word structure ptrs */
|
|
/*************************************************************/
|
|
#define BFRAMEPTR(ptr) ((Bframe *)(ptr))
|
|
#define STKWORDPTR(ptr) ((StackWord *)(ptr))
|
|
|
|
#else
|
|
|
|
/*******************************************************/
|
|
/* Byte-swapped/Word-swapped definitions of stack */
|
|
/*******************************************************/
|
|
typedef struct fnhead
|
|
{
|
|
short na; /* Numbers of arguments */
|
|
DLword stkmin; /* ?? */
|
|
DLword startpc;
|
|
/* head of ByteCodes, DLword offset from stkmin */
|
|
short pv; /* ?? */
|
|
#ifdef BIGVM
|
|
unsigned framename :28; /* index in AtomSpace */
|
|
#else
|
|
unsigned framename :24; /* index in AtomSpace */
|
|
unsigned nil3 : 2; /* not used */
|
|
unsigned nil2 : 2; /* not used */
|
|
#endif /* BIGVM */
|
|
unsigned argtype : 2; /* ?? */
|
|
unsigned byteswapped : 1; /* code was reswapped. */
|
|
unsigned native : 1; /* native translated? */
|
|
unsigned fvaroffset : 8;
|
|
/* DLword offset from head of NameTable */
|
|
unsigned nlocals :8; /* ?? */
|
|
DLword ntsize; /* size of NameTable */
|
|
/* NameTable of variable length is following with this structure. */
|
|
} FNHEAD;
|
|
|
|
|
|
typedef struct frameex1{
|
|
DLword alink; /* alink pointer (Low addr) */
|
|
unsigned usecount :8;
|
|
unsigned nopush :1;
|
|
unsigned validnametable :1;
|
|
/* 0: look for FunctionHeader
|
|
1: look for NameTable on this FrameEx */
|
|
unsigned incall :1;
|
|
unsigned native :1; /* This frame treats N-func */
|
|
unsigned fast :1;
|
|
unsigned flags :3; /* hi word */
|
|
|
|
#ifdef BIGVM
|
|
LispPTR fnheader; /* pointer to FunctionHeader (Hi2 addr) */
|
|
#else
|
|
unsigned hi2fnheader : 8; /* pointer to FunctionHeader (Hi2 addr) */
|
|
unsigned hi1fnheader : 8; /* pointer to FunctionHeader (Hi1 addr) */
|
|
DLword lofnheader; /* pointer to FunctionHeader (Low addr) */
|
|
#endif /* BIGVM */
|
|
|
|
DLword pc; /* Program counter */
|
|
DLword nextblock; /* pointer to FreeStackBlock */
|
|
|
|
#ifdef BIGVM
|
|
LispPTR nametable; /* pointer to NameTable of this FX (Hi2 addr) */
|
|
#else
|
|
unsigned hi2nametable :8; /* pointer to NameTable of this FX (Hi2 addr) */
|
|
unsigned hi1nametable :8; /* pointer to NameTable of this FX (Hi1 addr) */
|
|
DLword lonametable; /* pointer to NameTable of this FX (Low addr) */
|
|
#endif /* BIGVM */
|
|
|
|
DLword clink; /* clink pointer (Low addr) */
|
|
DLword blink; /* blink pointer (Low addr) */
|
|
} FX;
|
|
|
|
typedef struct frameex2{
|
|
DLword alink; /* alink pointer (Low addr) */
|
|
unsigned usecount :8;
|
|
unsigned nopush :1;
|
|
unsigned validnametable :1;
|
|
/* 0: look for FunctionHeader
|
|
1: look for NameTable on this FrameEx */
|
|
unsigned incall :1;
|
|
unsigned native :1; /* This frame treats N-func */
|
|
unsigned fast :1;
|
|
unsigned flags :3;
|
|
|
|
LispPTR fnheader; /* pointer to FunctionHeader (swapped) */
|
|
|
|
DLword pc; /* Program counter */
|
|
DLword nextblock; /* pointer to FreeStackBlock */
|
|
|
|
LispPTR nametable; /* address of NameTable (swapped) */
|
|
|
|
DLword clink; /* clink pointer (Low addr) */
|
|
DLword blink; /* blink pointer (Low addr) */
|
|
} FX2;
|
|
|
|
|
|
|
|
|
|
typedef struct fxblock {
|
|
unsigned slowp : 1;
|
|
unsigned nil : 23;
|
|
unsigned flagbyte : 8;
|
|
} FXBLOCK;
|
|
|
|
typedef struct basic_frame {
|
|
DLword ivar;
|
|
unsigned usecnt : 8;
|
|
unsigned padding : 1;
|
|
unsigned residual: 1;
|
|
unsigned nil : 3;
|
|
unsigned flags : 3;
|
|
|
|
} Bframe;
|
|
|
|
typedef struct stkword
|
|
{
|
|
USHORT usecount :8;
|
|
USHORT nil :5;
|
|
USHORT flags :3;
|
|
} StackWord;
|
|
|
|
typedef struct stack_block
|
|
{
|
|
DLword size;
|
|
DLword flagword;
|
|
} STKBLK;
|
|
|
|
/* Lisp DATATYPE STACKP */
|
|
typedef struct stackp
|
|
{
|
|
DLword edfxp;
|
|
DLword stackp0;
|
|
} STACKP;
|
|
|
|
|
|
/*************************************************************/
|
|
/* Pointer-dereferencing macros for one-word structure ptrs */
|
|
/*************************************************************/
|
|
#define BFRAMEPTR(ptr) ((Bframe *)(ptr))
|
|
#define STKWORDPTR(ptr) ((StackWord *) (2^(UNSIGNED)(ptr)))
|
|
|
|
#endif
|
|
|
|
#define STKWORD(stkptr) ((StackWord *)WORDPTR(stkptr))
|
|
|
|
#define FX_INVALIDP(fx68k) (((fx68k)==0) || ((DLword*)(fx68k)==Stackspace))
|
|
#define FX_size(fx68k) (((FX*)(fx68k))->nextblock - LOLOC(LADDR_from_68k(fx68k)))
|
|
#define FSBP(ptr68k) ( ((STKBLK*)(ptr68k))->flagword == STK_FSB_WORD )
|
|
#define FSB_size(ptr68k) (((STKBLK*)(ptr68k))->size)
|
|
/** Following suff assumes fx is 68kptr and val is LISP_LO_OFFSET **/
|
|
#define DUMMYBF(fx) ( ((DLword*)(fx))-DLWORDSPER_CELL )
|
|
#define SLOWP(fx) (((FXBLOCK*)(fx))->slowp)
|
|
#define FASTP(fx) (!SLOWP(fx))
|
|
#define SET_FASTP_NIL(fx68k) { \
|
|
if(FASTP(fx68k)){ \
|
|
((FX*)fx68k)->blink=StkOffset_from_68K(DUMMYBF(fx68k));\
|
|
((FX*)fx68k)->clink=((FX*)fx68k)->alink;\
|
|
SLOWP(fx68k)=T; }}
|
|
|
|
#define GETALINK(fx) ((((fx)->alink) & 0xfffe)-FRAMESIZE)
|
|
#define SETALINK(fx,val) {if(FASTP(fx)) \
|
|
{((FX*)(fx))->blink=LADDR_from_68k(DUMMYBF(fx));\
|
|
((FX*)(fx))->clink=((FX*)(fx))->alink;}\
|
|
((FX*)(fx))->alink=(val)+FRAMESIZE+1;}
|
|
|
|
#define GETBLINK(fx) (SLOWP(fx) ? ((FX*)(fx))->blink : LOLOC(LADDR_from_68k(DUMMYBF(fx))))
|
|
#define SETBLINK(fx,val) { ((FX*)(fx))->blink =(val);\
|
|
if(FASTP(fx)){\
|
|
((FX*)(fx))->clink=((FX*)(fx))->alink; \
|
|
SLOWP(fx)=1;}}
|
|
|
|
#define GETCLINK(fx) (SLOWP(fx) ? (((FX*)(fx))->clink -FRAMESIZE):(((FX*)(fx))->alink -FRAMESIZE))
|
|
#define SETCLINK(fx,val) { ((FX*)(fx))->clink = (val) +FRAMESIZE;\
|
|
if(FASTP((fx))){\
|
|
((FX*)(fx))->blink=LADDR_from_68k(DUMMYBF(fx));\
|
|
SLOWP(fx)=1;}}
|
|
|
|
#define SETACLINK(fx,val) {if(FASTP(fx)) \
|
|
{((FX*)(fx))->blink=LADDR_from_68k(DUMMYBF(fx));}\
|
|
((FX*)(fx))->clink= (val) + FRAMESIZE;\
|
|
((FX*)(fx))->alink= ((FX*)(fx))->clink +1; }
|
|
|
|
#ifdef BIGVM
|
|
#define SWAP_FNHEAD
|
|
#else
|
|
#define SWAP_FNHEAD(x) swapx(x)
|
|
#endif /* BIGVM */
|
|
|
|
#define GETNAMETABLE(fx) \
|
|
((struct fnhead *) Addr68k_from_LADDR(SWAP_FNHEAD( \
|
|
((((FX2 *)fx)->validnametable) \
|
|
? ((FX2 *)fx)->nametable \
|
|
: ((FX2 *)fx)->fnheader \
|
|
)) & POINTERMASK))
|
|
|
|
#define MAKEFREEBLOCK(ptr68k,size) \
|
|
{ \
|
|
if ((size) <= 0) error("creating 0 long FSP"); \
|
|
*((LispPTR*)(ptr68k))=(STK_FSB_WORD << 16) | ((DLword)(size)); \
|
|
}
|
|
|
|
#define SETUPGUARDBLOCK(ptr68k,size) \
|
|
{ \
|
|
if ((size) <= 0) error("creating 0 long Guard block"); \
|
|
( *((LispPTR*)(ptr68k))=(STK_GUARD_WORD << 16) | ((DLword)(size)) ); \
|
|
}
|
|
|
|
|
|
|
|
|
|
/************************************************************************/
|
|
/* */
|
|
/* Stack-checking macros */
|
|
/* */
|
|
/* Enabled when STACKCHECK compile flag is set. */
|
|
/* */
|
|
/************************************************************************/
|
|
|
|
#ifdef STACKCHECK
|
|
|
|
#include <stdio.h>
|
|
|
|
#define S_CHECK(condition, msg) \
|
|
{ \
|
|
if(!(condition)) \
|
|
{ \
|
|
printf("\n\nStack check failed: %s.\n\n", (msg)); \
|
|
error("S_Check.."); \
|
|
} \
|
|
}
|
|
|
|
#define S_WARN(condition, msg, scanptr) \
|
|
{ \
|
|
if(!(condition)) \
|
|
{ \
|
|
printf("\n\nStack check failed at %p: %s.\n\n", (scanptr), (msg)); \
|
|
} \
|
|
}
|
|
|
|
#define CHECK_BF(bf68k) check_BF(bf68k)
|
|
|
|
#define CHECK_FX(fx68k) check_FX(fx68k)
|
|
|
|
#define PreMoveFrameCheck(fx68k) \
|
|
{ LispPTR *tos_on_stack; \
|
|
if(check_stack_rooms(fx68k) > 1000) \
|
|
{ \
|
|
warn("moveframe:there is more than 100 words SPACE for FX"); \
|
|
printf("# When calling "); \
|
|
tos_on_stack=(LispPTR*)Addr68k_from_StkOffset((fx68k)->nextblock - 2); \
|
|
print_atomname(*tos_on_stack); \
|
|
printf("\n"); \
|
|
stack_check(0); \
|
|
} \
|
|
}
|
|
|
|
#else /* STACKCHECK */
|
|
|
|
|
|
#define S_CHECK(condition,msg) {}
|
|
#define S_WARN(condition, msg, scanptr) {}
|
|
#define PreMoveFrameCheck(fx68k) {}
|
|
#define CHECK_BF(bf68k) {}
|
|
#define CHECK_FX(fx68k) {}
|
|
|
|
#endif /* STACKCHECK */
|
|
|
|
|
|
|
|
|
|
#define STK_MIN(fnobj) ((fnobj->stkmin /* NOT NEEDED in stkmin +STK_SAFE */) << 1)
|
|
|
|
#define STK_END_COMPUTE(stk_end,fnobj) \
|
|
( (UNSIGNED)(stk_end) - STK_MIN(fnobj) )
|
|
|
|
|
|
#define CLR_IRQ \
|
|
{Irq_Stk_Check = STK_END_COMPUTE((Irq_Stk_End = (UNSIGNED) EndSTKP), \
|
|
FuncObj); \
|
|
}
|
|
#endif
|