X-Git-Url: http://demsky.eecs.uci.edu/git/?a=blobdiff_plain;f=librace.cc;fp=librace.cc;h=1219bf3285b39505fec9a95530b80b4790fed9cc;hb=7af1e278a823b97b391f37da9ef6a013d58ac50e;hp=0000000000000000000000000000000000000000;hpb=cfbd2bd9b7c20f27d474142f56ad49d6b7bd0a4a;p=c11tester.git

diff --git a/librace.cc b/librace.cc
new file mode 100644
index 00000000..1219bf32
--- /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;
+}