suzanne.soy/racket
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

bc: add stack-overflow checking in part of the optimzier

Browse Source 
Related to #3190
This commit is contained in:
Matthew Flatt 2020-05-15 14:50:30 -06:00
parent 2f22a5638d
commit 0f4a947bab
1 changed files with 31 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

31
racket/src/racket/src/optimize.c
View File

@ -9771,12 +9771,43 @@ static void increment_use_count(Scheme_IR_Local *var, int as_rator)
var->optimize.known_val = NULL;
}
static Scheme_Object *optimize_clone_k(void)
{
Scheme_Thread *p = scheme_current_thread;
Scheme_Object *expr = (Scheme_Object *)p->ku.k.p1;
Optimize_Info *info = (Optimize_Info *)p->ku.k.p2;
Scheme_Hash_Tree *var_map = (Scheme_Hash_Tree *)p->ku.k.p3;
int single_use = p->ku.k.i1;
int as_rator = p->ku.k.i2;
p->ku.k.p1 = NULL;
p->ku.k.p2 = NULL;
p->ku.k.p3 = NULL;
return optimize_clone(single_use, expr, info, var_map, as_rator);
}
Scheme_Object *optimize_clone(int single_use, Scheme_Object *expr, Optimize_Info *info, Scheme_Hash_Tree *var_map, int as_rator)
/* If single_use is 1, then the old copy will be dropped --- so it's ok to "duplicate"
any constant, and local-variable use counts should not be incremented. */
{
int t;
#ifdef DO_STACK_CHECK
# include "mzstkchk.h"
{
Scheme_Thread *p = scheme_current_thread;
p->ku.k.i1 = single_use;
p->ku.k.p1 = (void *)expr;
p->ku.k.p2 = (void *)info;
p->ku.k.p3 = (void *)var_map;
p->ku.k.i2 = as_rator;
return scheme_handle_stack_overflow(optimize_clone_k);
}
#endif
t = SCHEME_TYPE(expr);
switch(t) {