alias-classes.h File Reference

#include "points_to_private.h"
#include "effects.h"

Include dependency graph for alias-classes.h:

This graph shows which files directly or indirectly include this file:

Go to the source code of this file.

Macros
#define	SEQUENTIAL_POINTS_TO_SETS_SUFFIX   ".pt"
	Warning! Do not modify this file that is automatically generated! More...
#define	USER_POINTS_TO_SETS_SUFFIX   ".upt"
#define	pt_map_undefined   points_to_graph_undefined
#define	pt_map_undefined_p(pt)   ((pt)==points_to_graph_undefined)
#define	new_pt_map()   make_points_to_graph(false, set_generic_make(set_private, points_to_equal_p, points_to_rank))
#define	new_simple_pt_map()   set_generic_make(set_private, points_to_equal_p, points_to_rank)
#define	assign_pt_map(x, y)   ((void) set_assign(points_to_graph_set(x), points_to_graph_set(y)), (x))
#define	clear_pt_map(pt)   set_clear(points_to_graph_set(pt))
#define	free_pt_map(pt)   free_points_to_graph(pt)
#define	print_pt_map(pt)   print_points_to_set("", points_to_graph_set(pt));
#define	free_pt_maps   free_points_to_graph_sets
#define	union_of_pt_maps(pt1, pt2, pt3)
#define	difference_of_pt_maps(pt1, pt2, pt3)
#define	empty_pt_map_p(s)   set_empty_p(points_to_graph_set(s))
#define	consistent_pt_map_p(s)   consistent_points_to_graph_p(s)
#define	source_in_pt_map_p(cell, set)   source_in_set_p(cell,points_to_graph_set(set))
#define	add_arc_to_pt_map(a, s)   (set_add_element((set) points_to_graph_set(s), (set) points_to_graph_set(s), (void *) a), (s))
#define	add_arc_to_simple_pt_map(a, s)   set_add_element((set) s, (set) s, (void *) a)
#define	remove_arc_from_pt_map(a, s)   (set_del_element((set) points_to_graph_set(s), (set) points_to_graph_set(s), (void *) a), (s))
#define	remove_arc_from_simple_pt_map(a, s)   set_del_element((set) s, (set) s, (void *) a)

Typedefs
typedef points_to_graph	pt_map

Functions
bool	in_alias_pairs (const string)
	cproto-generated files More...
bool	out_alias_pairs (const char *)
	top-level creation of pairs of aliases of OUT regions of the module modifies global vars callee, list_regions_callee, list_pairs and current_caller_stmt More...
bool	alias_lists (const string)
	alias_lists.c More...
bool	alias_classes (const char *)
	alias_classes.c More...
bool	print_in_alias_pairs (const char *)
	prettyprint.c More...
bool	print_out_alias_pairs (const char *)
bool	print_alias_lists (const char *)
bool	print_alias_classes (const char *)

Macro Definition Documentation

add_arc_to_pt_map

#define add_arc_to_pt_map	(		a,
			s
	)		(set_add_element((set) points_to_graph_set(s), (set) points_to_graph_set(s), (void *) a), (s))

Definition at line 94 of file alias-classes.h.

add_arc_to_simple_pt_map

#define add_arc_to_simple_pt_map	(		a,
			s
	)		set_add_element((set) s, (set) s, (void *) a)

Definition at line 95 of file alias-classes.h.

assign_pt_map

#define assign_pt_map	(		x,
			y
	)		((void) set_assign(points_to_graph_set(x), points_to_graph_set(y)), (x))

Definition at line 72 of file alias-classes.h.

clear_pt_map

#define clear_pt_map

(

pt

)

set_clear(points_to_graph_set(pt))

Definition at line 73 of file alias-classes.h.

consistent_pt_map_p

#define consistent_pt_map_p

(

s

)

consistent_points_to_graph_p(s)

Definition at line 90 of file alias-classes.h.

difference_of_pt_maps

#define difference_of_pt_maps	(		pt1,
			pt2,
			pt3
	)

Value:

  set_difference(points_to_graph_set(pt1), \
                 points_to_graph_set(pt2), \
                 points_to_graph_set(pt3))

Definition at line 83 of file alias-classes.h.

empty_pt_map_p

#define empty_pt_map_p

(

s

)

set_empty_p(points_to_graph_set(s))

Definition at line 88 of file alias-classes.h.

free_pt_map

#define free_pt_map

(

pt

)

free_points_to_graph(pt)

Definition at line 75 of file alias-classes.h.

free_pt_maps

#define free_pt_maps   free_points_to_graph_sets

Definition at line 78 of file alias-classes.h.

new_pt_map

#define new_pt_map

(

)

make_points_to_graph(false, set_generic_make(set_private, points_to_equal_p, points_to_rank))

Definition at line 70 of file alias-classes.h.

new_simple_pt_map

#define new_simple_pt_map

(

)

set_generic_make(set_private, points_to_equal_p, points_to_rank)

Definition at line 71 of file alias-classes.h.

print_pt_map

#define print_pt_map

(

pt

)

print_points_to_set("", points_to_graph_set(pt));

Definition at line 76 of file alias-classes.h.

pt_map_undefined

#define pt_map_undefined   points_to_graph_undefined

Definition at line 68 of file alias-classes.h.

pt_map_undefined_p

#define pt_map_undefined_p

(

pt

)

((pt)==points_to_graph_undefined)

Definition at line 69 of file alias-classes.h.

remove_arc_from_pt_map

#define remove_arc_from_pt_map	(		a,
			s
	)		(set_del_element((set) points_to_graph_set(s), (set) points_to_graph_set(s), (void *) a), (s))

Definition at line 98 of file alias-classes.h.

remove_arc_from_simple_pt_map

#define remove_arc_from_simple_pt_map	(		a,
			s
	)		set_del_element((set) s, (set) s, (void *) a)

Definition at line 99 of file alias-classes.h.

SEQUENTIAL_POINTS_TO_SETS_SUFFIX

#define SEQUENTIAL_POINTS_TO_SETS_SUFFIX   ".pt"

Warning! Do not modify this file that is automatically generated!

Modify src/Libs/alias-classes/alias-classes-local.h instead, to add your own modifications. header file built by cproto alias_classes-local.h

Definition at line 34 of file alias-classes.h.

source_in_pt_map_p

#define source_in_pt_map_p	(		cell,
			set
	)		source_in_set_p(cell,points_to_graph_set(set))

Definition at line 92 of file alias-classes.h.

union_of_pt_maps

#define union_of_pt_maps	(		pt1,
			pt2,
			pt3
	)

Value:

                                                  set_union(points_to_graph_set(pt1), \
                                                  points_to_graph_set(pt2), \
                                                  points_to_graph_set(pt3))

Definition at line 80 of file alias-classes.h.

USER_POINTS_TO_SETS_SUFFIX

#define USER_POINTS_TO_SETS_SUFFIX   ".upt"

Definition at line 35 of file alias-classes.h.

Typedef Documentation

pt_map

typedef points_to_graph pt_map

Definition at line 67 of file alias-classes.h.

Function Documentation

alias_classes()

bool alias_classes

(

const char *

module_name

)

alias_classes.c

ATTENTION: we have to do ALL this just to call print_inout_regions for debug !!

and this to call print_region set_action_interpretation(ACTION_IN,ACTION_OUT);

that's it, but we musn't forget to reset everything below

ifdebug(9) { pips_debug(9,"add list:\n"); print_inout_regions(module_alias_list); }

Parameters

module_name

odule_name

Definition at line 514 of file alias_classes.c.

{
    entity module;
    list module_alias_lists;
 
    debug_on("ALIAS_CLASSES_DEBUG_LEVEL");
    pips_debug(4,"begin for module %s\n",module_name);
    ifdebug(4)
        {
            /* ATTENTION: we have to do ALL this
             * just to call print_inout_regions for debug !!
             */
            set_current_module_entity(
                local_name_to_top_level_entity(module_name) );
            module = get_current_module_entity();
            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));
            set_proper_rw_effects((statement_effects)
                                     db_get_memory_resource(
                                         DBR_PROPER_EFFECTS,
                                         module_name,
                                         true));
            module_to_value_mappings(module);
            /* and this to call print_region
            set_action_interpretation(ACTION_IN,ACTION_OUT);     */    
            /* that's it, but we musn't forget to reset everything below */
        }
 
    l_alias_lists = NIL;
    l_alias_classes = NIL;
    l_lists = NIL;
 
    module_alias_lists =
        effects_classes_classes((effects_classes)
                                db_get_memory_resource(DBR_ALIAS_LISTS,
                                                       module_name,
                                                       true));
    MAP(EFFECTS,module_alias_list_effects,
            {
                list module_alias_list =
                    effects_effects(module_alias_list_effects);
 
/*              ifdebug(9)
                    {
                        pips_debug(9,"add list:\n");
                        print_inout_regions(module_alias_list);
                    }
                    */
                l_alias_lists = CONS(LIST,module_alias_list,l_alias_lists);
            },module_alias_lists);
 
    ifdebug(9)
        {
            pips_debug(9,"alias lists:\n");
            MAP(LIST,alias_list,
                {
                    print_inout_regions(alias_list);
                    pips_debug(9,"---\n");
                },
                    l_alias_lists);
        }
 
    unite_lists_with_same_head();
 
    ifdebug(9)
        {
            pips_debug(9,"new lists:\n");
            MAP(LIST,alias_list,
                {
                    print_inout_regions(alias_list);                
                    pips_debug(9,"---\n");
                },
                    l_lists);
        }
 
    unite_lists_containing_same_exact_region();
 
    ifdebug(9)
        {
            pips_debug(9,"classes:\n");
            MAP(EFFECTS,alias_class,
                {
                    print_inout_regions(effects_effects(alias_class));
                },
                    l_alias_classes);
        }
 
    DB_PUT_MEMORY_RESOURCE(DBR_ALIAS_CLASSES, 
                           strdup(module_name),
                           (char*) make_effects_classes(l_alias_classes));    
 
    ifdebug(4)
        {
            free_value_mappings();
            reset_current_module_statement();
            reset_cumulated_rw_effects();
            reset_proper_rw_effects();
            reset_current_module_entity();
        }
    pips_debug(4,"end\n");
    debug_off();
 
    return true;
}

References CONS, db_get_memory_resource(), DB_PUT_MEMORY_RESOURCE, debug_off, debug_on, EFFECTS, effects_classes_classes, effects_effects, free_value_mappings(), get_current_module_entity(), ifdebug, l_alias_classes, l_alias_lists, l_lists, LIST, local_name_to_top_level_entity(), make_effects_classes(), MAP, module, module_name(), module_to_value_mappings(), NIL, pips_debug, print_inout_regions(), reset_cumulated_rw_effects(), reset_current_module_entity(), reset_current_module_statement(), reset_proper_rw_effects(), set_cumulated_rw_effects(), set_current_module_entity(), set_current_module_statement(), set_proper_rw_effects(), strdup(), unite_lists_containing_same_exact_region(), and unite_lists_with_same_head().

Here is the call graph for this function:

alias_lists()

bool alias_lists

(

const string

module_name

)

alias_lists.c

alias_lists.c

ATTENTION: we have to do ALL this just to call print_inout_regions for debug !!

that's it, but we musn't forget to reset everything below

make alias lists from the IN_alias_pairs

DBR_IN_ALIAS_PAIRS is a newgen structure of type effects_classes which has one field called classes which is a list of newgen structures of type effects (and each newgen structure of type effects has one field called effects which is a list of elements of type effect)

wrong but did work:

in_alias_pairs = effects_to_list((effects) db_get_memory_resource(DBR_IN_ALIAS_PAIRS, module_name, true));

MAP(LIST, alias_pair, { list in_alias_pair = regions_dup(alias_pair);

make alias lists from the OUT_alias_pairs

MAP(LIST, alias_pair, { list out_alias_pair = regions_dup(alias_pair);

Parameters

module_name

odule_name

Definition at line 328 of file alias_lists.c.

    {
    list in_alias_pairs, out_alias_pairs;
    entity module;
 
    l_alias_lists = NIL;
    unmatched_alias_pairs = NIL;
 
    debug_on("ALIAS_LISTS_DEBUG_LEVEL");
    pips_debug(4,"begin for module %s\n",module_name);
 
    ifdebug(1)
        {
            /* ATTENTION: we have to do ALL this
             * just to call print_inout_regions for debug !!
             */
            set_current_module_entity(
                local_name_to_top_level_entity(module_name) );
            module = get_current_module_entity();
            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));
            set_proper_rw_effects((statement_effects)
                                     db_get_memory_resource(
                                         DBR_CUMULATED_EFFECTS,
                                         module_name,
                                         true));
            module_to_value_mappings(module);
            /* that's it, but we musn't forget to reset everything below */
        }
 
    /* make alias lists from the IN_alias_pairs */
 
    /* DBR_IN_ALIAS_PAIRS is a newgen structure of type effects_classes
     * which has one field called classes
     * which is a list of newgen structures of type effects
     * (and each newgen structure of type effects
     * has one field called effects which is a list of elements
     * of type effect)
     */
 
    in_alias_pairs =
        effects_classes_classes((effects_classes)
                                db_get_memory_resource(DBR_IN_ALIAS_PAIRS,
                                                       module_name,
                                                       true));
 
 
/* wrong but did work:
 
    in_alias_pairs =
        effects_to_list((effects)
                        db_get_memory_resource(DBR_IN_ALIAS_PAIRS,
                                               module_name,
                                               true));
*/
 
/*    MAP(LIST, alias_pair,
        {
            list in_alias_pair = regions_dup(alias_pair);
            */
 
    MAP(EFFECTS, alias_pair_effects,
        {
            list alias_pair = effects_effects(alias_pair_effects);
 
            ifdebug(9)
                {
                    pips_debug(9,"IN alias pair : \n");
                    print_inout_regions(alias_pair);
                }
            unmatched_alias_pairs =
                CONS(LIST,alias_pair,unmatched_alias_pairs);
        },in_alias_pairs);
 
    /* make alias lists from the OUT_alias_pairs */
    out_alias_pairs =
        effects_classes_classes((effects_classes)
                                db_get_memory_resource(DBR_OUT_ALIAS_PAIRS,
                                                       module_name,
                                                       true));
 
/*    MAP(LIST, alias_pair,
        {
            list out_alias_pair = regions_dup(alias_pair);*/
 
    MAP(EFFECTS, alias_pair_effects,
        {
            list alias_pair = effects_effects(alias_pair_effects);
 
            ifdebug(9)
                {
                    pips_debug(9,"OUT alias pair : \n");
                    print_inout_regions(alias_pair);
                }
 
            unmatched_alias_pairs =
                CONS(LIST,alias_pair,unmatched_alias_pairs);
        },out_alias_pairs);
 
    ifdebug(9)
        {
            pips_debug(9,"unmatched_alias_pairs:\n");
            MAP(LIST,alias_pair,
                {
                    print_inout_regions(alias_pair);
                    pips_debug(9,"---\n");
                },unmatched_alias_pairs);
        }
 
    add_alias_lists_callees(module_name);
 
    ifdebug(9)
        {
            pips_debug(9,"l_alias_lists:\n");
            MAP(EFFECTS,alias_list,
                {
                    print_inout_regions(effects_effects(alias_list));
                    pips_debug(9,"---\n");
                },l_alias_lists);
            pips_debug(9,"matched_alias_pairs:\n");
            MAP(LIST,alias_pair,
                {
                    print_inout_regions(alias_pair);
                    pips_debug(9,"---\n");
                },matched_alias_pairs);
            pips_debug(9,"unmatched_alias_pairs:\n");
            MAP(LIST,alias_pair,
                {
                    print_inout_regions(alias_pair);
                    pips_debug(9,"---\n");
                },unmatched_alias_pairs);
        }
 
    add_unmatched_alias_pairs();
 
    ifdebug(9)
        {
            pips_debug(9,"l_alias_lists:\n");
            MAP(EFFECTS,alias_list,
                {
                    print_inout_regions(effects_effects(alias_list));
                    pips_debug(9,"---\n");
                },l_alias_lists);
            }
 
    DB_PUT_MEMORY_RESOURCE(DBR_ALIAS_LISTS, 
                           strdup(module_name),
                           (char*) make_effects_classes(l_alias_lists));    
 
    ifdebug(1)
        {
            free_value_mappings();
            reset_current_module_statement();
            reset_cumulated_rw_effects();
            reset_proper_rw_effects();
            reset_current_module_entity();
        }
    pips_debug(4,"end\n");
    debug_off();
 
    return(true);
}

References add_alias_lists_callees(), add_unmatched_alias_pairs(), CONS, db_get_memory_resource(), DB_PUT_MEMORY_RESOURCE, debug_off, debug_on, EFFECTS, effects_classes_classes, effects_effects, free_value_mappings(), get_current_module_entity(), ifdebug, in_alias_pairs(), l_alias_lists, LIST, local_name_to_top_level_entity(), make_effects_classes(), MAP, matched_alias_pairs, module, module_name(), module_to_value_mappings(), NIL, out_alias_pairs(), pips_debug, print_inout_regions(), reset_cumulated_rw_effects(), reset_current_module_entity(), reset_current_module_statement(), reset_proper_rw_effects(), set_cumulated_rw_effects(), set_current_module_entity(), set_current_module_statement(), set_proper_rw_effects(), strdup(), and unmatched_alias_pairs.

Referenced by alias_classes(), and aliases_text().

Here is the call graph for this function:

Here is the caller graph for this function:

in_alias_pairs()

bool in_alias_pairs

(

const string

module_name

)

cproto-generated files

alias_pairs.c

cproto-generated files

we need the IN summary regions

was (but didn't work) l_reg = (list) db_get_memory_resource(DBR_IN_SUMMARY_REGIONS, module_name, true);

Parameters

module_name

odule_name

Definition at line 587 of file alias_pairs.c.

{
    list l_reg, l_pairs;
 
    debug_on("ALIAS_PAIRS_DEBUG_LEVEL");
    pips_debug(4,"begin for module %s\n",module_name);
 
    /* we need the IN summary regions*/
    l_reg = effects_to_list((effects)
                            db_get_memory_resource(DBR_IN_SUMMARY_REGIONS,
                                          module_name,
                                          true));
 
/* was (but didn't work)
    l_reg = (list) db_get_memory_resource(DBR_IN_SUMMARY_REGIONS,
                                          module_name,
                                          true);
                                          */
    
    l_pairs = alias_pairs(module_name, l_reg);
 
    DB_PUT_MEMORY_RESOURCE(DBR_IN_ALIAS_PAIRS, 
                           strdup(module_name),
                           (char*) make_effects_classes(l_pairs));
 
    pips_debug(4,"end\n");
    debug_off();
 
    return(true);
 
}

References alias_pairs(), db_get_memory_resource(), DB_PUT_MEMORY_RESOURCE, debug_off, debug_on, effects_to_list(), make_effects_classes(), module_name(), pips_debug, and strdup().

Referenced by alias_lists().

Here is the call graph for this function:

Here is the caller graph for this function:

out_alias_pairs()

bool out_alias_pairs

(

const char *

module_name

)

top-level creation of pairs of aliases of OUT regions of the module modifies global vars callee, list_regions_callee, list_pairs and current_caller_stmt

we need the OUT summary regions

was (but didn't work) l_reg = (list) db_get_memory_resource(DBR_OUT_SUMMARY_REGIONS, module_name, true);

Parameters

module_name

odule_name

Definition at line 623 of file alias_pairs.c.

{
    list l_reg, l_pairs;
 
    debug_on("ALIAS_PAIRS_DEBUG_LEVEL");
    pips_debug(4,"begin for module %s\n",module_name);
 
    /* we need the OUT summary regions*/
    l_reg = effects_to_list((effects)
                            db_get_memory_resource(DBR_OUT_SUMMARY_REGIONS,
                                          module_name,
                                          true));
 
/* was (but didn't work)
    l_reg = (list) db_get_memory_resource(DBR_OUT_SUMMARY_REGIONS,
                                          module_name,
                                          true);
                                          */
 
    
    l_pairs = alias_pairs(module_name, l_reg);
 
    DB_PUT_MEMORY_RESOURCE(DBR_OUT_ALIAS_PAIRS, 
                           strdup(module_name),
                           (char*) make_effects_classes(l_pairs));
 
    pips_debug(4,"end\n");
    debug_off();
 
    return(true);
 
}

References alias_pairs(), db_get_memory_resource(), DB_PUT_MEMORY_RESOURCE, debug_off, debug_on, effects_to_list(), make_effects_classes(), module_name(), pips_debug, and strdup().

Referenced by alias_lists().

Here is the call graph for this function:

Here is the caller graph for this function:

print_alias_classes()

bool print_alias_classes

(

const char *

module_name

)

Parameters

module_name

odule_name

Definition at line 319 of file prettyprint.c.

{
    bool success = true;
 
    debug_on("ALIAS_CLASSES_DEBUG_LEVEL");
    pips_debug(4,"module %s\n",module_name);
 
 
    success = print_aliases(module_name,DBR_ALIAS_CLASSES,".alias_classes");
 
    pips_debug(4,"end\n");
    debug_off();
 
    return success;
}

References debug_off, debug_on, module_name(), pips_debug, and print_aliases().

Here is the call graph for this function:

print_alias_lists()

bool print_alias_lists

(

const char *

module_name

)

Parameters

module_name

odule_name

Definition at line 304 of file prettyprint.c.

{
    bool success = true;
 
    debug_on("ALIAS_LISTS_DEBUG_LEVEL");
    pips_debug(4,"module %s\n",module_name);
 
    success = print_aliases(module_name,DBR_ALIAS_LISTS,".alias_lists");
 
    pips_debug(4,"end\n");
    debug_off();
 
    return success;
}

References debug_off, debug_on, module_name(), pips_debug, and print_aliases().

Here is the call graph for this function:

print_in_alias_pairs()

bool print_in_alias_pairs

(

const char *

module_name

)

prettyprint.c

Parameters

module_name

odule_name

Definition at line 273 of file prettyprint.c.

{
    bool success = true;
 
    debug_on("ALIAS_PAIRS_DEBUG_LEVEL");
    pips_debug(4,"module %s\n",module_name);
 
    success = print_aliases(module_name,DBR_IN_ALIAS_PAIRS,".in_alias");
 
    pips_debug(4,"end\n");
    debug_off();
 
    return success;
}

References debug_off, debug_on, module_name(), pips_debug, and print_aliases().

Here is the call graph for this function:

print_out_alias_pairs()

bool print_out_alias_pairs

(

const char *

module_name

)

Parameters

module_name

odule_name

Definition at line 289 of file prettyprint.c.

{
    bool success = true;
 
    debug_on("ALIAS_PAIRS_DEBUG_LEVEL");
    pips_debug(4,"module %s\n",module_name);
 
    success = print_aliases(module_name,DBR_OUT_ALIAS_PAIRS,".out_alias");
 
    pips_debug(4,"end\n");
    debug_off();
 
    return success;
}

References debug_off, debug_on, module_name(), pips_debug, and print_aliases().

Here is the call graph for this function: