Magic-Mirror/gecko-dev
1
0
Fork 0
mirror of https://github.com/mozilla/gecko-dev.git synced 2024-11-02 15:15:23 +00:00
Code Issues Actions Packages Projects Releases Wiki Activity

Limit tree growth to side exits that expicitly declare that they want to be grown.

Browse Source
This commit is contained in:
Andreas Gal 2008-07-29 11:13:41 -07:00
parent 76237b5e15
commit 20185cf2d8
3 changed files with 11 additions and 13 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

20
js/src/jstracer.cpp
View File

@ -1512,12 +1512,10 @@ js_LoopEdge(JSContext* cx, jsbytecode* oldpc)
case LOOP_EXIT:
/* if this exits the loop, resume interpretation */
return false;
case OVERFLOW_EXIT:
/* a speculation failed, we should probably de-speculate */
return false;
default:
JS_ASSERT(lr->exit->exitType == nanojit::OOM_EXIT);
/* we ran out of heap, exit for now and re-enter once the GC ran */
JS_ASSERT(lr->exit->exitType == DONT_GROW);
/* We ran out of heap, or an unsupported instruction. Exit for now and re-enter once the
GC ran. */
return false;
}
}
@ -1634,15 +1632,15 @@ bool TraceRecorder::ifop()
{
jsval& v = stackval(-1);
if (JSVAL_IS_BOOLEAN(v)) {
guard(!JSVAL_TO_BOOLEAN(v), lir->ins_eq0(get(&v)));
guard(!JSVAL_TO_BOOLEAN(v), lir->ins_eq0(get(&v)), BRANCH_EXIT);
} else if (JSVAL_IS_OBJECT(v)) {
guard(!JSVAL_IS_NULL(v), lir->ins_eq0(get(&v)));
guard(!JSVAL_IS_NULL(v), lir->ins_eq0(get(&v)), BRANCH_EXIT);
} else if (isNumber(v)) {
jsdouble d = asNumber(v);
jsdpun u;
u.d = 0;
/* XXX need to handle NaN! */
guard(d == 0, lir->ins2(LIR_feq, get(&v), lir->insImmq(u.u64)));
guard(d == 0, lir->ins2(LIR_feq, get(&v), lir->insImmq(u.u64)), BRANCH_EXIT);
} else if (JSVAL_IS_STRING(v)) {
ABORT_TRACE("strings not supported");
} else {
@ -1760,7 +1758,7 @@ TraceRecorder::cmp(LOpcode op, bool negate)
/* The interpreter fuses comparisons and the following branch,
so we have to do that here as well. */
if (cx->fp->regs->pc[1] == JSOP_IFEQ || cx->fp->regs->pc[1] == JSOP_IFNE)
guard(cond, x);
guard(cond, x, BRANCH_EXIT);
/* We update the stack after the guard. This is safe since
the guard bails out at the comparison and the interpreter
@ -2254,7 +2252,7 @@ bool TraceRecorder::record_JSOP_ADD()
if (JSVAL_IS_STRING(l) && JSVAL_IS_STRING(r)) {
LIns* args[] = { get(&r), get(&l), cx_ins };
LIns* concat = lir->insCall(F_ConcatStrings, args);
guard(false, lir->ins_eq0(concat));
guard(false, lir->ins_eq0(concat), OOM_EXIT);
set(&l, concat);
return true;
}
@ -2708,7 +2706,7 @@ bool TraceRecorder::record_JSOP_CALL()
LIns* res_ins = lir->insCall(known->builtin, args);
if (known->fallible)
guard(false, lir->ins_eq0(res_ins));
guard(false, lir->ins_eq0(res_ins), OOM_EXIT);
set(&fval, res_ins);
return true;
}

2
js/src/jstracer.h
View File

@ -151,7 +151,7 @@ class TraceRecorder {
unsigned getCallDepth() const;
nanojit::LIns* guard(bool expected, nanojit::LIns* cond,
nanojit::ExitType exitType = nanojit::BRANCH_EXIT);
nanojit::ExitType exitType = nanojit::DONT_GROW);
nanojit::LIns* addName(nanojit::LIns* ins, const char* name);
nanojit::LIns* get(jsval* p);

2
js/src/nanojit/avmplus.h
View File

@ -129,7 +129,7 @@ namespace nanojit
class Fragment;
enum ExitType {
BRANCH_EXIT, LOOP_EXIT, OOM_EXIT, OVERFLOW_EXIT
DONT_GROW, BRANCH_EXIT, LOOP_EXIT, OOM_EXIT=DONT_GROW, OVERFLOW_EXIT=DONT_GROW
};
struct SideExit