Lines Matching refs:tag
147 tag = p.node_tags[p_n][0]
164 epc = rep.get_pc (('Err', restrs3), tag = tag)
191 (tag, _) = p.node_tags[split]
196 checks = (check.single_loop_induct_step_checks (p, restrs, hyps, tag,
198 + check.single_loop_induct_base_checks (p, restrs, hyps, tag,
229 (tag, _) = p.node_tags[split]
230 hyps = [h for (h, _) in linear_eq_hyps_at_visit (tag, split, eqs,
310 for (n_vc, tag) in hyp.visits ():
311 if not p.hook_tag_hints.get (tag, None) == 'ASM':
477 c_tags = [tag for tag in p.tags ()
478 if p.get_entry_details (tag)[1] in funs and tag != asm_tag]
496 [c_tag] = [tag for tag in p.tags () if tag != p.node_tags[split][0]]
792 tag = p.node_tags[loop_id][0]
793 f_insts = [n for n in inst_node_ids if p.node_tags[n][0] == tag]