projects
/
c11tester.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
Make sure that actions that do writes are labeled correctly in predicate trees
[c11tester.git]
/
predicate.h
diff --git
a/predicate.h
b/predicate.h
index e901d91fe3d71c357a83be46b8a098d8123f69e3..4243a0d88cc98bc47ece42b96f07839c1bf3fe4c 100644
(file)
--- a/
predicate.h
+++ b/
predicate.h
@@
-66,6
+66,10
@@
public:
bool is_entry_predicate() { return entry_predicate; }
void set_entry_predicate() { entry_predicate = true; }
bool is_entry_predicate() { return entry_predicate; }
void set_entry_predicate() { entry_predicate = true; }
+ /* Whether func_inst does write or not */
+ bool is_write() { return does_write; }
+ void set_write(bool is_write) { does_write = is_write; }
+
void print_predicate();
void print_pred_subtree();
void print_predicate();
void print_pred_subtree();
@@
-73,15
+77,16
@@
public:
private:
FuncInst * func_inst;
bool entry_predicate;
private:
FuncInst * func_inst;
bool entry_predicate;
+ bool does_write;
- /*
m
ay have multiple predicate expressions */
+ /*
M
ay have multiple predicate expressions */
PredExprSet pred_expressions;
ModelVector<Predicate *> children;
PredExprSet pred_expressions;
ModelVector<Predicate *> children;
- /*
o
nly a single parent may exist */
+ /*
O
nly a single parent may exist */
Predicate * parent;
Predicate * parent;
- /*
m
ay have multiple back edges, e.g. nested loops */
+ /*
M
ay have multiple back edges, e.g. nested loops */
PredSet backedges;
};
PredSet backedges;
};