From e9468a45f910f5f2b72847aab656892a97ff41bd Mon Sep 17 00:00:00 2001 From: weiyu Date: Mon, 9 Sep 2019 16:49:47 -0700 Subject: [PATCH] Remove an unused data structure --- funcnode.cc | 24 ------------------------ funcnode.h | 3 --- 2 files changed, 27 deletions(-) diff --git a/funcnode.cc b/funcnode.cc index ff7a7a8e..87901160 100644 --- a/funcnode.cc +++ b/funcnode.cc @@ -7,7 +7,6 @@ FuncNode::FuncNode(ModelHistory * history) : func_inst_map(), inst_list(), entry_insts(), -// thrd_read_map(), action_list_buffer(), predicate_tree_position() { @@ -26,9 +25,6 @@ FuncNode::FuncNode(ModelHistory * history) : /* Reallocate snapshotted memories when new executions start */ void FuncNode::set_new_exec_flag() { -// for (uint i = 0; i < thrd_read_map.size(); i++) -// thrd_read_map[i] = new read_map_t(); - for (mllnode * it = inst_list.begin(); it != NULL; it = it->getNext()) { FuncInst * inst = it->getVal(); inst->unset_location(); @@ -598,23 +594,3 @@ void FuncNode::print_val_loc_map() } */ } - -/* @param tid thread id - * Print the values read by the last read actions for each memory location - */ -/* -void FuncNode::print_last_read(thread_id_t tid) -{ - ASSERT(thrd_read_map.size() > tid); - read_map_t * read_map = thrd_read_map[tid]; - - mllnode * it; - for (it = read_locations.begin();it != NULL;it=it->getNext()) { - if ( !read_map->contains(it->getVal()) ) - break; - - uint64_t read_val = read_map->get(it->getVal()); - model_print("last read of thread %d at %p: 0x%x\n", tid, it->getVal(), read_val); - } -} -*/ diff --git a/funcnode.h b/funcnode.h index f5b51021..4287a99f 100644 --- a/funcnode.h +++ b/funcnode.h @@ -82,9 +82,6 @@ private: /* Possible entry atomic actions in this function */ func_inst_list_mt entry_insts; - /* Store the values read by atomic read actions per memory location for each thread */ - //ModelVector thrd_read_map; - /* Store action_lists when calls to update_tree are deferred */ ModelList action_list_buffer; -- 2.34.1