Lines Matching refs:cxt
88 CLG_ASSERT(bbcc->cxt != 0); in CLG_()
92 bbcc->cxt->base_number + bbcc->rec_index, in CLG_()
93 bbcc->cxt->fn[0]->name, in CLG_()
123 for(j=0;j<bbcc->cxt->fn[0]->separate_recursions;j++) { in CLG_()
145 UInt bbcc_hash_idx(BB* bb, Context* cxt, UInt size) in bbcc_hash_idx() argument
148 CLG_ASSERT(cxt != 0); in bbcc_hash_idx()
150 return ((Addr)bb + (Addr)cxt) % size; in bbcc_hash_idx()
157 BBCC* lookup_bbcc(BB* bb, Context* cxt) in lookup_bbcc() argument
163 if (bbcc->cxt == cxt) { in lookup_bbcc()
173 idx = bbcc_hash_idx(bb, cxt, current_bbccs.size); in lookup_bbcc()
177 cxt != bbcc->cxt)) { in lookup_bbcc()
182 bb_addr(bb), cxt->base_number, cxt->fn[0]->name, in lookup_bbcc()
215 curr_BBCC->cxt, in resize_bbcc_hash()
321 CLG_ASSERT(bbcc->cxt != 0); in insert_bbcc_into_hash()
324 bb_addr(bbcc->bb), bbcc->cxt->fn[0]->name); in insert_bbcc_into_hash()
331 idx = bbcc_hash_idx(bbcc->bb, bbcc->cxt, current_bbccs.size); in insert_bbcc_into_hash()
341 static HChar* mangled_cxt(const Context* cxt, Int rec_index) in mangled_cxt() argument
345 if (!cxt) return VG_(strdup)("cl.bbcc.mcxt", "(no context)"); in mangled_cxt()
349 for (i = 0; i < cxt->size; ++i) in mangled_cxt()
350 need += VG_(strlen)(cxt->fn[i]->name) + 1; // 1 for leading ' in mangled_cxt()
353 p = VG_(sprintf)(mangled, "%s", cxt->fn[0]->name); in mangled_cxt()
356 for(i=1;i<cxt->size;i++) in mangled_cxt()
357 p += VG_(sprintf)(mangled+p, "'%s", cxt->fn[i]->name); in mangled_cxt()
375 static BBCC* clone_bbcc(BBCC* orig, Context* cxt, Int rec_index) in clone_bbcc() argument
380 bb_addr(orig->bb), rec_index, cxt->fn[0]->name); in clone_bbcc()
388 (orig->cxt != cxt)); in clone_bbcc()
391 bbcc->cxt = cxt; in clone_bbcc()
392 bbcc->rec_array = new_recursion(cxt->fn[0]->separate_recursions); in clone_bbcc()
401 CLG_ASSERT(orig->cxt == cxt); in clone_bbcc()
403 CLG_ASSERT(cxt->fn[0]->separate_recursions > rec_index); in clone_bbcc()
408 bbcc->cxt = cxt; in clone_bbcc()
421 HChar *mangled_orig = mangled_cxt(orig->cxt, orig->rec_index); in clone_bbcc()
422 HChar *mangled_bbcc = mangled_cxt(bbcc->cxt, bbcc->rec_index); in clone_bbcc()
456 bbcc->cxt = 0; in CLG_()
514 CLG_(current_state).cxt = 0; in handleUnderflow()
523 CLG_ASSERT(source_bbcc->cxt == 0); in handleUnderflow()
524 source_bbcc->cxt = CLG_(current_state).cxt; in handleUnderflow()
530 fn_number = CLG_(current_state).bbcc->cxt->fn[0]->number; in handleUnderflow()
540 CLG_(push_cxt)( CLG_(current_state).bbcc->cxt->fn[0] ); in handleUnderflow()
783 if ((delayed_push && !skip) || (CLG_(current_state).cxt == 0)) { in CLG_()
790 if (bbcc->cxt == 0) { in CLG_()
793 bbcc->cxt = CLG_(current_state).cxt; in CLG_()
809 (bbcc->cxt != CLG_(current_state).cxt))) in CLG_()
816 bbcc = lookup_bbcc(bb, CLG_(current_state).cxt); in CLG_()
818 bbcc = clone_bbcc(bb->bbcc_list, CLG_(current_state).cxt, 0); in CLG_()
838 if (CLG_(current_state).bbcc->cxt->fn[0] != bbcc->cxt->fn[0]) in CLG_()
856 bbcc = clone_bbcc(bbcc, CLG_(current_state).cxt, idx); in CLG_()
913 CLG_(print_cxt)(-8, CLG_(current_state).cxt, bbcc->rec_index); in CLG_()