scalopify.c File Reference

#include "genC.h"
#include "linear.h"
#include "ri.h"
#include "effects.h"
#include "ri-util.h"
#include "prettyprint.h"
#include "effects-util.h"
#include "misc.h"
#include "effects-generic.h"
#include "effects-simple.h"
#include "control.h"
#include "callgraph.h"
#include "pipsdbm.h"
#include "properties.h"
#include "accel-util.h"
#include "resources.h"

Include dependency graph for scalopify.c:

Go to the source code of this file.

Functions
static bool	call_load_store_p (call c)
	A simple phase that change wrap references to flow outside kernel for dataflow runtime manager. More...
static bool	find_call_to_wrap (call c, list *call_to_wrap)
static bool	find_entities_to_wrap (call c, set *entities_to_wrap)
static bool	pointer_to_array_p (entity e)
static type	convert_local_to_pointer_array (type local_type)
bool	scalopify (char *module_name)
	Warning! Do not modify this file that is automatically generated! More...

Function Documentation

call_load_store_p()

static bool call_load_store_p ( call  c )

static

A simple phase that change wrap references to flow outside kernel for dataflow runtime manager.

cleme.nosp@m.nt.m.nosp@m.argue.nosp@m.t@hp.nosp@m.c-pro.nosp@m.ject.nosp@m..com

Definition at line 29 of file scalopify.c.

                                     {
  if(strstr(entity_name(call_function(c)),get_string_property("KERNEL_LOAD_STORE_LOAD_FUNCTION"))!=NULL
     || strstr(entity_name(call_function(c)),get_string_property("KERNEL_LOAD_STORE_STORE_FUNCTION"))!=NULL){
    return true;
  }
 
  return false;
 
}

References call_function, entity_name, and get_string_property().

Referenced by find_entities_to_wrap(), and scalopify().

Here is the call graph for this function:

Here is the caller graph for this function:

convert_local_to_pointer_array()

static type convert_local_to_pointer_array ( type  local_type )

static

Definition at line 79 of file scalopify.c.

                                                           {
 
  list ls        = variable_dimensions(type_variable(local_type));
  size_t size    = gen_length(ls);
  type pointer_type = make_type_variable(make_variable(copy_basic(variable_basic(type_variable(local_type))),NIL,NIL));
  basic b;
 
  for(unsigned int i = 0; i<size; i++){
    b = make_basic_pointer(pointer_type);
    pointer_type = make_type_variable(make_variable(b,NIL,NIL));
  }
 
  return pointer_type;
}

References copy_basic(), gen_length(), make_basic_pointer(), make_type_variable(), make_variable(), NIL, type_variable, variable_basic, and variable_dimensions.

Referenced by scalopify().

Here is the call graph for this function:

Here is the caller graph for this function:

find_call_to_wrap()

static bool find_call_to_wrap ( call  c, list *  call_to_wrap  )

static

Definition at line 39 of file scalopify.c.

                                                        {
  *call_to_wrap = CONS(CALL,c,*call_to_wrap);
  return false;
}

References CALL, and CONS.

Referenced by scalopify().

Here is the caller graph for this function:

find_entities_to_wrap()

static bool find_entities_to_wrap ( call  c, set *  entities_to_wrap  )

static

Definition at line 45 of file scalopify.c.

                                                               {
 
  if(call_load_store_p(c)){
    expression exp = EXPRESSION(CAR(call_arguments(c)));
 
    if(expression_call_p(exp)){
      call expcall = expression_call(exp);
      if(call_intrinsic_p(expcall)){
        c = expcall;
      }
    }
 
    print_expression(exp);
    pips_debug(1,"=========================\n");
 
    entity e = expression_variable(EXPRESSION(CAR(call_arguments(c))));
 
    if(!set_belong_p(*entities_to_wrap,e)) {
        set_add_element(*entities_to_wrap,*entities_to_wrap,e);
    }
  }
  return true;
}

References call_arguments, call_intrinsic_p, call_load_store_p(), CAR, exp, EXPRESSION, expression_call(), expression_call_p(), expression_variable(), pips_debug, print_expression(), set_add_element(), and set_belong_p().

Referenced by scalopify().

Here is the call graph for this function:

Here is the caller graph for this function:

pointer_to_array_p()

static bool pointer_to_array_p ( entity  e )

static

Definition at line 70 of file scalopify.c.

                                        {
 
  list ls = variable_dimensions(type_variable(entity_type(e)));
 
  if(ENDP(ls)) return true;
 
  return false;
}

References ENDP, entity_type, type_variable, and variable_dimensions.

Referenced by scalopify().

Here is the caller graph for this function:

scalopify()

bool scalopify

(

char *

module_name

)

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

Modify src/Libs/scalopes/scalopes-local.h instead, to add your own modifications. header file built by cproto scalopes-local.h Nothing yet... cproto-generated files scalopify.c

wo cases: vector or scalar

Parameters

module_name

odule_name

Definition at line 94 of file scalopify.c.

                                   {
 
  // Use this module name and this environment variable to set
  statement module_statement = PIPS_PHASE_PRELUDE(module_name,
                                                  "SCALOPIFY_DEBUG_LEVEL");
  set entities_to_wrap=set_make(set_pointer);
  list call_to_wrap=NIL;
 
  expression exp;
  type t;
 
  entity get_call_entity = local_name_to_top_level_entity("P4A_scmp_flow");
 
  set_cumulated_rw_effects((statement_effects)db_get_memory_resource(DBR_CUMULATED_EFFECTS, module_name, true));
 
  gen_context_recurse(module_statement,&entities_to_wrap,
    call_domain, find_entities_to_wrap, gen_null2);
 
  gen_context_recurse(module_statement, &call_to_wrap,
    call_domain, find_call_to_wrap, gen_null2);
 
  FOREACH(CALL, c , call_to_wrap){
 
    if(!call_load_store_p(c)){
 
      SET_FOREACH(entity, e, entities_to_wrap){
 
        /*Two cases: vector or scalar*/
        if(entity_array_p(e)) { 
 
         exp =  MakeUnaryCall(get_call_entity, entity_to_expression(e));
 
          if(!pointer_to_array_p(e)){
            t = convert_local_to_pointer_array(entity_type(e));
          }
          else{
            t= entity_type(e);
          }
 
          exp = make_expression( make_syntax_cast(make_cast(t,exp)) ,normalized_undefined);
        }
        else{
 
          basic b   = make_basic_pointer(copy_type(entity_type(e)));
          t   = make_type_variable(make_variable(b,NIL,NIL));
 
          exp = MakeUnaryCall(entity_intrinsic(ADDRESS_OF_OPERATOR_NAME), entity_to_expression(e));
          exp = MakeUnaryCall(get_call_entity, exp);
          exp = make_expression(make_syntax_cast(make_cast(t, exp)),normalized_undefined);
          exp = MakeUnaryCall(entity_intrinsic(DEREFERENCING_OPERATOR_NAME), exp);
        }
        replace_entity_by_expression(c, e, exp);
      }    
    }
  }
 
 
 
  gen_free_list(call_to_wrap);
  set_free(entities_to_wrap);
 
  // We may have outline some code, so recompute the callees:
  DB_PUT_MEMORY_RESOURCE(DBR_CALLEES, module_name,
                         compute_callees(get_current_module_statement()));
 
  reset_cumulated_rw_effects();
  // Put back the new statement module
  PIPS_PHASE_POSTLUDE(module_statement);
 
  return true;
}

References ADDRESS_OF_OPERATOR_NAME, CALL, call_domain, call_load_store_p(), compute_callees(), convert_local_to_pointer_array(), copy_type(), db_get_memory_resource(), DB_PUT_MEMORY_RESOURCE, DEREFERENCING_OPERATOR_NAME, entity_array_p(), entity_intrinsic(), entity_to_expression(), entity_type, exp, find_call_to_wrap(), find_entities_to_wrap(), FOREACH, gen_context_recurse, gen_free_list(), gen_null2(), get_current_module_statement(), local_name_to_top_level_entity(), make_basic_pointer(), make_cast(), make_expression(), make_syntax_cast(), make_type_variable(), make_variable(), MakeUnaryCall(), module_name(), module_statement, NIL, normalized_undefined, PIPS_PHASE_POSTLUDE, PIPS_PHASE_PRELUDE, pointer_to_array_p(), replace_entity_by_expression(), reset_cumulated_rw_effects(), set_cumulated_rw_effects(), SET_FOREACH, set_free(), set_make(), and set_pointer.

Here is the call graph for this function: