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

/seL4-l4v-10.1.1/graph-refine/
H A Dstack_logic.py291 sp = syntax.rename_expr (mk_var ('r13', syntax.word32T), r)
292 stack = syntax.rename_expr (mk_var ('stack',
508 rets = [syntax.rename_expr (ret, r) for ret in rets]
745 cond = syntax.rename_expr (cond, renames['Target_IN'])
H A Dcheck.py25 rename_expr)
147 vals = [(rename_expr (x, renames[x_addr]), addr_map[x_addr])
H A Dsyntax.py772 def rename_expr (expr, renames): function

Completed in 47 milliseconds