6 typedef ModelList<FuncInst *> func_inst_list_t;
10 FuncInst(ModelAction *act);
13 //ModelAction * get_action() const { return action; }
14 const char * get_position() const { return position; }
15 void * get_location() const { return location; }
16 action_type get_type() const { return type; }
20 //ModelAction * const action;
21 const char * position;
31 void add_action(ModelAction *act);
33 HashTable<const char *, FuncInst *, uintptr_t, 4> * getFuncInsts() { return &func_insts; }
34 func_inst_list_t * get_inst_list() { return &inst_list; }
38 /* Use source line number as the key of hashtable
40 * To do: cds_atomic_compare_exchange contains three atomic operations
41 * that are feeded with the same source line number by llvm pass
43 HashTable<const char *, FuncInst *, uintptr_t, 4> func_insts;
45 func_inst_list_t inst_list;