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

disable indexing on bigints

Browse Source 
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@1546 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
This commit is contained in:
vsc 2006-02-19 02:55:46 +00:00
parent 919c1946f3
commit 7f360393f4
1 changed files with 13 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

14
C/index.c
View File

@ -11,8 +11,12 @@
* File: index.c * * File: index.c *
* comments: Indexing a Prolog predicate * * comments: Indexing a Prolog predicate *
* * * *
* Last rev: $Date: 2006-01-16 02:57:51 $,$Author: vsc $ * * Last rev: $Date: 2006-02-19 02:55:46 $,$Author: vsc $ *
* $Log: not supported by cvs2svn $ * $Log: not supported by cvs2svn $
* Revision 1.151 2006/01/16 02:57:51 vsc
* fix bug with very large integers
* fix bug where indexing code was looking at code after a cut.
*
* Revision 1.150 2005/12/23 00:20:13 vsc * Revision 1.150 2005/12/23 00:20:13 vsc
* updates to gprof * updates to gprof
* support for __POWER__ * support for __POWER__
@ -1761,6 +1765,9 @@ add_info(ClauseDef *clause, UInt regno)
} }
break; break;
case _get_bigint: case _get_bigint:
clause->Tag = (CELL)NULL;
return;
/*
if (regcopy_in(myregs, nofregs, cl->u.xc.x)) { if (regcopy_in(myregs, nofregs, cl->u.xc.x)) {
clause->u.t_ptr = cl->u.xc.c; clause->u.t_ptr = cl->u.xc.c;
#ifdef USE_GMP #ifdef USE_GMP
@ -1773,6 +1780,7 @@ add_info(ClauseDef *clause, UInt regno)
cl = NEXTOP(cl,xc); cl = NEXTOP(cl,xc);
} }
break; break;
*/
case _copy_idb_term: case _copy_idb_term:
case _unify_idb_term: case _unify_idb_term:
if (regno == 2) { if (regno == 2) {
@ -2455,6 +2463,9 @@ add_head_info(ClauseDef *clause, UInt regno)
} }
break; break;
case _get_bigint: case _get_bigint:
clause->Tag = (CELL)NULL;
return;
/*
if (cl->u.xc.x == iarg) { if (cl->u.xc.x == iarg) {
clause->u.t_ptr = cl->u.xc.c; clause->u.t_ptr = cl->u.xc.c;
#ifdef USE_GMP #ifdef USE_GMP
@ -2467,6 +2478,7 @@ add_head_info(ClauseDef *clause, UInt regno)
cl = NEXTOP(cl,xc); cl = NEXTOP(cl,xc);
} }
break; break;
*/
case _get_struct: case _get_struct:
if (cl->u.xf.x == iarg) { if (cl->u.xf.x == iarg) {
clause->u.WorkPC = NEXTOP(cl,xf); clause->u.WorkPC = NEXTOP(cl,xf);