flint_utils.c File Reference

#include "local.h"

Include dependency graph for flint_utils.c:

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)

Macro Definition Documentation

FATAL

#define FATAL	(		msg,
			value
	)		{fprintf(stderr,msg,value);exit(1);}

Print error message and exit from flint.

Definition at line 42 of file flint_utils.c.

Function Documentation

control_type_in_expression()

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.

{
    basic           b;
    list            d;
    intptr_t             n;
    bool            ok_dim = false, ok = find_bd_expression(exp, &b, &d);
 
    if (ok)
        ok_dim = number_of_elements(d, &n);
 
    if (ok && ok_dim)
        return ((basic_tag(b) == a_basic) && (n = 1));
 
    /* else */
 
    flint_message("control type in expression",
                  "warning : cannot verify the type\n");
    return (true);
}

References basic_tag, exp, find_bd_expression(), flint_message(), intptr_t, number_of_elements(), and ok.

Here is the call graph for this function:

find_bd_call()

bool find_bd_call	(	call	c,
		basic *	base,
		list *	dims
	)

Parameters

base	ase
dims	ims

Definition at line 191 of file flint_utils.c.

{
    entity          fct = call_function(c);
    type            tp = entity_type(fct);
 
    if (!type_functional_p(tp)) {
        flint_message("find_bd_call",
                      "very strange function encountered\n");
        return (false);
    }
    return (find_bd_type_variable(functional_result(type_functional(tp)), base, dims));
}

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().

Here is the call graph for this function:

Here is the caller graph for this function:

find_bd_expression()

bool find_bd_expression	(	expression	exp,
		basic *	base,
		list *	dims
	)

Parameters

exp	xp
base	ase
dims	ims

Definition at line 141 of file flint_utils.c.

{
    syntax          s = expression_syntax(exp);
    reference       re;
    call            c;
 
    switch (syntax_tag(s)) {
    case is_syntax_reference:
        re = syntax_reference(s);
        return (find_bd_reference(re, base, dims));
    case is_syntax_range:
        flint_message("find_bd_expression", "no basic in this expression\n");
        return (false);
    case is_syntax_call:
        c = syntax_call(s);
        return (find_bd_call(c, base, dims));
    default:
        FATAL("find_bd_expression : unexpected tag %u\n", syntax_tag(s));
    }
 
    return (false);
}

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().

Here is the call graph for this function:

Here is the caller graph for this function:

find_bd_parameter()

bool find_bd_parameter	(	parameter	param,
		basic *	base,
		list *	dims
	)

Parameters

param	aram
base	ase
dims	ims

Definition at line 116 of file flint_utils.c.

{
    type            tp = parameter_type(param);
    return (find_bd_type_variable(tp, base, dims));
}

References base, find_bd_type_variable(), and parameter_type.

Referenced by check_call_basic_and_dim().

Here is the call graph for this function:

Here is the caller graph for this function:

find_bd_reference()

bool find_bd_reference	(	reference	ref,
		basic *	base,
		list *	dims
	)

Parameters

ref	ef
base	ase
dims	ims

Definition at line 167 of file flint_utils.c.

{
    entity          var = reference_variable(ref);
    list            ind = reference_indices(ref);
    type            tp = entity_type(var);
    int             len_ind = gen_length(ind), len_dim, i;
    bool            ok;
 
    ok = find_bd_type_variable(tp, base, dims);
    if (!ok)
        return (false);
 
    len_dim = gen_length((*dims));
    if (len_dim < len_ind)
        return (false);
 
    for (i = 1; i <= len_ind; i++)
        (*dims) = CDR(*dims);
    return (true);
}

References base, CDR, entity_type, find_bd_type_variable(), gen_length(), ok, ref, reference_indices, and reference_variable.

Referenced by find_bd_expression().

Here is the call graph for this function:

Here is the caller graph for this function:

find_bd_type_variable()

bool find_bd_type_variable	(	type	tp,
		basic *	base,
		list *	dims
	)

Parameters

tp	p
base	ase
dims	ims

Definition at line 125 of file flint_utils.c.

{
    if (!type_variable_p(tp)) {
        flint_message("find_bd_type_var",
                 "very strange type encountered, waiting for a variable\n");
        return (false);
    }
    *base = variable_basic(type_variable(tp));
    *dims = variable_dimensions(type_variable(tp));
 
    return (true);
}

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().

Here is the call graph for this function:

Here is the caller graph for this function:

number_of_elements()

bool number_of_elements	(	list	ld,
		intptr_t *	the_result
	)

flint_utils.c

Parameters

ld	d
the_result	he_result

Definition at line 50 of file flint_utils.c.

{
    list            pc;
    intptr_t             a_temp_int;
    bool            ok = true;
 
    (*the_result) = 1;
 
    for (pc = ld;
         (pc != NULL) && (ok = size_of_dimension(DIMENSION(CAR(pc)), &a_temp_int));
         pc = CDR(pc)) {
        (*the_result) *= a_temp_int;
    }
 
    return (ok);
}

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().

Here is the call graph for this function:

Here is the caller graph for this function:

size_of_dimension()

bool size_of_dimension	(	dimension	d,
		intptr_t *	the_int
	)

this function computes the size of a dimension.

else

Parameters

the_int

he_int

Definition at line 71 of file flint_utils.c.

{
    intptr_t             upper_dim, lower_dim;
 
    if (expression_integer_value(dimension_upper(d), &upper_dim) &&
        expression_integer_value(dimension_lower(d), &lower_dim)) {
        (*the_int) = upper_dim - lower_dim + 1;
        return (true);
    }
    /* else */
    return (false);
}

References dimension_lower, dimension_upper, expression_integer_value(), and intptr_t.

Referenced by number_of_elements().

Here is the call graph for this function:

Here is the caller graph for this function: