do optimization for FuncNode::update_tree
[c11tester.git] / funcinst.cc
1 #include "funcinst.h"
2
3 FuncInst::FuncInst(ModelAction *act, FuncNode *func_node) :
4         collisions()
5 {
6         ASSERT(act);
7         ASSERT(func_node);
8         this->position = act->get_position();
9         this->location = act->get_location();
10         this->type = act->get_type();
11         this->order = act->get_mo();
12         this->func_node = func_node;
13 }
14
15 /* @param other Preceding FuncInst in the same execution trace
16  * Add other to predecessors if it has been added
17  *
18  * @return false: other is already in predecessors
19  *         true : other is added to precedessors
20  */
21 bool FuncInst::add_pred(FuncInst * other)
22 {
23         mllnode<FuncInst*> * it;
24         for (it = predecessors.begin();it != NULL;it=it->getNext()) {
25                 FuncInst * inst = it->getVal();
26                 if (inst == other)
27                         return false;
28         }
29
30         predecessors.push_back(other);
31         return true;
32 }
33
34 bool FuncInst::add_succ(FuncInst * other)
35 {
36         mllnode<FuncInst*>* it;
37         for (it = successors.begin();it != NULL;it=it->getNext()) {
38                 FuncInst * inst = it->getVal();
39                 if ( inst == other )
40                         return false;
41         }
42
43         successors.push_back(other);
44         return true;
45 }
46
47 FuncInst * FuncInst::search_in_collision(ModelAction *act)
48 {
49         action_type type = act->get_type();
50
51         mllnode<FuncInst*> * it;
52         for (it = collisions.begin(); it != NULL; it = it->getNext()) {
53                 FuncInst * inst = it->getVal();
54                 if (inst->get_type() == type)
55                         return inst;
56         }
57         return NULL;
58 }
59
60 bool FuncInst::is_read() const
61 {
62         return type == ATOMIC_READ || type == ATOMIC_RMWR || type == ATOMIC_RMWRCAS || type == ATOMIC_RMW;
63 }
64
65 bool FuncInst::is_write() const
66 {
67         return type == ATOMIC_WRITE || type == ATOMIC_RMW || type == ATOMIC_INIT || type == ATOMIC_UNINIT || type == NONATOMIC_WRITE;
68 }
69
70 void FuncInst::print()
71 {
72         model_print("func inst - pos: %s, loc: %p, type: %d,\n", position, location, type);
73 }