Lines Matching refs:function
34 (* Is an expression a function application? *)
45 (* Traverse the function body to find all modified registers and the next available memory slot *)
106 (* Convert a function body into its call-save format *)
126 val tr_f = ref (``T``); (* the name of a recursive function *)
150 if is_fun x andalso not (x = !tr_f) then (* non-recursive function application *)
160 mk_plet(v, caller_save M, caller_save N) (* not function application *)
181 for each function call; it also make the outputs of the two branches of a conditional
192 if is_fun x andalso not (x = !tr_f) then (* non-recursive function application *)
206 in (mk_plet(v, M', N'), output') end (* not function application *)
227 (* Process function calls in a caller-save style *)
235 val _ = investigate_def def (* store the information of the current function into !fmap *)