Searched refs:loop_no_match_unroll (Results 1 - 1 of 1) sorted by path
| /seL4-l4v-10.1.1/graph-refine/ |
| H A D | search.py | 1648 def loop_no_match_unroll (rep, restrs, hyps, split, other_tag, unroll): function
1670 if not loop_no_match_unroll (rep, restrs, hyps, split, other_tag, 4):
1672 if not loop_no_match_unroll (rep, restrs, hyps, split, other_tag, 8):
1681 if not loop_no_match_unroll (rep, restrs, hyps2, split, other_tag, 8):
|
Completed in 46 milliseconds