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

fix loop in restore

Browse Source
This commit is contained in:
Vitor Santos Costa 2013-01-22 16:01:37 +00:00
parent ff5bf53d38
commit 504c2f3000
5 changed files with 9 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
H/YapOpcodes.h
View File

@ -9,8 +9,10 @@
OPCODE(trust_me ,Otapl),
OPCODE(enter_exo ,e),
OPCODE(try_exo ,lp),
OPCODE(try_udi ,p),
OPCODE(try_all_exo ,lp),
OPCODE(retry_exo ,lp),
OPCODE(retry_udi ,p),
OPCODE(retry_all_exo ,lp),
OPCODE(enter_profiling ,p),
OPCODE(retry_profiled ,p),

2
H/rclause.h
View File

@ -447,6 +447,8 @@ restore_opcodes(yamop *pc, yamop *max USES_REGS)
case _lock_lu:
case _procceed:
case _retry_profiled:
case _retry_udi:
case _try_udi:
pc->u.p.p = PtoPredAdjust(pc->u.p.p);
pc = NEXTOP(pc,p);
break;

1
H/rheap.h
View File

@ -1042,6 +1042,7 @@ RestoreYapRecords__( USES_REGS1 )
ptr->prev_rec = DBRecordAdjust(ptr->prev_rec);
ptr->dbrecord = DBTermAdjust(ptr->dbrecord);
RestoreDBTerm(ptr->dbrecord, FALSE PASS_REGS);
ptr = ptr->next_rec;
}
}

2
H/saveclause.h
View File

@ -464,6 +464,8 @@
case _lock_lu:
case _procceed:
case _retry_profiled:
case _retry_udi:
case _try_udi:
CHECK(save_PtoPred(stream, pc->u.p.p));
pc = NEXTOP(pc,p);
break;

2
H/walkclause.h
View File

@ -350,6 +350,8 @@
case _deallocate:
case _enter_profiling:
case _retry_profiled:
case _retry_udi:
case _try_udi:
pc = NEXTOP(pc,p);
break;
/* instructions type plxxs */