PIPS
|
#include "local.h"
Go to the source code of this file.
Macros | |
#define | FATAL(msg, value) {fprintf(stderr,msg,value);exit(1);} |
Print error message and exit from flint. More... | |
Functions | |
bool | number_of_elements (list ld, intptr_t *the_result) |
flint_utils.c More... | |
bool | size_of_dimension (dimension d, intptr_t *the_int) |
this function computes the size of a dimension. More... | |
bool | control_type_in_expression (enum basic_utype a_basic, int __attribute__((unused)) a_dim, expression exp) |
bool | find_bd_parameter (parameter param, basic *base, list *dims) |
bool | find_bd_type_variable (type tp, basic *base, list *dims) |
bool | find_bd_expression (expression exp, basic *base, list *dims) |
bool | find_bd_reference (reference ref, basic *base, list *dims) |
bool | find_bd_call (call c, basic *base, list *dims) |
Print error message and exit from flint.
Definition at line 42 of file flint_utils.c.
bool control_type_in_expression | ( | enum basic_utype | a_basic, |
int __attribute__((unused)) | a_dim, | ||
expression | exp | ||
) |
else
Definition at line 94 of file flint_utils.c.
References basic_tag, exp, find_bd_expression(), flint_message(), intptr_t, number_of_elements(), and ok.
base | ase |
dims | ims |
Definition at line 191 of file flint_utils.c.
References base, call_function, entity_type, find_bd_type_variable(), flint_message(), functional_result, type_functional, and type_functional_p.
Referenced by find_bd_expression().
bool find_bd_expression | ( | expression | exp, |
basic * | base, | ||
list * | dims | ||
) |
exp | xp |
base | ase |
dims | ims |
Definition at line 141 of file flint_utils.c.
References base, exp, expression_syntax, FATAL, find_bd_call(), find_bd_reference(), flint_message(), is_syntax_call, is_syntax_range, is_syntax_reference, syntax_call, syntax_reference, and syntax_tag.
Referenced by check_call_basic_and_dim(), check_call_intrinsic(), and control_type_in_expression().
param | aram |
base | ase |
dims | ims |
Definition at line 116 of file flint_utils.c.
References base, find_bd_type_variable(), and parameter_type.
Referenced by check_call_basic_and_dim().
ref | ef |
base | ase |
dims | ims |
Definition at line 167 of file flint_utils.c.
References base, CDR, entity_type, find_bd_type_variable(), gen_length(), ok, ref, reference_indices, and reference_variable.
Referenced by find_bd_expression().
tp | p |
base | ase |
dims | ims |
Definition at line 125 of file flint_utils.c.
References base, flint_message(), type_variable, type_variable_p, variable_basic, and variable_dimensions.
Referenced by check_overlap_in_common(), check_the_reference(), find_bd_call(), find_bd_parameter(), find_bd_reference(), and position_in_the_area().
ld | d |
the_result | he_result |
Definition at line 50 of file flint_utils.c.
References CAR, CDR, DIMENSION, intptr_t, ok, and size_of_dimension().
Referenced by check_call_dim(), control_type_in_expression(), make_emulated_shared_variable(), and position_in_the_area().
this function computes the size of a dimension.
else
the_int | he_int |
Definition at line 71 of file flint_utils.c.
References dimension_lower, dimension_upper, expression_integer_value(), and intptr_t.
Referenced by number_of_elements().