Lines Matching refs:post
57 | printtree(CALL(fname,pre,body,post,info),d) =
61 let val ir' = SC (pre, SC (body, post, info), info)
334 | rm_dummy_inst (CALL (fname,pre,body,post,info)) =
335 CALL (fname, rm_dummy_inst pre, rm_dummy_inst body, rm_dummy_inst post,info)
403 | get_annt (CALL(fname,pre,body,post,info)) = info
423 | apply_to_info (CALL(fname,pre,body,post,info)) f = CALL(fname, pre, body, post, f info)
441 | get_modified_regs (CALL(fname,pre,body,post,info)) =
478 | (CALL (fname,pre,body,post,info)) =>
479 CALL(fname, pre, body, post, replace_ins info outer_ins)
508 fun extract (CALL (fname, pre, body, post, info)) (outer_info as {outs = outer_outs, context = contextL, fspec = fout_spec, ...}:annt) =
509 (fname, pre, body, post, info, outer_info, outer_outs, contextL, fout_spec);
511 val (fname, pre, body, post, info, outer_info, outer_outs, contextL, fout_spec) = extract s1 {ins = #ins outer_info, outs = #ins s2_info, context = #context s2_info, fspec = #fspec s1_info};
570 | back_trace (CALL (fname, pre, body, post, info)) (outer_info as {outs = outer_outs, context = contextL, fspec = fout_spec, ...}) =
582 CALL (fname, pre, BLK ([], info), post, info')
622 | match_ins_outs (ir as (CALL (fname, pre, body, post, info))) =
624 val ((pre_ins,post_outs),(outer_ins,outer_outs)) = ((#ins (get_annt pre), #outs (get_annt post)), (#ins info, #outs info))