2fe708608c57e155991c12085c92e902c9ccc809
[c11tester.git] / funcnode.h
1 #ifndef __FUNCNODE_H__
2 #define __FUNCNODE_H__
3
4 #include "action.h"
5 #include "funcinst.h"
6 #include "hashtable.h"
7 #include "hashset.h"
8 #include "predicate.h"
9
10 typedef ModelList<FuncInst *> func_inst_list_mt;
11 typedef HashTable<void *, uint64_t, uintptr_t, 4, model_malloc, model_calloc, model_free> read_map_t;
12 typedef HSIterator<Predicate *, uintptr_t, 0, model_malloc, model_calloc, model_free> PredSetIter;
13
14 class FuncNode {
15 public:
16         FuncNode();
17         ~FuncNode();
18
19         uint32_t get_func_id() { return func_id; }
20         const char * get_func_name() { return func_name; }
21         void set_func_id(uint32_t id) { func_id = id; }
22         void set_func_name(const char * name) { func_name = name; }
23
24         void add_inst(ModelAction *act);
25         FuncInst * get_inst(ModelAction *act);
26
27         HashTable<const char *, FuncInst *, uintptr_t, 4, model_malloc, model_calloc, model_free> * getFuncInstMap() { return &func_inst_map; }
28         func_inst_list_mt * get_inst_list() { return &inst_list; }
29         func_inst_list_mt * get_entry_insts() { return &entry_insts; }
30         void add_entry_inst(FuncInst * inst);
31
32         void update_tree(action_list_t * act_list);
33         void update_inst_tree(func_inst_list_t * inst_list);
34
35         void store_read(ModelAction * act, uint32_t tid);
36         uint64_t query_last_read(void * location, uint32_t tid);
37         void clear_read_map(uint32_t tid);
38
39         /* TODO: generate EQUALITY or NULLITY predicate based on write_history in history.cc */
40         void init_predicate_tree(func_inst_list_t * inst_list, HashTable<FuncInst *, uint64_t, uintptr_t, 4> * read_val_map);
41         void print_predicate_tree();
42
43         void print_last_read(uint32_t tid);
44
45         MEMALLOC
46 private:
47         uint32_t func_id;
48         const char * func_name;
49         bool predicate_tree_initialized;
50
51         /* Use source line number as the key of hashtable, to check if
52          * atomic operation with this line number has been added or not
53          */
54         HashTable<const char *, FuncInst *, uintptr_t, 4, model_malloc, model_calloc, model_free> func_inst_map;
55
56         /* list of all atomic actions in this function */
57         func_inst_list_mt inst_list;
58
59         /* possible entry atomic actions in this function */
60         func_inst_list_mt entry_insts;
61
62         /* Store the values read by atomic read actions per memory location for each thread */
63         ModelVector<read_map_t *> thrd_read_map;
64
65         HashSet<Predicate *, uintptr_t, 0, model_malloc, model_calloc, model_free> predicate_tree_entry;
66 };
67
68 #endif /* __FUNCNODE_H__ */