projects
/
model-checker.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
librace: actually compute the loads and stores
[model-checker.git]
/
librace.cc
diff --git
a/librace.cc
b/librace.cc
index 42ed9c194d8134abc3980ac7651b81be3098669c..fa9a1101c07c0b05868ea60165d354a9588ef3c5 100644
(file)
--- a/
librace.cc
+++ b/
librace.cc
@@
-7,43
+7,47
@@
void store_8(void *addr, uint8_t val)
{
DEBUG("addr = %p, val = %" PRIu8 "\n", addr, val);
void store_8(void *addr, uint8_t val)
{
DEBUG("addr = %p, val = %" PRIu8 "\n", addr, val);
+ (*(uint8_t *)addr) = val;
}
void store_16(void *addr, uint16_t val)
{
DEBUG("addr = %p, val = %" PRIu16 "\n", addr, val);
}
void store_16(void *addr, uint16_t val)
{
DEBUG("addr = %p, val = %" PRIu16 "\n", addr, val);
+ (*(uint16_t *)addr) = val;
}
void store_32(void *addr, uint32_t val)
{
DEBUG("addr = %p, val = %" PRIu32 "\n", addr, val);
}
void store_32(void *addr, uint32_t val)
{
DEBUG("addr = %p, val = %" PRIu32 "\n", addr, val);
+ (*(uint32_t *)addr) = val;
}
void store_64(void *addr, uint64_t val)
{
DEBUG("addr = %p, val = %" PRIu64 "\n", addr, val);
}
void store_64(void *addr, uint64_t val)
{
DEBUG("addr = %p, val = %" PRIu64 "\n", addr, val);
+ (*(uint64_t *)addr) = val;
}
uint8_t load_8(void *addr)
{
DEBUG("addr = %p\n", addr);
}
uint8_t load_8(void *addr)
{
DEBUG("addr = %p\n", addr);
- return
0
;
+ return
*((uint8_t *)addr)
;
}
uint16_t load_16(void *addr)
{
DEBUG("addr = %p\n", addr);
}
uint16_t load_16(void *addr)
{
DEBUG("addr = %p\n", addr);
- return
0
;
+ return
*((uint16_t *)addr)
;
}
uint32_t load_32(void *addr)
{
DEBUG("addr = %p\n", addr);
}
uint32_t load_32(void *addr)
{
DEBUG("addr = %p\n", addr);
- return
0
;
+ return
*((uint32_t *)addr)
;
}
uint64_t load_64(void *addr)
{
DEBUG("addr = %p\n", addr);
}
uint64_t load_64(void *addr)
{
DEBUG("addr = %p\n", addr);
- return
0
;
+ return
*((uint64_t *)addr)
;
}
}