Searched refs:rename_expr (Results 1 - 3 of 3) sorted by last modified time

/seL4-l4v-master/graph-refine/
H A Dsyntax.py770 def rename_expr (expr, renames): function
H A Dstack_logic.py289 sp = syntax.rename_expr (mk_var ('r13', syntax.word32T), r)
290 stack = syntax.rename_expr (mk_var ('stack',
506 rets = [syntax.rename_expr (ret, r) for ret in rets]
743 cond = syntax.rename_expr (cond, renames['Target_IN'])
H A Dcheck.py23 rename_expr)
145 vals = [(rename_expr (x, renames[x_addr]), addr_map[x_addr])

Completed in 44 milliseconds