version 1.29, 2004/09/19 00:47:47 |
version 1.37, 2015/09/27 08:12:42 |
|
|
/* $OpenXM: OpenXM/src/kan96xx/Kan/stackmachine.c,v 1.28 2004/09/17 02:42:57 takayama Exp $ */ |
/* $OpenXM: OpenXM/src/kan96xx/Kan/stackmachine.c,v 1.36 2006/02/02 05:55:33 takayama Exp $ */ |
/* stackmachin.c */ |
/* stackmachin.c */ |
|
|
#include <stdio.h> |
#include <stdio.h> |
|
#include <stdlib.h> |
|
#include <string.h> |
#include "datatype.h" |
#include "datatype.h" |
#include "stackm.h" |
#include "stackm.h" |
#include "extern.h" |
#include "extern.h" |
|
|
#include <signal.h> |
#include <signal.h> |
#include <sys/types.h> |
#include <sys/types.h> |
|
|
|
/* The msys2 seems to make a buffer overflow of EnvOfStackmachine[]. |
|
The code |
|
[(x) ring_of_differential_operators 11] define_ring |
|
( Dx*(x+Dx) ) /ff set |
|
causes the segfault because Mp_zero is borken. Is it a bug of msys2? |
|
Anyway, the following definition seems to be a workaround. 2015.09 |
|
Singnals do not work properly on msys2. (gcc -dM -E ... to see macros defs) |
|
*/ |
|
#if defined(__MSYS__) |
|
#define setjmp(e) _setjmp(e) |
|
#define sigsetjmp(e,n) _setjmp(e) |
|
#endif |
|
|
/* #define OPERAND_STACK_SIZE 2000 */ |
/* #define OPERAND_STACK_SIZE 2000 */ |
#define OPERAND_STACK_SIZE 30000 |
#define OPERAND_STACK_SIZE 30000 |
Line 52 struct context *CurrentContextp = &StandardContext; |
|
Line 66 struct context *CurrentContextp = &StandardContext; |
|
struct context *PrimitiveContextp = &StandardContext; |
struct context *PrimitiveContextp = &StandardContext; |
|
|
|
|
static struct object ObjTmp; /* for poor compiler */ |
static struct object ObjTmp = OINIT; /* for poor compiler */ |
|
|
int Calling_ctrlC_hook = 0; |
int Calling_ctrlC_hook = 0; |
|
|
Line 87 int OXlockSaved = 0; |
|
Line 101 int OXlockSaved = 0; |
|
char *UD_str; |
char *UD_str; |
int UD_attr; |
int UD_attr; |
|
|
|
struct object *MsgStackTraceInArrayp = NULL; |
|
char *MsgStackTrace = NULL; |
|
char *MsgSourceTrace = NULL; |
|
|
struct object * newObject() |
struct object * newObject() |
{ |
{ |
struct object *r; |
struct object *r; |
Line 95 struct object * newObject() |
|
Line 113 struct object * newObject() |
|
r->tag = 0; |
r->tag = 0; |
(r->lc).ival = 0; |
(r->lc).ival = 0; |
(r->rc).ival = 0; |
(r->rc).ival = 0; |
|
r->attr = NULL; |
return(r); |
return(r); |
} |
} |
|
|
struct object newObjectArray(size) |
struct object newObjectArray(size) |
int size; |
int size; |
{ |
{ |
struct object rob; |
struct object rob = OINIT; |
struct object *op; |
struct object *op; |
if (size < 0) return(NullObject); |
if (size < 0) return(NullObject); |
if (size > 0) { |
if (size > 0) { |
Line 323 int putPrimitiveFunction(str,number) |
|
Line 342 int putPrimitiveFunction(str,number) |
|
char *str; |
char *str; |
int number; |
int number; |
{ |
{ |
struct object ob; |
struct object ob = OINIT; |
ob.tag = Soperator; |
ob.tag = Soperator; |
ob.lc.ival = number; |
ob.lc.ival = number; |
return(putSystemDictionary(str,ob)); |
return(putSystemDictionary(str,ob)); |
Line 467 struct object peek(k) |
|
Line 486 struct object peek(k) |
|
|
|
static int isThereExecutableArray(struct object ob) { |
static int isThereExecutableArray(struct object ob) { |
int n,i; |
int n,i; |
struct object otmp; |
struct object otmp = OINIT; |
if (ob.tag == SexecutableArray) return(1); |
if (ob.tag == SexecutableArray) return(1); |
if (ob.tag == Sarray) { |
if (ob.tag == Sarray) { |
n = getoaSize(ob); |
n = getoaSize(ob); |
Line 483 static int isThereExecutableArray(struct object ob) { |
|
Line 502 static int isThereExecutableArray(struct object ob) { |
|
} |
} |
static int isThereExecutableArrayOnStack(int n) { |
static int isThereExecutableArrayOnStack(int n) { |
int i; |
int i; |
struct object ob; |
struct object ob = OINIT; |
for (i=0; i<n; i++) { |
for (i=0; i<n; i++) { |
if (Osp-i-1 < 0) return(0); |
if (Osp-i-1 < 0) return(0); |
ob = peek(i); |
ob = peek(i); |
Line 495 static int isThereExecutableArrayOnStack(int n) { |
|
Line 514 static int isThereExecutableArrayOnStack(int n) { |
|
struct object newOperandStack(int size) |
struct object newOperandStack(int size) |
{ |
{ |
struct operandStack *os ; |
struct operandStack *os ; |
struct object ob; |
struct object ob = OINIT; |
os = (struct operandStack *)sGC_malloc(sizeof(struct operandStack)); |
os = (struct operandStack *)sGC_malloc(sizeof(struct operandStack)); |
if (os == (void *)NULL) errorStackmachine("No more memory."); |
if (os == (void *)NULL) errorStackmachine("No more memory."); |
if (size <= 0) errorStackmachine("Size of stack must be more than 1."); |
if (size <= 0) errorStackmachine("Size of stack must be more than 1."); |
Line 576 void KsetContext(struct object contextObj) { |
|
Line 595 void KsetContext(struct object contextObj) { |
|
|
|
|
|
struct object getSuperContext(struct object contextObj) { |
struct object getSuperContext(struct object contextObj) { |
struct object rob; |
struct object rob = OINIT; |
struct context *cp; |
struct context *cp; |
if (contextObj.tag != Sclass) { |
if (contextObj.tag != Sclass) { |
errorStackmachine("Usage:supercontext"); |
errorStackmachine("Usage:supercontext"); |
Line 642 int isLiteral(str) |
|
Line 661 int isLiteral(str) |
|
|
|
void printOperandStack() { |
void printOperandStack() { |
int i; |
int i; |
struct object ob; |
struct object ob = OINIT; |
int vs; |
int vs; |
vs = VerboseStack; VerboseStack = 2; |
vs = VerboseStack; VerboseStack = 2; |
for (i=Osp-1; i>=0; i--) { |
for (i=Osp-1; i>=0; i--) { |
Line 678 struct object showSystemDictionary(int f) { |
|
Line 697 struct object showSystemDictionary(int f) { |
|
int maxl; |
int maxl; |
char format[1000]; |
char format[1000]; |
int nl; |
int nl; |
struct object rob; |
struct object rob = OINIT; |
rob = NullObject; |
rob = NullObject; |
if (f != 0) { |
if (f != 0) { |
rob = newObjectArray(Sdp); |
rob = newObjectArray(Sdp); |
Line 751 static struct object executableStringToExecutableArray |
|
Line 770 static struct object executableStringToExecutableArray |
|
char *s; |
char *s; |
{ |
{ |
struct tokens *tokenArray; |
struct tokens *tokenArray; |
struct object ob; |
struct object ob = OINIT; |
int i; |
int i; |
int size; |
int size; |
tokenArray = decomposeToTokens(s,&size); |
tokenArray = decomposeToTokens(s,&size); |
Line 770 static struct object executableStringToExecutableArray |
|
Line 789 static struct object executableStringToExecutableArray |
|
/**************** stack machine **************************/ |
/**************** stack machine **************************/ |
void scanner() { |
void scanner() { |
struct tokens token; |
struct tokens token; |
struct object ob; |
struct object ob = OINIT; |
extern int Quiet; |
extern int Quiet; |
extern void ctrlC(); |
extern void ctrlC(); |
int tmp, status; |
int tmp, status; |
|
|
int executeToken(token) |
int executeToken(token) |
struct tokens token; |
struct tokens token; |
{ |
{ |
struct object ob; |
struct object ob = OINIT; |
int primitive; |
int primitive; |
int size; |
int size; |
int status; |
int status; |
Line 1058 int executeToken(token) |
|
Line 1077 int executeToken(token) |
|
return(0); /* normal exit.*/ |
return(0); /* normal exit.*/ |
} |
} |
} |
} |
if (WarningMessageMode == 1 || WarningMessageMode == 2) { |
{ |
char tmpc[1024]; |
char tmpc[1024]; |
if (strlen(token.token) < 900) { |
if (strlen(token.token) < 900) { |
sprintf(tmpc,"\n%%Warning: The identifier <<%s>> is not in the system dictionary\n%% nor in the user dictionaries. Push NullObject.\n",token.token); |
sprintf(tmpc,"\n>>Warning: The identifier <<%s>> is not in the system dictionary\n>> nor in the user dictionaries. Push NullObject.\n",token.token); |
}else {strcpy(tmpc,"Warning: identifier is not in the dictionaries.");} |
}else {strcpy(tmpc,"\n>>Warning: identifier is not in the dictionaries.\n");} |
pushErrorStack(KnewErrorPacket(SerialCurrent,-1,tmpc)); |
/* do not use %% in a string. tmpc will be used as fprintf(stderr,tmpc); */ |
|
if (WarningMessageMode == 1 || WarningMessageMode == 2) { |
|
pushErrorStack(KnewErrorPacket(SerialCurrent,-1,tmpc)); |
|
} |
|
if (WarningMessageMode != 1) { |
|
fprintf(Fstack,"%s",tmpc); |
|
/*fprintf(Fstack,"(%d,%d)\n",h0,h1);*/ |
|
} |
|
if (Strict) { |
|
errorStackmachine(tmpc); |
|
} |
|
Kpush(NullObject); |
} |
} |
if (WarningMessageMode != 1) { |
|
fprintf(Fstack,"\n%%Warning: The identifier <<%s>> is not in the system dictionary\n%% nor in the user dictionaries. Push NullObject.\n",token.token); |
|
/*fprintf(Fstack,"(%d,%d)\n",h0,h1);*/ |
|
} |
|
if (Strict) { |
|
errorStackmachine("Warning: identifier is not in the dictionaries"); |
|
} |
|
Kpush(NullObject); |
|
} |
} |
} |
} |
} else if (token.kind == EXECUTABLE_STRING) { |
} else if (token.kind == EXECUTABLE_STRING) { |
Line 1108 errorStackmachine(str) |
|
Line 1130 errorStackmachine(str) |
|
extern int RestrictedMode, RestrictedMode_saved; |
extern int RestrictedMode, RestrictedMode_saved; |
RestrictedMode = RestrictedMode_saved; |
RestrictedMode = RestrictedMode_saved; |
cancelAlarm(); |
cancelAlarm(); |
|
MsgStackTrace = NULL; |
|
MsgSourceTrace = NULL; |
if (ErrorMessageMode == 1 || ErrorMessageMode == 2) { |
if (ErrorMessageMode == 1 || ErrorMessageMode == 2) { |
pushErrorStack(KnewErrorPacket(SerialCurrent,-1,str)); |
pushErrorStack(KnewErrorPacket(SerialCurrent,-1,str)); |
} |
} |
Line 1141 errorStackmachine(str) |
|
Line 1165 errorStackmachine(str) |
|
fprintf(stderr,str); |
fprintf(stderr,str); |
} |
} |
fprintf(stderr,"\n"); |
fprintf(stderr,"\n"); |
(void) traceShowStack(); |
MsgStackTraceInArrayp = traceNameStackToArrayp(); |
|
MsgStackTrace = traceShowStack(); |
|
MsgSourceTrace = traceShowScannerBuf(); |
} |
} |
traceClearStack(); |
traceClearStack(); |
if (GotoP) { |
if (GotoP) { |
Line 1179 KSexecuteString(s) |
|
Line 1205 KSexecuteString(s) |
|
char *s; |
char *s; |
{ |
{ |
struct tokens token; |
struct tokens token; |
struct object ob; |
struct object ob = OINIT; |
int tmp; |
int tmp; |
extern int CatchCtrlC; |
extern int CatchCtrlC; |
int jval; |
int jval; |
Line 1271 KSexecuteString(s) |
|
Line 1297 KSexecuteString(s) |
|
KSdefineMacros() { |
KSdefineMacros() { |
struct tokens token; |
struct tokens token; |
int tmp; |
int tmp; |
struct object ob; |
struct object ob = OINIT; |
|
|
if (StandardMacros && (strlen(SMacros))) { |
if (StandardMacros && (strlen(SMacros))) { |
token.kind = EXECUTABLE_STRING; token.tflag = 0; |
token.kind = EXECUTABLE_STRING; token.tflag = 0; |
Line 1292 KSdefineMacros() { |
|
Line 1318 KSdefineMacros() { |
|
void KSstart() { |
void KSstart() { |
struct tokens token; |
struct tokens token; |
int tmp; |
int tmp; |
struct object ob; |
struct object ob = OINIT; |
extern int Quiet; |
extern int Quiet; |
|
|
stackmachine_init(); KinitKan(); |
stackmachine_init(); KinitKan(); |
Line 1346 struct object KSpeek(k) { |
|
Line 1372 struct object KSpeek(k) { |
|
|
|
char *KSstringPop() { |
char *KSstringPop() { |
/* pop a string */ |
/* pop a string */ |
struct object rob; |
struct object rob = OINIT; |
rob = Kpop(); |
rob = Kpop(); |
if (rob.tag == Sdollar) { |
if (rob.tag == Sdollar) { |
return(rob.lc.str); |
return(rob.lc.str); |
Line 1386 char *KSpopBinary(int *size) { |
|
Line 1412 char *KSpopBinary(int *size) { |
|
return((char *)NULL); |
return((char *)NULL); |
} |
} |
|
|
|
struct object KSnewObjectArray(int k) { |
|
return newObjectArray(k); |
|
} |
|
|
int pushErrorStack(struct object obj) |
int pushErrorStack(struct object obj) |
{ |
{ |
if (CurrentOperandStack == &ErrorStack) { |
if (CurrentOperandStack == &ErrorStack) { |
Line 1416 struct object popErrorStack(void) { |
|
Line 1446 struct object popErrorStack(void) { |
|
} |
} |
|
|
char *popErrorStackByString(void) { |
char *popErrorStackByString(void) { |
struct object obj; |
struct object obj = OINIT; |
struct object eobj; |
struct object eobj = OINIT; |
eobj = popErrorStack(); |
eobj = popErrorStack(); |
if (ectag(eobj) != CLASSNAME_ERROR_PACKET) { |
if (ectag(eobj) != CLASSNAME_ERROR_PACKET) { |
return(NULL); |
return(NULL); |
Line 1446 int KScheckErrorStack(void) |
|
Line 1476 int KScheckErrorStack(void) |
|
|
|
struct object KnewErrorPacket(int serial,int no,char *message) |
struct object KnewErrorPacket(int serial,int no,char *message) |
{ |
{ |
struct object obj; |
struct object obj = OINIT; |
struct object *myop; |
struct object *myop; |
char *s; |
char *s; |
/* Set extended tag. */ |
/* Set extended tag. */ |
Line 1468 struct object KnewErrorPacket(int serial,int no,char * |
|
Line 1498 struct object KnewErrorPacket(int serial,int no,char * |
|
|
|
struct object KnewErrorPacketObj(struct object ob1) |
struct object KnewErrorPacketObj(struct object ob1) |
{ |
{ |
struct object obj; |
struct object obj = OINIT; |
struct object *myop; |
struct object *myop; |
char *s; |
char *s; |
/* Set extended tag. */ |
/* Set extended tag. */ |
Line 1567 int KSstackPointer() { |
|
Line 1597 int KSstackPointer() { |
|
} |
} |
|
|
struct object KSdupErrors() { |
struct object KSdupErrors() { |
struct object rob; |
struct object rob = OINIT; |
struct object ob; |
struct object ob = OINIT; |
int i; |
int i; |
int n; |
int n; |
int m; |
int m; |
Line 1624 void traceClearStack(void) { |
|
Line 1654 void traceClearStack(void) { |
|
char *tracePopName(void) { |
char *tracePopName(void) { |
if (TraceNameStackp <= 0) return (char *) NULL; |
if (TraceNameStackp <= 0) return (char *) NULL; |
return TraceNameStack[--TraceNameStackp]; |
return TraceNameStack[--TraceNameStackp]; |
|
} |
|
struct object *traceNameStackToArrayp(void) { |
|
int n,i; |
|
struct object *op; |
|
op = sGC_malloc(sizeof(struct object)); |
|
n = TraceNameStackp; if (n < 0) n = 0; |
|
*op = newObjectArray(n); |
|
for (i=0; i<n; i++) { |
|
putoa((*op),i, KpoString(TraceNameStack[i])); |
|
} |
|
return op; |
} |
} |
#define TRACE_MSG_SIZE 320 |
#define TRACE_MSG_SIZE 320 |
char *traceShowStack(void) { |
char *traceShowStack(void) { |