PIPS
|
#include "local-header.h"
Go to the source code of this file.
Functions | |
list | summary_to_proper_reference (call c, reference r) |
these functions must translate external reductions into local ones if must be. More... | |
static list | translate_reduction (call c, reduction external_red) |
of reduction More... | |
list | translate_reductions (call c) |
of reduction More... | |
these functions must translate external reductions into local ones if must be.
thus it is similar to summary effects call translations. I do reuse some functions there by generating fake effects... I think they should be cleaned so as to offer reference plus predicate translations, and then would be used by reductions and effects. Fabien. translation of a reference, based on effect translations... such an interface should be available? of reference
persistent!
of effect
of reference
Definition at line 45 of file call.c.
References CONS, EFFECT, effect_any_reference, entity_name, FOREACH, gen_free(), gen_free_list(), gen_map(), is_approximation_exact, make_action_write_memory(), make_approximation(), make_simple_effect, NIL, pips_debug, REFERENCE, reference_variable, summary_effect_to_proper_effect(), and UU.
Referenced by translate_reduction().
of reduction
of reference
of reduction
??? what about effects on commons hidden in the call? I do not know the reference to trust in the effects...
just the backbone, refs are real in the code?
Definition at line 68 of file call.c.
References CONS, copy_reduction(), copy_reference(), entity_name, FOREACH, free_reference(), gen_free(), gen_free_list(), gen_length(), gen_map(), make_preference(), NIL, pips_debug, PREFERENCE, REDUCTION, reduction_dependences, reduction_name(), reduction_reference, reduction_trusted, reduction_variable, ref, REFERENCE, reference_variable, and summary_to_proper_reference().
Referenced by translate_reductions().
of reduction
c,the | call to check for proper reductions |
of reduction
Definition at line 112 of file call.c.
References call_function, entity_module_p(), FOREACH, gen_nconc(), load_summary_reductions(), NIL, REDUCTION, reductions_list, and translate_reduction().
Referenced by pr_call_flt().