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 "prettyprint.h"

Include dependency graph for allocatable.c:

Go to the source code of this file.

Functions
static entity	make_data_field (basic b, const char *struct_name, const char *name, list dimensions)
	Helper for creating an allocatable structure. More...
static entity	make_bound (const char *struct_name, const char *lname, int suffix)
entity	find_or_create_allocatable_struct (basic b, string name, int ndim)
	This function try to find the allocatable structure corresponding to the number of dimensions requested, and create it if necessary. More...

Function Documentation

find_or_create_allocatable_struct()

entity find_or_create_allocatable_struct	(	basic	b,
		string	name,
		int	ndim
	)

This function try to find the allocatable structure corresponding to the number of dimensions requested, and create it if necessary.

Warning! Do not modify this file that is automatically generated!

Parameters

name	is the name of the array (prettyprint name)

Parameters

name	ame
ndim	dim

Definition at line 97 of file allocatable.c.

                                                                         {
  // FI: scaffolding code is not even guarded...
  printf("Creating allocatable struct for dim %d\n", ndim);
 
  // Create the entity name according to the number of dims
  string struct_name;
  string b_str = STRING(CAR(words_basic(b,NULL)));
  pips_assert("asprintf !",
      asprintf( &struct_name, ALLOCATABLE_PREFIX"%s_%s_%dD", name, b_str,ndim));
 
  // Here is the internal PIPS name, there is a prefix for struct
  string prefixed_name = strdup(concatenate(STRUCT_PREFIX, struct_name, NULL));
 
  // Let's try to localize the structure
  entity struct_entity = FindEntity(TOP_LEVEL_MODULE_NAME, prefixed_name);
 
  // Localization failed, let's create it
  if(struct_entity == entity_undefined) {
    list fields = NULL;
    list dimensions = NULL;
    for (int dim = ndim; dim >= 1; dim--) {
      entity lower = make_bound(struct_name, ALLOCATABLE_LBOUND_PREFIX, dim);
      entity upper = make_bound(struct_name, ALLOCATABLE_UBOUND_PREFIX, dim);
 
      // Field for struct
      fields = CONS(ENTITY,lower,fields);
      fields = CONS(ENTITY,upper,fields);
 
      // Dimensions for the data array
      dimension d = make_dimension(entity_to_expression(lower),
                                   entity_to_expression(upper),
                                   NIL);
      dimensions = CONS(DIMENSION,d,dimensions );
    }
 
    // Create data holder
    fields
        = CONS(ENTITY,make_data_field(b, struct_name, name, dimensions),fields);
 
    // Create the struct
    string field;
    asprintf(&field,STRUCT_PREFIX "%s",struct_name);
    struct_entity = FindOrCreateTopLevelEntity(field);
    free(field);
    entity_type(struct_entity) = make_type_struct(fields);
    entity_storage(struct_entity) = make_storage_rom();
    entity_initial(struct_entity) = make_value_unknown();
  }
 
  free(prefixed_name);
  free(struct_name);
 
  return struct_entity;
}

References ALLOCATABLE_LBOUND_PREFIX, ALLOCATABLE_PREFIX, ALLOCATABLE_UBOUND_PREFIX, asprintf, CAR, concatenate(), CONS, DIMENSION, ENTITY, entity_initial, entity_storage, entity_to_expression(), entity_type, entity_undefined, FindEntity(), FindOrCreateTopLevelEntity(), free(), make_bound(), make_data_field(), make_dimension(), make_storage_rom(), make_type_struct(), make_value_unknown(), NIL, pips_assert, printf(), strdup(), STRING, STRUCT_PREFIX, TOP_LEVEL_MODULE_NAME, and words_basic().

Referenced by gfc2pips_getbasic(), and gfc2pips_symbol2entity().

Here is the call graph for this function:

Here is the caller graph for this function:

make_bound()

static entity make_bound ( const char *  struct_name, const char *  lname, int  suffix  )

static

Definition at line 65 of file allocatable.c.

                                                                                 {
  entity bound;
 
  // Create the name
  string name;
  pips_assert("asprintf !",
      asprintf( &name,
          "%s" MEMBER_SEP_STRING "%s%d",
          struct_name,
          lname,
          suffix ));
 
  pips_assert("Trying to create lower bound but already existing ?",
      gen_find_tabulated( name, entity_domain ) == entity_undefined );
 
  bound = FindOrCreateTopLevelEntity(name);
 
  entity_type(bound) = make_type_variable(make_variable(make_basic_int(4),
                                                        NULL,
                                                        NULL));
  entity_storage(bound) = make_storage_rom();
  entity_initial(bound) = make_value_unknown();
 
  free(name);
  return bound;
}

References asprintf, entity_domain, entity_initial, entity_storage, entity_type, entity_undefined, FindOrCreateTopLevelEntity(), free(), gen_find_tabulated(), lname(), make_basic_int(), make_storage_rom(), make_type_variable(), make_value_unknown(), make_variable(), MEMBER_SEP_STRING, and pips_assert.

Referenced by find_or_create_allocatable_struct().

Here is the call graph for this function:

Here is the caller graph for this function:

make_data_field()

static entity make_data_field ( basic  b, const char *  struct_name, const char *  name, list  dimensions  )

static

Helper for creating an allocatable structure.

Here we create the field corresponding to the data array.

Definition at line 45 of file allocatable.c.

                                               {
 
  string field ;
  asprintf(&field, "%s" MEMBER_SEP_STRING"%s", struct_name,name);
 
  pips_assert("Trying to create data for an already existing struct ?",
      FindEntity(TOP_LEVEL_MODULE_NAME,field) == entity_undefined );
 
  entity data = FindOrCreateTopLevelEntity(field);
  free(field);
  entity_type(data) = make_type_variable(make_variable(b, dimensions, NULL));
  entity_storage(data) = make_storage_rom();
  entity_initial(data) = make_value_unknown();
 
  return data;
}

References asprintf, entity_initial, entity_storage, entity_type, entity_undefined, FindEntity(), FindOrCreateTopLevelEntity(), free(), make_storage_rom(), make_type_variable(), make_value_unknown(), make_variable(), MEMBER_SEP_STRING, pips_assert, and TOP_LEVEL_MODULE_NAME.

Referenced by find_or_create_allocatable_struct().

Here is the call graph for this function:

Here is the caller graph for this function: