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

TABLING FIXED: opcode test in instruction table_try_answer

Browse Source 
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@1353 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
This commit is contained in:
ricroc 2005-08-01 18:26:28 +00:00
parent d6a2f6ac94
commit dda96dc613
1 changed files with 7 additions and 8 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

15
OPTYap/tab.insts.i
View File

@ -5,7 +5,7 @@
Copyright: R. Rocha and NCC - University of Porto, Portugal Copyright: R. Rocha and NCC - University of Porto, Portugal
File: tab.insts.i File: tab.insts.i
version: $Id: tab.insts.i,v 1.17 2005-08-01 15:40:38 ricroc Exp $ version: $Id: tab.insts.i,v 1.18 2005-08-01 18:26:28 ricroc Exp $
**********************************************************************/ **********************************************************************/
@ -328,20 +328,19 @@
GONext(); GONext();
} else { } else {
yamop *code_ap; yamop *code_ap;
OPCODE code = Yap_opcode(_table_try_me);
PREG = SgFr_code(sg_fr); PREG = SgFr_code(sg_fr);
if (PREG->opc > code) { if (PREG->opc == Yap_opcode(_table_try)) {
/* table_try */ /* table_try */
code_ap = NEXTOP(PREG,ld); code_ap = NEXTOP(PREG,ld);
PREG = PREG->u.ld.d; PREG = PREG->u.ld.d;
} else if (PREG->opc == code) { } else if (PREG->opc == Yap_opcode(_table_try_single)) {
/* table_try_me */
code_ap = PREG->u.ld.d;
PREG = NEXTOP(PREG,ld);
} else {
/* table_try_single */ /* table_try_single */
code_ap = COMPLETION; code_ap = COMPLETION;
PREG = PREG->u.ld.d; PREG = PREG->u.ld.d;
} else {
/* table_try_me */
code_ap = PREG->u.ld.d;
PREG = NEXTOP(PREG,ld);
} }
restore_generator_node(SgFr_arity(sg_fr), code_ap); restore_generator_node(SgFr_arity(sg_fr), code_ap);
YENV = (CELL *) PROTECT_FROZEN_B(B); YENV = (CELL *) PROTECT_FROZEN_B(B);