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

stderr stuff

Browse Source
This commit is contained in:
Vítor Santos Costa 2015-06-19 00:40:48 +01:00
parent 209ad287f8
commit 1471d27d12
1 changed files with 6 additions and 6 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

12
C/stdpreds.c
View File

@ -1309,25 +1309,25 @@ void Yap_show_statistics(void) {
#endif #endif
frag = (100.0 * (heap_space_taken - HeapUsed)) / heap_space_taken; frag = (100.0 * (heap_space_taken - HeapUsed)) / heap_space_taken;
Sfprintf(GLOBAL_stderr, "Code Space: %ld (%ld bytes needed, %ld bytes used, " fprintf(stderr, "Code Space: %ld (%ld bytes needed, %ld bytes used, "
"fragmentation %.3f%%).\n", "fragmentation %.3f%%).\n",
(unsigned long int)(Unsigned(H0) - Unsigned(Yap_HeapBase)), (unsigned long int)(Unsigned(H0) - Unsigned(Yap_HeapBase)),
(unsigned long int)(Unsigned(HeapTop) - Unsigned(Yap_HeapBase)), (unsigned long int)(Unsigned(HeapTop) - Unsigned(Yap_HeapBase)),
(unsigned long int)(HeapUsed), frag); (unsigned long int)(HeapUsed), frag);
Sfprintf(GLOBAL_stderr, "Stack Space: %ld (%ld for Global, %ld for local).\n", fprintf(stderr, "Stack Space: %ld (%ld for Global, %ld for local).\n",
(unsigned long int)(sizeof(CELL) * (LCL0 - H0)), (unsigned long int)(sizeof(CELL) * (LCL0 - H0)),
(unsigned long int)(sizeof(CELL) * (HR - H0)), (unsigned long int)(sizeof(CELL) * (HR - H0)),
(unsigned long int)(sizeof(CELL) * (LCL0 - ASP))); (unsigned long int)(sizeof(CELL) * (LCL0 - ASP)));
Sfprintf(GLOBAL_stderr, "Trail Space: %ld (%ld used).\n", fprintf(stderr, "Trail Space: %ld (%ld used).\n",
(unsigned long int)(sizeof(tr_fr_ptr) * (Unsigned(LOCAL_TrailTop) - (unsigned long int)(sizeof(tr_fr_ptr) * (Unsigned(LOCAL_TrailTop) -
Unsigned(LOCAL_TrailBase))), Unsigned(LOCAL_TrailBase))),
(unsigned long int)(sizeof(tr_fr_ptr) * (unsigned long int)(sizeof(tr_fr_ptr) *
(Unsigned(TR) - Unsigned(LOCAL_TrailBase)))); (Unsigned(TR) - Unsigned(LOCAL_TrailBase))));
Sfprintf(GLOBAL_stderr, "Runtime: %lds.\n", fprintf(stderr, "Runtime: %lds.\n",
(unsigned long int)(runtime(PASS_REGS1))); (unsigned long int)(runtime(PASS_REGS1)));
Sfprintf(GLOBAL_stderr, "Cputime: %lds.\n", fprintf(stderr, "Cputime: %lds.\n",
(unsigned long int)(Yap_cputime())); (unsigned long int)(Yap_cputime()));
Sfprintf(GLOBAL_stderr, "Walltime: %lds.\n", fprintf(stderr, "Walltime: %lds.\n",
(unsigned long int)(Yap_walltime())); (unsigned long int)(Yap_walltime()));
} }