Lines Matching defs:context
104 fun adjust_info {ins = ins', outs = outs', context = context', fspec = fspec'} =
105 {ins = adjust_exp ins', outs = adjust_exp outs', context = List.map adjust_exp context', fspec = fspec'}
390 fun compute_fcall_info ((outer_ins,outer_outs),(caller_src,caller_dst),(callee_ins,callee_outs),rs,context) =
400 val rs' = S.intersection(to_be_stored, S.union (pair2set outer_outs, list2set context));
408 val context' = set2list (S.difference (list2set context, rs'))
410 ((pre_ins,pre_outs),(body_ins,body_outs),(post_ins,post_outs),set2list rs',context')
426 val ((pre_ins,pre_outs),(body_ins,body_outs),(post_ins,post_outs),rs',context) =
427 compute_fcall_info ((outer_ins,outer_outs),(caller_src,caller_dst),(callee_ins,callee_outs),rs,#context outer_info);
437 {ins = pre_ins, outs = pre_outs, context = context, fspec = thm_t}));
439 val body' = apply_to_info callee_ir (fn info' => {ins = body_ins, outs = body_outs, context = context, fspec = thm_t});
445 {ins = post_ins, outs = post_outs, context = context, fspec = thm_t}))