Searched refs:insn_pool (Results 1 – 2 of 2) sorted by relevance
137 object_allocator<df_insn_info> *insn_pool; member191 delete problem_data->insn_pool; in df_scan_free_internal()250 problem_data->insn_pool = new object_allocator<df_insn_info> in df_scan_alloc()824 insn_rec = problem_data->insn_pool->allocate (); in df_insn_create_insn_record()918 problem_data->insn_pool->remove (insn_info); in df_insn_info_delete()