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

fix bad messup with program counter (obs from Ingo Molnar).q

Browse Source
This commit is contained in:
Vitor Santos Costa 2010-08-17 13:02:50 +01:00
parent 3e6ce40eb1
commit ace9025c10
1 changed files with 18 additions and 11 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

29
C/absmi.c
View File

@ -7563,21 +7563,28 @@ Yap_absmi(int inp)
} }
/* for slots to work */ /* for slots to work */
#endif /* FROZEN_STACKS */ #endif /* FROZEN_STACKS */
Yap_StartSlots();
Yap_PrologMode = UserCCallMode;
{ {
PredEntry *p = PREG->u.Osbpp.p; /* make sure that we can still have access to our old PREG after calling user defined goals and backtracking or failing */
yamop *savedP;
PREG = NEXTOP(PREG, Osbpp); Yap_StartSlots();
saveregs(); Yap_PrologMode = UserCCallMode;
save_machine_regs(); {
PredEntry *p = PREG->u.Osbpp.p;
SREG = (CELL *) YAP_Execute(p, p->cs.f_code); PREG = NEXTOP(PREG, Osbpp);
savedP = PREG;
saveregs();
save_machine_regs();
SREG = (CELL *) YAP_Execute(p, p->cs.f_code);
}
Yap_CloseSlots();
setregs();
Yap_PrologMode = UserMode;
restore_machine_regs();
PREG = savedP;
} }
Yap_CloseSlots();
setregs();
Yap_PrologMode = UserMode;
restore_machine_regs();
if (EX) { if (EX) {
struct DB_TERM *exp = EX; struct DB_TERM *exp = EX;
EX = NULL; EX = NULL;