diogo/yap-6.3
Archived
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

only delete log update facts with blobs when they cannot be in stacks.

Browse Source 
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@930 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
This commit is contained in:
vsc 2003-11-18 19:22:26 +00:00
parent 7be28e4098
commit fae22bbf6b
2 changed files with 52 additions and 27 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

44
C/absmi.c
View File

@ -2041,37 +2041,37 @@ Yap_absmi(int inp)
ALWAYS_LOOKAHEAD(pt->OpcodeOfPred);
PREG = pt->CodeOfPred;
#ifdef DEPTH_LIMIT
if (DEPTH <= MkIntTerm(1)) {/* I assume Module==0 is primitives */
if (pt->ModuleOfPred) {
if (DEPTH == MkIntTerm(0))
FAIL();
else DEPTH = RESET_DEPTH();
}
} else if (pt->ModuleOfPred)
DEPTH -= MkIntConstant(2);
if (DEPTH <= MkIntTerm(1)) {/* I assume Module==0 is primitives */
if (pt->ModuleOfPred) {
if (DEPTH == MkIntTerm(0))
FAIL();
else DEPTH = RESET_DEPTH();
}
} else if (pt->ModuleOfPred)
DEPTH -= MkIntConstant(2);
#endif /* DEPTH_LIMIT */
#ifdef FROZEN_STACKS
{
choiceptr top_b = PROTECT_FROZEN_B(B);
{
choiceptr top_b = PROTECT_FROZEN_B(B);
#ifdef SBA
if (E_YREG > (CELL *) top_b || E_YREG < H) E_YREG = (CELL *) top_b;
if (E_YREG > (CELL *) top_b || E_YREG < H) E_YREG = (CELL *) top_b;
#else
if (E_YREG > (CELL *) top_b) E_YREG = (CELL *) top_b;
if (E_YREG > (CELL *) top_b) E_YREG = (CELL *) top_b;
#endif /* SBA */
}
}
#else
if (E_YREG > (CELL *) B) {
E_YREG = (CELL *) B;
}
if (E_YREG > (CELL *) B) {
E_YREG = (CELL *) B;
}
#endif /* FROZEN_STACKS */
WRITEBACK_Y_AS_ENV();
/* setup GB */
E_YREG[E_CB] = (CELL) B;
WRITEBACK_Y_AS_ENV();
/* setup GB */
E_YREG[E_CB] = (CELL) B;
#ifdef YAPOR
SCH_check_requests();
SCH_check_requests();
#endif /* YAPOR */
ALWAYS_GONext();
ALWAYS_END_PREFETCH();
ALWAYS_GONext();
ALWAYS_END_PREFETCH();
}
ENDCACHE_Y_AS_ENV();
ENDBOp();

35
C/amasm.c
View File

@ -703,6 +703,7 @@ a_rb(op_numbers opcode)
code_p->u.xc.x = emit_xreg2();
code_p->u.xc.c = AbsAppl((CELL *)(Unsigned(code_addr) + label_offset[cpc->rnd1]));
}
clause_has_blobs = TRUE;
GONEXT(xc);
}
@ -2342,6 +2343,10 @@ do_pass(void)
break;
case cutexit_op:
a_cut();
if (CurrentPred->PredFlags & LogUpdatePredFlag &&
clause_has_blobs &&
!alloc_found)
a_cle(_alloc_for_logical_pred);
a_e(_procceed);
#ifdef YAPOR
if (pass_no)
@ -2406,6 +2411,10 @@ do_pass(void)
a_l(_skip);
break;
case procceed_op:
if (CurrentPred->PredFlags & LogUpdatePredFlag &&
clause_has_blobs &&
!alloc_found)
a_cle(_alloc_for_logical_pred);
a_e(_procceed);
break;
case call_op:
@ -2606,7 +2615,7 @@ do_pass(void)
}
yamop *
Yap_assemble(int mode)
Yap_assemble(int mode, Term t, PredEntry *ap, int is_fact)
{
/*
* the assembly proccess is done in two passes: 1 - a first pass
@ -2636,10 +2645,26 @@ Yap_assemble(int mode)
if ((CELL)code_p > size)
size = (CELL)code_p;
}
while ((code_addr = (yamop *) Yap_AllocCodeSpace(size)) == NULL) {
if (!Yap_growheap(TRUE, size)) {
Yap_Error_TYPE = SYSTEM_ERROR;
return NULL;
if (mode == ASSEMBLING_CLAUSE &&
ap->PredFlags & LogUpdatePredFlag &&
!is_fact) {
DBTerm *x;
LogUpdClause *cl;
while ((x = Yap_StoreTermInDBPlusExtraSpace(t, size)) == NULL) {
if (!Yap_growheap(TRUE, size)) {
Yap_Error_TYPE = SYSTEM_ERROR;
return NULL;
}
}
cl = (LogUpdClause *)((CODEADDR)x-(UInt)size);
cl->ClSource = x;
code_addr = (yamop *)cl;
} else {
while ((code_addr = (yamop *) Yap_AllocCodeSpace(size)) == NULL) {
if (!Yap_growheap(TRUE, size)) {
Yap_Error_TYPE = SYSTEM_ERROR;
return NULL;
}
}
}
// fprintf(stderr,"vsc: asking for %p\n",code_addr);