allocatable.c File Reference

#include <stdio.h>
#include <stdlib.h>
#include <string.h>
#include "genC.h"
#include "linear.h"
#include "misc.h"
#include "ri.h"
#include "ri-util.h"

Include dependency graph for allocatable.c:

Go to the source code of this file.

Functions
bool	entity_allocatable_p (entity e)
	Check if an entity is an allocatable. More...
bool	expression_allocatable_data_access_p (expression e)
	Check if an expression is a reference to an allocatable array. More...
expression	get_allocatable_data_expr (entity e)
	This function produce an expression that is an access to the array inside the allocatable structure. More...
entity	get_allocatable_data_entity (entity e)
	Get the entity inside the struct corresponding to the array, mostly for correct prettyprint. More...

Function Documentation

entity_allocatable_p()

bool entity_allocatable_p

(

entity

e

)

Check if an entity is an allocatable.

allocatable.c

Definition at line 72 of file allocatable.c.

                                    {
  type t = entity_type(e);
  if(!type_variable_p(t)) {
    return false;
  }
  variable v = type_variable(t);
  if(!basic_derived_p(variable_basic(v))) {
    return false;
  }
  entity allocatable_struct = basic_derived(variable_basic(v));
 
  if(!same_stringn_p(entity_local_name(allocatable_struct),
      STRUCT_PREFIX ALLOCATABLE_PREFIX,
      sizeof(STRUCT_PREFIX ALLOCATABLE_PREFIX)-1)) {
    return false;
  }
 
  return true;
}

References ALLOCATABLE_PREFIX, basic_derived, basic_derived_p, entity_local_name(), entity_type, same_stringn_p, STRUCT_PREFIX, type_variable, type_variable_p, and variable_basic.

Referenced by expression_allocatable_data_access_p(), get_allocatable_data_entity(), get_allocatable_data_expr(), and gfc2pips_expr2expression().

Here is the call graph for this function:

Here is the caller graph for this function:

expression_allocatable_data_access_p()

bool expression_allocatable_data_access_p

(

expression

e

)

Check if an expression is a reference to an allocatable array.

Definition at line 95 of file allocatable.c.

                                                        {
  // This must be a call
  if(!expression_call_p(e)) {
    return false;
  }
 
  entity field_call = call_function(expression_call(e));
  list args_list = call_arguments(expression_call(e));
 
  // This must be a call to "." and we must have args
  if(!ENTITY_FIELD_P(field_call) || ENDP(args_list)) {
    return false;
  }
 
  // Check that we deal with an allocatable
  expression allocatable_exp = CAR(args_list).e;
  entity allocatable =
      reference_variable(expression_reference(allocatable_exp));
  if(!entity_allocatable_p(allocatable)) {
    return false;
  } else {
    pips_assert("Allocatable shouldn't have any indices !",
        ENDP(reference_indices(expression_reference(allocatable_exp))));
  }
 
  // Check that it is the data field
  expression field_exp = CAR(CDR(args_list)).e;
  pips_assert("Allocatable field shouldn't have any indices !",
      ENDP(reference_indices(expression_reference(field_exp))));
  entity field = reference_variable(expression_reference(field_exp));
  if(same_stringn_p(entity_user_name(field),
      ALLOCATABLE_LBOUND_PREFIX,
      strlen(ALLOCATABLE_LBOUND_PREFIX))
      || same_stringn_p(entity_user_name(field),
          ALLOCATABLE_UBOUND_PREFIX,
          strlen(ALLOCATABLE_UBOUND_PREFIX))) {
    return false;
  }
 
  return true;
}

References ALLOCATABLE_LBOUND_PREFIX, ALLOCATABLE_UBOUND_PREFIX, call_arguments, call_function, CAR, CDR, ENDP, entity_allocatable_p(), ENTITY_FIELD_P, entity_user_name(), expression_call(), expression_call_p(), expression_reference(), pips_assert, reference_indices, reference_variable, and same_stringn_p.

Referenced by ensure_comment_consistency().

Here is the call graph for this function:

Here is the caller graph for this function:

get_allocatable_data_entity()

entity get_allocatable_data_entity

(

entity

e

)

Get the entity inside the struct corresponding to the array, mostly for correct prettyprint.

Definition at line 157 of file allocatable.c.

                                             {
  pips_assert("Entity isn't an allocatable", entity_allocatable_p(e));
 
  // Get the data field inside the allocatable struct
  variable v = type_variable(entity_type(e));
  entity allocatable_struct = basic_derived(variable_basic(v));
  entity data_field = CAR(type_struct(entity_type(allocatable_struct))).e;
  return data_field;
}

References basic_derived, CAR, entity_allocatable_p(), entity_type, pips_assert, type_struct, type_variable, and variable_basic.

Referenced by get_allocatable_data_expr(), and text_entity_declaration().

Here is the call graph for this function:

Here is the caller graph for this function:

get_allocatable_data_expr()

expression get_allocatable_data_expr

(

entity

e

)

This function produce an expression that is an access to the array inside the allocatable structure.

Definition at line 141 of file allocatable.c.

                                               {
  pips_assert("Entity isn't an allocatable", entity_allocatable_p(e));
 
  entity data_field = get_allocatable_data_entity(e);
 
  // Construct the expression e.data
  return MakeBinaryCall(CreateIntrinsic(FIELD_OPERATOR_NAME),
                        entity_to_expression(e),
                        entity_to_expression(data_field));
 
}

References CreateIntrinsic(), entity_allocatable_p(), entity_to_expression(), FIELD_OPERATOR_NAME, get_allocatable_data_entity(), MakeBinaryCall(), and pips_assert.

Referenced by gfc2pips_expr2expression().

Here is the call graph for this function:

Here is the caller graph for this function: