Searched refs:expand_lval_list (Results 1 - 1 of 1) sorted by path

/seL4-l4v-master/graph-refine/
H A Dpseudo_compile.py275 def expand_lval_list (replaces, lvals): function
279 xs.extend (expand_lval_list (replaces, [(v_nm, typ)
295 lvs = expand_lval_list (replaces, [lv for (lv, v) in upds])
333 node.rets = expand_lval_list (replaces, node.rets)
339 function.inputs = expand_lval_list (replaces, function.inputs)
340 function.outputs = expand_lval_list (replaces, function.outputs)

Completed in 40 milliseconds