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

/seL4-l4v-master/graph-refine/graph-to-graph/chronos/
H A Demitter.py85 import graph_refine.loop_bounds namespace
93 loop_count,desc = graph_refine.loop_bounds.get_bound_super_ctxt(bin_head, [])
94 if graph_refine.loop_bounds.is_complex_loop(addr):
95 body_addrs = graph_refine.loop_bounds.get_loop_addrs(addr)
/seL4-l4v-master/graph-refine/graph-to-graph/
H A Dconvert_loop_bounds.py7 import graph_refine.loop_bounds as loop_bounds namespace
50 #all_loop_heads = loop_bounds.get_all_loop_heads()
65 ret = loop_bounds.get_bound_super_ctxt(head,[],
H A Delf_correlate.py49 self.loop_bounds = {}
/seL4-l4v-master/graph-refine/
H A Dsearch.py1199 import loop_bounds namespace
1200 lin_series_eqs = loop_bounds.get_linear_series_eqs (p, l_split,
1577 import loop_bounds namespace
1578 eqs += loop_bounds.get_linear_series_eqs (p, exit_n,

Completed in 57 milliseconds