PIPS
|
#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"
Go to the source code of this file.
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) |
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
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.
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().
void print_qualifier | ( | qualifier | q | ) |
Definition at line 138 of file type.c.
References CONS, gen_free_list(), NIL, print_qualifiers(), and QUALIFIER.
Referenced by dprint().
void print_qualifiers | ( | list | ql | ) |
ql | l |
Definition at line 131 of file type.c.
References dump_words(), gen_full_free_list(), and words_qualifiers().
Referenced by dprint(), and print_qualifier().
void print_type | ( | type | t | ) |
For debugging.
Definition at line 111 of file type.c.
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().
void print_types | ( | list | tl | ) |
Very basic and crude debugging function.
tl | l |
Definition at line 96 of file type.c.
References FOREACH, fprintf(), and TYPE.
Referenced by dprint().
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()
t0 | 0 |
t1 | 1 |
Definition at line 74 of file type.c.
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().
Definition at line 56 of file type.c.
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().
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.
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().