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

improve functor tracing

Browse Source
This commit is contained in:
Vítor Manuel de Morais Santos Costa 2009-11-10 11:25:39 +00:00
parent 3b7e5544f6
commit b5ad71c9c1
1 changed files with 2 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
C/absmi.c
View File

@ -12096,6 +12096,7 @@ Yap_absmi(int inp)
if (Yap_do_low_level_trace) { if (Yap_do_low_level_trace) {
H[0] = XREG(PREG->u.yxx.x1); H[0] = XREG(PREG->u.yxx.x1);
H[1] = XREG(PREG->u.yxx.x2); H[1] = XREG(PREG->u.yxx.x2);
H[2] = YREG[PREG->u.yxx.y];
RESET_VARIABLE(H+2); RESET_VARIABLE(H+2);
low_level_trace(enter_pred,RepPredProp(Yap_GetPredPropByFunc(FunctorArg,0)),H); low_level_trace(enter_pred,RepPredProp(Yap_GetPredPropByFunc(FunctorArg,0)),H);
} }
@ -12211,6 +12212,7 @@ Yap_absmi(int inp)
Term t = MkIntegerTerm(PREG->u.yxn.c); Term t = MkIntegerTerm(PREG->u.yxn.c);
H[0] = t; H[0] = t;
H[1] = XREG(PREG->u.yxn.xi); H[1] = XREG(PREG->u.yxn.xi);
H[2] = YREG[PREG->u.yxn.y];
RESET_VARIABLE(H+2); RESET_VARIABLE(H+2);
low_level_trace(enter_pred,RepPredProp(Yap_GetPredPropByFunc(FunctorArg,0)),H); low_level_trace(enter_pred,RepPredProp(Yap_GetPredPropByFunc(FunctorArg,0)),H);
H = Ho; H = Ho;