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

fix unification bug.

Browse Source 
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@569 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
This commit is contained in:
vsc 2002-08-13 16:51:37 +00:00
parent 00033ba7af
commit 742299360c
3 changed files with 11 additions and 4 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

5
C/tracer.c
View File

@ -112,13 +112,14 @@ low_level_trace(yap_low_level_port port, PredEntry *pred, CELL *args)
/* extern int gc_calls; */ /* extern int gc_calls; */
vsc_count++; vsc_count++;
if (vsc_count == 32) { /* if (vsc_count < 123808900) return; */
if (vsc_count == 134) {
printf("Here I go\n"); printf("Here I go\n");
} }
/* if (vsc_count > 500000) exit(0); */ /* if (vsc_count > 500000) exit(0); */
/* if (gc_calls < 1) return;*/ /* if (gc_calls < 1) return;*/
#if defined(__GNUC__) #if defined(__GNUC__)
YP_fprintf(YP_stderr,"%llu, %p ", vsc_count, H); YP_fprintf(YP_stderr,"%llu, %p %p %x ", vsc_count, H, TR, *(CELL *)0x91ca260);
#endif #endif
/* check_trail_consistency(); */ /* check_trail_consistency(); */
if (pred == NULL) { if (pred == NULL) {

4
C/unify.c
View File

@ -493,7 +493,7 @@ loop:
to_visit[0] = pt0; to_visit[0] = pt0;
to_visit[1] = pt0_end; to_visit[1] = pt0_end;
to_visit[2] = pt1; to_visit[2] = pt1;
to_visit[3] = (CELL *)d0; to_visit[3] = *pt0;
*pt0 = d1; *pt0 = d1;
#else #else
/* store the terms to visit */ /* store the terms to visit */
@ -535,7 +535,7 @@ loop:
to_visit[0] = pt0; to_visit[0] = pt0;
to_visit[1] = pt0_end; to_visit[1] = pt0_end;
to_visit[2] = pt1; to_visit[2] = pt1;
to_visit[3] = (CELL *)d0; to_visit[3] = *pt0;
*pt0 = d1; *pt0 = d1;
#else #else
/* store the terms to visit */ /* store the terms to visit */

6
C/utilpreds.c
View File

@ -653,6 +653,12 @@ p_copy_term_no_delays(void) /* copy term t to a new instance */
} }
#if defined(__GNUC__)
unsigned long long vsc_count;
#else
unsigned long vsc_count;
#endif
static Term vars_in_complex_term(register CELL *pt0, register CELL *pt0_end) static Term vars_in_complex_term(register CELL *pt0, register CELL *pt0_end)
{ {