Searched refs:loop_bounds (Results 1 - 4 of 4) sorted by path

/seL4-l4v-10.1.1/graph-refine/graph-to-graph/chronos/
H A Demitter.py79 import graph_refine.loop_bounds namespace
87 loop_count,desc = graph_refine.loop_bounds.get_bound_super_ctxt(bin_head, [])
88 if graph_refine.loop_bounds.is_complex_loop(addr):
89 body_addrs = graph_refine.loop_bounds.get_loop_addrs(addr)
/seL4-l4v-10.1.1/graph-refine/graph-to-graph/
H A Dconvert_loop_bounds.py9 import graph_refine.loop_bounds as loop_bounds namespace
52 #all_loop_heads = loop_bounds.get_all_loop_heads()
67 ret = loop_bounds.get_bound_super_ctxt(head,[],
H A Delf_correlate.py52 self.loop_bounds = {}
/seL4-l4v-10.1.1/graph-refine/
H A Dsearch.py1201 import loop_bounds namespace
1202 lin_series_eqs = loop_bounds.get_linear_series_eqs (p, l_split,
1579 import loop_bounds namespace
1580 eqs += loop_bounds.get_linear_series_eqs (p, exit_n,

Completed in 61 milliseconds