Searched refs:body_addrs (Results 1 - 2 of 2) sorted by relevance

/seL4-l4v-10.1.1/graph-refine/graph-to-graph/chronos/
H A Demitter.py89 body_addrs = graph_refine.loop_bounds.get_loop_addrs(addr)
90 complex_loops[addr] = (body_addrs, loop_count)
99 print "body: %s" % str(map(hex, body_addrs))
101 body_addrs, loop_bound = complex_loops[loop_addr]
102 for addr in body_addrs:
/seL4-l4v-10.1.1/graph-refine/
H A Dtrace_refute.py72 body_addrs = {} variable
83 body_addrs[n] = f
87 body_addrs['Loaded'] = True
91 if not body_addrs:
93 return body_addrs.get (n)
97 if not body_addrs:
100 total = len (body_addrs) - 1
107 if not body_addrs:
348 f = body_addrs[stack[i]]
472 funs = [body_addrs[add
[all...]

Completed in 43 milliseconds