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

/seL4-l4v-master/graph-refine/graph-to-graph/
H A Dconflict.py25 global bb_addrs_in_loops
31 bb_addrs_in_loops = [] variable
41 global bb_addrs_in_loops
49 bb_addrs_in_loops = []
142 if not bb_addr in bb_addrs_in_loops:
143 bb_addrs_in_loops.append(bb_addr)
203 return bbAddr(addr) in bb_addrs_in_loops

Completed in 78 milliseconds