Lines Matching refs:cxt
88 CLG_ASSERT(bbcc->cxt != 0);
89 CLG_DEBUG(1, " zero_bbcc: BB %#lx, Cxt %d "
92 bbcc->cxt->base_number + bbcc->rec_index,
93 bbcc->cxt->fn[0]->name,
123 for(j=0;j<bbcc->cxt->fn[0]->separate_recursions;j++) {
145 UInt bbcc_hash_idx(BB* bb, Context* cxt, UInt size)
148 CLG_ASSERT(cxt != 0);
150 return ((Addr)bb + (Addr)cxt) % size;
157 BBCC* lookup_bbcc(BB* bb, Context* cxt)
163 if (bbcc->cxt == cxt) {
173 idx = bbcc_hash_idx(bb, cxt, current_bbccs.size);
177 cxt != bbcc->cxt)) {
181 CLG_DEBUG(2," lookup_bbcc(BB %#lx, Cxt %d, fn '%s'): %p (tid %d)\n",
182 bb_addr(bb), cxt->base_number, cxt->fn[0]->name,
217 curr_BBCC->cxt,
265 * cxt, rec_index, rec_array, next_bbcc, next1, next2
323 CLG_ASSERT(bbcc->cxt != 0);
326 bb_addr(bbcc->bb), bbcc->cxt->fn[0]->name);
333 idx = bbcc_hash_idx(bbcc->bb, bbcc->cxt, current_bbccs.size);
341 static const HChar* mangled_cxt(Context* cxt, int rec_index)
346 if (!cxt) return "(no context)";
348 p = VG_(sprintf)(mangled, "%s", cxt->fn[0]->name);
351 for(i=1;i<cxt->size;i++)
352 p += VG_(sprintf)(mangled+p, "'%s", cxt->fn[i]->name);
365 * rec_index == 0: clone from a BBCC with differing tid/cxt
367 * rec_index >0 : clone from a BBCC with same tid/cxt and rec_index 0
370 static BBCC* clone_bbcc(BBCC* orig, Context* cxt, Int rec_index)
375 bb_addr(orig->bb), rec_index, cxt->fn[0]->name);
381 /* hash insertion is only allowed if tid or cxt is different */
383 (orig->cxt != cxt));
386 bbcc->cxt = cxt;
387 bbcc->rec_array = new_recursion(cxt->fn[0]->separate_recursions);
396 CLG_ASSERT(orig->cxt == cxt);
398 CLG_ASSERT(cxt->fn[0]->separate_recursions > rec_index);
403 bbcc->cxt = cxt;
422 mangled_cxt(orig->cxt, orig->rec_index),
423 mangled_cxt(bbcc->cxt, bbcc->rec_index));
449 bbcc->cxt = 0;
507 CLG_(current_state).cxt = 0;
516 CLG_ASSERT(source_bbcc->cxt == 0);
517 source_bbcc->cxt = CLG_(current_state).cxt;
523 fn_number = CLG_(current_state).bbcc->cxt->fn[0]->number;
533 CLG_(push_cxt)( CLG_(current_state).bbcc->cxt->fn[0] );
776 if ((delayed_push && !skip) || (CLG_(current_state).cxt == 0)) {
783 if (bbcc->cxt == 0) {
786 bbcc->cxt = CLG_(current_state).cxt;
802 (bbcc->cxt != CLG_(current_state).cxt)))
809 bbcc = lookup_bbcc(bb, CLG_(current_state).cxt);
811 bbcc = clone_bbcc(bb->bbcc_list, CLG_(current_state).cxt, 0);
831 if (CLG_(current_state).bbcc->cxt->fn[0] != bbcc->cxt->fn[0])
849 bbcc = clone_bbcc(bbcc, CLG_(current_state).cxt, idx);
906 CLG_(print_cxt)(-8, CLG_(current_state).cxt, bbcc->rec_index);
