ri.c File Reference

#include <stdio.h>
#include <stdlib.h>
#include "genC.h"
#include "ri.h"

Include dependency graph for src/Libs/newgen/ri.c:

Typedefs
typedef void *	Pvecteur
typedef void *	Psysteme
Functions
action	copy_action (action p)
	ACTION.
void	free_action (action p)
action	check_action (action p)
bool	action_consistent_p (action p)
bool	action_defined_p (action p)
list	gen_action_cons (action p, list l)
void	write_action (FILE *f, action p)
action	read_action (FILE *f)
action	make_action (enum action_utype tag, void *val)
action	make_action_read (void)
action	make_action_write (void)
application	copy_application (application p)
	APPLICATION.
void	free_application (application p)
application	check_application (application p)
bool	application_consistent_p (application p)
bool	application_defined_p (application p)
list	gen_application_cons (application p, list l)
void	write_application (FILE *f, application p)
application	read_application (FILE *f)
application	make_application (expression a1, list a2)
approximation	copy_approximation (approximation p)
	APPROXIMATION.
void	free_approximation (approximation p)
approximation	check_approximation (approximation p)
bool	approximation_consistent_p (approximation p)
bool	approximation_defined_p (approximation p)
list	gen_approximation_cons (approximation p, list l)
void	write_approximation (FILE *f, approximation p)
approximation	read_approximation (FILE *f)
approximation	make_approximation (enum approximation_utype tag, void *val)
approximation	make_approximation_may (void)
approximation	make_approximation_must (void)
approximation	make_approximation_exact (void)
area	copy_area (area p)
	AREA.
void	free_area (area p)
area	check_area (area p)
bool	area_consistent_p (area p)
bool	area_defined_p (area p)
list	gen_area_cons (area p, list l)
void	write_area (FILE *f, area p)
area	read_area (FILE *f)
area	make_area (intptr_t a1, list a2)
basic	copy_basic (basic p)
	BASIC.
void	free_basic (basic p)
basic	check_basic (basic p)
bool	basic_consistent_p (basic p)
bool	basic_defined_p (basic p)
list	gen_basic_cons (basic p, list l)
void	write_basic (FILE *f, basic p)
basic	read_basic (FILE *f)
basic	make_basic (enum basic_utype tag, void *val)
basic	make_basic_int (intptr_t _field_)
basic	make_basic_float (intptr_t _field_)
basic	make_basic_logical (intptr_t _field_)
basic	make_basic_overloaded (void)
basic	make_basic_complex (intptr_t _field_)
basic	make_basic_string (value _field_)
basic	make_basic_bit (symbolic _field_)
basic	make_basic_pointer (type _field_)
basic	make_basic_derived (entity _field_)
basic	make_basic_typedef (entity _field_)
callees	copy_callees (callees p)
	CALLEES.
void	free_callees (callees p)
callees	check_callees (callees p)
bool	callees_consistent_p (callees p)
bool	callees_defined_p (callees p)
list	gen_callees_cons (callees p, list l)
void	write_callees (FILE *f, callees p)
callees	read_callees (FILE *f)
callees	make_callees (list a)
call	copy_call (call p)
	CALL.
void	free_call (call p)
call	check_call (call p)
bool	call_consistent_p (call p)
bool	call_defined_p (call p)
list	gen_call_cons (call p, list l)
void	write_call (FILE *f, call p)
call	read_call (FILE *f)
call	make_call (entity a1, list a2)
cast	copy_cast (cast p)
	CAST.
void	free_cast (cast p)
cast	check_cast (cast p)
bool	cast_consistent_p (cast p)
bool	cast_defined_p (cast p)
list	gen_cast_cons (cast p, list l)
void	write_cast (FILE *f, cast p)
cast	read_cast (FILE *f)
cast	make_cast (type a1, expression a2)
cell	copy_cell (cell p)
	CELL.
void	free_cell (cell p)
cell	check_cell (cell p)
bool	cell_consistent_p (cell p)
bool	cell_defined_p (cell p)
list	gen_cell_cons (cell p, list l)
void	write_cell (FILE *f, cell p)
cell	read_cell (FILE *f)
cell	make_cell (enum cell_utype tag, void *val)
cell	make_cell_reference (reference _field_)
cell	make_cell_preference (preference _field_)
code	copy_code (code p)
	CODE.
void	free_code (code p)
code	check_code (code p)
bool	code_consistent_p (code p)
bool	code_defined_p (code p)
list	gen_code_cons (code p, list l)
void	write_code (FILE *f, code p)
code	read_code (FILE *f)
code	make_code (list a1, string a2, sequence a3, list a4, language a5)
constant	copy_constant (constant p)
	CONSTANT.
void	free_constant (constant p)
constant	check_constant (constant p)
bool	constant_consistent_p (constant p)
bool	constant_defined_p (constant p)
list	gen_constant_cons (constant p, list l)
void	write_constant (FILE *f, constant p)
constant	read_constant (FILE *f)
constant	make_constant (enum constant_utype tag, void *val)
constant	make_constant_int (intptr_t _field_)
constant	make_constant_float (intptr_t _field_)
constant	make_constant_logical (intptr_t _field_)
constant	make_constant_litteral (void)
constant	make_constant_call (entity _field_)
constant	make_constant_unknown (void)
controlmap	copy_controlmap (controlmap p)
	CONTROLMAP.
void	free_controlmap (controlmap p)
controlmap	check_controlmap (controlmap p)
bool	controlmap_consistent_p (controlmap p)
bool	controlmap_defined_p (controlmap p)
list	gen_controlmap_cons (controlmap p, list l)
void	write_controlmap (FILE *f, controlmap p)
controlmap	read_controlmap (FILE *f)
controlmap	make_controlmap (void)
control	apply_controlmap (controlmap f, statement k)
void	update_controlmap (controlmap f, statement k, control v)
void	extend_controlmap (controlmap f, statement k, control v)
control	delete_controlmap (controlmap f, statement k)
bool	bound_controlmap_p (controlmap f, statement k)
control	copy_control (control p)
	CONTROL.
void	free_control (control p)
control	check_control (control p)
bool	control_consistent_p (control p)
bool	control_defined_p (control p)
list	gen_control_cons (control p, list l)
void	write_control (FILE *f, control p)
control	read_control (FILE *f)
control	make_control (statement a1, list a2, list a3)
descriptor	copy_descriptor (descriptor p)
	DESCRIPTOR.
void	free_descriptor (descriptor p)
descriptor	check_descriptor (descriptor p)
bool	descriptor_consistent_p (descriptor p)
bool	descriptor_defined_p (descriptor p)
list	gen_descriptor_cons (descriptor p, list l)
void	write_descriptor (FILE *f, descriptor p)
descriptor	read_descriptor (FILE *f)
descriptor	make_descriptor (enum descriptor_utype tag, void *val)
descriptor	make_descriptor_convexunion (list _field_)
descriptor	make_descriptor_convex (Psysteme _field_)
descriptor	make_descriptor_none (void)
dimension	copy_dimension (dimension p)
	DIMENSION.
void	free_dimension (dimension p)
dimension	check_dimension (dimension p)
bool	dimension_consistent_p (dimension p)
bool	dimension_defined_p (dimension p)
list	gen_dimension_cons (dimension p, list l)
void	write_dimension (FILE *f, dimension p)
dimension	read_dimension (FILE *f)
dimension	make_dimension (expression a1, expression a2)
dummy	copy_dummy (dummy p)
	DUMMY.
void	free_dummy (dummy p)
dummy	check_dummy (dummy p)
bool	dummy_consistent_p (dummy p)
bool	dummy_defined_p (dummy p)
list	gen_dummy_cons (dummy p, list l)
void	write_dummy (FILE *f, dummy p)
dummy	read_dummy (FILE *f)
dummy	make_dummy (enum dummy_utype tag, void *val)
dummy	make_dummy_unknown (void)
dummy	make_dummy_identifier (entity _field_)
effect	copy_effect (effect p)
	EFFECT.
void	free_effect (effect p)
effect	check_effect (effect p)
bool	effect_consistent_p (effect p)
bool	effect_defined_p (effect p)
list	gen_effect_cons (effect p, list l)
void	write_effect (FILE *f, effect p)
effect	read_effect (FILE *f)
effect	make_effect (cell a1, action a2, approximation a3, descriptor a4)
effects_classes	copy_effects_classes (effects_classes p)
	EFFECTS_CLASSES.
void	free_effects_classes (effects_classes p)
effects_classes	check_effects_classes (effects_classes p)
bool	effects_classes_consistent_p (effects_classes p)
bool	effects_classes_defined_p (effects_classes p)
list	gen_effects_classes_cons (effects_classes p, list l)
void	write_effects_classes (FILE *f, effects_classes p)
effects_classes	read_effects_classes (FILE *f)
effects_classes	make_effects_classes (list a)
effects	copy_effects (effects p)
	EFFECTS.
void	free_effects (effects p)
effects	check_effects (effects p)
bool	effects_consistent_p (effects p)
bool	effects_defined_p (effects p)
list	gen_effects_cons (effects p, list l)
void	write_effects (FILE *f, effects p)
effects	read_effects (FILE *f)
effects	make_effects (list a)
entity_effects	copy_entity_effects (entity_effects p)
	ENTITY_EFFECTS.
void	free_entity_effects (entity_effects p)
entity_effects	check_entity_effects (entity_effects p)
bool	entity_effects_consistent_p (entity_effects p)
bool	entity_effects_defined_p (entity_effects p)
list	gen_entity_effects_cons (entity_effects p, list l)
void	write_entity_effects (FILE *f, entity_effects p)
entity_effects	read_entity_effects (FILE *f)
entity_effects	make_entity_effects (void)
effects	apply_entity_effects (entity_effects f, entity k)
void	update_entity_effects (entity_effects f, entity k, effects v)
void	extend_entity_effects (entity_effects f, entity k, effects v)
effects	delete_entity_effects (entity_effects f, entity k)
bool	bound_entity_effects_p (entity_effects f, entity k)
entity_int	copy_entity_int (entity_int p)
	ENTITY_INT.
void	free_entity_int (entity_int p)
entity_int	check_entity_int (entity_int p)
bool	entity_int_consistent_p (entity_int p)
bool	entity_int_defined_p (entity_int p)
list	gen_entity_int_cons (entity_int p, list l)
void	write_entity_int (FILE *f, entity_int p)
entity_int	read_entity_int (FILE *f)
entity_int	make_entity_int (void)
intptr_t	apply_entity_int (entity_int f, entity k)
void	update_entity_int (entity_int f, entity k, intptr_t v)
void	extend_entity_int (entity_int f, entity k, intptr_t v)
intptr_t	delete_entity_int (entity_int f, entity k)
bool	bound_entity_int_p (entity_int f, entity k)
evaluation	copy_evaluation (evaluation p)
	EVALUATION.
void	free_evaluation (evaluation p)
evaluation	check_evaluation (evaluation p)
bool	evaluation_consistent_p (evaluation p)
bool	evaluation_defined_p (evaluation p)
list	gen_evaluation_cons (evaluation p, list l)
void	write_evaluation (FILE *f, evaluation p)
evaluation	read_evaluation (FILE *f)
evaluation	make_evaluation (enum evaluation_utype tag, void *val)
evaluation	make_evaluation_before (void)
evaluation	make_evaluation_after (void)
execution	copy_execution (execution p)
	EXECUTION.
void	free_execution (execution p)
execution	check_execution (execution p)
bool	execution_consistent_p (execution p)
bool	execution_defined_p (execution p)
list	gen_execution_cons (execution p, list l)
void	write_execution (FILE *f, execution p)
execution	read_execution (FILE *f)
execution	make_execution (enum execution_utype tag, void *val)
execution	make_execution_sequential (void)
execution	make_execution_parallel (void)
expression	copy_expression (expression p)
	EXPRESSION.
void	free_expression (expression p)
expression	check_expression (expression p)
bool	expression_consistent_p (expression p)
bool	expression_defined_p (expression p)
list	gen_expression_cons (expression p, list l)
void	write_expression (FILE *f, expression p)
expression	read_expression (FILE *f)
expression	make_expression (syntax a1, normalized a2)
extension	copy_extension (extension p)
	EXTENSION.
void	free_extension (extension p)
extension	check_extension (extension p)
bool	extension_consistent_p (extension p)
bool	extension_defined_p (extension p)
list	gen_extension_cons (extension p, list l)
void	write_extension (FILE *f, extension p)
extension	read_extension (FILE *f)
extension	make_extension (pragma a1)
extensions	copy_extensions (extensions p)
	EXTENSIONS.
void	free_extensions (extensions p)
extensions	check_extensions (extensions p)
bool	extensions_consistent_p (extensions p)
bool	extensions_defined_p (extensions p)
list	gen_extensions_cons (extensions p, list l)
void	write_extensions (FILE *f, extensions p)
extensions	read_extensions (FILE *f)
extensions	make_extensions (list a)
forloop	copy_forloop (forloop p)
	FORLOOP.
void	free_forloop (forloop p)
forloop	check_forloop (forloop p)
bool	forloop_consistent_p (forloop p)
bool	forloop_defined_p (forloop p)
list	gen_forloop_cons (forloop p, list l)
void	write_forloop (FILE *f, forloop p)
forloop	read_forloop (FILE *f)
forloop	make_forloop (expression a1, expression a2, expression a3, statement a4)
formal	copy_formal (formal p)
	FORMAL.
void	free_formal (formal p)
formal	check_formal (formal p)
bool	formal_consistent_p (formal p)
bool	formal_defined_p (formal p)
list	gen_formal_cons (formal p, list l)
void	write_formal (FILE *f, formal p)
formal	read_formal (FILE *f)
formal	make_formal (entity a1, intptr_t a2)
functional	copy_functional (functional p)
	FUNCTIONAL.
void	free_functional (functional p)
functional	check_functional (functional p)
bool	functional_consistent_p (functional p)
bool	functional_defined_p (functional p)
list	gen_functional_cons (functional p, list l)
void	write_functional (FILE *f, functional p)
functional	read_functional (FILE *f)
functional	make_functional (list a1, type a2)
instruction	copy_instruction (instruction p)
	INSTRUCTION.
void	free_instruction (instruction p)
instruction	check_instruction (instruction p)
bool	instruction_consistent_p (instruction p)
bool	instruction_defined_p (instruction p)
list	gen_instruction_cons (instruction p, list l)
void	write_instruction (FILE *f, instruction p)
instruction	read_instruction (FILE *f)
instruction	make_instruction (enum instruction_utype tag, void *val)
instruction	make_instruction_sequence (sequence _field_)
instruction	make_instruction_test (test _field_)
instruction	make_instruction_loop (loop _field_)
instruction	make_instruction_whileloop (whileloop _field_)
instruction	make_instruction_goto (statement _field_)
instruction	make_instruction_call (call _field_)
instruction	make_instruction_unstructured (unstructured _field_)
instruction	make_instruction_multitest (multitest _field_)
instruction	make_instruction_forloop (forloop _field_)
instruction	make_instruction_expression (expression _field_)
language	copy_language (language p)
	LANGUAGE.
void	free_language (language p)
language	check_language (language p)
bool	language_consistent_p (language p)
bool	language_defined_p (language p)
list	gen_language_cons (language p, list l)
void	write_language (FILE *f, language p)
language	read_language (FILE *f)
language	make_language (enum language_utype tag, void *val)
language	make_language_fortran (void)
language	make_language_c (void)
language	make_language_unknown (void)
loop	copy_loop (loop p)
	LOOP.
void	free_loop (loop p)
loop	check_loop (loop p)
bool	loop_consistent_p (loop p)
bool	loop_defined_p (loop p)
list	gen_loop_cons (loop p, list l)
void	write_loop (FILE *f, loop p)
loop	read_loop (FILE *f)
loop	make_loop (entity a1, range a2, statement a3, entity a4, execution a5, list a6)
mode	copy_mode (mode p)
	MODE.
void	free_mode (mode p)
mode	check_mode (mode p)
bool	mode_consistent_p (mode p)
bool	mode_defined_p (mode p)
list	gen_mode_cons (mode p, list l)
void	write_mode (FILE *f, mode p)
mode	read_mode (FILE *f)
mode	make_mode (enum mode_utype tag, void *val)
mode	make_mode_value (void)
mode	make_mode_reference (void)
multitest	copy_multitest (multitest p)
	MULTITEST.
void	free_multitest (multitest p)
multitest	check_multitest (multitest p)
bool	multitest_consistent_p (multitest p)
bool	multitest_defined_p (multitest p)
list	gen_multitest_cons (multitest p, list l)
void	write_multitest (FILE *f, multitest p)
multitest	read_multitest (FILE *f)
multitest	make_multitest (expression a1, statement a2)
normalized	copy_normalized (normalized p)
	NORMALIZED.
void	free_normalized (normalized p)
normalized	check_normalized (normalized p)
bool	normalized_consistent_p (normalized p)
bool	normalized_defined_p (normalized p)
list	gen_normalized_cons (normalized p, list l)
void	write_normalized (FILE *f, normalized p)
normalized	read_normalized (FILE *f)
normalized	make_normalized (enum normalized_utype tag, void *val)
normalized	make_normalized_linear (Pvecteur _field_)
normalized	make_normalized_complex (void)
parameter	copy_parameter (parameter p)
	PARAMETER.
void	free_parameter (parameter p)
parameter	check_parameter (parameter p)
bool	parameter_consistent_p (parameter p)
bool	parameter_defined_p (parameter p)
list	gen_parameter_cons (parameter p, list l)
void	write_parameter (FILE *f, parameter p)
parameter	read_parameter (FILE *f)
parameter	make_parameter (type a1, mode a2, dummy a3)
persistant_expression_to_effects	copy_persistant_expression_to_effects (persistant_expression_to_effects p)
	PERSISTANT_EXPRESSION_TO_EFFECTS.
void	free_persistant_expression_to_effects (persistant_expression_to_effects p)
persistant_expression_to_effects	check_persistant_expression_to_effects (persistant_expression_to_effects p)
bool	persistant_expression_to_effects_consistent_p (persistant_expression_to_effects p)
bool	persistant_expression_to_effects_defined_p (persistant_expression_to_effects p)
list	gen_persistant_expression_to_effects_cons (persistant_expression_to_effects p, list l)
void	write_persistant_expression_to_effects (FILE *f, persistant_expression_to_effects p)
persistant_expression_to_effects	read_persistant_expression_to_effects (FILE *f)
persistant_expression_to_effects	make_persistant_expression_to_effects (void)
effects	apply_persistant_expression_to_effects (persistant_expression_to_effects f, expression k)
void	update_persistant_expression_to_effects (persistant_expression_to_effects f, expression k, effects v)
void	extend_persistant_expression_to_effects (persistant_expression_to_effects f, expression k, effects v)
effects	delete_persistant_expression_to_effects (persistant_expression_to_effects f, expression k)
bool	bound_persistant_expression_to_effects_p (persistant_expression_to_effects f, expression k)
persistant_statement_to_control	copy_persistant_statement_to_control (persistant_statement_to_control p)
	PERSISTANT_STATEMENT_TO_CONTROL.
void	free_persistant_statement_to_control (persistant_statement_to_control p)
persistant_statement_to_control	check_persistant_statement_to_control (persistant_statement_to_control p)
bool	persistant_statement_to_control_consistent_p (persistant_statement_to_control p)
bool	persistant_statement_to_control_defined_p (persistant_statement_to_control p)
list	gen_persistant_statement_to_control_cons (persistant_statement_to_control p, list l)
void	write_persistant_statement_to_control (FILE *f, persistant_statement_to_control p)
persistant_statement_to_control	read_persistant_statement_to_control (FILE *f)
persistant_statement_to_control	make_persistant_statement_to_control (void)
control	apply_persistant_statement_to_control (persistant_statement_to_control f, statement k)
void	update_persistant_statement_to_control (persistant_statement_to_control f, statement k, control v)
void	extend_persistant_statement_to_control (persistant_statement_to_control f, statement k, control v)
control	delete_persistant_statement_to_control (persistant_statement_to_control f, statement k)
bool	bound_persistant_statement_to_control_p (persistant_statement_to_control f, statement k)
persistant_statement_to_int	copy_persistant_statement_to_int (persistant_statement_to_int p)
	PERSISTANT_STATEMENT_TO_INT.
void	free_persistant_statement_to_int (persistant_statement_to_int p)
persistant_statement_to_int	check_persistant_statement_to_int (persistant_statement_to_int p)
bool	persistant_statement_to_int_consistent_p (persistant_statement_to_int p)
bool	persistant_statement_to_int_defined_p (persistant_statement_to_int p)
list	gen_persistant_statement_to_int_cons (persistant_statement_to_int p, list l)
void	write_persistant_statement_to_int (FILE *f, persistant_statement_to_int p)
persistant_statement_to_int	read_persistant_statement_to_int (FILE *f)
persistant_statement_to_int	make_persistant_statement_to_int (void)
intptr_t	apply_persistant_statement_to_int (persistant_statement_to_int f, statement k)
void	update_persistant_statement_to_int (persistant_statement_to_int f, statement k, intptr_t v)
void	extend_persistant_statement_to_int (persistant_statement_to_int f, statement k, intptr_t v)
intptr_t	delete_persistant_statement_to_int (persistant_statement_to_int f, statement k)
bool	bound_persistant_statement_to_int_p (persistant_statement_to_int f, statement k)
persistant_statement_to_statement	copy_persistant_statement_to_statement (persistant_statement_to_statement p)
	PERSISTANT_STATEMENT_TO_STATEMENT.
void	free_persistant_statement_to_statement (persistant_statement_to_statement p)
persistant_statement_to_statement	check_persistant_statement_to_statement (persistant_statement_to_statement p)
bool	persistant_statement_to_statement_consistent_p (persistant_statement_to_statement p)
bool	persistant_statement_to_statement_defined_p (persistant_statement_to_statement p)
list	gen_persistant_statement_to_statement_cons (persistant_statement_to_statement p, list l)
void	write_persistant_statement_to_statement (FILE *f, persistant_statement_to_statement p)
persistant_statement_to_statement	read_persistant_statement_to_statement (FILE *f)
persistant_statement_to_statement	make_persistant_statement_to_statement (void)
statement	apply_persistant_statement_to_statement (persistant_statement_to_statement f, statement k)
void	update_persistant_statement_to_statement (persistant_statement_to_statement f, statement k, statement v)
void	extend_persistant_statement_to_statement (persistant_statement_to_statement f, statement k, statement v)
statement	delete_persistant_statement_to_statement (persistant_statement_to_statement f, statement k)
bool	bound_persistant_statement_to_statement_p (persistant_statement_to_statement f, statement k)
pragma	copy_pragma (pragma p)
	PRAGMA.
void	free_pragma (pragma p)
pragma	check_pragma (pragma p)
bool	pragma_consistent_p (pragma p)
bool	pragma_defined_p (pragma p)
list	gen_pragma_cons (pragma p, list l)
void	write_pragma (FILE *f, pragma p)
pragma	read_pragma (FILE *f)
pragma	make_pragma (enum pragma_utype tag, void *val)
pragma	make_pragma_string (string _field_)
pragma	make_pragma_expression (list _field_)
pragma	make_pragma_entity (entity _field_)
predicate	copy_predicate (predicate p)
	PREDICATE.
void	free_predicate (predicate p)
predicate	check_predicate (predicate p)
bool	predicate_consistent_p (predicate p)
bool	predicate_defined_p (predicate p)
list	gen_predicate_cons (predicate p, list l)
void	write_predicate (FILE *f, predicate p)
predicate	read_predicate (FILE *f)
predicate	make_predicate (Psysteme a1)
preference	copy_preference (preference p)
	PREFERENCE.
void	free_preference (preference p)
preference	check_preference (preference p)
bool	preference_consistent_p (preference p)
bool	preference_defined_p (preference p)
list	gen_preference_cons (preference p, list l)
void	write_preference (FILE *f, preference p)
preference	read_preference (FILE *f)
preference	make_preference (reference a1)
qualifier	copy_qualifier (qualifier p)
	QUALIFIER.
void	free_qualifier (qualifier p)
qualifier	check_qualifier (qualifier p)
bool	qualifier_consistent_p (qualifier p)
bool	qualifier_defined_p (qualifier p)
list	gen_qualifier_cons (qualifier p, list l)
void	write_qualifier (FILE *f, qualifier p)
qualifier	read_qualifier (FILE *f)
qualifier	make_qualifier (enum qualifier_utype tag, void *val)
qualifier	make_qualifier_const (void)
qualifier	make_qualifier_restrict (void)
qualifier	make_qualifier_volatile (void)
qualifier	make_qualifier_register (void)
qualifier	make_qualifier_auto (void)
ram	copy_ram (ram p)
	RAM.
void	free_ram (ram p)
ram	check_ram (ram p)
bool	ram_consistent_p (ram p)
bool	ram_defined_p (ram p)
list	gen_ram_cons (ram p, list l)
void	write_ram (FILE *f, ram p)
ram	read_ram (FILE *f)
ram	make_ram (entity a1, entity a2, intptr_t a3, list a4)
range	copy_range (range p)
	RANGE.
void	free_range (range p)
range	check_range (range p)
bool	range_consistent_p (range p)
bool	range_defined_p (range p)
list	gen_range_cons (range p, list l)
void	write_range (FILE *f, range p)
range	read_range (FILE *f)
range	make_range (expression a1, expression a2, expression a3)
reference	copy_reference (reference p)
	REFERENCE.
void	free_reference (reference p)
reference	check_reference (reference p)
bool	reference_consistent_p (reference p)
bool	reference_defined_p (reference p)
list	gen_reference_cons (reference p, list l)
void	write_reference (FILE *f, reference p)
reference	read_reference (FILE *f)
reference	make_reference (entity a1, list a2)
sequence	copy_sequence (sequence p)
	SEQUENCE.
void	free_sequence (sequence p)
sequence	check_sequence (sequence p)
bool	sequence_consistent_p (sequence p)
bool	sequence_defined_p (sequence p)
list	gen_sequence_cons (sequence p, list l)
void	write_sequence (FILE *f, sequence p)
sequence	read_sequence (FILE *f)
sequence	make_sequence (list a)
sizeofexpression	copy_sizeofexpression (sizeofexpression p)
	SIZEOFEXPRESSION.
void	free_sizeofexpression (sizeofexpression p)
sizeofexpression	check_sizeofexpression (sizeofexpression p)
bool	sizeofexpression_consistent_p (sizeofexpression p)
bool	sizeofexpression_defined_p (sizeofexpression p)
list	gen_sizeofexpression_cons (sizeofexpression p, list l)
void	write_sizeofexpression (FILE *f, sizeofexpression p)
sizeofexpression	read_sizeofexpression (FILE *f)
sizeofexpression	make_sizeofexpression (enum sizeofexpression_utype tag, void *val)
sizeofexpression	make_sizeofexpression_type (type _field_)
sizeofexpression	make_sizeofexpression_expression (expression _field_)
statement_effects	copy_statement_effects (statement_effects p)
	STATEMENT_EFFECTS.
void	free_statement_effects (statement_effects p)
statement_effects	check_statement_effects (statement_effects p)
bool	statement_effects_consistent_p (statement_effects p)
bool	statement_effects_defined_p (statement_effects p)
list	gen_statement_effects_cons (statement_effects p, list l)
void	write_statement_effects (FILE *f, statement_effects p)
statement_effects	read_statement_effects (FILE *f)
statement_effects	make_statement_effects (void)
effects	apply_statement_effects (statement_effects f, statement k)
void	update_statement_effects (statement_effects f, statement k, effects v)
void	extend_statement_effects (statement_effects f, statement k, effects v)
effects	delete_statement_effects (statement_effects f, statement k)
bool	bound_statement_effects_p (statement_effects f, statement k)
statement	copy_statement (statement p)
	STATEMENT.
void	free_statement (statement p)
statement	check_statement (statement p)
bool	statement_consistent_p (statement p)
bool	statement_defined_p (statement p)
list	gen_statement_cons (statement p, list l)
void	write_statement (FILE *f, statement p)
statement	read_statement (FILE *f)
statement	make_statement (entity a1, intptr_t a2, intptr_t a3, string a4, instruction a5, list a6, string a7, extensions a8)
storage	copy_storage (storage p)
	STORAGE.
void	free_storage (storage p)
storage	check_storage (storage p)
bool	storage_consistent_p (storage p)
bool	storage_defined_p (storage p)
list	gen_storage_cons (storage p, list l)
void	write_storage (FILE *f, storage p)
storage	read_storage (FILE *f)
storage	make_storage (enum storage_utype tag, void *val)
storage	make_storage_return (entity _field_)
storage	make_storage_ram (ram _field_)
storage	make_storage_formal (formal _field_)
storage	make_storage_rom (void)
subscript	copy_subscript (subscript p)
	SUBSCRIPT.
void	free_subscript (subscript p)
subscript	check_subscript (subscript p)
bool	subscript_consistent_p (subscript p)
bool	subscript_defined_p (subscript p)
list	gen_subscript_cons (subscript p, list l)
void	write_subscript (FILE *f, subscript p)
subscript	read_subscript (FILE *f)
subscript	make_subscript (expression a1, list a2)
symbolic	copy_symbolic (symbolic p)
	SYMBOLIC.
void	free_symbolic (symbolic p)
symbolic	check_symbolic (symbolic p)
bool	symbolic_consistent_p (symbolic p)
bool	symbolic_defined_p (symbolic p)
list	gen_symbolic_cons (symbolic p, list l)
void	write_symbolic (FILE *f, symbolic p)
symbolic	read_symbolic (FILE *f)
symbolic	make_symbolic (expression a1, constant a2)
syntax	copy_syntax (syntax p)
	SYNTAX.
void	free_syntax (syntax p)
syntax	check_syntax (syntax p)
bool	syntax_consistent_p (syntax p)
bool	syntax_defined_p (syntax p)
list	gen_syntax_cons (syntax p, list l)
void	write_syntax (FILE *f, syntax p)
syntax	read_syntax (FILE *f)
syntax	make_syntax (enum syntax_utype tag, void *val)
syntax	make_syntax_reference (reference _field_)
syntax	make_syntax_range (range _field_)
syntax	make_syntax_call (call _field_)
syntax	make_syntax_cast (cast _field_)
syntax	make_syntax_sizeofexpression (sizeofexpression _field_)
syntax	make_syntax_subscript (subscript _field_)
syntax	make_syntax_application (application _field_)
syntax	make_syntax_va_arg (list _field_)
entity	copy_entity (entity p)
	ENTITY.
void	free_entity (entity p)
entity	check_entity (entity p)
bool	entity_consistent_p (entity p)
bool	entity_defined_p (entity p)
list	gen_entity_cons (entity p, list l)
entity	gen_find_entity (char *s)
void	write_tabulated_entity (FILE *f)
void	read_tabulated_entity (FILE *f)
entity	make_entity (string a1, type a2, storage a3, value a4)
test	copy_test (test p)
	TEST.
void	free_test (test p)
test	check_test (test p)
bool	test_consistent_p (test p)
bool	test_defined_p (test p)
list	gen_test_cons (test p, list l)
void	write_test (FILE *f, test p)
test	read_test (FILE *f)
test	make_test (expression a1, statement a2, statement a3)
transformer	copy_transformer (transformer p)
	TRANSFORMER.
void	free_transformer (transformer p)
transformer	check_transformer (transformer p)
bool	transformer_consistent_p (transformer p)
bool	transformer_defined_p (transformer p)
list	gen_transformer_cons (transformer p, list l)
void	write_transformer (FILE *f, transformer p)
transformer	read_transformer (FILE *f)
transformer	make_transformer (list a1, predicate a2)
type	copy_type (type p)
	TYPE.
void	free_type (type p)
type	check_type (type p)
bool	type_consistent_p (type p)
bool	type_defined_p (type p)
list	gen_type_cons (type p, list l)
void	write_type (FILE *f, type p)
type	read_type (FILE *f)
type	make_type (enum type_utype tag, void *val)
type	make_type_statement (void)
type	make_type_area (area _field_)
type	make_type_variable (variable _field_)
type	make_type_functional (functional _field_)
type	make_type_varargs (type _field_)
type	make_type_unknown (void)
type	make_type_void (void)
type	make_type_struct (list _field_)
type	make_type_union (list _field_)
type	make_type_enum (list _field_)
unstructured	copy_unstructured (unstructured p)
	UNSTRUCTURED.
void	free_unstructured (unstructured p)
unstructured	check_unstructured (unstructured p)
bool	unstructured_consistent_p (unstructured p)
bool	unstructured_defined_p (unstructured p)
list	gen_unstructured_cons (unstructured p, list l)
void	write_unstructured (FILE *f, unstructured p)
unstructured	read_unstructured (FILE *f)
unstructured	make_unstructured (control a1, control a2)
value	copy_value (value p)
	VALUE.
void	free_value (value p)
value	check_value (value p)
bool	value_consistent_p (value p)
bool	value_defined_p (value p)
list	gen_value_cons (value p, list l)
void	write_value (FILE *f, value p)
value	read_value (FILE *f)
value	make_value (enum value_utype tag, void *val)
value	make_value_code (code _field_)
value	make_value_symbolic (symbolic _field_)
value	make_value_constant (constant _field_)
value	make_value_intrinsic (void)
value	make_value_unknown (void)
value	make_value_expression (expression _field_)
variable	copy_variable (variable p)
	VARIABLE.
void	free_variable (variable p)
variable	check_variable (variable p)
bool	variable_consistent_p (variable p)
bool	variable_defined_p (variable p)
list	gen_variable_cons (variable p, list l)
void	write_variable (FILE *f, variable p)
variable	read_variable (FILE *f)
variable	make_variable (basic a1, list a2, list a3)
whileloop	copy_whileloop (whileloop p)
	WHILELOOP.
void	free_whileloop (whileloop p)
whileloop	check_whileloop (whileloop p)
bool	whileloop_consistent_p (whileloop p)
bool	whileloop_defined_p (whileloop p)
list	gen_whileloop_cons (whileloop p, list l)
void	write_whileloop (FILE *f, whileloop p)
whileloop	read_whileloop (FILE *f)
whileloop	make_whileloop (expression a1, statement a2, entity a3, evaluation a4)

Typedef Documentation

typedef void* Psysteme

Definition at line 8 of file src/Libs/newgen/ri.c.

typedef void* Pvecteur

Definition at line 7 of file src/Libs/newgen/ri.c.

Function Documentation

bool action_consistent_p ( action p )

Definition at line 28 of file src/Libs/newgen/ri.c.

00028                                    {
00029   check_action(p);
00030   return gen_consistent_p((gen_chunk*) p);
00031 }

bool action_defined_p ( action p )

Definition at line 32 of file src/Libs/newgen/ri.c.

00032                                 {
00033   return gen_defined_p((gen_chunk*) p);
00034 }

bool application_consistent_p ( application p )

Definition at line 65 of file src/Libs/newgen/ri.c.

00065                                              {
00066   check_application(p);
00067   return gen_consistent_p((gen_chunk*) p);
00068 }

bool application_defined_p ( application p )

Definition at line 69 of file src/Libs/newgen/ri.c.

00069                                           {
00070   return gen_defined_p((gen_chunk*) p);
00071 }

control apply_controlmap	(	controlmap	f,
		statement	k
	)

Definition at line 457 of file src/Libs/newgen/ri.c.

00457                                                     {
00458   return (control) HASH_GET(p, p, controlmap_hash_table(f), k);
00459 }

effects apply_entity_effects	(	entity_effects	f,
		entity	k
	)

Definition at line 735 of file src/Libs/newgen/ri.c.

00735                                                          {
00736   return (effects) HASH_GET(p, p, entity_effects_hash_table(f), k);
00737 }

intptr_t apply_entity_int	(	entity_int	f,
		entity	k
	)

Definition at line 781 of file src/Libs/newgen/ri.c.

00781                                                   {
00782   return (intptr_t) HASH_GET(p, i, entity_int_hash_table(f), k);
00783 }

effects apply_persistant_expression_to_effects	(	persistant_expression_to_effects	f,
		expression	k
	)

Definition at line 1355 of file src/Libs/newgen/ri.c.

01355                                                                                                  {
01356   return (effects) HASH_GET(p, p, persistant_expression_to_effects_hash_table(f), k);
01357 }

control apply_persistant_statement_to_control	(	persistant_statement_to_control	f,
		statement	k
	)

Definition at line 1401 of file src/Libs/newgen/ri.c.

Referenced by abc_instrumentation_insert_before_statement(), bottom_up_abc_insert_before_statement(), interprocedural_abc_insert_before_statement(), partial_redundancy_elimination_rwt(), top_down_abc_insert_before_statement(), and trivial_test_deal_with_unstructured().

01401                                                                                               {
01402   return (control) HASH_GET(p, p, persistant_statement_to_control_hash_table(f), k);
01403 }

Here is the caller graph for this function:

intptr_t apply_persistant_statement_to_int	(	persistant_statement_to_int	f,
		statement	k
	)

Definition at line 1447 of file src/Libs/newgen/ri.c.

Referenced by make_filtered_dg_or_dvdg(), and prettyprint_dependence_graph().

01447                                                                                        {
01448   return (intptr_t) HASH_GET(p, i, persistant_statement_to_int_hash_table(f), k);
01449 }

Here is the caller graph for this function:

statement apply_persistant_statement_to_statement	(	persistant_statement_to_statement	f,
		statement	k
	)

Definition at line 1493 of file src/Libs/newgen/ri.c.

01493                                                                                                     {
01494   return (statement) HASH_GET(p, p, persistant_statement_to_statement_hash_table(f), k);
01495 }

effects apply_statement_effects	(	statement_effects	f,
		statement	k
	)

Definition at line 1848 of file src/Libs/newgen/ri.c.

Referenced by get_real_call_filtered_proper_effects(), get_text_proper_effects_flt(), load_list(), statement_flt(), and stmt_to_fx().

01848                                                                   {
01849   return (effects) HASH_GET(p, p, statement_effects_hash_table(f), k);
01850 }

Here is the caller graph for this function:

bool approximation_consistent_p ( approximation p )

Definition at line 96 of file src/Libs/newgen/ri.c.

00096                                                  {
00097   check_approximation(p);
00098   return gen_consistent_p((gen_chunk*) p);
00099 }

bool approximation_defined_p ( approximation p )

Definition at line 100 of file src/Libs/newgen/ri.c.

00100                                               {
00101   return gen_defined_p((gen_chunk*) p);
00102 }

bool area_consistent_p ( area p )

Definition at line 136 of file src/Libs/newgen/ri.c.

00136                                {
00137   check_area(p);
00138   return gen_consistent_p((gen_chunk*) p);
00139 }

bool area_defined_p ( area p )

Definition at line 140 of file src/Libs/newgen/ri.c.

00140                             {
00141   return gen_defined_p((gen_chunk*) p);
00142 }

bool basic_consistent_p ( basic p )

Definition at line 167 of file src/Libs/newgen/ri.c.

00167                                  {
00168   check_basic(p);
00169   return gen_consistent_p((gen_chunk*) p);
00170 }

bool basic_defined_p ( basic p )

Definition at line 171 of file src/Libs/newgen/ri.c.

00171                               {
00172   return gen_defined_p((gen_chunk*) p);
00173 }

bool bound_controlmap_p	(	controlmap	f,
		statement	k
	)

Definition at line 469 of file src/Libs/newgen/ri.c.

00469                                                    {
00470   return HASH_BOUND_P(p, p, controlmap_hash_table(f), k);
00471 }

bool bound_entity_effects_p	(	entity_effects	f,
		entity	k
	)

Definition at line 747 of file src/Libs/newgen/ri.c.

00747                                                         {
00748   return HASH_BOUND_P(p, p, entity_effects_hash_table(f), k);
00749 }

bool bound_entity_int_p	(	entity_int	f,
		entity	k
	)

Definition at line 793 of file src/Libs/newgen/ri.c.

00793                                                 {
00794   return HASH_BOUND_P(p, i, entity_int_hash_table(f), k);
00795 }

bool bound_persistant_expression_to_effects_p	(	persistant_expression_to_effects	f,
		expression	k
	)

Definition at line 1367 of file src/Libs/newgen/ri.c.

01367                                                                                                 {
01368   return HASH_BOUND_P(p, p, persistant_expression_to_effects_hash_table(f), k);
01369 }

bool bound_persistant_statement_to_control_p	(	persistant_statement_to_control	f,
		statement	k
	)

Definition at line 1413 of file src/Libs/newgen/ri.c.

Referenced by abc_instrumentation_insert_before_statement(), bottom_up_abc_insert_before_statement(), interprocedural_abc_insert_before_statement(), partial_redundancy_elimination_rwt(), top_down_abc_insert_before_statement(), and trivial_test_statement_rewrite().

01413                                                                                              {
01414   return HASH_BOUND_P(p, p, persistant_statement_to_control_hash_table(f), k);
01415 }

Here is the caller graph for this function:

bool bound_persistant_statement_to_int_p	(	persistant_statement_to_int	f,
		statement	k
	)

Definition at line 1459 of file src/Libs/newgen/ri.c.

01459                                                                                      {
01460   return HASH_BOUND_P(p, i, persistant_statement_to_int_hash_table(f), k);
01461 }

bool bound_persistant_statement_to_statement_p	(	persistant_statement_to_statement	f,
		statement	k
	)

Definition at line 1505 of file src/Libs/newgen/ri.c.

01505                                                                                                  {
01506   return HASH_BOUND_P(p, p, persistant_statement_to_statement_hash_table(f), k);
01507 }

bool bound_statement_effects_p	(	statement_effects	f,
		statement	k
	)

Definition at line 1860 of file src/Libs/newgen/ri.c.

01860                                                                  {
01861   return HASH_BOUND_P(p, p, statement_effects_hash_table(f), k);
01862 }

bool call_consistent_p ( call p )

Definition at line 259 of file src/Libs/newgen/ri.c.

Referenced by forward_substitute_in_call().

00259                                {
00260   check_call(p);
00261   return gen_consistent_p((gen_chunk*) p);
00262 }

Here is the caller graph for this function:

bool call_defined_p ( call p )

Definition at line 263 of file src/Libs/newgen/ri.c.

00263                             {
00264   return gen_defined_p((gen_chunk*) p);
00265 }

bool callees_consistent_p ( callees p )

Definition at line 228 of file src/Libs/newgen/ri.c.

Referenced by EndOfProcedure().

00228                                      {
00229   check_callees(p);
00230   return gen_consistent_p((gen_chunk*) p);
00231 }

Here is the caller graph for this function:

bool callees_defined_p ( callees p )

Definition at line 232 of file src/Libs/newgen/ri.c.

00232                                   {
00233   return gen_defined_p((gen_chunk*) p);
00234 }

bool cast_consistent_p ( cast p )

Definition at line 290 of file src/Libs/newgen/ri.c.

00290                                {
00291   check_cast(p);
00292   return gen_consistent_p((gen_chunk*) p);
00293 }

bool cast_defined_p ( cast p )

Definition at line 294 of file src/Libs/newgen/ri.c.

00294                             {
00295   return gen_defined_p((gen_chunk*) p);
00296 }

bool cell_consistent_p ( cell p )

Definition at line 321 of file src/Libs/newgen/ri.c.

00321                                {
00322   check_cell(p);
00323   return gen_consistent_p((gen_chunk*) p);
00324 }

bool cell_defined_p ( cell p )

Definition at line 325 of file src/Libs/newgen/ri.c.

00325                             {
00326   return gen_defined_p((gen_chunk*) p);
00327 }

action check_action ( action p )

Definition at line 25 of file src/Libs/newgen/ri.c.

Referenced by action_consistent_p().

00025                               {
00026   return (action) gen_check((gen_chunk*) p, action_domain);
00027 }

Here is the caller graph for this function:

application check_application ( application p )

Definition at line 62 of file src/Libs/newgen/ri.c.

Referenced by application_consistent_p().

00062                                              {
00063   return (application) gen_check((gen_chunk*) p, application_domain);
00064 }

Here is the caller graph for this function:

approximation check_approximation ( approximation p )

Definition at line 93 of file src/Libs/newgen/ri.c.

Referenced by approximation_consistent_p().

00093                                                    {
00094   return (approximation) gen_check((gen_chunk*) p, approximation_domain);
00095 }

Here is the caller graph for this function:

area check_area ( area p )

Definition at line 133 of file src/Libs/newgen/ri.c.

Referenced by area_consistent_p().

00133                         {
00134   return (area) gen_check((gen_chunk*) p, area_domain);
00135 }

Here is the caller graph for this function:

basic check_basic ( basic p )

Definition at line 164 of file src/Libs/newgen/ri.c.

Referenced by basic_consistent_p().

00164                            {
00165   return (basic) gen_check((gen_chunk*) p, basic_domain);
00166 }

Here is the caller graph for this function:

call check_call ( call p )

Definition at line 256 of file src/Libs/newgen/ri.c.

Referenced by call_consistent_p(), and do_clone_syntax().

00256                         {
00257   return (call) gen_check((gen_chunk*) p, call_domain);
00258 }

Here is the caller graph for this function:

callees check_callees ( callees p )

Definition at line 225 of file src/Libs/newgen/ri.c.

Referenced by callees_consistent_p().

00225                                  {
00226   return (callees) gen_check((gen_chunk*) p, callees_domain);
00227 }

Here is the caller graph for this function:

cast check_cast ( cast p )

Definition at line 287 of file src/Libs/newgen/ri.c.

Referenced by cast_consistent_p().

00287                         {
00288   return (cast) gen_check((gen_chunk*) p, cast_domain);
00289 }

Here is the caller graph for this function:

cell check_cell ( cell p )

Definition at line 318 of file src/Libs/newgen/ri.c.

Referenced by cell_consistent_p().

00318                         {
00319   return (cell) gen_check((gen_chunk*) p, cell_domain);
00320 }

Here is the caller graph for this function:

code check_code ( code p )

Definition at line 355 of file src/Libs/newgen/ri.c.

Referenced by code_consistent_p().

00355                         {
00356   return (code) gen_check((gen_chunk*) p, code_domain);
00357 }

Here is the caller graph for this function:

constant check_constant ( constant p )

Definition at line 386 of file src/Libs/newgen/ri.c.

Referenced by constant_consistent_p().

00386                                     {
00387   return (constant) gen_check((gen_chunk*) p, constant_domain);
00388 }

Here is the caller graph for this function:

control check_control ( control p )

Definition at line 481 of file src/Libs/newgen/ri.c.

Referenced by control_consistent_p(), and get_label_control().

00481                                  {
00482   return (control) gen_check((gen_chunk*) p, control_domain);
00483 }

Here is the caller graph for this function:

controlmap check_controlmap ( controlmap p )

Definition at line 435 of file src/Libs/newgen/ri.c.

Referenced by controlmap_consistent_p().

00435                                           {
00436   return (controlmap) gen_check((gen_chunk*) p, controlmap_domain);
00437 }

Here is the caller graph for this function:

descriptor check_descriptor ( descriptor p )

Definition at line 512 of file src/Libs/newgen/ri.c.

Referenced by descriptor_consistent_p().

00512                                           {
00513   return (descriptor) gen_check((gen_chunk*) p, descriptor_domain);
00514 }

Here is the caller graph for this function:

dimension check_dimension ( dimension p )

Definition at line 552 of file src/Libs/newgen/ri.c.

Referenced by dimension_consistent_p().

00552                                        {
00553   return (dimension) gen_check((gen_chunk*) p, dimension_domain);
00554 }

Here is the caller graph for this function:

dummy check_dummy ( dummy p )

Definition at line 583 of file src/Libs/newgen/ri.c.

Referenced by dummy_consistent_p().

00583                            {
00584   return (dummy) gen_check((gen_chunk*) p, dummy_domain);
00585 }

Here is the caller graph for this function:

effect check_effect ( effect p )

Definition at line 620 of file src/Libs/newgen/ri.c.

Referenced by effect_consistent_p().

00620                               {
00621   return (effect) gen_check((gen_chunk*) p, effect_domain);
00622 }

Here is the caller graph for this function:

effects check_effects ( effects p )

Definition at line 682 of file src/Libs/newgen/ri.c.

Referenced by effects_consistent_p().

00682                                  {
00683   return (effects) gen_check((gen_chunk*) p, effects_domain);
00684 }

Here is the caller graph for this function:

effects_classes check_effects_classes ( effects_classes p )

Definition at line 651 of file src/Libs/newgen/ri.c.

Referenced by effects_classes_consistent_p().

00651                                                          {
00652   return (effects_classes) gen_check((gen_chunk*) p, effects_classes_domain);
00653 }

Here is the caller graph for this function:

entity check_entity ( entity p )

Definition at line 2063 of file src/Libs/newgen/ri.c.

Referenced by entities_p(), entity_consistent_p(), prepend_call(), and TakeDerivedEntities().

02063                               {
02064   return (entity) gen_check((gen_chunk*) p, entity_domain);
02065 }

Here is the caller graph for this function:

entity_effects check_entity_effects ( entity_effects p )

Definition at line 713 of file src/Libs/newgen/ri.c.

Referenced by entity_effects_consistent_p().

00713                                                       {
00714   return (entity_effects) gen_check((gen_chunk*) p, entity_effects_domain);
00715 }

Here is the caller graph for this function:

entity_int check_entity_int ( entity_int p )

Definition at line 759 of file src/Libs/newgen/ri.c.

Referenced by entity_int_consistent_p().

00759                                           {
00760   return (entity_int) gen_check((gen_chunk*) p, entity_int_domain);
00761 }

Here is the caller graph for this function:

evaluation check_evaluation ( evaluation p )

Definition at line 805 of file src/Libs/newgen/ri.c.

Referenced by evaluation_consistent_p().

00805                                           {
00806   return (evaluation) gen_check((gen_chunk*) p, evaluation_domain);
00807 }

Here is the caller graph for this function:

execution check_execution ( execution p )

Definition at line 842 of file src/Libs/newgen/ri.c.

Referenced by execution_consistent_p().

00842                                        {
00843   return (execution) gen_check((gen_chunk*) p, execution_domain);
00844 }

Here is the caller graph for this function:

expression check_expression ( expression p )

Definition at line 879 of file src/Libs/newgen/ri.c.

Referenced by expression_consistent_p().

00879                                           {
00880   return (expression) gen_check((gen_chunk*) p, expression_domain);
00881 }

Here is the caller graph for this function:

extension check_extension ( extension p )

Definition at line 910 of file src/Libs/newgen/ri.c.

Referenced by extension_consistent_p().

00910                                        {
00911   return (extension) gen_check((gen_chunk*) p, extension_domain);
00912 }

Here is the caller graph for this function:

extensions check_extensions ( extensions p )

Definition at line 941 of file src/Libs/newgen/ri.c.

Referenced by extensions_consistent_p().

00941                                           {
00942   return (extensions) gen_check((gen_chunk*) p, extensions_domain);
00943 }

Here is the caller graph for this function:

forloop check_forloop ( forloop p )

Definition at line 972 of file src/Libs/newgen/ri.c.

Referenced by forloop_consistent_p().

00972                                  {
00973   return (forloop) gen_check((gen_chunk*) p, forloop_domain);
00974 }

Here is the caller graph for this function:

formal check_formal ( formal p )

Definition at line 1003 of file src/Libs/newgen/ri.c.

Referenced by formal_consistent_p().

01003                               {
01004   return (formal) gen_check((gen_chunk*) p, formal_domain);
01005 }

Here is the caller graph for this function:

functional check_functional ( functional p )

Definition at line 1034 of file src/Libs/newgen/ri.c.

Referenced by functional_consistent_p().

01034                                           {
01035   return (functional) gen_check((gen_chunk*) p, functional_domain);
01036 }

Here is the caller graph for this function:

instruction check_instruction ( instruction p )

Definition at line 1065 of file src/Libs/newgen/ri.c.

Referenced by instruction_consistent_p().

01065                                              {
01066   return (instruction) gen_check((gen_chunk*) p, instruction_domain);
01067 }

Here is the caller graph for this function:

language check_language ( language p )

Definition at line 1126 of file src/Libs/newgen/ri.c.

Referenced by language_consistent_p().

01126                                     {
01127   return (language) gen_check((gen_chunk*) p, language_domain);
01128 }

Here is the caller graph for this function:

loop check_loop ( loop p )

Definition at line 1166 of file src/Libs/newgen/ri.c.

Referenced by loop_consistent_p().

01166                         {
01167   return (loop) gen_check((gen_chunk*) p, loop_domain);
01168 }

Here is the caller graph for this function:

mode check_mode ( mode p )

Definition at line 1197 of file src/Libs/newgen/ri.c.

Referenced by mode_consistent_p().

01197                         {
01198   return (mode) gen_check((gen_chunk*) p, mode_domain);
01199 }

Here is the caller graph for this function:

multitest check_multitest ( multitest p )

Definition at line 1234 of file src/Libs/newgen/ri.c.

Referenced by multitest_consistent_p().

01234                                        {
01235   return (multitest) gen_check((gen_chunk*) p, multitest_domain);
01236 }

Here is the caller graph for this function:

normalized check_normalized ( normalized p )

Definition at line 1265 of file src/Libs/newgen/ri.c.

Referenced by normalized_consistent_p().

01265                                           {
01266   return (normalized) gen_check((gen_chunk*) p, normalized_domain);
01267 }

Here is the caller graph for this function:

parameter check_parameter ( parameter p )

Definition at line 1302 of file src/Libs/newgen/ri.c.

Referenced by parameter_consistent_p().

01302                                        {
01303   return (parameter) gen_check((gen_chunk*) p, parameter_domain);
01304 }

Here is the caller graph for this function:

persistant_expression_to_effects check_persistant_expression_to_effects ( persistant_expression_to_effects p )

Definition at line 1333 of file src/Libs/newgen/ri.c.

Referenced by persistant_expression_to_effects_consistent_p().

01333                                                                                                             {
01334   return (persistant_expression_to_effects) gen_check((gen_chunk*) p, persistant_expression_to_effects_domain);
01335 }

Here is the caller graph for this function:

persistant_statement_to_control check_persistant_statement_to_control ( persistant_statement_to_control p )

Definition at line 1379 of file src/Libs/newgen/ri.c.

Referenced by persistant_statement_to_control_consistent_p().

01379                                                                                                          {
01380   return (persistant_statement_to_control) gen_check((gen_chunk*) p, persistant_statement_to_control_domain);
01381 }

Here is the caller graph for this function:

persistant_statement_to_int check_persistant_statement_to_int ( persistant_statement_to_int p )

Definition at line 1425 of file src/Libs/newgen/ri.c.

Referenced by persistant_statement_to_int_consistent_p().

01425                                                                                              {
01426   return (persistant_statement_to_int) gen_check((gen_chunk*) p, persistant_statement_to_int_domain);
01427 }

Here is the caller graph for this function:

persistant_statement_to_statement check_persistant_statement_to_statement ( persistant_statement_to_statement p )

Definition at line 1471 of file src/Libs/newgen/ri.c.

Referenced by persistant_statement_to_statement_consistent_p().

01471                                                                                                                {
01472   return (persistant_statement_to_statement) gen_check((gen_chunk*) p, persistant_statement_to_statement_domain);
01473 }

Here is the caller graph for this function:

pragma check_pragma ( pragma p )

Definition at line 1517 of file src/Libs/newgen/ri.c.

Referenced by pragma_consistent_p().

01517                               {
01518   return (pragma) gen_check((gen_chunk*) p, pragma_domain);
01519 }

Here is the caller graph for this function:

predicate check_predicate ( predicate p )

Definition at line 1557 of file src/Libs/newgen/ri.c.

Referenced by predicate_consistent_p().

01557                                        {
01558   return (predicate) gen_check((gen_chunk*) p, predicate_domain);
01559 }

Here is the caller graph for this function:

preference check_preference ( preference p )

Definition at line 1588 of file src/Libs/newgen/ri.c.

Referenced by preference_consistent_p().

01588                                           {
01589   return (preference) gen_check((gen_chunk*) p, preference_domain);
01590 }

Here is the caller graph for this function:

qualifier check_qualifier ( qualifier p )

Definition at line 1619 of file src/Libs/newgen/ri.c.

Referenced by qualifier_consistent_p().

01619                                        {
01620   return (qualifier) gen_check((gen_chunk*) p, qualifier_domain);
01621 }

Here is the caller graph for this function:

ram check_ram ( ram p )

Definition at line 1665 of file src/Libs/newgen/ri.c.

Referenced by ram_consistent_p().

01665                      {
01666   return (ram) gen_check((gen_chunk*) p, ram_domain);
01667 }

Here is the caller graph for this function:

range check_range ( range p )

Definition at line 1696 of file src/Libs/newgen/ri.c.

Referenced by range_consistent_p().

01696                            {
01697   return (range) gen_check((gen_chunk*) p, range_domain);
01698 }

Here is the caller graph for this function:

reference check_reference ( reference p )

Definition at line 1727 of file src/Libs/newgen/ri.c.

Referenced by do_clone_syntax(), and reference_consistent_p().

01727                                        {
01728   return (reference) gen_check((gen_chunk*) p, reference_domain);
01729 }

Here is the caller graph for this function:

sequence check_sequence ( sequence p )

Definition at line 1758 of file src/Libs/newgen/ri.c.

Referenced by sequence_consistent_p().

01758                                     {
01759   return (sequence) gen_check((gen_chunk*) p, sequence_domain);
01760 }

Here is the caller graph for this function:

sizeofexpression check_sizeofexpression ( sizeofexpression p )

Definition at line 1789 of file src/Libs/newgen/ri.c.

Referenced by sizeofexpression_consistent_p().

01789                                                             {
01790   return (sizeofexpression) gen_check((gen_chunk*) p, sizeofexpression_domain);
01791 }

Here is the caller graph for this function:

statement check_statement ( statement p )

Definition at line 1872 of file src/Libs/newgen/ri.c.

Referenced by statement_consistent_p().

01872                                        {
01873   return (statement) gen_check((gen_chunk*) p, statement_domain);
01874 }

Here is the caller graph for this function:

statement_effects check_statement_effects ( statement_effects p )

Definition at line 1826 of file src/Libs/newgen/ri.c.

Referenced by statement_effects_consistent_p().

01826                                                                {
01827   return (statement_effects) gen_check((gen_chunk*) p, statement_effects_domain);
01828 }

Here is the caller graph for this function:

storage check_storage ( storage p )

Definition at line 1903 of file src/Libs/newgen/ri.c.

Referenced by storage_consistent_p().

01903                                  {
01904   return (storage) gen_check((gen_chunk*) p, storage_domain);
01905 }

Here is the caller graph for this function:

subscript check_subscript ( subscript p )

Definition at line 1946 of file src/Libs/newgen/ri.c.

Referenced by subscript_consistent_p().

01946                                        {
01947   return (subscript) gen_check((gen_chunk*) p, subscript_domain);
01948 }

Here is the caller graph for this function:

symbolic check_symbolic ( symbolic p )

Definition at line 1977 of file src/Libs/newgen/ri.c.

Referenced by symbolic_consistent_p().

01977                                     {
01978   return (symbolic) gen_check((gen_chunk*) p, symbolic_domain);
01979 }

Here is the caller graph for this function:

syntax check_syntax ( syntax p )

Definition at line 2008 of file src/Libs/newgen/ri.c.

Referenced by syntax_consistent_p().

02008                               {
02009   return (syntax) gen_check((gen_chunk*) p, syntax_domain);
02010 }

Here is the caller graph for this function:

test check_test ( test p )

Definition at line 2102 of file src/Libs/newgen/ri.c.

Referenced by test_consistent_p().

02102                         {
02103   return (test) gen_check((gen_chunk*) p, test_domain);
02104 }

Here is the caller graph for this function:

transformer check_transformer ( transformer p )

Definition at line 2133 of file src/Libs/newgen/ri.c.

Referenced by transformer_consistent_p().

02133                                              {
02134   return (transformer) gen_check((gen_chunk*) p, transformer_domain);
02135 }

Here is the caller graph for this function:

type check_type ( type p )

Definition at line 2164 of file src/Libs/newgen/ri.c.

Referenced by type_consistent_p().

02164                         {
02165   return (type) gen_check((gen_chunk*) p, type_domain);
02166 }

Here is the caller graph for this function:

unstructured check_unstructured ( unstructured p )

Definition at line 2225 of file src/Libs/newgen/ri.c.

Referenced by unstructured_consistent_p().

02225                                                 {
02226   return (unstructured) gen_check((gen_chunk*) p, unstructured_domain);
02227 }

Here is the caller graph for this function:

value check_value ( value p )

Definition at line 2256 of file src/Libs/newgen/ri.c.

Referenced by value_consistent_p().

02256                            {
02257   return (value) gen_check((gen_chunk*) p, value_domain);
02258 }

Here is the caller graph for this function:

variable check_variable ( variable p )

Definition at line 2305 of file src/Libs/newgen/ri.c.

Referenced by variable_consistent_p().

02305                                     {
02306   return (variable) gen_check((gen_chunk*) p, variable_domain);
02307 }

Here is the caller graph for this function:

whileloop check_whileloop ( whileloop p )

Definition at line 2336 of file src/Libs/newgen/ri.c.

Referenced by whileloop_consistent_p().

02336                                        {
02337   return (whileloop) gen_check((gen_chunk*) p, whileloop_domain);
02338 }

Here is the caller graph for this function:

bool code_consistent_p ( code p )

Definition at line 358 of file src/Libs/newgen/ri.c.

00358                                {
00359   check_code(p);
00360   return gen_consistent_p((gen_chunk*) p);
00361 }

bool code_defined_p ( code p )

Definition at line 362 of file src/Libs/newgen/ri.c.

00362                             {
00363   return gen_defined_p((gen_chunk*) p);
00364 }

bool constant_consistent_p ( constant p )

Definition at line 389 of file src/Libs/newgen/ri.c.

00389                                        {
00390   check_constant(p);
00391   return gen_consistent_p((gen_chunk*) p);
00392 }

bool constant_defined_p ( constant p )

Definition at line 393 of file src/Libs/newgen/ri.c.

00393                                     {
00394   return gen_defined_p((gen_chunk*) p);
00395 }

bool control_consistent_p ( control p )

Definition at line 484 of file src/Libs/newgen/ri.c.

Referenced by check_control_coherency(), clean_up_embedding_graph(), compact_list(), fuse_sequences_in_unstructured(), hierarchize_control_list(), remove_useless_continue_or_empty_code_in_unstructured(), restructure_if_then_else(), and simplified_unstructured().

00484                                      {
00485   check_control(p);
00486   return gen_consistent_p((gen_chunk*) p);
00487 }

Here is the caller graph for this function:

bool control_defined_p ( control p )

Definition at line 488 of file src/Libs/newgen/ri.c.

00488                                   {
00489   return gen_defined_p((gen_chunk*) p);
00490 }

bool controlmap_consistent_p ( controlmap p )

Definition at line 438 of file src/Libs/newgen/ri.c.

00438                                            {
00439   check_controlmap(p);
00440   return gen_consistent_p((gen_chunk*) p);
00441 }

bool controlmap_defined_p ( controlmap p )

Definition at line 442 of file src/Libs/newgen/ri.c.

00442                                         {
00443   return gen_defined_p((gen_chunk*) p);
00444 }

action copy_action ( action p )

ACTION.

Definition at line 19 of file src/Libs/newgen/ri.c.

Referenced by c_simple_effects_on_formal_parameter_backward_translation(), effect_to_pointer_store_independent_effect(), effect_to_store_independent(), simple_effect_dup(), and summary_effect_to_proper_effect().

00019                              {
00020   return (action) gen_copy_tree((gen_chunk*) p);
00021 }

Here is the caller graph for this function:

application copy_application ( application p )

APPLICATION.

Definition at line 56 of file src/Libs/newgen/ri.c.

00056                                             {
00057   return (application) gen_copy_tree((gen_chunk*) p);
00058 }

approximation copy_approximation ( approximation p )

APPROXIMATION.

Definition at line 87 of file src/Libs/newgen/ri.c.

Referenced by c_simple_effects_on_formal_parameter_backward_translation(), c_summary_effect_to_proper_effects(), simple_effect_dup(), and summary_effect_to_proper_effect().

00087                                                   {
00088   return (approximation) gen_copy_tree((gen_chunk*) p);
00089 }

Here is the caller graph for this function:

area copy_area ( area p )

AREA.

Definition at line 127 of file src/Libs/newgen/ri.c.

00127                        {
00128   return (area) gen_copy_tree((gen_chunk*) p);
00129 }

basic copy_basic ( basic p )

BASIC.

Definition at line 158 of file src/Libs/newgen/ri.c.

Referenced by any_expression_to_transformer(), basic_maximum(), basic_of_call(), basic_of_intrinsic(), basic_union_arguments(), call_to_type(), clone_scalar(), create_loop_HRE_module(), DeclareVariable(), do_loop_unroll(), expression_array_to_pointer(), expression_to_type(), find_or_create_newInd(), generate_code_loop(), hpfc_new_variable(), inline_expression_call(), loop_scalarization(), make_local_temporary_value_entity_with_basic(), make_temporary_pointer_to_array_entity(), make_temporary_scalar_entity(), reference_to_type(), sac_make_new_variable(), simple_effect_reference_type(), simplify_C_expression(), some_basic_of_any_expression(), step_new_variable(), type_this_call(), type_this_entity_if_needed(), type_this_expression(), typing_arguments(), typing_arguments_of_user_function(), typing_function_argument_type_to_return_type(), typing_function_conversion_to_numeric(), typing_power_operator(), and UpdateType().

00158                           {
00159   return (basic) gen_copy_tree((gen_chunk*) p);
00160 }

Here is the caller graph for this function:

call copy_call ( call p )

CALL.

Definition at line 250 of file src/Libs/newgen/ri.c.

Referenced by check_if_conv_call(), convert_constant(), convert_constant_from_double_to_dcomplex(), convert_constant_from_real_to_complex(), hpf_compile_call(), inline_statement_crawler(), and process_true_call_stat().

00250                        {
00251   return (call) gen_copy_tree((gen_chunk*) p);
00252 }

Here is the caller graph for this function:

callees copy_callees ( callees p )

CALLEES.

Definition at line 219 of file src/Libs/newgen/ri.c.

00219                                 {
00220   return (callees) gen_copy_tree((gen_chunk*) p);
00221 }

cast copy_cast ( cast p )

CAST.

Definition at line 281 of file src/Libs/newgen/ri.c.

00281                        {
00282   return (cast) gen_copy_tree((gen_chunk*) p);
00283 }

cell copy_cell ( cell p )

CELL.

Definition at line 312 of file src/Libs/newgen/ri.c.

00312                        {
00313   return (cell) gen_copy_tree((gen_chunk*) p);
00314 }

code copy_code ( code p )

CODE.

Definition at line 349 of file src/Libs/newgen/ri.c.

00349                        {
00350   return (code) gen_copy_tree((gen_chunk*) p);
00351 }

constant copy_constant ( constant p )

CONSTANT.

Definition at line 380 of file src/Libs/newgen/ri.c.

Referenced by AnalyzeData().

00380                                    {
00381   return (constant) gen_copy_tree((gen_chunk*) p);
00382 }

Here is the caller graph for this function:

control copy_control ( control p )

CONTROL.

Definition at line 475 of file src/Libs/newgen/ri.c.

00475                                 {
00476   return (control) gen_copy_tree((gen_chunk*) p);
00477 }

controlmap copy_controlmap ( controlmap p )

CONTROLMAP.

Definition at line 429 of file src/Libs/newgen/ri.c.

00429                                          {
00430   return (controlmap) gen_copy_tree((gen_chunk*) p);
00431 }

descriptor copy_descriptor ( descriptor p )

DESCRIPTOR.

Definition at line 506 of file src/Libs/newgen/ri.c.

Referenced by out_effects_from_loop_to_body(), simple_effect_dup(), and summary_effect_to_proper_effect().

00506                                          {
00507   return (descriptor) gen_copy_tree((gen_chunk*) p);
00508 }

Here is the caller graph for this function:

dimension copy_dimension ( dimension p )

DIMENSION.

Definition at line 546 of file src/Libs/newgen/ri.c.

Referenced by bottom_up_abc_base_reference_implied_do(), bottom_up_abc_reference(), NewDeclarationOfDistributedArray(), reduction_variable_expansion(), top_down_abc_call(), and top_down_abc_dimension().

00546                                       {
00547   return (dimension) gen_copy_tree((gen_chunk*) p);
00548 }

Here is the caller graph for this function:

dummy copy_dummy ( dummy p )

DUMMY.

Definition at line 577 of file src/Libs/newgen/ri.c.

00577                           {
00578   return (dummy) gen_copy_tree((gen_chunk*) p);
00579 }

effect copy_effect ( effect p )

EFFECT.

Definition at line 614 of file src/Libs/newgen/ri.c.

Referenced by basic_deref_addr(), basic_deref_array(), basic_deref_deref(), basic_deref_field(), basic_deref_ptr_to_field(), basic_deref_ref(), basic_field_addr(), basic_ptr_to_field_addr(), basic_ptr_to_field_field(), basic_ptr_to_field_ref(), basic_ref_addr(), basic_ref_array(), basic_ref_deref(), basic_ref_field(), basic_ref_ptr_to_field(), basic_ref_ref(), region_dup(), set_methods_for_cumulated_references(), set_methods_for_proper_references(), simple_effect_dup(), struct_double_pointer(), and struct_pointer().

00614                              {
00615   return (effect) gen_copy_tree((gen_chunk*) p);
00616 }

Here is the caller graph for this function:

effects copy_effects ( effects p )

EFFECTS.

Definition at line 676 of file src/Libs/newgen/ri.c.

00676                                 {
00677   return (effects) gen_copy_tree((gen_chunk*) p);
00678 }

effects_classes copy_effects_classes ( effects_classes p )

EFFECTS_CLASSES.

Definition at line 645 of file src/Libs/newgen/ri.c.

00645                                                         {
00646   return (effects_classes) gen_copy_tree((gen_chunk*) p);
00647 }

entity copy_entity ( entity p )

ENTITY.

Definition at line 2057 of file src/Libs/newgen/ri.c.

Referenced by argument_entity(), cast_constant(), compile_omp(), entity_locations_max(), inline_expression_call(), and solve_name_clashes().

02057                              {
02058   return (entity) gen_copy_tree((gen_chunk*) p);
02059 }

Here is the caller graph for this function:

entity_effects copy_entity_effects ( entity_effects p )

ENTITY_EFFECTS.

Definition at line 707 of file src/Libs/newgen/ri.c.

00707                                                      {
00708   return (entity_effects) gen_copy_tree((gen_chunk*) p);
00709 }

entity_int copy_entity_int ( entity_int p )

ENTITY_INT.

Definition at line 753 of file src/Libs/newgen/ri.c.

00753                                          {
00754   return (entity_int) gen_copy_tree((gen_chunk*) p);
00755 }

evaluation copy_evaluation ( evaluation p )

EVALUATION.

Definition at line 799 of file src/Libs/newgen/ri.c.

Referenced by do_clone_whileloop().

00799                                          {
00800   return (evaluation) gen_copy_tree((gen_chunk*) p);
00801 }

Here is the caller graph for this function:

execution copy_execution ( execution p )

EXECUTION.

Definition at line 836 of file src/Libs/newgen/ri.c.

00836                                       {
00837   return (execution) gen_copy_tree((gen_chunk*) p);
00838 }

expression copy_expression ( expression p )

EXPRESSION.

Definition at line 873 of file src/Libs/newgen/ri.c.

Referenced by _build_compute_region(), abc_with_allocation_size(), add_exec_mmcd(), add_index_out_effect_proc(), adg_dataflowgraph(), adg_dataflowgraph_with_extremities(), alias_check_array_and_scalar_variable_in_caller_flt(), alias_check_array_and_scalar_variable_in_module_flt(), alias_check_array_variable_in_caller_flt(), alias_check_array_variable_in_module_flt(), alias_check_scalar_and_array_variables_in_caller(), alias_check_scalar_and_array_variables_in_module(), alias_check_two_array_variables_in_caller(), alias_check_two_array_variables_in_module(), any_basic_update_to_transformer(), any_update_to_transformer(), array_access_to_array_ranges(), array_ranges_to_template_ranges(), array_size_stride(), atom_cse_expression(), atomize_cse_this_statement_expressions(), basic_deref_addr(), basic_deref_array(), basic_deref_field(), basic_deref_ptr_to_field(), basic_deref_ref(), basic_field_addr(), basic_ptr_to_field_addr(), basic_ptr_to_field_field(), basic_ptr_to_field_ref(), basic_ref_field(), basic_ref_ptr_to_field(), basic_ref_ref(), bottom_up_abc_reference(), build_assigne_region0(), build_call_STEP_AlltoAllRegion(), build_call_STEP_MastertoAllRegion(), c_convex_effects_on_actual_parameter_forward_translation(), c_convex_effects_on_formal_parameter_backward_translation(), c_reference(), c_simple_effects_on_formal_parameter_backward_translation(), c_summary_effect_to_proper_effects(), convert_bound_expression(), cse_atom_call_flt(), dimension_dup(), do_expand_reference(), do_loop_expansion(), do_loop_unroll(), do_transform_if_statements(), effects_of_C_ioelem(), entity_ith_bounds(), expand_call(), expand_reference(), expression_array_to_pointer(), extract_the_distribute(), forloop_test(), formal_variable_add_aliases(), full_loop_unroll(), generate_code(), generate_code_loop(), generate_copy_loop_nest(), generate_fifo_stat(), generate_full_copy(), generate_io_wp65_code(), generate_load_statement(), generate_optimized_code_for_loop_nest(), generate_prelude(), generate_save_statement(), generic_p_proper_effect_of_reference(), guard_expanded_statement(), Hierarchical_tiling(), hpfc_add_2(), hpfc_generate_message(), hpfc_message(), icm_loop_rwt(), if_conv_init_statement(), incrementation_expression_to_increment(), index_set_split_loop(), inline_expression_call(), inline_return_crawler(), inline_split_declarations(), insert_test_before_statement(), loop_annotate(), loop_flt(), loop_normalize_of_loop(), loop_normalize_statement(), loop_rewrite(), loop_strip_mine(), lUpdateExpr_but_distributed(), make_lInitStats(), make_loop_step_stat(), make_loopStat1(), make_phi_assign_instruction(), make_substitution(), make_temporary_pointer_to_array_entity(), make_temporary_scalar_entity(), make_transStat(), MakeArithmIfInst(), MakeAssignedOrComputedGotoInst(), MakeInvertExpression(), MakeIoInstA(), ndf_normalized_test(), negate_expression(), normalize_test_leaves(), parser_macro_expansion(), partial_eval_expression_and_copy(), partial_redundancy_elimination_expression(), partial_redundancy_elimination_rwt(), perform_reference_expansion_in_loop(), points_to_assignment(), points_to_expression(), points_to_intrinsic(), prepare_expansion(), process_true_call_stat(), ram_variable_add_aliases(), range_to_expression(), reduction_variable_expansion(), remove_dead_loop(), remove_loop_statement(), replace_expression_similar_to_pattern(), replace_subscript(), same_dimension_p(), sc_conditional(), sc_list_of_exp_dup(), simd_atomize_this_expression(), simple_effect_add_expression_dimension(), simple_effect_change_ith_dimension_expression(), simplification_conversion(), simplify_complex_expression(), size_of_actual_array(), size_of_dummy_array(), size_of_unnormalized_dummy_array(), SizeOfDimension(), split_update_call(), static_controlize_statement(), step_new_variable(), step_sizevariable_in_expression(), storage_formal_offset(), storage_ram_offset(), struct_decomposition(), subscript_value(), subscript_value_stride(), substitute_and_create(), substitute_entity_in_expression(), subtitute_induction_statement_in(), text_loop_craft(), tiling(), Tiling2_buffer(), Tiling_buffer_allocation(), top_down_abc_call(), translate_reference_to_callee_frame(), trivial_test_deal_with_test(), trivial_test_deal_with_unstructured(), true_copy_schedule(), two_addresses_code_generator(), update_operation_to_transformer(), update_range(), update_test_condition(), UpdateExpressionForModule(), variable_initial_expression(), and whileloop_test().

00873                                          {
00874   return (expression) gen_copy_tree((gen_chunk*) p);
00875 }

extension copy_extension ( extension p )

EXTENSION.

Definition at line 904 of file src/Libs/newgen/ri.c.

00904                                       {
00905   return (extension) gen_copy_tree((gen_chunk*) p);
00906 }

extensions copy_extensions ( extensions p )

EXTENSIONS.

Definition at line 935 of file src/Libs/newgen/ri.c.

Referenced by controlize_forloop(), controlize_list(), controlize_loop(), controlize_test(), controlize_whileloop(), forloop_test(), loop_test(), MakeLoopAs(), MakeStatementLike(), and whileloop_test().

00935                                          {
00936   return (extensions) gen_copy_tree((gen_chunk*) p);
00937 }

Here is the caller graph for this function:

forloop copy_forloop ( forloop p )

FORLOOP.

Definition at line 966 of file src/Libs/newgen/ri.c.

00966                                 {
00967   return (forloop) gen_copy_tree((gen_chunk*) p);
00968 }

formal copy_formal ( formal p )

FORMAL.

Definition at line 997 of file src/Libs/newgen/ri.c.

00997                              {
00998   return (formal) gen_copy_tree((gen_chunk*) p);
00999 }

functional copy_functional ( functional p )

FUNCTIONAL.

Definition at line 1028 of file src/Libs/newgen/ri.c.

01028                                          {
01029   return (functional) gen_copy_tree((gen_chunk*) p);
01030 }

instruction copy_instruction ( instruction p )

INSTRUCTION.

Definition at line 1059 of file src/Libs/newgen/ri.c.

Referenced by blind_loop_distribute(), build_first_comb(), build_third_comb(), build_third_subcomb(), handle_directive_none(), inline_outlined_statement(), inline_statement_crawler(), insert_rwt(), and partial_redundancy_elimination_rwt().

01059                                             {
01060   return (instruction) gen_copy_tree((gen_chunk*) p);
01061 }

Here is the caller graph for this function:

language copy_language ( language p )

LANGUAGE.

Definition at line 1120 of file src/Libs/newgen/ri.c.

01120                                    {
01121   return (language) gen_copy_tree((gen_chunk*) p);
01122 }

loop copy_loop ( loop p )

LOOP.

Definition at line 1160 of file src/Libs/newgen/ri.c.

Referenced by free_guards(), loop_dup(), and loop_flt().

01160                        {
01161   return (loop) gen_copy_tree((gen_chunk*) p);
01162 }

Here is the caller graph for this function:

mode copy_mode ( mode p )

MODE.

Definition at line 1191 of file src/Libs/newgen/ri.c.

01191                        {
01192   return (mode) gen_copy_tree((gen_chunk*) p);
01193 }

multitest copy_multitest ( multitest p )

MULTITEST.

Definition at line 1228 of file src/Libs/newgen/ri.c.

01228                                       {
01229   return (multitest) gen_copy_tree((gen_chunk*) p);
01230 }

normalized copy_normalized ( normalized p )

NORMALIZED.

Definition at line 1259 of file src/Libs/newgen/ri.c.

Referenced by simplification_conversion().

01259                                          {
01260   return (normalized) gen_copy_tree((gen_chunk*) p);
01261 }

Here is the caller graph for this function:

parameter copy_parameter ( parameter p )

PARAMETER.

Definition at line 1296 of file src/Libs/newgen/ri.c.

Referenced by actual_c_parser().

01296                                       {
01297   return (parameter) gen_copy_tree((gen_chunk*) p);
01298 }

Here is the caller graph for this function:

persistant_expression_to_effects copy_persistant_expression_to_effects ( persistant_expression_to_effects p )

PERSISTANT_EXPRESSION_TO_EFFECTS.

Definition at line 1327 of file src/Libs/newgen/ri.c.

01327                                                                                                            {
01328   return (persistant_expression_to_effects) gen_copy_tree((gen_chunk*) p);
01329 }

persistant_statement_to_control copy_persistant_statement_to_control ( persistant_statement_to_control p )

PERSISTANT_STATEMENT_TO_CONTROL.

Definition at line 1373 of file src/Libs/newgen/ri.c.

01373                                                                                                         {
01374   return (persistant_statement_to_control) gen_copy_tree((gen_chunk*) p);
01375 }

persistant_statement_to_int copy_persistant_statement_to_int ( persistant_statement_to_int p )

PERSISTANT_STATEMENT_TO_INT.

Definition at line 1419 of file src/Libs/newgen/ri.c.

01419                                                                                             {
01420   return (persistant_statement_to_int) gen_copy_tree((gen_chunk*) p);
01421 }

persistant_statement_to_statement copy_persistant_statement_to_statement ( persistant_statement_to_statement p )

PERSISTANT_STATEMENT_TO_STATEMENT.

Definition at line 1465 of file src/Libs/newgen/ri.c.

01465                                                                                                               {
01466   return (persistant_statement_to_statement) gen_copy_tree((gen_chunk*) p);
01467 }

pragma copy_pragma ( pragma p )

PRAGMA.

Definition at line 1511 of file src/Libs/newgen/ri.c.

01511                              {
01512   return (pragma) gen_copy_tree((gen_chunk*) p);
01513 }

predicate copy_predicate ( predicate p )

PREDICATE.

Definition at line 1551 of file src/Libs/newgen/ri.c.

01551                                       {
01552   return (predicate) gen_copy_tree((gen_chunk*) p);
01553 }

preference copy_preference ( preference p )

PREFERENCE.

Definition at line 1582 of file src/Libs/newgen/ri.c.

01582                                          {
01583   return (preference) gen_copy_tree((gen_chunk*) p);
01584 }

qualifier copy_qualifier ( qualifier p )

QUALIFIER.

Definition at line 1613 of file src/Libs/newgen/ri.c.

01613                                       {
01614   return (qualifier) gen_copy_tree((gen_chunk*) p);
01615 }

ram copy_ram ( ram p )

RAM.

Definition at line 1659 of file src/Libs/newgen/ri.c.

01659                     {
01660   return (ram) gen_copy_tree((gen_chunk*) p);
01661 }

range copy_range ( range p )

RANGE.

Definition at line 1690 of file src/Libs/newgen/ri.c.

Referenced by expand_reference(), generate_code_loop(), make_loopPattern(), reduction_variable_expansion(), sc_loop_dup(), and update_range().

01690                           {
01691   return (range) gen_copy_tree((gen_chunk*) p);
01692 }

Here is the caller graph for this function:

reference copy_reference ( reference p )

REFERENCE.

Definition at line 1721 of file src/Libs/newgen/ri.c.

Referenced by access_entity(), access_reference(), access_reference1(), argument_entity(), build_third_comb(), build_third_subcomb(), c_convex_effects_on_formal_parameter_backward_translation(), c_simple_effects_on_formal_parameter_backward_translation(), c_summary_effect_to_proper_effects(), call_proper_reduction_p(), comp_region_dup(), effect_to_store_independent_sdfi_list(), effects_of_C_ioelem(), find_reference_to_variable(), freeze_variables_in_statement(), generate_compact(), generate_full_copy(), generate_mmcd_stat_from_ref(), generic_io_effects(), generic_p_proper_effect_of_reference(), generic_proper_effects_of_complex_address_expression(), InitCompDesc(), io_effects(), loop_scalarization(), make_lInitStats(), make_lSwitchStats(), make_phi_assign_instruction(), phrase_remove_dependences_rwt(), reduction_as_expr(), reduction_variable_expansion(), reference_to_simple_effect(), regions_may_convex_hull(), regions_must_convex_hull(), replace_reference(), simple_effect_add_expression_dimension(), simple_effect_change_ith_dimension_expression(), simple_effect_dup(), Tiling_buffer_allocation(), and translate_reduction().

01721                                       {
01722   return (reference) gen_copy_tree((gen_chunk*) p);
01723 }

Here is the caller graph for this function:

sequence copy_sequence ( sequence p )

SEQUENCE.

Definition at line 1752 of file src/Libs/newgen/ri.c.

01752                                    {
01753   return (sequence) gen_copy_tree((gen_chunk*) p);
01754 }

sizeofexpression copy_sizeofexpression ( sizeofexpression p )

SIZEOFEXPRESSION.

Definition at line 1783 of file src/Libs/newgen/ri.c.

Referenced by do_clone_sizeofexpression().

01783                                                            {
01784   return (sizeofexpression) gen_copy_tree((gen_chunk*) p);
01785 }

Here is the caller graph for this function:

statement copy_statement ( statement p )

STATEMENT.

Definition at line 1866 of file src/Libs/newgen/ri.c.

Referenced by _directives_outline(), add_pvm_init_and_end(), build_statement_for_clone(), BuildStatementForEntry(), call_rwt(), code_generation(), compile_mpi(), compile_omp(), controlizer(), do_it(), do_loop_unroll(), do_transform_if_statements(), free_guards(), full_loop_unroll(), generate_stat_from_ref_list_HRE(), generate_stat_from_ref_list_HRE_list(), get_call_stat_HRE(), guard_expanded_statement(), hpf_compile_parallel_body(), hpf_compile_parallel_loop(), HRE_distribute_call(), HRE_distribute_test(), if_conversion_init(), index_set_split_loop(), inline_expression_call(), inline_return_crawler(), inline_return_remover(), insert_statement(), io_efficient_compile(), loop_flt(), make_bottom_up_abc_tests(), make_directive_none(), make_interprocedural_abc_tests(), make_loop_nest_for_overlap(), make_seqStat(), move_statements_stat(), moveConstArgsStatements(), nest_parallelization(), partial_redundancy_elimination_rwt(), permutation(), permutation2(), phrase_remove_dependences_rwt(), pips_code_abc_statement_rwt(), process_gLoopToSync_HRE(), reductions_rewrite(), terapix_loop_handler(), Tiling_buffer_allocation(), top_down_abc_array(), trivial_test_deal_with_test(), trivial_test_deal_with_unstructured(), and UpdateStatementForModule().

01866                                       {
01867   return (statement) gen_copy_tree((gen_chunk*) p);
01868 }

statement_effects copy_statement_effects ( statement_effects p )

STATEMENT_EFFECTS.

Definition at line 1820 of file src/Libs/newgen/ri.c.

01820                                                               {
01821   return (statement_effects) gen_copy_tree((gen_chunk*) p);
01822 }

storage copy_storage ( storage p )

STORAGE.

Definition at line 1897 of file src/Libs/newgen/ri.c.

Referenced by add_non_declared_reference_to_declaration(), add_symbolic_constant_to_declaration(), build_a_clone_for(), CleanUpEntity(), clone_variable_with_new_name(), FindOrCreateEntityLikeModel(), make_entity_copy(), make_entity_copy_with_new_name(), make_tile_index_entity_n(), outlining_make_argument(), PushFunction(), RenameFunctionEntity(), and UseFormalArguments().

01897                                 {
01898   return (storage) gen_copy_tree((gen_chunk*) p);
01899 }

Here is the caller graph for this function:

subscript copy_subscript ( subscript p )

SUBSCRIPT.

Definition at line 1940 of file src/Libs/newgen/ri.c.

01940                                       {
01941   return (subscript) gen_copy_tree((gen_chunk*) p);
01942 }

symbolic copy_symbolic ( symbolic p )

SYMBOLIC.

Definition at line 1971 of file src/Libs/newgen/ri.c.

01971                                    {
01972   return (symbolic) gen_copy_tree((gen_chunk*) p);
01973 }

syntax copy_syntax ( syntax p )

SYNTAX.

Definition at line 2002 of file src/Libs/newgen/ri.c.

Referenced by atom_cse_expression(), atomize_this_expression(), daExpressionReplaceReference(), expr_flt(), expr_rwt(), make_simd_statements(), reference_substitute(), replace_entity_by_expression_expression_walker(), simd_atomize_this_expression(), simplification_conversion(), and step_expression_atomize_filter().

02002                              {
02003   return (syntax) gen_copy_tree((gen_chunk*) p);
02004 }

Here is the caller graph for this function:

test copy_test ( test p )

TEST.

Definition at line 2096 of file src/Libs/newgen/ri.c.

02096                        {
02097   return (test) gen_copy_tree((gen_chunk*) p);
02098 }

transformer copy_transformer ( transformer p )

TRANSFORMER.

Definition at line 2127 of file src/Libs/newgen/ri.c.

Referenced by any_expressions_to_transformer(), any_user_call_site_to_transformer(), complete_any_loop_transformer(), complete_repeatloop_transformer(), complete_statement_transformer(), condition_to_transformer(), expressions_to_transformer(), get_control_precondition(), integer_expression_to_transformer(), integer_multiply_to_transformer(), logical_binary_function_to_transformer(), main_summary_precondition(), module_name_to_preconditions(), process_ready_node(), propagate_preconditions_in_declarations(), repeatloop_to_postcondition(), safe_any_expression_to_transformer(), statement_to_transformer(), transformer_basic_fix_point(), transformer_dup(), transformer_remove_variable_and_dup(), transformer_safe_general_intersection(), and unstructured_to_flow_sensitive_postconditions_or_transformers().

02127                                             {
02128   return (transformer) gen_copy_tree((gen_chunk*) p);
02129 }

Here is the caller graph for this function:

type copy_type ( type p )

TYPE.

Definition at line 2158 of file src/Libs/newgen/ri.c.

Referenced by add_non_declared_reference_to_declaration(), add_old_value(), add_symbolic_constant_to_declaration(), basic_concrete_type(), basic_of_intrinsic(), build_a_clone_for(), c_parse(), call_to_functional_type(), CleanUpEntity(), clone_variable_with_new_name(), create_parameter_variable_for_new_module(), create_private_variable_for_new_module(), CreateReturnEntity(), declare_common_variables_in_module(), DeclareVariable(), do_clone_cast(), expression_to_type(), FindOrCreateEntityLikeModel(), generic_c_words_simplified_entity(), intrinsic_call_to_type(), local_copy(), localize_declaration_walker(), make_entity_copy(), make_entity_copy_with_new_name(), make_global_entity_from_local(), make_local_value_entity(), make_new_index_entity(), make_parameter_list(), make_tile_index_entity_n(), MakeResultType(), outliner(), outlining_make_argument(), privatize_entity(), PushFunction(), reference_to_type(), RenameFunctionEntity(), some_basic_of_any_expression(), step_add_formal_copy(), step_add_parameter(), syn_parse(), TranslateEntryFormals(), ultimate_type(), update_functional_type_with_actual_arguments(), UpdateEntity2(), UpdateType(), UseFormalArguments(), and yyparse().

02158                        {
02159   return (type) gen_copy_tree((gen_chunk*) p);
02160 }

Here is the caller graph for this function:

unstructured copy_unstructured ( unstructured p )

UNSTRUCTURED.

Definition at line 2219 of file src/Libs/newgen/ri.c.

02219                                                {
02220   return (unstructured) gen_copy_tree((gen_chunk*) p);
02221 }

value copy_value ( value p )

VALUE.

Definition at line 2250 of file src/Libs/newgen/ri.c.

Referenced by add_non_declared_reference_to_declaration(), add_symbolic_constant_to_declaration(), CleanUpEntity(), clone_variable_with_new_name(), create_parameter_variable_for_new_module(), create_private_variable_for_new_module(), declare_common_variables_in_module(), FindOrCreateEntityLikeModel(), make_entity_copy(), make_entity_copy_with_new_name(), make_global_entity_from_local(), make_new_index_entity(), make_tile_index_entity_n(), outlining_make_argument(), privatize_entity(), PushFunction(), RenameFunctionEntity(), step_add_formal_copy(), TranslateEntryFormals(), and UseFormalArguments().

02250                           {
02251   return (value) gen_copy_tree((gen_chunk*) p);
02252 }

Here is the caller graph for this function:

variable copy_variable ( variable p )

VARIABLE.

Definition at line 2299 of file src/Libs/newgen/ri.c.

Referenced by create_externalized_function_common(), create_parameter_for_new_module(), and simd_replace_parameters().

02299                                    {
02300   return (variable) gen_copy_tree((gen_chunk*) p);
02301 }

Here is the caller graph for this function:

whileloop copy_whileloop ( whileloop p )

WHILELOOP.

Definition at line 2330 of file src/Libs/newgen/ri.c.

02330                                       {
02331   return (whileloop) gen_copy_tree((gen_chunk*) p);
02332 }

control delete_controlmap	(	controlmap	f,
		statement	k
	)

Definition at line 466 of file src/Libs/newgen/ri.c.

00466                                                      {
00467   return (control) HASH_DELETE(p, p, controlmap_hash_table(f), k);
00468 }

effects delete_entity_effects	(	entity_effects	f,
		entity	k
	)

Definition at line 744 of file src/Libs/newgen/ri.c.

00744                                                           {
00745   return (effects) HASH_DELETE(p, p, entity_effects_hash_table(f), k);
00746 }

intptr_t delete_entity_int	(	entity_int	f,
		entity	k
	)

Definition at line 790 of file src/Libs/newgen/ri.c.

00790                                                    {
00791   return (intptr_t) HASH_DELETE(p, i, entity_int_hash_table(f), k);
00792 }

effects delete_persistant_expression_to_effects	(	persistant_expression_to_effects	f,
		expression	k
	)

Definition at line 1364 of file src/Libs/newgen/ri.c.

01364                                                                                                   {
01365   return (effects) HASH_DELETE(p, p, persistant_expression_to_effects_hash_table(f), k);
01366 }

control delete_persistant_statement_to_control	(	persistant_statement_to_control	f,
		statement	k
	)

Definition at line 1410 of file src/Libs/newgen/ri.c.

01410                                                                                                {
01411   return (control) HASH_DELETE(p, p, persistant_statement_to_control_hash_table(f), k);
01412 }

intptr_t delete_persistant_statement_to_int	(	persistant_statement_to_int	f,
		statement	k
	)

Definition at line 1456 of file src/Libs/newgen/ri.c.

01456                                                                                         {
01457   return (intptr_t) HASH_DELETE(p, i, persistant_statement_to_int_hash_table(f), k);
01458 }

statement delete_persistant_statement_to_statement	(	persistant_statement_to_statement	f,
		statement	k
	)

Definition at line 1502 of file src/Libs/newgen/ri.c.

01502                                                                                                      {
01503   return (statement) HASH_DELETE(p, p, persistant_statement_to_statement_hash_table(f), k);
01504 }

effects delete_statement_effects	(	statement_effects	f,
		statement	k
	)

Definition at line 1857 of file src/Libs/newgen/ri.c.

01857                                                                    {
01858   return (effects) HASH_DELETE(p, p, statement_effects_hash_table(f), k);
01859 }

bool descriptor_consistent_p ( descriptor p )

Definition at line 515 of file src/Libs/newgen/ri.c.

00515                                            {
00516   check_descriptor(p);
00517   return gen_consistent_p((gen_chunk*) p);
00518 }

bool descriptor_defined_p ( descriptor p )

Definition at line 519 of file src/Libs/newgen/ri.c.

Referenced by out_effects_from_loop_to_body().

00519                                         {
00520   return gen_defined_p((gen_chunk*) p);
00521 }

Here is the caller graph for this function:

bool dimension_consistent_p ( dimension p )

Definition at line 555 of file src/Libs/newgen/ri.c.

00555                                          {
00556   check_dimension(p);
00557   return gen_consistent_p((gen_chunk*) p);
00558 }

bool dimension_defined_p ( dimension p )

Definition at line 559 of file src/Libs/newgen/ri.c.

00559                                       {
00560   return gen_defined_p((gen_chunk*) p);
00561 }

bool dummy_consistent_p ( dummy p )

Definition at line 586 of file src/Libs/newgen/ri.c.

00586                                  {
00587   check_dummy(p);
00588   return gen_consistent_p((gen_chunk*) p);
00589 }

bool dummy_defined_p ( dummy p )

Definition at line 590 of file src/Libs/newgen/ri.c.

00590                               {
00591   return gen_defined_p((gen_chunk*) p);
00592 }

bool effect_consistent_p ( effect p )

Definition at line 623 of file src/Libs/newgen/ri.c.

Referenced by convex_region_add_expression_dimension(), convex_region_change_ith_dimension_expression(), dump_effect(), effect_interference(), effect_to_store_independent_sdfi_list(), old_effects_composition_with_effect_transformer(), print_effect(), region_consistent_p(), set_methods_for_cumulated_references(), set_methods_for_proper_references(), set_methods_for_proper_simple_effects(), set_methods_for_simple_effects(), simple_effect_add_expression_dimension(), simple_effect_dup(), and store_independent_effect_p().

00623                                    {
00624   check_effect(p);
00625   return gen_consistent_p((gen_chunk*) p);
00626 }

Here is the caller graph for this function:

bool effect_defined_p ( effect p )

Definition at line 627 of file src/Libs/newgen/ri.c.

00627                                 {
00628   return gen_defined_p((gen_chunk*) p);
00629 }

bool effects_classes_consistent_p ( effects_classes p )

Definition at line 654 of file src/Libs/newgen/ri.c.

00654                                                      {
00655   check_effects_classes(p);
00656   return gen_consistent_p((gen_chunk*) p);
00657 }

bool effects_classes_defined_p ( effects_classes p )

Definition at line 658 of file src/Libs/newgen/ri.c.

00658                                                   {
00659   return gen_defined_p((gen_chunk*) p);
00660 }

bool effects_consistent_p ( effects p )

Definition at line 685 of file src/Libs/newgen/ri.c.

Referenced by effects_dup(), functionnal_on(), load_cumulated_rw_effects_list(), load_invariant_rw_effects_list(), load_list(), load_proper_rw_effects_list(), load_rw_effects_list(), store_cumulated_rw_effects_list(), store_invariant_rw_effects_list(), store_proper_rw_effects_list(), store_rw_effects_list(), update_cumulated_rw_effects_list(), update_invariant_rw_effects_list(), update_proper_rw_effects_list(), and update_rw_effects_list().

00685                                      {
00686   check_effects(p);
00687   return gen_consistent_p((gen_chunk*) p);
00688 }

Here is the caller graph for this function:

bool effects_defined_p ( effects p )

Definition at line 689 of file src/Libs/newgen/ri.c.

00689                                   {
00690   return gen_defined_p((gen_chunk*) p);
00691 }

bool entity_consistent_p ( entity p )

Definition at line 2066 of file src/Libs/newgen/ri.c.

Referenced by AddEntityToDeclarations(), c_parse(), read_new_entities_from_eole(), UpdateEntity(), and yyparse().

02066                                    {
02067   check_entity(p);
02068   return gen_consistent_p((gen_chunk*) p);
02069 }

Here is the caller graph for this function:

bool entity_defined_p ( entity p )

Definition at line 2070 of file src/Libs/newgen/ri.c.

02070                                 {
02071   return gen_defined_p((gen_chunk*) p);
02072 }

bool entity_effects_consistent_p ( entity_effects p )

Definition at line 716 of file src/Libs/newgen/ri.c.

00716                                                    {
00717   check_entity_effects(p);
00718   return gen_consistent_p((gen_chunk*) p);
00719 }

bool entity_effects_defined_p ( entity_effects p )

Definition at line 720 of file src/Libs/newgen/ri.c.

00720                                                 {
00721   return gen_defined_p((gen_chunk*) p);
00722 }

bool entity_int_consistent_p ( entity_int p )

Definition at line 762 of file src/Libs/newgen/ri.c.

00762                                            {
00763   check_entity_int(p);
00764   return gen_consistent_p((gen_chunk*) p);
00765 }

bool entity_int_defined_p ( entity_int p )

Definition at line 766 of file src/Libs/newgen/ri.c.

00766                                         {
00767   return gen_defined_p((gen_chunk*) p);
00768 }

bool evaluation_consistent_p ( evaluation p )

Definition at line 808 of file src/Libs/newgen/ri.c.

00808                                            {
00809   check_evaluation(p);
00810   return gen_consistent_p((gen_chunk*) p);
00811 }

bool evaluation_defined_p ( evaluation p )

Definition at line 812 of file src/Libs/newgen/ri.c.

00812                                         {
00813   return gen_defined_p((gen_chunk*) p);
00814 }

bool execution_consistent_p ( execution p )

Definition at line 845 of file src/Libs/newgen/ri.c.

00845                                          {
00846   check_execution(p);
00847   return gen_consistent_p((gen_chunk*) p);
00848 }

bool execution_defined_p ( execution p )

Definition at line 849 of file src/Libs/newgen/ri.c.

00849                                       {
00850   return gen_defined_p((gen_chunk*) p);
00851 }

bool expression_consistent_p ( expression p )

Definition at line 882 of file src/Libs/newgen/ri.c.

Referenced by do_loop_unroll(), full_loop_unroll(), partial_eval_expression_and_regenerate(), struct_decomposition(), and text_loop_90().

00882                                            {
00883   check_expression(p);
00884   return gen_consistent_p((gen_chunk*) p);
00885 }

Here is the caller graph for this function:

bool expression_defined_p ( expression p )

Definition at line 886 of file src/Libs/newgen/ri.c.

00886                                         {
00887   return gen_defined_p((gen_chunk*) p);
00888 }

void extend_controlmap	(	controlmap	f,
		statement	k,
		control	v
	)

Definition at line 463 of file src/Libs/newgen/ri.c.

00463                                                              {
00464   HASH_EXTEND(p, p, controlmap_hash_table(f), k, v);
00465 }

void extend_entity_effects	(	entity_effects	f,
		entity	k,
		effects	v
	)

Definition at line 741 of file src/Libs/newgen/ri.c.

00741                                                                   {
00742   HASH_EXTEND(p, p, entity_effects_hash_table(f), k, v);
00743 }

void extend_entity_int	(	entity_int	f,
		entity	k,
		intptr_t	v
	)

Definition at line 787 of file src/Libs/newgen/ri.c.

00787                                                            {
00788   HASH_EXTEND(p, i, entity_int_hash_table(f), k, v);
00789 }

void extend_persistant_expression_to_effects	(	persistant_expression_to_effects	f,
		expression	k,
		effects	v
	)

Definition at line 1361 of file src/Libs/newgen/ri.c.

01361                                                                                                           {
01362   HASH_EXTEND(p, p, persistant_expression_to_effects_hash_table(f), k, v);
01363 }

void extend_persistant_statement_to_control	(	persistant_statement_to_control	f,
		statement	k,
		control	v
	)

Definition at line 1407 of file src/Libs/newgen/ri.c.

Referenced by store_mapping().

01407                                                                                                        {
01408   HASH_EXTEND(p, p, persistant_statement_to_control_hash_table(f), k, v);
01409 }

Here is the caller graph for this function:

void extend_persistant_statement_to_int	(	persistant_statement_to_int	f,

ri.c File Reference

Typedefs

Functions

Typedef Documentation

Function Documentation