add run time library for function entries and exits

[c11tester.git] / cmodelint.cc

diff --git a/cmodelint.cc b/cmodelint.cc
index 348051a0f7f13fb736baf14f8a24c81bcfdbb4f9..3dbb437b9914e42b0f045dda81b31af223aa2620 100644 (file)
--- a/cmodelint.cc
+++ b/cmodelint.cc
@@ -358,3 +358,13 @@ void cds_atomic_thread_fence(int atomic_index, const char * position) {
         __old__ = __old__;  Silence clang (-Wunused-value)                    \
          })
  */
         __old__ = __old__;  Silence clang (-Wunused-value)                    \
          })
  */

+
+void cds_func_entry(const char * funcName) {
+        Thread * th = thread_current();
+        printf("thread %d Enter function %s\n", th->get_id(), funcName);
+}
+
+void cds_func_exit(const char * funcName) {
+        Thread * th = thread_current();
+        printf("thread %d Exit from function %s\n", th->get_id(), funcName);
+}