d4/d49/effects-simple_2methods_8c_source.html

 /*


   $Id: methods.c 23065 2016-03-02 09:05:50Z coelho $


   Copyright 1989-2016 MINES ParisTech


   This file is part of PIPS.


   PIPS is free software: you can redistribute it and/or modify it

   under the terms of the GNU General Public License as published by

   the Free Software Foundation, either version 3 of the License, or

   any later version.


   PIPS is distributed in the hope that it will be useful, but WITHOUT ANY

   WARRANTY; without even the implied warranty of MERCHANTABILITY or

   FITNESS FOR A PARTICULAR PURPOSE.


   See the GNU General Public License for more details.


   You should have received a copy of the GNU General Public License

   along with PIPS.  If not, see <http://www.gnu.org/licenses/>.


 */

 #ifdef HAVE_CONFIG_H

     #include "pips_config.h"

 #endif

 /* package simple effects :  Be'atrice Creusillet 5/97

  *

  * File: methods.c

  * ~~~~~~~~~~~~~~~

  *

  * This File contains the intanciation of the generic functions necessary

  * for the computation of all types of simple effects.

  *

  */


 #include <stdio.h>

 #include <stdlib.h>

 #include <string.h>


 #include "genC.h"


 #include "linear.h"

 #include "ri.h"

 #include "effects.h"

 #include "ri-util.h"

 #include "effects-util.h"

 #include "database.h"

 #include "resources.h"

 #include "pipsdbm.h"


 #include "effects-generic.h"

 #include "effects-simple.h"

 #include "misc.h"


 /******************************************************* PIPSDBM INTERFACES */


 /* The macros DB_GETNOPUT_xxx lead all to a gcc warning: unused

  * parameter âmâ

  */


 DB_GETPUT_SE(proper_references, PROPER_REFERENCES)

 DB_GETNOPUT_LS(summary_references, SUMMARY_EFFECTS)

 DB_GETPUT_SE(cumulated_references, CUMULATED_REFERENCES)

 DB_GETNOPUT_SE(invariant_references, CUMULATED_REFERENCES)


 DB_GETPUT_SE(simple_proper_rw_pointer_effects, PROPER_POINTER_EFFECTS)

 DB_GETNOPUT_SE(simple_invariant_rw_pointer_effects, CUMULATED_POINTER_EFFECTS)

 DB_GETPUT_SE(simple_rw_pointer_effects, CUMULATED_POINTER_EFFECTS)

 DB_GETPUT_LS(simple_summary_rw_pointer_effects, SUMMARY_POINTER_EFFECTS)


 DB_GETPUT_SE(simple_proper_rw_effects, PROPER_EFFECTS)

 DB_GETNOPUT_SE(simple_invariant_rw_effects, CUMULATED_EFFECTS)

 DB_GETPUT_SE(simple_rw_effects, CUMULATED_EFFECTS)

 DB_GETPUT_LS(simple_summary_rw_effects, SUMMARY_EFFECTS)


 DB_GETPUT_SE(simple_in_effects, IN_EFFECTS)

 DB_GETPUT_SE(simple_out_effects, OUT_EFFECTS)

 DB_GETPUT_SE(simple_cumulated_in_effects, CUMULATED_IN_EFFECTS)

 DB_GET_SE(simple_invariant_in_effects, IN_EFFECTS)

 DB_NOPUT_SE(simple_invariant_in_effects)

 DB_GETPUT_LS(simple_summary_in_effects, IN_SUMMARY_EFFECTS)

 DB_GETPUT_LS(simple_summary_out_effects, OUT_SUMMARY_EFFECTS)


 DB_GETPUT_SE(simple_live_in_paths, LIVE_IN_PATHS)

 DB_GETPUT_SE(simple_live_out_paths, LIVE_OUT_PATHS)

 DB_GETPUT_LS(simple_live_in_summary_paths, LIVE_IN_SUMMARY_PATHS)

 DB_GETPUT_LS(simple_live_out_summary_paths, LIVE_OUT_SUMMARY_PATHS)


 // Bug when deleting obsolete resources for a resource never use

 //   look in function check_physical_resource_up_to_date?

 // DB_GETPUT_EE(simple_useful_variables_effects, USEFUL_VARIABLES_EFFECTS)

 static entity_effects db_get_null(_UNUSED_ const char * unused)

 {

   pips_debug(7, "No resource to load\n");

   return entity_effects_undefined;

 }


 static void db_put_null(

   _UNUSED_ const char * unused1,

   _UNUSED_ entity_effects unused2) {

   pips_debug(7, "No resource to store\n");

   return;

 }


 // FC: I do not know where to put this one...

 static void simple_in_effect_loop_range_fix(

   loop l, list *gin,

   _UNUSED_ list *gw, _UNUSED_ bool (*r_w_combinable_p)(effect,effect),

   entity *pi, range r)

 {

   // short version for hopeless loops

   if (! normalizable_and_linear_loop_p(*pi, r)) {

     pips_debug(7, "non linear loop range.\n");

     effects_to_may_effects(*gin);

   }

   else if (loop_executed_never_p(l)) {

     gen_full_free_list(*gin);

     *gin = NIL;

   }

   else if (!loop_executed_at_least_once_p(l))

     effects_to_may_effects(*gin);

   // else gin is still valid because store independent

 }


 void

 set_methods_for_proper_references()

 {


   effect_consistent_p_func = effect_consistent_p;

     effects_computation_init_func = effects_computation_no_init;

     effects_computation_reset_func = effects_computation_no_reset;


     effect_dup_func = copy_effect;

     effect_free_func = free_effect;


     reference_to_effect_func = reference_to_reference_effect;

     effect_to_store_independent_effect_list_func =

       effect_to_store_independent_sdfi_list;

     effect_add_expression_dimension_func =

       simple_effect_add_expression_dimension;

     effect_change_ith_dimension_expression_func =

       simple_effect_change_ith_dimension_expression;


     /* FI: no longer good with conditional expressions? Should we use

        EffectsMustUnion or ReferenceMustUnion? Does not seem to have

        an impact... */

     //effects_union_op = effects_undefined_binary_operator;

     //effects_test_union_op = effects_undefined_binary_operator;

     effects_union_op = EffectsMustUnion;

     effects_test_union_op = EffectsMayUnion;

     effects_intersection_op = effects_undefined_binary_operator;

     effects_sup_difference_op = effects_undefined_binary_operator;

     effects_inf_difference_op = effects_undefined_binary_operator;


     effects_transformer_composition_op =

         effects_undefined_composition_with_transformer;

     effects_transformer_inverse_composition_op =

         effects_undefined_composition_with_transformer;

     effects_precondition_composition_op =

         effects_composition_with_preconditions_nop;


     eval_cell_with_points_to_func = eval_simple_cell_with_points_to;


     effects_descriptors_variable_change_func =

         effects_undefined_descriptors_variable_change;

     loop_descriptor_make_func = loop_undefined_descriptor_make;

     loop_range_in_effect_func = simple_in_effect_loop_range_fix;


     effects_loop_normalize_func = effects_undefined_loop_normalize;

     effects_union_over_range_op = simple_effects_union_over_range;

     vector_to_descriptor_func = effects_undefined_vector_to_descriptor;


     effects_translation_init_func = simple_effects_translation_init;

     effects_translation_end_func = simple_effects_translation_end;

     effect_descriptor_interprocedural_translation_op = simple_effect_descriptor_interprocedural_translation ;


     fortran_effects_backward_translation_op = simple_effects_backward_translation;

     fortran_effects_forward_translation_op = simple_effects_forward_translation;/*FC*/

     effects_local_to_global_translation_op = effects_dynamic_elim;

     c_effects_on_formal_parameter_backward_translation_func =

       c_simple_effects_on_formal_parameter_backward_translation;

     c_effects_on_actual_parameter_forward_translation_func =

       c_simple_effects_on_actual_parameter_forward_translation;


     load_context_func = load_undefined_context;

     load_transformer_func = load_undefined_transformer;

     load_completed_transformer_func = load_undefined_transformer;

     empty_context_test = empty_context_test_false;


     effects_descriptor_normalize_func = simple_effects_descriptor_normalize;


     proper_to_summary_effect_func = effect_nop; /* FC */


     db_get_summary_rw_effects_func = db_get_summary_references;


     db_get_proper_rw_effects_func = db_get_proper_references;

     db_put_proper_rw_effects_func = db_put_proper_references;


     set_contracted_proper_effects(false);

     set_descriptor_range_p(false);

     set_methods_for_rw_effects_prettyprint(string_undefined);


     stmt_strongly_feasible_p_func = NULL;

 }


 void

 set_methods_for_cumulated_references()

 {

   effect_consistent_p_func = effect_consistent_p;

     effects_computation_init_func = effects_computation_no_init;

     effects_computation_reset_func = effects_computation_no_reset;


     effect_dup_func = copy_effect;

     effect_free_func = free_effect;


     reference_to_effect_func = reference_to_reference_effect;

     effect_to_store_independent_effect_list_func =

       effect_to_store_independent_sdfi_list;

     effect_add_expression_dimension_func =

       simple_effect_add_expression_dimension;

     effect_change_ith_dimension_expression_func =

       simple_effect_change_ith_dimension_expression;


     /* effect_union_op = ; *//* ??? */

     effects_union_op = ReferenceUnion;

     effects_test_union_op = ReferenceTestUnion;

     effects_intersection_op = effects_undefined_binary_operator;

     effects_sup_difference_op = effects_undefined_binary_operator;

     effects_inf_difference_op = effects_undefined_binary_operator;

     effects_transformer_composition_op =

       effects_composition_with_transformer_nop;

         /* FC: effects_undefined_composition_with_transformer; */

     effects_transformer_inverse_composition_op =

       effects_undefined_composition_with_transformer;

     effects_precondition_composition_op =

       effects_composition_with_preconditions_nop;


     eval_cell_with_points_to_func = eval_simple_cell_with_points_to;


     effects_descriptors_variable_change_func =

       effects_undefined_descriptors_variable_change;

     loop_descriptor_make_func = loop_undefined_descriptor_make;

   loop_range_in_effect_func = simple_in_effect_loop_range_fix;


     effects_loop_normalize_func = effects_undefined_loop_normalize;

     effects_union_over_range_op = effects_union_over_range_nop;

     /* FC was: effects_undefined_union_over_range */


     vector_to_descriptor_func = effects_undefined_vector_to_descriptor;


     effects_translation_init_func = simple_effects_translation_init;

     effects_translation_end_func = simple_effects_translation_end;

     effect_descriptor_interprocedural_translation_op = simple_effect_descriptor_interprocedural_translation ;


     fortran_effects_backward_translation_op = simple_effects_backward_translation;

     fortran_effects_forward_translation_op = simple_effects_forward_translation;

     effects_local_to_global_translation_op = effects_dynamic_elim;

     c_effects_on_formal_parameter_backward_translation_func =

       c_simple_effects_on_formal_parameter_backward_translation;

     c_effects_on_actual_parameter_forward_translation_func =

       c_simple_effects_on_actual_parameter_forward_translation;


     load_context_func = load_undefined_context;

     load_transformer_func = load_undefined_transformer;

     load_completed_transformer_func = load_undefined_transformer;

     empty_context_test = empty_context_test_false;


     proper_to_summary_effect_func = effect_nop; /* FC */


     effects_descriptor_normalize_func = simple_effects_descriptor_normalize;


     db_get_summary_rw_effects_func = db_get_summary_references;

     db_put_summary_rw_effects_func = db_put_summary_references;


     db_get_proper_rw_effects_func = db_get_proper_references;

     db_put_proper_rw_effects_func = db_put_proper_references;


     db_get_invariant_rw_effects_func = db_get_invariant_references;

     db_put_invariant_rw_effects_func = db_put_invariant_references;


     db_get_rw_effects_func = db_get_cumulated_references;

     db_put_rw_effects_func = db_put_cumulated_references;


     db_get_useful_variables_effects_func = db_get_null;

     db_put_useful_variables_effects_func = db_put_null;


     /* FC: rm set_contracted_proper_effects(!PROPER_EFFECTS_CONTRACT); */

     set_contracted_rw_effects(false);

     set_descriptor_range_p(false);

     set_methods_for_rw_effects_prettyprint(string_undefined);


     stmt_strongly_feasible_p_func = NULL;

 }


 void

 set_default_methods_for_proper_simple_effects()

 {

   effect_consistent_p_func = effect_consistent_p;

   effects_computation_init_func = effects_computation_no_init;

   effects_computation_reset_func = effects_computation_no_reset;


   effect_dup_func = simple_effect_dup;

   effect_free_func = free_effect;


   reference_to_effect_func = reference_to_simple_effect;

   effect_to_store_independent_effect_list_func =

     effect_to_store_independent_sdfi_list;

   effect_add_expression_dimension_func =

     simple_effect_add_expression_dimension;

   effect_change_ith_dimension_expression_func =

     simple_effect_change_ith_dimension_expression;


   effect_union_op = effect_must_union;

   effects_union_op = ProperEffectsMustUnion;

   effects_test_union_op = EffectsMayUnion;

   effects_intersection_op = effects_undefined_binary_operator;

   effects_sup_difference_op = effects_undefined_binary_operator;

   effects_inf_difference_op = effects_undefined_binary_operator;

   effects_transformer_composition_op =

     effects_composition_with_transformer_nop;

   effects_transformer_inverse_composition_op =

     effects_undefined_composition_with_transformer;

   effects_precondition_composition_op =

     effects_composition_with_preconditions_nop;


   eval_cell_with_points_to_func = eval_simple_cell_with_points_to;


   effects_descriptors_variable_change_func =

     effects_undefined_descriptors_variable_change;

   loop_descriptor_make_func = loop_undefined_descriptor_make;

   loop_range_in_effect_func = simple_in_effect_loop_range_fix;

   effects_loop_normalize_func = effects_undefined_loop_normalize;

   effects_union_over_range_op = simple_effects_union_over_range;

   vector_to_descriptor_func = effects_undefined_vector_to_descriptor;


   effects_translation_init_func = simple_effects_translation_init;

   effects_translation_end_func = simple_effects_translation_end;

   effect_descriptor_interprocedural_translation_op = simple_effect_descriptor_interprocedural_translation ;


   fortran_effects_backward_translation_op = simple_effects_backward_translation;

   fortran_effects_forward_translation_op = simple_effects_forward_translation;

   effects_local_to_global_translation_op = effects_dynamic_elim;

   c_effects_on_formal_parameter_backward_translation_func =

     c_simple_effects_on_formal_parameter_backward_translation;

   c_effects_on_actual_parameter_forward_translation_func =

     c_simple_effects_on_actual_parameter_forward_translation;


   load_context_func = load_undefined_context;

   load_transformer_func = load_undefined_transformer;

   load_completed_transformer_func = load_undefined_transformer;

   empty_context_test = empty_context_test_false;


   proper_to_summary_effect_func = effect_nop;


   effects_descriptor_normalize_func = simple_effects_descriptor_normalize;


   db_get_proper_rw_effects_func = db_get_simple_proper_rw_pointer_effects;

   db_put_proper_rw_effects_func = db_put_simple_proper_rw_pointer_effects;

   db_get_summary_rw_effects_func = db_get_simple_summary_rw_pointer_effects;


   set_contracted_proper_effects(true);

   set_descriptor_range_p(false);

   set_methods_for_rw_effects_prettyprint(string_undefined);


   stmt_strongly_feasible_p_func = NULL;

 }


 void

 set_methods_for_proper_simple_effects()

 {

   set_default_methods_for_proper_simple_effects();

   db_get_proper_rw_effects_func = db_get_simple_proper_rw_effects;

   db_put_proper_rw_effects_func = db_put_simple_proper_rw_effects;

   db_get_summary_rw_effects_func = db_get_simple_summary_rw_effects;

   if (get_constant_paths_p())

     {

       switch (get_pointer_info_kind())

         {

         case with_no_pointer_info:

           effect_to_constant_path_effects_func = effect_to_constant_path_effects_with_no_pointer_information;

           break;

         case with_points_to:

           effect_to_constant_path_effects_func = simple_effect_to_constant_path_effects_with_points_to;

           break;

         case with_pointer_values:

           effect_to_constant_path_effects_func = simple_effect_to_constant_path_effects_with_pointer_values;

           break;

         default:

           pips_internal_error("unexpected value\n");

         }

     }

 }


 void

 set_methods_for_proper_simple_pointer_effects()

 {

   set_default_methods_for_proper_simple_effects();

   db_get_proper_rw_effects_func = db_get_simple_proper_rw_pointer_effects;

   db_put_proper_rw_effects_func = db_put_simple_proper_rw_pointer_effects;

   db_get_summary_rw_effects_func = db_get_simple_summary_rw_pointer_effects;

   if (get_constant_paths_p())

     pips_internal_error("constant_paths_p must be false for pointer effects\n");


 }


 void

 set_methods_for_simple_effects()

 {

   effect_consistent_p_func = effect_consistent_p;

   effects_computation_init_func = effects_computation_no_init;

   effects_computation_reset_func = effects_computation_no_reset;


   effect_dup_func = simple_effect_dup;

   effect_free_func = free_effect;


   reference_to_effect_func = reference_to_simple_effect;

   effect_to_store_independent_effect_list_func =

     effect_to_store_independent_sdfi_list;

   effect_add_expression_dimension_func =

     simple_effect_add_expression_dimension;

   effect_change_ith_dimension_expression_func =

     simple_effect_change_ith_dimension_expression;


   effect_union_op = effect_must_union;

   effects_union_op = EffectsMustUnion;

   effects_test_union_op = EffectsMayUnion;

   effects_intersection_op = effects_entities_intersection;

   effects_sup_difference_op = EffectsSupDifference;

   effects_inf_difference_op = EffectsInfDifference;

   effects_transformer_composition_op =

     simple_effects_composition_with_effect_transformer;

   effects_transformer_inverse_composition_op =

     effects_composition_with_transformer_nop;

   effects_precondition_composition_op =

     effects_composition_with_preconditions_nop;


   eval_cell_with_points_to_func = eval_simple_cell_with_points_to;

   if (get_constant_paths_p())

     {

       switch (get_pointer_info_kind())

         {

         case with_no_pointer_info:

           effect_to_constant_path_effects_func = effect_to_constant_path_effects_with_no_pointer_information;

           break;

         case with_points_to:

           effect_to_constant_path_effects_func = simple_effect_to_constant_path_effects_with_points_to;

           break;

         case with_pointer_values:

           effect_to_constant_path_effects_func = simple_effect_to_constant_path_effects_with_pointer_values;

           break;

         default:

           pips_internal_error("unexpected value\n");

         }

     }


   effects_descriptors_variable_change_func =

     effects_descriptors_variable_change_nop;

   loop_descriptor_make_func = loop_undefined_descriptor_make;

   loop_range_in_effect_func = simple_in_effect_loop_range_fix;

   effects_loop_normalize_func = effects_loop_normalize_nop;

   effects_union_over_range_op = simple_effects_union_over_range;

   vector_to_descriptor_func = effects_undefined_vector_to_descriptor;


   effects_translation_init_func = simple_effects_translation_init;

   effects_translation_end_func = simple_effects_translation_end;

   effect_descriptor_interprocedural_translation_op = simple_effect_descriptor_interprocedural_translation ;


   fortran_effects_backward_translation_op = simple_effects_backward_translation;

   fortran_effects_forward_translation_op = simple_effects_forward_translation;

   c_effects_on_formal_parameter_backward_translation_func =

     c_simple_effects_on_formal_parameter_backward_translation;

   c_effects_on_actual_parameter_forward_translation_func =

     c_simple_effects_on_actual_parameter_forward_translation;


   effects_local_to_global_translation_op = effects_dynamic_elim;


   load_context_func = load_undefined_context;

   load_transformer_func = load_undefined_transformer;

   load_completed_transformer_func = load_undefined_transformer;

   empty_context_test = empty_context_test_false;

   proper_to_summary_effect_func = proper_to_summary_simple_effect;


   effects_descriptor_normalize_func = simple_effects_descriptor_normalize;


   db_get_proper_rw_effects_func = db_get_simple_proper_rw_effects;

   db_put_proper_rw_effects_func = db_put_simple_proper_rw_effects;


   db_get_invariant_rw_effects_func = db_get_simple_invariant_rw_effects;

   db_put_invariant_rw_effects_func = db_put_simple_invariant_rw_effects;


   db_get_rw_effects_func = db_get_simple_rw_effects;

   db_put_rw_effects_func = db_put_simple_rw_effects;


   db_get_summary_rw_effects_func = db_get_simple_summary_rw_effects;

   db_put_summary_rw_effects_func = db_put_simple_summary_rw_effects;


   db_get_in_effects_func = db_get_simple_in_effects;

   db_put_in_effects_func = db_put_simple_in_effects;


   db_get_out_effects_func = db_get_simple_out_effects;

   db_put_out_effects_func = db_put_simple_out_effects;


   db_get_cumulated_in_effects_func = db_get_simple_cumulated_in_effects;

   db_put_cumulated_in_effects_func = db_put_simple_cumulated_in_effects;


   db_get_invariant_in_effects_func = db_get_simple_invariant_in_effects;

   db_put_invariant_in_effects_func = db_put_simple_invariant_in_effects;


   db_get_summary_in_effects_func = db_get_simple_summary_in_effects;

   db_put_summary_in_effects_func = db_put_simple_summary_in_effects;


   db_get_summary_out_effects_func = db_get_simple_summary_out_effects;

   db_put_summary_out_effects_func = db_put_simple_summary_out_effects;


   db_get_useful_variables_effects_func = db_get_null;

   db_put_useful_variables_effects_func = db_put_null;


   set_contracted_rw_effects(true);

   set_descriptor_range_p(false);

   set_methods_for_rw_effects_prettyprint(string_undefined);


   stmt_strongly_feasible_p_func = NULL;

 }


 void

 set_methods_for_simple_pointer_effects()

 {

   effect_consistent_p_func = effect_consistent_p;

   effects_computation_init_func = effects_computation_no_init;

   effects_computation_reset_func = effects_computation_no_reset;


   effect_dup_func = simple_effect_dup;

   effect_free_func = free_effect;


   reference_to_effect_func = reference_to_simple_effect;

   effect_to_store_independent_effect_list_func =

     effect_to_store_independent_sdfi_list;

   effect_add_expression_dimension_func =

     simple_effect_add_expression_dimension;

   effect_change_ith_dimension_expression_func =

     simple_effect_change_ith_dimension_expression;


   effect_union_op = effect_must_union;

   effects_union_op = EffectsMustUnion;

   effects_test_union_op = EffectsMayUnion;

   effects_intersection_op = effects_entities_intersection;

   effects_sup_difference_op = EffectsSupDifference;

   effects_inf_difference_op = EffectsInfDifference;

   effects_transformer_composition_op =

     simple_effects_composition_with_effect_transformer;

   effects_transformer_inverse_composition_op =

     effects_composition_with_transformer_nop;

   effects_precondition_composition_op =

     effects_composition_with_preconditions_nop;


   effects_descriptors_variable_change_func =

     effects_descriptors_variable_change_nop;

   loop_descriptor_make_func = loop_undefined_descriptor_make;

   loop_range_in_effect_func = simple_in_effect_loop_range_fix;

   effects_loop_normalize_func = effects_loop_normalize_nop;

   effects_union_over_range_op = simple_effects_union_over_range;

   vector_to_descriptor_func = effects_undefined_vector_to_descriptor;


   eval_cell_with_points_to_func = eval_simple_cell_with_points_to;

   if (get_constant_paths_p())

     pips_internal_error("constant_paths_p must be false for pointer effects\n");


   effects_translation_init_func = simple_effects_translation_init;

   effects_translation_end_func = simple_effects_translation_end;

   effect_descriptor_interprocedural_translation_op = simple_effect_descriptor_interprocedural_translation ;


   fortran_effects_backward_translation_op = simple_effects_backward_translation;

   fortran_effects_forward_translation_op = simple_effects_forward_translation;

   c_effects_on_formal_parameter_backward_translation_func =

     c_simple_effects_on_formal_parameter_backward_translation;

   c_effects_on_actual_parameter_forward_translation_func =

     c_simple_effects_on_actual_parameter_forward_translation;


   effects_local_to_global_translation_op = effects_dynamic_elim;


   load_context_func = load_undefined_context;

   load_transformer_func = load_undefined_transformer;

   load_completed_transformer_func = load_undefined_transformer;

   empty_context_test = empty_context_test_false;

   proper_to_summary_effect_func = proper_to_summary_simple_effect;


   effects_descriptor_normalize_func = simple_effects_descriptor_normalize;


   db_get_proper_rw_effects_func = db_get_simple_proper_rw_pointer_effects;

   db_put_proper_rw_effects_func = db_put_simple_proper_rw_pointer_effects;


   db_get_invariant_rw_effects_func = db_get_simple_invariant_rw_pointer_effects;

   db_put_invariant_rw_effects_func = db_put_simple_invariant_rw_pointer_effects;


   db_get_rw_effects_func = db_get_simple_rw_pointer_effects;

   db_put_rw_effects_func = db_put_simple_rw_pointer_effects;


   db_get_summary_rw_effects_func = db_get_simple_summary_rw_pointer_effects;

   db_put_summary_rw_effects_func = db_put_simple_summary_rw_pointer_effects;


   db_get_in_effects_func = db_get_simple_in_effects;

   db_put_in_effects_func = db_put_simple_in_effects;


   db_get_out_effects_func = db_get_simple_out_effects;

   db_put_out_effects_func = db_put_simple_out_effects;


   db_get_cumulated_in_effects_func = db_get_simple_cumulated_in_effects;

   db_put_cumulated_in_effects_func = db_put_simple_cumulated_in_effects;


   db_get_invariant_in_effects_func = db_get_simple_invariant_in_effects;

   db_put_invariant_in_effects_func = db_put_simple_invariant_in_effects;


   db_get_summary_in_effects_func = db_get_simple_summary_in_effects;

   db_put_summary_in_effects_func = db_put_simple_summary_in_effects;


   db_get_summary_out_effects_func = db_get_simple_summary_out_effects;

   db_put_summary_out_effects_func = db_put_simple_summary_out_effects;


   db_get_useful_variables_effects_func = db_get_null;

   db_put_useful_variables_effects_func = db_put_null;


   set_contracted_rw_effects(true);

   set_descriptor_range_p(false);

   set_methods_for_rw_effects_prettyprint(string_undefined);


   stmt_strongly_feasible_p_func = NULL;

 }


 void set_methods_for_inout_effects(const char* module_name __attribute__ ((unused)))

 {

   set_methods_for_simple_effects();


   /* for intermediate values ??? FC 15/05/2002

    * I'm not really sure it is actually useful for simple effects...

    */

   /*

   set_current_module_entity(module_name_to_entity(module_name));

   set_current_module_statement((statement)

         db_get_memory_resource(DBR_CODE, module_name, true) );


   set_cumulated_rw_effects((statement_effects)

      db_get_memory_resource(DBR_CUMULATED_EFFECTS, module_name, true));


   module_to_value_mappings(module_name_to_entity(module_name));


   reset_current_module_entity();

   reset_current_module_statement();

   */

 }


 void set_methods_for_live_paths(const char* module_name __attribute__ ((unused)))

 {

   set_methods_for_simple_effects();


   db_get_live_in_paths_func = db_get_simple_live_in_paths;

   db_put_live_in_paths_func = db_put_simple_live_in_paths;


   db_get_live_out_paths_func = db_get_simple_live_out_paths;

   db_put_live_out_paths_func = db_put_simple_live_out_paths;


   db_get_live_in_summary_paths_func = db_get_simple_live_in_summary_paths;

   db_put_live_in_summary_paths_func = db_put_simple_live_in_summary_paths;


   db_get_live_out_summary_paths_func = db_get_simple_live_out_summary_paths;

   db_put_live_out_summary_paths_func = db_put_simple_live_out_summary_paths;

 }


 void reset_methods_for_inout_effects()

 {

   /*

   reset_cumulated_rw_effects();

   free_value_mappings();

   */

 }


 void set_methods_for_rw_effects_prettyprint(const char* module_name __attribute__ ((unused)))

 {

   set_action_interpretation(ACTION_READ, ACTION_WRITE);

   effects_prettyprint_func = print_effects;

   effect_prettyprint_func = print_effect;

   effects_to_text_func = simple_rw_effects_to_text;

 }


 void set_methods_for_inout_effects_prettyprint(const char* module_name __attribute__ ((unused)))

 {

   set_action_interpretation(ACTION_IN, ACTION_OUT);

   effects_prettyprint_func = print_effects;

   effect_prettyprint_func = print_effect;

   effects_to_text_func = simple_inout_effects_to_text;

 }


 void set_methods_for_live_in_paths_prettyprint(const char* module_name __attribute__ ((unused)))

 {

   set_action_interpretation(ACTION_LIVE_IN, ACTION_WRITE);/* Live paths are read paths */

   effects_prettyprint_func = print_effects;

   effect_prettyprint_func = print_effect;

   effects_to_text_func = simple_live_in_paths_to_text;

 }


 void set_methods_for_live_out_paths_prettyprint(const char* module_name __attribute__ ((unused)))

 {

   set_action_interpretation(ACTION_LIVE_OUT, ACTION_WRITE);/* Live paths are read paths */

   effects_prettyprint_func = print_effects;

   effect_prettyprint_func = print_effect;

   effects_to_text_func = simple_live_out_paths_to_text;

 }


 void reset_methods_for_effects_prettyprint(const char* module_name __attribute__ ((unused)))

 {

     effects_prettyprint_func = (generic_prettyprint_function) abort;

     effect_prettyprint_func = (void (*) (effect)) abort;

     effects_to_text_func = (generic_text_function) abort;

     reset_action_interpretation();

 }

__attribute__
float a2sf[2] __attribute__((aligned(16)))
USER generates a user error (i.e., non fatal) by printing the given MSG according to the FMT.
Definition: 3dnow.h:3

free_effect
void free_effect(effect p)
Definition: effects.c:451

effect_consistent_p
bool effect_consistent_p(effect p)
Definition: effects.c:457

copy_effect
effect copy_effect(effect p)
EFFECT.
Definition: effects.c:448

database.h

effect
struct _newgen_struct_effect_ * effect
Definition: dg.h:21

DB_GETPUT_LS
#define DB_GETPUT_LS(name, NAME)
Definition: effects-generic-local.h:126

ACTION_WRITE
#define ACTION_WRITE
Definition: effects-generic-local.h:32

DB_GETNOPUT_SE
#define DB_GETNOPUT_SE(name, NAME)
Definition: effects-generic-local.h:125

ACTION_IN
#define ACTION_IN
Definition: effects-generic-local.h:33

ACTION_OUT
#define ACTION_OUT
Definition: effects-generic-local.h:34

ACTION_READ
#define ACTION_READ
Definition: effects-generic-local.h:31

generic_prettyprint_function
void(* generic_prettyprint_function)(list)
Definition: effects-generic-local.h:59

DB_GETNOPUT_LS
#define DB_GETNOPUT_LS(name, NAME)
Definition: effects-generic-local.h:127

DB_NOPUT_SE
#define DB_NOPUT_SE(name)
Definition: effects-generic-local.h:106

DB_GETPUT_SE
#define DB_GETPUT_SE(name, NAME)
Definition: effects-generic-local.h:124

with_points_to
@ with_points_to
Definition: effects-generic-local.h:131

with_no_pointer_info
@ with_no_pointer_info
Definition: effects-generic-local.h:131

with_pointer_values
@ with_pointer_values
Definition: effects-generic-local.h:131

DB_GET_SE
#define DB_GET_SE(name, NAME)
for db_* functions
Definition: effects-generic-local.h:64

generic_text_function
text(* generic_text_function)(list)
prettyprint function types:
Definition: effects-generic-local.h:58

ACTION_LIVE_IN
#define ACTION_LIVE_IN
Definition: effects-generic-local.h:38

ACTION_LIVE_OUT
#define ACTION_LIVE_OUT
Definition: effects-generic-local.h:39

effects-generic.h

load_undefined_transformer
transformer load_undefined_transformer(statement)

load_transformer_func
transformer(* load_transformer_func)(statement)

effect_union_op
effect(* effect_union_op)(effect, effect)

effects_sup_difference_op
list(* effects_sup_difference_op)(list, list, bool(*eff1_eff2_combinable_p)(effect, effect))

db_put_invariant_in_effects_func
void(* db_put_invariant_in_effects_func)(const char *, statement_effects)

fortran_effects_backward_translation_op
list(* fortran_effects_backward_translation_op)(entity, list, list, transformer)

db_get_invariant_in_effects_func
statement_effects(* db_get_invariant_in_effects_func)(const char *)

db_put_summary_in_effects_func
void(* db_put_summary_in_effects_func)(const char *, list)

db_put_in_effects_func
void(* db_put_in_effects_func)(const char *, statement_effects)

effects_undefined_vector_to_descriptor
descriptor effects_undefined_vector_to_descriptor(Pvecteur)

effects_to_may_effects
void effects_to_may_effects(list)

effect_to_constant_path_effects_func
list(* effect_to_constant_path_effects_func)(effect)

empty_context_test
bool(* empty_context_test)(transformer)

effects_intersection_op
list(* effects_intersection_op)(list, list, bool(*eff1_eff2_combinable_p)(effect, effect))

load_completed_transformer_func
transformer(* load_completed_transformer_func)(statement)

effects_descriptors_variable_change_nop
list effects_descriptors_variable_change_nop(list, entity, entity)

effect_nop
effect effect_nop(effect)

set_contracted_rw_effects
void set_contracted_rw_effects(bool)
rw_effects_engine.c

c_effects_on_formal_parameter_backward_translation_func
list(* c_effects_on_formal_parameter_backward_translation_func)(list, expression, transformer)

load_context_func
transformer(* load_context_func)(statement)

db_get_live_in_paths_func
statement_effects(* db_get_live_in_paths_func)(const char *)

effects_composition_with_preconditions_nop
list effects_composition_with_preconditions_nop(list, transformer, bool)

proper_to_summary_effect_func
effect(* proper_to_summary_effect_func)(effect)

effects_union_op
list(* effects_union_op)(list, list, bool(*eff1_eff2_combinable_p)(effect, effect))

db_put_rw_effects_func
void(* db_put_rw_effects_func)(const char *, statement_effects)

effect_descriptor_interprocedural_translation_op
void(* effect_descriptor_interprocedural_translation_op)(effect)

effects_undefined_descriptors_variable_change
list effects_undefined_descriptors_variable_change(list, entity, entity)

db_put_useful_variables_effects_func
void(* db_put_useful_variables_effects_func)(const char *, entity_effects)

effects_translation_end_func
void(* effects_translation_end_func)(void)

effects_descriptor_normalize_func
void(* effects_descriptor_normalize_func)(list)

get_pointer_info_kind
pointer_info_val get_pointer_info_kind(void)

effects_transformer_composition_op
list(* effects_transformer_composition_op)(list, transformer)

db_put_invariant_rw_effects_func
void(* db_put_invariant_rw_effects_func)(const char *, statement_effects)

db_get_invariant_rw_effects_func
statement_effects(* db_get_invariant_rw_effects_func)(const char *)

effect_to_store_independent_effect_list_func
list(* effect_to_store_independent_effect_list_func)(effect, bool)

effect_consistent_p_func
bool(* effect_consistent_p_func)(effect)

effect_to_constant_path_effects_with_no_pointer_information
list effect_to_constant_path_effects_with_no_pointer_information(effect)

loop_range_in_effect_func
void(* loop_range_in_effect_func)(loop, list *, list *, bool(*)(effect, effect), entity *, range)

reset_action_interpretation
void reset_action_interpretation(void)

db_get_live_out_paths_func
statement_effects(* db_get_live_out_paths_func)(const char *)

effects_composition_with_transformer_nop
list effects_composition_with_transformer_nop(list, transformer)

loop_descriptor_make_func
descriptor(* loop_descriptor_make_func)(loop)

effect_free_func
void(* effect_free_func)(effect eff)

effects_local_to_global_translation_op
list(* effects_local_to_global_translation_op)(list)

effects_union_over_range_nop
list effects_union_over_range_nop(list, entity, range, descriptor)

db_get_summary_in_effects_func
list(* db_get_summary_in_effects_func)(const char *)

reference_to_effect_func
effect(* reference_to_effect_func)(reference, action, bool)

db_get_out_effects_func
statement_effects(* db_get_out_effects_func)(const char *)

loop_undefined_descriptor_make
descriptor loop_undefined_descriptor_make(loop)

db_put_out_effects_func
void(* db_put_out_effects_func)(const char *, statement_effects)

effects_computation_no_init
void effects_computation_no_init(const char *)

set_descriptor_range_p
void set_descriptor_range_p(bool)

db_put_live_out_paths_func
void(* db_put_live_out_paths_func)(const char *, statement_effects)

effects_computation_init_func
void(* effects_computation_init_func)(const char *)

effects_to_text_func
text(* effects_to_text_func)(list)

db_get_summary_out_effects_func
list(* db_get_summary_out_effects_func)(const char *)

normalizable_and_linear_loop_p
bool normalizable_and_linear_loop_p(entity, range)

db_get_useful_variables_effects_func
entity_effects(* db_get_useful_variables_effects_func)(const char *)

db_put_live_in_summary_paths_func
void(* db_put_live_in_summary_paths_func)(const char *, list)

db_get_cumulated_in_effects_func
statement_effects(* db_get_cumulated_in_effects_func)(const char *)

db_put_live_out_summary_paths_func
void(* db_put_live_out_summary_paths_func)(const char *, list)

effects_test_union_op
list(* effects_test_union_op)(list, list, bool(*eff1_eff2_combinable_p)(effect, effect))

effects_translation_init_func
void(* effects_translation_init_func)(entity, list, bool)

set_action_interpretation
void set_action_interpretation(string, string)
prettyprint.c

effects_loop_normalize_func
list(* effects_loop_normalize_func)(list, entity, range, entity *, descriptor, bool)

effects_entities_intersection
list effects_entities_intersection(list, list, bool(*)(effect, effect))

effect_prettyprint_func
void(* effect_prettyprint_func)(effect)

set_contracted_proper_effects
void set_contracted_proper_effects(bool)
end of effects-generic-local.h

get_constant_paths_p
bool get_constant_paths_p(void)

db_put_summary_out_effects_func
void(* db_put_summary_out_effects_func)(const char *, list)

effects_undefined_loop_normalize
list effects_undefined_loop_normalize(list, entity, range, entity *, descriptor, bool)

effects_undefined_composition_with_transformer
list effects_undefined_composition_with_transformer(list, transformer)

effects_descriptors_variable_change_func
list(* effects_descriptors_variable_change_func)(list, entity, entity)

db_get_live_out_summary_paths_func
list(* db_get_live_out_summary_paths_func)(const char *)

effects_undefined_binary_operator
list effects_undefined_binary_operator(list, list, bool(*)(effect, effect))

vector_to_descriptor_func
descriptor(* vector_to_descriptor_func)(Pvecteur)

db_put_summary_rw_effects_func
void(* db_put_summary_rw_effects_func)(const char *, list)

effect_add_expression_dimension_func
void(* effect_add_expression_dimension_func)(effect eff, expression exp)

effects_loop_normalize_nop
list effects_loop_normalize_nop(list, entity, range, entity *, descriptor, bool)

db_get_live_in_summary_paths_func
list(* db_get_live_in_summary_paths_func)(const char *)

effects_computation_reset_func
void(* effects_computation_reset_func)(const char *)

db_put_cumulated_in_effects_func
void(* db_put_cumulated_in_effects_func)(const char *, statement_effects)

empty_context_test_false
bool empty_context_test_false(transformer)

effects_inf_difference_op
list(* effects_inf_difference_op)(list, list, bool(*eff1_eff2_combinable_p)(effect, effect))

effect_dup_func
effect(* effect_dup_func)(effect eff)

db_get_in_effects_func
statement_effects(* db_get_in_effects_func)(const char *)

load_undefined_context
transformer load_undefined_context(statement)

fortran_effects_forward_translation_op
list(* fortran_effects_forward_translation_op)(entity, list, list, transformer)

effect_change_ith_dimension_expression_func
void(* effect_change_ith_dimension_expression_func)(effect eff, expression exp, int i)

db_put_proper_rw_effects_func
void(* db_put_proper_rw_effects_func)(const char *, statement_effects)

r_w_combinable_p
bool r_w_combinable_p(effect, effect)

effects_computation_no_reset
void effects_computation_no_reset(const char *)

eval_cell_with_points_to_func
list(* eval_cell_with_points_to_func)(cell, descriptor, list, bool *, transformer)

effects_prettyprint_func
void(* effects_prettyprint_func)(list)

db_get_proper_rw_effects_func
statement_effects(* db_get_proper_rw_effects_func)(const char *)

effects_union_over_range_op
list(* effects_union_over_range_op)(list, entity, range, descriptor)

db_put_live_in_paths_func
void(* db_put_live_in_paths_func)(const char *, statement_effects)

effects_transformer_inverse_composition_op
list(* effects_transformer_inverse_composition_op)(list, transformer)

db_get_summary_rw_effects_func
list(* db_get_summary_rw_effects_func)(const char *)

stmt_strongly_feasible_p_func
bool(* stmt_strongly_feasible_p_func)(statement)

effects_precondition_composition_op
list(* effects_precondition_composition_op)(list, transformer, bool)

db_get_rw_effects_func
statement_effects(* db_get_rw_effects_func)(const char *)

c_effects_on_actual_parameter_forward_translation_func
list(* c_effects_on_actual_parameter_forward_translation_func)(entity, expression, entity, list, transformer)

EffectsMustUnion
list EffectsMustUnion(list l1, list l2, bool(*union_combinable_p)(effect, effect))
list EffectsMustUnion(list l1, list l2, union_combinable_p) input : two lists of effects output : a l...
Definition: binary_operators.c:126

EffectsMayUnion
list EffectsMayUnion(list l1, list l2, bool(*union_combinable_p)(effect, effect))
list EffectsMayUnion(list l1, list l2, union_combinable_p) input : two lists of effects output : a li...
Definition: binary_operators.c:87

ReferenceTestUnion
list ReferenceTestUnion(list l1, list l2, bool(*union_combinable_p)(effect, effect) __attribute__((unused)))
Definition: binary_operators.c:67

ReferenceUnion
list ReferenceUnion(list l1, list l2, bool(*union_combinable_p)(effect, effect) __attribute__((unused)))
package effect: new version by Beatrice Creusillet
Definition: binary_operators.c:60

ProperEffectsMustUnion
list ProperEffectsMustUnion(list l1, list l2, bool(*union_combinable_p)(effect, effect))
list EffectsMustUnion(list l1, list l2, union_combinable_p) input : two lists of effects output : a l...
Definition: binary_operators.c:107

EffectsInfDifference
list EffectsInfDifference(list l1, list l2, bool(*difference_combinable_p)(effect, effect))
list EffectsInfDifference(list l1, l2) input : two lists of effects output : a list of effect,...
Definition: binary_operators.c:462

EffectsSupDifference
list EffectsSupDifference(list l1, list l2, bool(*difference_combinable_p)(effect, effect))
list EffectsSupDifference(list l1, l2) input : two lists of effects output : a list of effect,...
Definition: binary_operators.c:438

effect_must_union
effect effect_must_union(effect eff1, effect eff2)
computes the must union of two combinable effects
Definition: binary_operators.c:272

proper_to_summary_simple_effect
effect proper_to_summary_simple_effect(effect eff)
FI: the goal is to get rid of array subscripts to handle the arrays atomically.
Definition: binary_operators.c:488

effects-simple.h

reference_to_reference_effect
effect reference_to_reference_effect(reference, action, bool)

reset_methods_for_inout_effects
void reset_methods_for_inout_effects(void)

simple_inout_effects_to_text
text simple_inout_effects_to_text(list)

set_methods_for_proper_simple_effects
void set_methods_for_proper_simple_effects(void)

effect_to_store_independent_sdfi_list
list effect_to_store_independent_sdfi_list(effect, bool)

proper_references
bool proper_references(const string)

simple_effect_descriptor_interprocedural_translation
void simple_effect_descriptor_interprocedural_translation(effect)

set_methods_for_inout_effects
void set_methods_for_inout_effects(const char *)

simple_rw_effects_to_text
text simple_rw_effects_to_text(list)
prettyprint.c

simple_effect_to_constant_path_effects_with_points_to
list simple_effect_to_constant_path_effects_with_points_to(effect)
Definition: eval.c:343

simple_effects_descriptor_normalize
void simple_effects_descriptor_normalize(list)

set_methods_for_proper_simple_pointer_effects
void set_methods_for_proper_simple_pointer_effects(void)

c_simple_effects_on_formal_parameter_backward_translation
list c_simple_effects_on_formal_parameter_backward_translation(list, expression, transformer)

simple_effect_change_ith_dimension_expression
void simple_effect_change_ith_dimension_expression(effect, expression, int)

simple_effect_add_expression_dimension
void simple_effect_add_expression_dimension(effect, expression)

simple_effect_to_constant_path_effects_with_pointer_values
list simple_effect_to_constant_path_effects_with_pointer_values(effect)
Definition: eval.c:206

effects_dynamic_elim
list effects_dynamic_elim(list)

simple_effects_translation_init
void simple_effects_translation_init(entity, list, bool)
interprocedural.c

c_simple_effects_on_actual_parameter_forward_translation
list c_simple_effects_on_actual_parameter_forward_translation(entity, expression, entity, list, transformer)

set_methods_for_proper_references
void set_methods_for_proper_references(void)
methods.c

reference_to_simple_effect
effect reference_to_simple_effect(reference, action, bool)
unary_operators.c

set_default_methods_for_proper_simple_effects
void set_default_methods_for_proper_simple_effects(void)

set_methods_for_live_in_paths_prettyprint
void set_methods_for_live_in_paths_prettyprint(const char *)

set_methods_for_simple_pointer_effects
void set_methods_for_simple_pointer_effects(void)

simple_effects_backward_translation
list simple_effects_backward_translation(entity, list, list, transformer)

simple_live_out_paths_to_text
text simple_live_out_paths_to_text(list)

reset_methods_for_effects_prettyprint
void reset_methods_for_effects_prettyprint(const char *)

simple_effect_dup
effect simple_effect_dup(effect)

set_methods_for_cumulated_references
void set_methods_for_cumulated_references(void)

set_methods_for_simple_effects
void set_methods_for_simple_effects(void)

simple_live_in_paths_to_text
text simple_live_in_paths_to_text(list)

eval_simple_cell_with_points_to
list eval_simple_cell_with_points_to(cell, descriptor, list, bool *, transformer)

cumulated_references
bool cumulated_references(const string)
interface.c

set_methods_for_live_paths
void set_methods_for_live_paths(const char *)

simple_effects_composition_with_effect_transformer
list simple_effects_composition_with_effect_transformer(list, transformer)

simple_effects_union_over_range
list simple_effects_union_over_range(list, entity, range, descriptor)

set_methods_for_live_out_paths_prettyprint
void set_methods_for_live_out_paths_prettyprint(const char *)

simple_effects_forward_translation
list simple_effects_forward_translation(entity, list, list, transformer)

set_methods_for_rw_effects_prettyprint
void set_methods_for_rw_effects_prettyprint(const char *)

simple_effects_translation_end
void simple_effects_translation_end(void)

set_methods_for_inout_effects_prettyprint
void set_methods_for_inout_effects_prettyprint(const char *)

effects-util.h

effects.h

entity_effects_undefined
#define entity_effects_undefined
Definition: effects.h:720

module_name
const char * module_name(const char *s)
Return the module part of an entity name.
Definition: entity_names.c:296

genC.h

gen_full_free_list
void gen_full_free_list(list l)
Definition: genClib.c:1023

loop_executed_never_p
bool loop_executed_never_p(loop l)
Check if loop bound are constant and then if upper < lower.
Definition: loop.c:971

loop_executed_at_least_once_p
bool loop_executed_at_least_once_p(loop l)
Check if loop bound are constant and then if upper >= lower.
Definition: loop.c:937

NIL
#define NIL
The empty list (nil in Lisp)
Definition: newgen_list.h:47

linear.h

_UNUSED_
#define _UNUSED_
Definition: misc-local.h:232

pips_debug
#define pips_debug
these macros use the GNU extensions that allow variadic macros, including with an empty list.
Definition: misc-local.h:145

pips_internal_error
#define pips_internal_error
Definition: misc-local.h:149

abort
#define abort()
Definition: misc-local.h:53

misc.h

string_undefined
#define string_undefined
Definition: newgen_types.h:40

pipsdbm.h

print_effect
#define print_effect(e)
Definition: print.c:336

print_effects
#define print_effects(e)
Definition: print.c:334

ri-util.h

ri.h

_newgen_struct_effect_
Definition: effects.h:630

_newgen_struct_entity_
Definition: ri.h:2778

_newgen_struct_entity_effects_
Definition: effects.h:736

_newgen_struct_loop_
Definition: ri.h:1628

_newgen_struct_range_
Definition: ri.h:2279

cons
The structure used to build lists in NewGen.
Definition: newgen_list.h:41