librace: add load/store interface for checking data races

[c11tester.git] / librace.cc

diff --git a/librace.cc b/librace.cc
new file mode 100644 (file)
index 0000000..1219bf3
--- /dev/null
+++ b/librace.cc
@@ -0,0 +1,46 @@
+#include "librace.h"
+#include "common.h"
+
+void store_8(void *addr, uint8_t val)
+{
+       DEBUG("addr = %p, val = %u\n", addr, val);
+}
+
+void store_16(void *addr, uint16_t val)
+{
+       DEBUG("addr = %p, val = %u\n", addr, val);
+}
+
+void store_32(void *addr, uint32_t val)
+{
+       DEBUG("addr = %p, val = %u\n", addr, val);
+}
+
+void store_64(void *addr, uint64_t val)
+{
+       DEBUG("addr = %p, val = %llu\n", addr, val);
+}
+
+uint8_t load_8(void *addr)
+{
+       DEBUG("addr = %p\n", addr);
+       return 0;
+}
+
+uint16_t load_16(void *addr)
+{
+       DEBUG("addr = %p\n", addr);
+       return 0;
+}
+
+uint32_t load_32(void *addr)
+{
+       DEBUG("addr = %p\n", addr);
+       return 0;
+}
+
+uint64_t load_64(void *addr)
+{
+       DEBUG("addr = %p\n", addr);
+       return 0;
+}