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

remove broken meta-call optimisation.

Browse Source
This commit is contained in:
Vitor Santos Costa 2012-09-07 00:21:57 -05:00
parent f4e965c02f
commit dcc5b57016
1 changed files with 2 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

3
C/absmi.c
View File

@ -12942,10 +12942,12 @@ Yap_absmi(int inp)
f = pen->FunctorOfPred; f = pen->FunctorOfPred;
/* reuse environment if we are continuining a comma, ie, (g1,g2,g3) */ /* reuse environment if we are continuining a comma, ie, (g1,g2,g3) */
/* can only do it deterministically */ /* can only do it deterministically */
/* broken
if (f == FunctorComma && (CELL *)B >= ENV) { if (f == FunctorComma && (CELL *)B >= ENV) {
ENV_YREG = ENV; ENV_YREG = ENV;
ENV = (CELL *)ENV[E_E]; ENV = (CELL *)ENV[E_E];
} }
*/
goto execute_pred_f; goto execute_pred_f;
} else } else
goto execute_pred_a; goto execute_pred_a;
@ -12977,7 +12979,6 @@ Yap_absmi(int inp)
BOp(p_execute, Osbmp); BOp(p_execute, Osbmp);
/* fetch the module from PREG */ /* fetch the module from PREG */
mod = PREG->u.Osbmp.mod; mod = PREG->u.Osbmp.mod;
start_execute: start_execute:
b_ptr = B; b_ptr = B;
/* we have mod, and ARG1 has the goal, let us roll */ /* we have mod, and ARG1 has the goal, let us roll */