diff options
Diffstat (limited to 'src/gpgpusim_entrypoint.cc')
| -rw-r--r-- | src/gpgpusim_entrypoint.cc | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/src/gpgpusim_entrypoint.cc b/src/gpgpusim_entrypoint.cc index 4462dc3..5ae7682 100644 --- a/src/gpgpusim_entrypoint.cc +++ b/src/gpgpusim_entrypoint.cc @@ -86,7 +86,13 @@ void *gpgpu_sim_thread_sequential(void *ctx_ptr) { return NULL; } +extern unsigned long long g_memcov3_n_merges_global; +extern unsigned long long g_memcov3_n_merged_sources_global; + static void termination_callback() { + printf( + "MEMCOV3: interset_merges = %llu, merged_sources_absorbed = %llu\n", + g_memcov3_n_merges_global, g_memcov3_n_merged_sources_global); printf("GPGPU-Sim: *** exit detected ***\n"); fflush(stdout); } |