projects
/
c11tester.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
revert commit
[c11tester.git]
/
action.cc
diff --git
a/action.cc
b/action.cc
index b654a35422a6cb3533a3236159d9048f5ab661a7..473d99f72899f4c0866719b5629767b4053e0c38 100644
(file)
--- a/
action.cc
+++ b/
action.cc
@@
-40,7
+40,6
@@
ModelAction::ModelAction(action_type_t type, memory_order order, void *loc,
cv(NULL),
rf_cv(NULL),
value(value),
cv(NULL),
rf_cv(NULL),
value(value),
- reads_from_value(VALUE_NONE),
type(type),
order(order),
original_order(order),
type(type),
order(order),
original_order(order),
@@
-73,7
+72,6
@@
ModelAction::ModelAction(action_type_t type, memory_order order, uint64_t value,
cv(NULL),
rf_cv(NULL),
value(value),
cv(NULL),
rf_cv(NULL),
value(value),
- reads_from_value(VALUE_NONE),
type(type),
order(order),
original_order(order),
type(type),
order(order),
original_order(order),
@@
-105,7
+103,6
@@
ModelAction::ModelAction(action_type_t type, memory_order order, void *loc,
cv(NULL),
rf_cv(NULL),
value(value),
cv(NULL),
rf_cv(NULL),
value(value),
- reads_from_value(VALUE_NONE),
type(type),
order(order),
original_order(order),
type(type),
order(order),
original_order(order),
@@
-141,7
+138,6
@@
ModelAction::ModelAction(action_type_t type, const char * position, memory_order
cv(NULL),
rf_cv(NULL),
value(value),
cv(NULL),
rf_cv(NULL),
value(value),
- reads_from_value(VALUE_NONE),
type(type),
order(order),
original_order(order),
type(type),
order(order),
original_order(order),
@@
-178,7
+174,6
@@
ModelAction::ModelAction(action_type_t type, const char * position, memory_order
cv(NULL),
rf_cv(NULL),
value(value),
cv(NULL),
rf_cv(NULL),
value(value),
- reads_from_value(VALUE_NONE),
type(type),
order(order),
original_order(order),
type(type),
order(order),
original_order(order),
@@
-576,12
+571,8
@@
void ModelAction::set_try_lock(bool obtainedlock)
uint64_t ModelAction::get_reads_from_value() const
{
ASSERT(is_read());
uint64_t ModelAction::get_reads_from_value() const
{
ASSERT(is_read());
- if (reads_from) {
- if (reads_from->is_uninitialized())
- return reads_from_value;
- else
- return reads_from->get_write_value();
- }
+ if (reads_from)
+ return reads_from->get_write_value();
return VALUE_NONE; // Only for new actions with no reads-from
}
return VALUE_NONE; // Only for new actions with no reads-from
}
@@
-637,7
+628,6
@@
void ModelAction::set_read_from(ModelAction *act)
ModelAction * act_uninitialized = (ModelAction *)act;
act_uninitialized->set_value(val);
reads_from = act_uninitialized;
ModelAction * act_uninitialized = (ModelAction *)act;
act_uninitialized->set_value(val);
reads_from = act_uninitialized;
- reads_from_value = val;
// disabled by WL, because LLVM IR is unable to detect atomic init
/* model->assert_bug("May read from uninitialized atomic:\n"
// disabled by WL, because LLVM IR is unable to detect atomic init
/* model->assert_bug("May read from uninitialized atomic:\n"