Lines Matching defs:context
116 fun adjust_info {ins = ins', outs = outs', context = context', fspec = fspec'} =
117 {ins = adjust_exp ins', outs = adjust_exp outs', context = List.map adjust_exp context', fspec = fspec'}
402 fun compute_fcall_info ((outer_ins,outer_outs),(caller_src,caller_dst),(callee_ins,callee_outs),rs,context) =
412 val rs' = S.intersection(to_be_stored, S.union (pair2set outer_outs, list2set context));
420 val context' = set2list (S.difference (list2set context, rs'))
422 ((pre_ins,pre_outs),(body_ins,body_outs),(post_ins,post_outs),set2list rs',context')
548 val ((pre_ins,pre_outs),(body_ins,body_outs),(post_ins,post_outs),rs',context) =
549 compute_fcall_info ((outer_ins,outer_outs),(caller_src,caller_dst),(callee_ins,callee_outs),rs,#context outer_info);
589 outs = ins_stack, context = context, fspec = thm_t});
592 val body' = apply_to_info callee_ir' (fn info' => {ins = ins_stack, outs = outs_stack, context = context, fspec = thm_t});
596 {ins = outs_stack, outs = outer_outs, context = context, fspec = thm_t})