pointer_values.c File Reference

#include <stdio.h>
#include <string.h>
#include "genC.h"
#include "linear.h"
#include "ri.h"
#include "ri-util.h"
#include "effects.h"
#include "effects-util.h"
#include "misc.h"

Include dependency graph for pointer_values.c:

Go to the source code of this file.

Functions
entity	undefined_pointer_value_entity ()
	pointer_values.c More...
cell	make_undefined_pointer_value_cell ()
bool	undefined_pointer_value_entity_p (entity e)
bool	undefined_pointer_value_cell_p (cell c)
entity	null_pointer_value_entity ()
cell	make_null_pointer_value_cell ()
bool	null_pointer_value_entity_p (entity e)
bool	null_pointer_value_cell_p (cell c)
bool	abstract_pointer_value_entity_p (entity e)
bool	abstract_pointer_value_cell_p (cell c)
cell_relation	make_value_of_pointer_value (cell c1, cell c2, tag app_tag, descriptor d)
cell_relation	make_address_of_pointer_value (cell c1, cell c2, tag app_tag, descriptor d)
bool	pv_cells_syntactically_equal_p (cell_relation pv1, cell_relation pv2)
bool	pv_cells_mergeable_p (cell_relation pv1, cell_relation pv2)

Function Documentation

abstract_pointer_value_cell_p()

bool abstract_pointer_value_cell_p

(

cell

c

)

Definition at line 121 of file pointer_values.c.

{
  return (abstract_pointer_value_entity_p(cell_entity(c)));
}

References abstract_pointer_value_entity_p(), and cell_entity().

Referenced by kill_pointer_value().

Here is the call graph for this function:

Here is the caller graph for this function:

abstract_pointer_value_entity_p()

bool abstract_pointer_value_entity_p

(

entity

e

)

Definition at line 115 of file pointer_values.c.

{
  return (undefined_pointer_value_entity_p(e)
          || null_pointer_value_entity_p(e));
}

References null_pointer_value_entity_p(), and undefined_pointer_value_entity_p().

Referenced by abstract_pointer_value_cell_p().

Here is the call graph for this function:

Here is the caller graph for this function:

make_address_of_pointer_value()

cell_relation make_address_of_pointer_value	(	cell	c1,
		cell	c2,
		tag	app_tag,
		descriptor	d
	)

Parameters

c1	1
c2	2
app_tag	pp_tag

Definition at line 142 of file pointer_values.c.

{
  interpreted_cell ic1 = make_interpreted_cell(c1, make_cell_interpretation_value_of());
  interpreted_cell ic2 = make_interpreted_cell(c2, make_cell_interpretation_address_of());
  cell_relation pv = make_cell_relation(ic1, ic2, make_approximation(app_tag, UU), d);
  return(pv);
}

References make_approximation(), make_cell_interpretation_address_of(), make_cell_interpretation_value_of(), make_cell_relation(), make_interpreted_cell(), and UU.

Referenced by make_anywhere_anywhere_pvs(), make_simple_pv_from_simple_effects(), module_initial_parameter_pv(), simple_pv_may_union(), simple_pv_must_union(), and simple_pv_translate().

Here is the call graph for this function:

Here is the caller graph for this function:

make_null_pointer_value_cell()

cell make_null_pointer_value_cell

(

void

)

Definition at line 93 of file pointer_values.c.

{
  entity u = null_pointer_value_entity();
  return make_cell_reference(make_reference(u, NIL));
}

References make_cell_reference(), make_reference(), NIL, and null_pointer_value_entity().

Referenced by call_to_post_pv(), expression_to_post_pv(), null_to_sinks(), pointer_formal_parameter_to_stub_points_to(), and reference_condition_to_points_to().

Here is the call graph for this function:

Here is the caller graph for this function:

make_undefined_pointer_value_cell()

cell make_undefined_pointer_value_cell

(

void

)

Definition at line 62 of file pointer_values.c.

{
  entity u = undefined_pointer_value_entity();
  return make_cell_reference(make_reference(u, NIL));
}

References make_cell_reference(), make_reference(), NIL, and undefined_pointer_value_entity().

Referenced by expression_to_post_pv(), free_to_post_pv(), make_simple_pv_from_simple_effects(), and pointer_values_remove_var().

Here is the call graph for this function:

Here is the caller graph for this function:

make_value_of_pointer_value()

cell_relation make_value_of_pointer_value	(	cell	c1,
		cell	c2,
		tag	app_tag,
		descriptor	d
	)

Parameters

c1	1
c2	2
app_tag	pp_tag

Definition at line 129 of file pointer_values.c.

{
  interpreted_cell ic1 = make_interpreted_cell(c1, make_cell_interpretation_value_of());
  interpreted_cell ic2 = make_interpreted_cell(c2, make_cell_interpretation_value_of());
  cell_relation pv = cell_relation_undefined;
 
  if (null_pointer_value_cell_p(c1) || undefined_pointer_value_cell_p(c1))
      pv = make_cell_relation(ic2, ic1, make_approximation(app_tag, UU), d);
  else
    pv = make_cell_relation(ic1, ic2, make_approximation(app_tag, UU), d);
  return(pv);
}

References cell_relation_undefined, make_approximation(), make_cell_interpretation_value_of(), make_cell_relation(), make_interpreted_cell(), null_pointer_value_cell_p(), undefined_pointer_value_cell_p(), and UU.

Referenced by kill_pointer_value(), make_simple_pv_from_simple_effects(), and simple_pv_translate().

Here is the call graph for this function:

Here is the caller graph for this function:

null_pointer_value_cell_p()

bool null_pointer_value_cell_p

(

cell

c

)

Definition at line 104 of file pointer_values.c.

{
  reference r;
  if (cell_gap_p(c)) return false;
  else if (cell_reference_p(c))
    r = cell_reference(c);
  else
    r = preference_reference(cell_preference(c));
  return(null_pointer_value_entity_p(reference_variable(r)));
}

References cell_gap_p, cell_preference, cell_reference, cell_reference_p, null_pointer_value_entity_p(), preference_reference, and reference_variable.

Referenced by generic_effect_find_aliases_with_simple_pointer_values(), generic_effect_find_equivalent_simple_pointer_values(), make_value_of_pointer_value(), multiple_pointer_assignment_to_post_pv(), single_pointer_assignment_to_post_pv(), and source_to_sinks().

Here is the call graph for this function:

Here is the caller graph for this function:

null_pointer_value_entity()

entity null_pointer_value_entity

(

void

)

Definition at line 87 of file pointer_values.c.

{
  return entity_null_locations();
}

References entity_null_locations().

Referenced by declaration_to_post_pv(), make_null_pointer_value_cell(), and pointer_expression_to_transformer().

Here is the call graph for this function:

Here is the caller graph for this function:

null_pointer_value_entity_p()

bool null_pointer_value_entity_p

(

entity

e

)

Definition at line 99 of file pointer_values.c.

{
  return entity_null_locations_p(e);
}

References entity_null_locations_p().

Referenced by abstract_pointer_value_entity_p(), convex_effect_to_constant_path_effects_with_pointer_values(), external_value_name(), have_null_value_in_pointer_expression_p(), null_pointer_value_cell_p(), pips_user_value_name(), and simple_effect_to_constant_path_effects_with_pointer_values().

Here is the call graph for this function:

Here is the caller graph for this function:

pv_cells_mergeable_p()

bool pv_cells_mergeable_p	(	cell_relation	pv1,
		cell_relation	pv2
	)

value_of pvs, try to see if their cells are inverted

Parameters

pv1	v1
pv2	v2

Definition at line 230 of file pointer_values.c.

{
 
 
  bool value_of_1_p = cell_relation_second_value_of_p(pv1);
  bool value_of_2_p = cell_relation_second_value_of_p(pv1);
 
  if ( (value_of_1_p && !value_of_2_p) || (value_of_2_p && !value_of_1_p))
    return false;
 
  cell c_first_1 = cell_relation_first_cell(pv1);
  cell c_second_1 = cell_relation_second_cell(pv1);
 
  cell c_first_2 = cell_relation_first_cell(pv2);
  cell c_second_2 = cell_relation_second_cell(pv2);
 
  int n_first_first = cell_compare(&c_first_1, &c_first_2);
 
  if (n_first_first == 0)
    {
      int n_second_second = cell_compare(&c_second_1, &c_second_2);
      
      if (n_second_second != 0)
        {
          if (cell_entity(c_second_1) != cell_entity(c_second_2)
              || (gen_length(reference_indices(cell_any_reference(c_second_1)))
                  != gen_length(reference_indices(cell_any_reference(c_second_2)))))
            return false;
        }
    }
  else
    {
      if (!value_of_1_p)
        return false;
      else /* value_of pvs, try to see if their cells are inverted */
        {
          int n_first_second = cell_compare(&c_first_1, &c_second_2);
          if (n_first_second == 0)
            {
              int n_second_first = cell_compare(&c_second_1, &c_first_2);
              
              if (n_second_first != 0)
                return false;
            }   
          else
            return false;
          
        }
    }
  
  descriptor d1 = cell_relation_descriptor(pv1);
  descriptor d2 = cell_relation_descriptor(pv1);
 
  if (descriptor_none_p(d1) && descriptor_none_p(d2))
    {
      return true;
    }
  else
    pips_internal_error("Convex pointer_values not implemented yet");
  
  return false;
}

References cell_any_reference(), cell_compare(), cell_entity(), cell_relation_descriptor, cell_relation_first_cell, cell_relation_second_cell, cell_relation_second_value_of_p, descriptor_none_p, gen_length(), pips_internal_error, and reference_indices.

Referenced by pvs_union_combinable_p().

Here is the call graph for this function:

Here is the caller graph for this function:

pv_cells_syntactically_equal_p()

bool pv_cells_syntactically_equal_p	(	cell_relation	pv1,
		cell_relation	pv2
	)

value_of pvs, try to see if their cells are inverted

Parameters

pv1	v1
pv2	v2

Definition at line 162 of file pointer_values.c.

{
 
 
  bool value_of_1_p = cell_relation_second_value_of_p(pv1);
  bool value_of_2_p = cell_relation_second_value_of_p(pv1);
 
  if ( (value_of_1_p && !value_of_2_p) || (value_of_2_p && !value_of_1_p))
    return false;
 
  cell c_first_1 = cell_relation_first_cell(pv1);
  cell c_second_1 = cell_relation_second_cell(pv1);
 
  cell c_first_2 = cell_relation_first_cell(pv2);
  cell c_second_2 = cell_relation_second_cell(pv2);
 
  int n_first_first = cell_compare(&c_first_1, &c_first_2);
 
  if (n_first_first == 0)
    {
      int n_second_second = cell_compare(&c_second_1, &c_second_2);
      
      if (n_second_second != 0)
        return false;
    }
  else
    {
      if (!value_of_1_p)
        return false;
      else /* value_of pvs, try to see if their cells are inverted */
        {
          int n_first_second = cell_compare(&c_first_1, &c_second_2);
          if (n_first_second == 0)
            {
              int n_second_first = cell_compare(&c_second_1, &c_first_2);
              
              if (n_second_first != 0)
                return false;
            }   
          else
            return false;
          
        }
    }
  
  descriptor d1 = cell_relation_descriptor(pv1);
  descriptor d2 = cell_relation_descriptor(pv1);
 
  if (descriptor_none_p(d1) && descriptor_none_p(d2))
    {
      return true;
    }
  else
    pips_internal_error("Convex pointer_values not implemented yet");
  
  return false;
}

References cell_compare(), cell_relation_descriptor, cell_relation_first_cell, cell_relation_second_cell, cell_relation_second_value_of_p, descriptor_none_p, and pips_internal_error.

Referenced by simple_pvs_syntactically_equal_p().

Here is the call graph for this function:

Here is the caller graph for this function:

undefined_pointer_value_cell_p()

bool undefined_pointer_value_cell_p

(

cell

c

)

Definition at line 76 of file pointer_values.c.

{
  reference r;
  if (cell_gap_p(c)) return false;
  else if (cell_reference_p(c))
    r = cell_reference(c);
  else
    r = preference_reference(cell_preference(c));
  return(undefined_pointer_value_entity_p(reference_variable(r)));
}

References cell_gap_p, cell_preference, cell_reference, cell_reference_p, preference_reference, reference_variable, and undefined_pointer_value_entity_p().

Referenced by generic_effect_find_aliases_with_simple_pointer_values(), generic_effect_find_equivalent_simple_pointer_values(), make_simple_pv_from_simple_effects(), make_value_of_pointer_value(), multiple_pointer_assignment_to_post_pv(), pointer_values_remove_var(), and single_pointer_assignment_to_post_pv().

Here is the call graph for this function:

Here is the caller graph for this function:

undefined_pointer_value_entity()

entity undefined_pointer_value_entity

(

void

)

pointer_values.c

Definition at line 42 of file pointer_values.c.

{
  entity u = entity_undefined;
  string u_name = strdup(concatenate(ANY_MODULE_NAME,
                                     MODULE_SEP_STRING,
                                     UNDEFINED_POINTER_VALUE_NAME,
                                     NULL));
  u = gen_find_tabulated(u_name, entity_domain);
  if(entity_undefined_p(u)) {
    type tv = make_type_void(NIL);
    variable v = make_variable(make_basic_pointer(tv), NIL, NIL);
    type t = make_type_variable(v);
    u = make_entity(u_name,
                    t, make_storage_rom(), make_value_unknown());
    entity_kind(u)=ABSTRACT_LOCATION;
  }
  return u;
}

References ABSTRACT_LOCATION, ANY_MODULE_NAME, concatenate(), entity_domain, entity_kind, entity_undefined, entity_undefined_p, gen_find_tabulated(), make_basic_pointer(), make_entity, make_storage_rom(), make_type_variable(), make_type_void(), make_value_unknown(), make_variable(), MODULE_SEP_STRING, NIL, strdup(), and UNDEFINED_POINTER_VALUE_NAME.

Referenced by declaration_to_post_pv(), make_undefined_pointer_value_cell(), and sequence_to_post_pv().

Here is the call graph for this function:

Here is the caller graph for this function:

undefined_pointer_value_entity_p()

bool undefined_pointer_value_entity_p

(

entity

e

)

Definition at line 68 of file pointer_values.c.

{
  bool res;
  res = same_string_p(entity_local_name(e), UNDEFINED_POINTER_VALUE_NAME);
  res = res && same_string_p(entity_module_name(e), ANY_MODULE_NAME);
  return res;
}

References ANY_MODULE_NAME, entity_local_name(), entity_module_name(), same_string_p, and UNDEFINED_POINTER_VALUE_NAME.

Referenced by abstract_pointer_value_entity_p(), convex_effect_to_constant_path_effects_with_pointer_values(), simple_effect_to_constant_path_effects_with_pointer_values(), and undefined_pointer_value_cell_p().

Here is the call graph for this function:

Here is the caller graph for this function: