#include <stdio.h>
#include "linear.h"
#include "genC.h"
#include "ri.h"
#include "misc.h"
#include "ri-util.h"
#include "text-util.h"
#include "prettyprint.h"

Include dependency graph for type.c:

Functions
string	type_to_full_string_definition (type t)
	Provide a full ASCII description of type "t". More...

string	string_of_type (const type t)

bool	same_type_name_p (const type t0, const type t1)
	For naming homogeneity: expression_to_string(), reference_to_string()... More...

string	basic_to_string (basic b)
	RI-UTIL Library: Functions dealing with and constants related to PIPS intermediate representation ri.newgen, that are NOT generated by NewGen. More...

void	print_types (list tl)
	Very basic and crude debugging function. More...

void	print_type (type t)
	For debugging. More...

void	print_qualifiers (list ql)

void	print_qualifier (qualifier q)

Function Documentation

◆ basic_to_string()

string basic_to_string ( basic b )

RI-UTIL Library: Functions dealing with and constants related to PIPS intermediate representation ri.newgen, that are NOT generated by NewGen.

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

Pvecteur is an external type for NewGen and the ri data structure and is not included in ri.h

It is included here to avoid changes in many PIPS modules which use ri-util

Idem for type Ppolynome (PB 25/07/90); FI: polynomials are not used in ri.newgen; they should not be mentionned here

Idem for type Psysteme (FI 3 November 1990)

New function call need to be defined to handle omp pragma as a standard PIPS expression. To be easily recognized, all the defined values are prefixed by "OMP_". FC 2015-07-20 yuk, temporary fix to avoid an include cycle ri-util <-> prettyprint

#include "prettyprint.h"

Nga Nguyen, 19/09/2003: To not rewrite the same thing, I use the words_basic() function

Definition at line 87 of file type.c.

 {
   /* Nga Nguyen, 19/09/2003: To not rewrite the same thing, I use the words_basic() function*/
   list pdl = NIL;
   return list_to_string(words_basic(b, &pdl));
   gen_free_list(pdl);
 }

References gen_free_list(), list_to_string(), NIL, and words_basic().

Referenced by add_formal_to_actual_bindings(), any_expression_to_transformer(), any_user_call_site_to_transformer(), arguments_are_something(), can_terapixify_expression_p(), check_call_basic(), DeclareVariable(), dprint(), dump_common_layout(), dump_functional(), effect_indices_first_pointer_dimension_rank(), entities_type_and_name(), fortran_user_call_to_transformer(), fprint_any_environment(), fprint_functional(), get_symbol_table(), is_varibale_array_element_specifier(), mpi_recv_ctx(), mpi_send_ctx(), print_entity_variable(), r_cell_reference_to_type(), register_scalar_communications(), relation_to_transformer(), rename_op(), sac_commenter(), sentence_basic_declaration(), string_expression_to_transformer(), stub_head(), stub_var_decl(), this_entity_cdeclaration(), type_and_size_of_var(), type_this_call(), type_this_entity_if_needed(), type_this_expression(), type_this_instruction(), TypeFunctionalEntity(), typing_arguments_of_user_function(), typing_function_argument_type_to_return_type(), variable_to_string(), xml_Full_Type(), and xml_TaskReturnParameter().

Here is the call graph for this function:

Here is the caller graph for this function:

◆ print_qualifier()

void print_qualifier ( qualifier q )

Definition at line 138 of file type.c.

 {
   list ql = CONS(QUALIFIER, q, NIL);
   print_qualifiers(ql);
   gen_free_list(ql);
 }

References CONS, gen_free_list(), NIL, print_qualifiers(), and QUALIFIER.

Referenced by dprint().

Here is the call graph for this function:

Here is the caller graph for this function:

◆ print_qualifiers()

void print_qualifiers ( list ql )

Parameters

ql l

Definition at line 131 of file type.c.

 {
   list wl = words_qualifiers(ql);
   dump_words(wl);
   gen_full_free_list(wl);
 }

References dump_words(), gen_full_free_list(), and words_qualifiers().

Referenced by dprint(), and print_qualifier().

Here is the call graph for this function:

Here is the caller graph for this function:

◆ print_type()

void print_type ( type t )

For debugging.

Definition at line 111 of file type.c.

 {
   debug_on("RI-UTIL_DEBUG_LEVEL");
   if(t==NULL)
     fprintf(stderr, "type is NULL.\n");
   else if(type_undefined_p(t))
     fprintf(stderr, "type is undefined.\n");
   else if(type_domain_number(t)!=type_domain)
     fprintf(stderr, "The argument is not a type.\n");
   else {
   // Might be better to pass true, or even more information, to see
   // what happens with the unknown type
   list pdl = NIL;
   list wl = words_type(t, &pdl, false);
   gen_free_list(pdl);
   dump_words(wl);
   }
   debug_off();
 }

References debug_off, debug_on, dump_words(), fprintf(), gen_free_list(), NIL, type_domain, type_domain_number, type_undefined_p, and words_type().

Referenced by build_view_file(), create_scalar_stub_sink_cell(), dprint(), entity_all_xxx_locations_typed(), expression_to_points_to_sources(), generic_stub_source_to_sinks(), get_dont_build_view_file(), get_view_file(), gpips_display_plain_file(), points_to_cell_types_compatibility(), print_parameter(), type_dereferencement_depth(), wpips_display_plain_file(), and wpips_display_WP65_file().

Here is the call graph for this function:

Here is the caller graph for this function:

◆ print_types()

void print_types ( list tl )

Very basic and crude debugging function.

Parameters

tl l

Definition at line 96 of file type.c.

 {
   bool first_p = true;
  
   fprintf(stderr, "Type list: ");
  
   FOREACH(TYPE, t, tl) {
     fprintf(stderr, first_p? "%p" : ", %p", t);
     first_p = false;
   }
  
   fprintf(stderr, "\n");
 }

References FOREACH, fprintf(), and TYPE.

Referenced by dprint().

Here is the call graph for this function:

Here is the caller graph for this function:

◆ same_type_name_p()

bool same_type_name_p	(	const type	t0,
		const type	t1
	)

For naming homogeneity: expression_to_string(), reference_to_string()...

but type_to_string() is already implemented in ri-util in a less useful form string type_to_string(cons type t) { return string_of_type(t); } This function cannot be in ri-util because of string_of_type()

Parameters

t0	0
t1	1

Definition at line 74 of file type.c.

                                                     {
   string s0 = string_of_type(t0),
     s1 =string_of_type(t1);
   bool same = same_string_p(s0,s1);
   free(s0); free(s1);
   return same;
 }

References free(), s1, same_string_p, and string_of_type().

Referenced by comparable_entity_in_list_p(), same_cast_name_p(), and same_sizeofexpression_name_p().

Here is the call graph for this function:

Here is the caller graph for this function:

◆ string_of_type()

string string_of_type ( const type t )

Definition at line 56 of file type.c.

 {
   list pdl = NIL;
   list wl = words_type(t, &pdl, false);
   gen_free_list(pdl);
   string s = words_to_string(wl);
   FOREACH(STRING,s,wl) free(s);
   gen_free_list(wl);
   return s;
 }

References FOREACH, free(), gen_free_list(), NIL, STRING, words_to_string(), and words_type().

Referenced by basic_concrete_types_compatible_for_effects_interprocedural_translation_p(), binary_arithmetic_operator_to_post_pv(), check_type_of_points_to_cells(), declaration_to_post_pv(), FILE_star_effect_reference_p(), malloc_arg_to_type(), malloc_to_abstract_location(), malloc_type_to_abstract_location(), module_initial_parameter_pv(), same_type_name_p(), and xml_print_parameter().

Here is the call graph for this function:

Here is the caller graph for this function:

◆ type_to_full_string_definition()

string type_to_full_string_definition ( type t )

Provide a full ASCII description of type "t".

type.c

FI: I am not sure about the language used.

Definition at line 45 of file type.c.

 {
   debug_on("PRETTYPRINT_DEBUG_LEVEL");
   list pdl = NIL;
   string s = words_to_string(words_type(t, &pdl, false));
   gen_free_list(pdl);
   debug_off();
   return s;
 }

References debug_off, debug_on, gen_free_list(), NIL, words_to_string(), and words_type().

Referenced by adapt_reference_to_type(), add_sizeof_value(), filter_formal_context_according_to_actual_context(), find_kth_points_to_node_in_points_to_path(), intrinsic_call_to_points_to(), new_filter_formal_context_according_to_actual_context(), pips_user_value_name(), print_value_mappings(), type_compatible_super_cell(), type_compatible_with_points_to_cell_p(), and type_to_sizeof_value().

Here is the call graph for this function:

Here is the caller graph for this function: