hpfc.c File Reference

#include "defines-local.h"
#include "semantics.h"
#include "resources.h"
#include "pipsdbm.h"
#include "transformations.h"
#include "effects-generic.h"
#include "effects-simple.h"
#include "effects-convex.h"

Include dependency graph for hpfc.c:

Go to the source code of this file.

Macros
#define	HPFC_FILTERED_SUFFIX   ".hpfc_filtered"
	bool hpfc_filter(string name) More...

Functions
void	add_a_common (entity c)
	HPFC module by Fabien COELHO. More...
static void	compile_common (entity c)
void	add_a_pure (entity f)
bool	hpf_pure_p (entity f)
	??? some intrinsics should also be considered as pure. More...
void	add_an_io_function (entity f)
bool	hpfc_special_io (entity f)
void	add_a_fake_function (entity f)
bool	hpfc_special_fake (entity f)
bool	remapping_already_computed_p (renaming x)
	list of already computed remappings... More...
void	add_remapping_as_computed (renaming r, list vars)
	variables to be declared More...
void	add_remapping_as_used (renaming x)
static void	init_hpfc_status ()
	current hpfc status More...
static void	reset_hpfc_status ()
static void	save_hpfc_status ()
	GET them. More...
static void	load_hpfc_status ()
	SET them. More...
static void	hpfc_error_handler (void)
static void	automatic_translation (entity old, entity host, entity node)
static void	set_resources_for_module (entity module)
static void	reset_resources_for_module ()
static void	loop_rwt (loop l)
	removes DOALL ??? More...
static void	clean_the_code (statement s)
void	hpfc_add_ahead_of_node_code (statement s)
static void	compile_module (entity module)
bool	hpfc_init (const string name)
	bool hpfc_init(string name) More...
static bool	directive_in_file_p (string name)
bool	hpfc_filter (const string name)
static bool	hpfc_directives_handler (string name, bool dyn)
	what: deals with directives. More...
bool	hpfc_static_directives (const string name)
bool	hpfc_dynamic_directives (const string name)
bool	hpfc_compile (const string name)
	bool hpfc_compile(string name) More...
bool	hpfc_common (const string name)
	bool hpfc_common(string name) More...
bool	hpfc_close (const string name)
	bool hpfc_close(string name) More...
bool	hpfc_install (const string name)
	bool hpfc_install(string name) More...
bool	hpfc_make (const string name)
	bool hpfc_make(string name) More...
bool	hpfc_run (const string name)
	bool hpfc_run(string name) More...

Variables
static list	the_fakes_object =NIL
	??? to be added to HPFC_STATUS More...
static hpfc_status	chs = (hpfc_status) NULL
	??? some memory leaks in the hpfc_status management... More...
static list	added_ahead_of_node_code
	??? some quick hack to move bound computations ahead if possible More...

Macro Definition Documentation

HPFC_FILTERED_SUFFIX

#define HPFC_FILTERED_SUFFIX   ".hpfc_filtered"

bool hpfc_filter(string name)

what: filter the source code for module name. to be called by pipsmake. how: call to a shell script, "hpfc_directives", that transforms hpf directives in "special" subroutine calls to be parsed by the fortran 77 parser. input: the module name. output: none. side effects:

• a new source code file is created for module name.
• the old one is saved... bugs or features:
• ??? not all hpf syntaxes are managable this way.

Definition at line 557 of file hpfc.c.

Function Documentation

add_a_common()

void add_a_common

(

entity

c

)

HPFC module by Fabien COELHO.

Definition at line 48 of file hpfc.c.

{ the_commons_object = gen_once(c, the_commons_object);}

References gen_once().

Referenced by init_host_and_node_entities().

Here is the call graph for this function:

Here is the caller graph for this function:

add_a_fake_function()

void add_a_fake_function

(

entity

f

)

Definition at line 88 of file hpfc.c.

{ the_fakes_object = gen_once(f, the_fakes_object);}

References f(), gen_once(), and the_fakes_object.

Referenced by handle_fake_directive(), and new_fake_function().

Here is the call graph for this function:

Here is the caller graph for this function:

add_a_pure()

void add_a_pure

(

entity

f

)

Definition at line 62 of file hpfc.c.

{ the_pures_object = gen_once(f, the_pures_object);}

References f(), and gen_once().

Referenced by handle_pure_directive(), and new_pure_function().

Here is the call graph for this function:

Here is the caller graph for this function:

add_an_io_function()

void add_an_io_function

(

entity

f

)

Definition at line 74 of file hpfc.c.

{ the_ios_object = gen_once(f, the_ios_object);}

References f(), and gen_once().

Referenced by handle_io_directive(), and new_io_function().

Here is the call graph for this function:

Here is the caller graph for this function:

add_remapping_as_computed()

void add_remapping_as_computed	(	renaming	r,
		list	vars
	)

variables to be declared

Parameters

vars	old -> new remapping of entity

Definition at line 121 of file hpfc.c.

{
    computed_remaps_object = CONS(REMAPPING, 
        make_remapping(copy_renaming(r), gen_copy_seq(vars)),
                           computed_remaps_object);
}

References CONS, copy_renaming(), gen_copy_seq(), make_remapping(), and REMAPPING.

Referenced by generate_hpf_remapping_file().

Here is the call graph for this function:

Here is the caller graph for this function:

add_remapping_as_used()

void add_remapping_as_used

(

renaming

x

)

Definition at line 135 of file hpfc.c.

{
    entity src = renaming_old(x), trg = renaming_new(x);
    remapping p = remapping_undefined;
 
    MAP(REMAPPING, r, 
    {
        renaming y = remapping_renaming(r);
 
        if (renaming_old(y)==src && renaming_new(y)==trg) 
        {
            p = r;
            break;
        }
    },
        get_computed_remaps());
 
    pips_assert("defined remapping", !remapping_undefined_p(p));
 
    MAP(ENTITY, e, 
        include_entities_object = gen_once(e, include_entities_object), 
        remapping_referenced(p));
}

References ENTITY, gen_once(), MAP, pips_assert, REMAPPING, remapping_referenced, remapping_renaming, remapping_undefined, remapping_undefined_p, renaming_new, renaming_old, src, and x.

Referenced by remapping_compile().

Here is the call graph for this function:

Here is the caller graph for this function:

automatic_translation()

static void automatic_translation ( entity  old, entity  host, entity  node  )

static

Definition at line 278 of file hpfc.c.

{
  store_new_host_variable(host, old);
  store_new_node_variable(node, old);
}

References node(), store_new_host_variable(), and store_new_node_variable().

Referenced by set_resources_for_module().

Here is the call graph for this function:

Here is the caller graph for this function:

clean_the_code()

static void clean_the_code ( statement  s )

static

Definition at line 395 of file hpfc.c.

{
  gen_recurse(s, loop_domain, gen_true, loop_rwt);
}

References gen_recurse, gen_true(), loop_domain, and loop_rwt().

Referenced by compile_module().

Here is the call graph for this function:

Here is the caller graph for this function:

compile_common()

static void compile_common ( entity  c )

static

Definition at line 51 of file hpfc.c.

{
    declaration_with_overlaps_for_module(c);
//    statement_remove_unused_declarations(statement_undefined,load_new_host(c));
    put_generated_resources_for_common(c);
}

References declaration_with_overlaps_for_module(), and put_generated_resources_for_common().

Referenced by hpfc_close(), and hpfc_common().

Here is the call graph for this function:

Here is the caller graph for this function:

compile_module()

static void compile_module ( entity  module )

static

INIT

NORMALIZATIONS

here because the module was updated with some external declarations

ACTUAL COMPILATION

DECLARATIONS

SG: we need to add included entites into node_module declaration but only if they are not already present see how beautiful the list usage is, a O(n^2) algorithm !

MORE CODE CLEANING

PUT IN DB

CLOSE

Definition at line 410 of file hpfc.c.

{
    statement s, host_stat, node_stat;
 
    /*   INIT
     */
    set_resources_for_module(module);
    s = get_current_module_statement();
    make_host_and_node_modules(module);
    hpfc_init_dummy_to_prime();
    added_ahead_of_node_code = NIL;
 
    /*   NORMALIZATIONS
     */
    NormalizeHpfDeclarations();
    NormalizeCodeForHpfc(s);
 
    /* here because the module was updated with some external declarations
     */
    init_host_and_node_entities();
 
    /*   ACTUAL COMPILATION
     */
    hpf_compiler(s, &host_stat, &node_stat);
    if (added_ahead_of_node_code)
      node_stat = make_block_statement
        (gen_nconc(added_ahead_of_node_code,
                   CONS(STATEMENT, node_stat, NIL)));
 
    clean_the_code(host_stat);
    clean_the_code(node_stat);
 
    if (entity_main_module_p(module))
      add_pvm_init_and_end(&host_stat, &node_stat);
 
    /*  DECLARATIONS
     */
    declaration_with_overlaps_for_module(module);
 
    set_similar_mappings_for_updates();
 
    update_object_for_module(node_stat, node_module);
    update_object_for_module(entity_code(node_module), node_module);
 
    update_object_for_module(host_stat, host_module);
    update_object_for_module(entity_code(host_module), host_module);
 
    entity_clean_declarations(host_module,host_stat);
    entity_clean_declarations(node_module,node_stat);
 
    /* SG: we need to add included entites into node_module declaration
     * but only if they are not already present
     * see how beautiful the list usage is, a O(n^2) algorithm !
     */
    list included_entities_to_add = NIL;
    FOREACH(ENTITY,e,get_include_entities())
      if (gen_chunk_undefined_p(gen_find_eq(e,
                                            entity_declarations(node_module))))
        included_entities_to_add = CONS(ENTITY,e,included_entities_to_add);
    entity_declarations(node_module) =
      gen_nconc(entity_declarations(node_module),included_entities_to_add);
 
    /*  MORE CODE CLEANING
     */
    kill_statement_number_and_ordering(node_stat);
    statement_structural_cleaning(node_stat);
 
    kill_statement_number_and_ordering(host_stat);
    statement_structural_cleaning(host_stat);
 
    /*   PUT IN DB
     */
    put_generated_resources_for_module(s, host_stat, node_stat);
 
    /*   CLOSE
     */
    added_ahead_of_node_code = NIL;
    hpfc_close_dummy_to_prime();
    reset_resources_for_module();
}

References add_pvm_init_and_end(), added_ahead_of_node_code, clean_the_code(), CONS, declaration_with_overlaps_for_module(), ENTITY, entity_clean_declarations(), entity_code(), entity_declarations, entity_main_module_p(), FOREACH, gen_chunk_undefined_p, gen_find_eq(), gen_nconc(), get_current_module_statement(), host_module, hpf_compiler(), hpfc_close_dummy_to_prime(), hpfc_init_dummy_to_prime(), init_host_and_node_entities(), kill_statement_number_and_ordering(), make_block_statement(), make_host_and_node_modules(), module, NIL, node_module, NormalizeCodeForHpfc(), NormalizeHpfDeclarations(), put_generated_resources_for_module(), reset_resources_for_module(), set_resources_for_module(), set_similar_mappings_for_updates(), STATEMENT, statement_structural_cleaning(), and update_object_for_module().

Referenced by hpfc_compile().

Here is the call graph for this function:

Here is the caller graph for this function:

directive_in_file_p()

static bool directive_in_file_p ( string  name )

static

checks for any directive before calling the filter... looks for /^[!Cc*]([Hh][Pp][Ff]|[Ff][Cc][Ff])$/

beginning a line

starting a comment

next char

Definition at line 559 of file hpfc.c.

{
  FILE * f;
  bool no_directive;
  char c;
 
  /* checks for any directive before calling the filter...
   * looks for /^[!Cc*]([Hh][Pp][Ff]|[Ff][Cc][Ff])$/
   */
  f = safe_fopen(name, "r");
  c='\n';
  no_directive = true;
  while (!feof(f) && no_directive)
  {
    if (c=='\n') /* beginning a line */
    {
            c = getc(f);
            if (c=='!' || c=='C' || c=='c' || c=='*') /* starting a comment */
            {
        c = getc(f); if (c=='\n') continue;
        c = getc(f); if (c=='\n') continue;
        c = getc(f); if (c=='\n') continue;
        c = getc(f); if (c=='$')  no_directive = false;
            }
    }
    else /* next char */
            c = getc(f);
  }
  safe_fclose(f, name);
 
  pips_debug(1, "directive for %s: %s\n", name, no_directive? "NO": "YES");
 
  return !no_directive;
}

References f(), pips_debug, safe_fclose(), and safe_fopen().

Referenced by hpfc_filter().

Here is the call graph for this function:

Here is the caller graph for this function:

hpf_pure_p()

bool hpf_pure_p

(

entity

f

)

??? some intrinsics should also be considered as pure.

all of them ?

Definition at line 67 of file hpfc.c.

{ return gen_in_list_p(f, the_pures_object);}

References f(), and gen_in_list_p().

Referenced by hpfc_compile().

Here is the call graph for this function:

Here is the caller graph for this function:

hpfc_add_ahead_of_node_code()

void hpfc_add_ahead_of_node_code

(

statement

s

)

Definition at line 404 of file hpfc.c.

{
  added_ahead_of_node_code = CONS(STATEMENT, s, added_ahead_of_node_code);
}

References added_ahead_of_node_code, CONS, and STATEMENT.

Referenced by generate_optimized_code_for_loop_nest().

Here is the caller graph for this function:

hpfc_close()

bool hpfc_close

(

const string

name

)

bool hpfc_close(string name)

what: closes the hpf compiler execution. to be called by pipsmake. input: the program (workspace) name. output: none. side effects:

• deals with the commons.
• generates global files. bugs or features:
• ??? COMMON should be managable thru pipsmake ad-hoc rules.

global informations

not close, because it would free the memory and pipsdbm will run into troubles when trying to free the resource...

??? the next function is in pipsmake... (should be in pipsdbm only, but pipsmake manages its own cache which must be destroyed also...

fake

Parameters

name

ame

Definition at line 798 of file hpfc.c.

{
  debug_on("HPFC_DEBUG_LEVEL");
  pips_debug(1, "considering program %s\n", name);
  reset_hooks_register(hpfc_error_handler);
 
  load_hpfc_status();
 
  set_string_property("PRETTYPRINT_COMMONS", "declaration");
  set_string_property("PIPSDBM_RESOURCES_TO_DELETE", "all");
  gen_map((gen_iter_func_t)compile_common, get_the_commons());
 
  put_generated_resources_for_program(name);      /* global informations */
 
  /* not close, because it would free the memory and
   * pipsdbm will run into troubles when trying to free the resource...
   */
  save_hpfc_status();
 
  /* ??? the next function is in pipsmake... (should be in pipsdbm only,
   * but pipsmake manages its own cache which must be destroyed also...
   */
  DB_PUT_FILE_RESOURCE(DBR_HPFC_COMMONS, name, NO_FILE); /* fake */
 
  reset_hooks_unregister(hpfc_error_handler);
  debug_off();
  return true;
}

References compile_common(), DB_PUT_FILE_RESOURCE, debug_off, debug_on, gen_map(), hpfc_error_handler(), load_hpfc_status(), NO_FILE, pips_debug, put_generated_resources_for_program(), reset_hooks_register(), reset_hooks_unregister(), save_hpfc_status(), and set_string_property().

Here is the call graph for this function:

hpfc_common()

bool hpfc_common

(

const string

name

)

bool hpfc_common(string name)

what: compile a common, that is generate the common for both host and nodes. how: generate files to be included. input: a common name. output: none. side effects:

• uses the hpfc_status.
• generates 4 files. bugs or features:
• never called by pipsmake (:-)

Parameters

name

ame

Definition at line 769 of file hpfc.c.

{
  debug_on("HPFC_DEBUG_LEVEL");
  pips_debug(1, "considering common %s\n", name);
  reset_hooks_register(hpfc_error_handler);
 
  load_hpfc_status();
 
  set_string_property("PRETTYPRINT_COMMONS", "declaration");
  compile_common(local_name_to_top_level_entity(name));
 
  save_hpfc_status();
 
  reset_hooks_unregister(hpfc_error_handler);
  debug_off();
  return true;
}

References compile_common(), debug_off, debug_on, hpfc_error_handler(), load_hpfc_status(), local_name_to_top_level_entity(), pips_debug, reset_hooks_register(), reset_hooks_unregister(), save_hpfc_status(), and set_string_property().

Here is the call graph for this function:

hpfc_compile()

bool hpfc_compile

(

const string

name

)

bool hpfc_compile(string name)

what: hpf compile module name. to be called by pipsmake. input: the name of the module to compile. output: none side effects: (many)

• creates the statements for the host and nodes.
• store the generated resources. bugs or features:
• fortran library, reduction and hpfc special functions are skipped.
• a fake file is put as the generated resource for such modules.

just fake for pipsmake...

for callers

Parameters

name

ame

Definition at line 699 of file hpfc.c.

{
  entity module = module_name_to_entity(name);
  bool do_compile;
 
  debug_on("HPFC_DEBUG_LEVEL");
  pips_debug(1, "considering module %s\n", name);
  reset_hooks_register(hpfc_error_handler);
 
  load_hpfc_status();
  set_current_module_entity(module);
 
  do_compile =
    !hpfc_entity_reduction_p(module) &&
    !hpf_directive_entity_p(module) &&
    !fortran_library_entity_p(module) &&
    !hpfc_special_fake(module);
 
  if (do_compile)
  {
    set_string_property("PRETTYPRINT_COMMONS", "none");
 
    if (hpfc_special_io(module))
            compile_a_special_io_function(module);
    else if (hpf_pure_p(module))
            compile_a_pure_function(module);
    else
            compile_module(module);
  }
  else /* just fake for pipsmake... */
  {
    pips_debug(2, "skipping %s compilation\n", name);
    DB_PUT_FILE_RESOURCE(DBR_HPFC_PARAMETERS, name, NO_FILE);
    DB_PUT_FILE_RESOURCE(DBR_HPFC_HOST, name, NO_FILE);
    DB_PUT_FILE_RESOURCE(DBR_HPFC_NODE, name, NO_FILE);
    DB_PUT_FILE_RESOURCE(DBR_HPFC_RTINIT, name, NO_FILE);
  }
 
  /* for callers */
  if (hpfc_special_io(module))
  {
    store_new_host_variable(module, module);
    store_new_node_variable(entity_intrinsic(CONTINUE_FUNCTION_NAME), module);
  }
  else if (hpf_pure_p(module))
  {
    store_new_host_variable(module, module);
    store_new_node_variable(module, module);
  }
 
  reset_current_module_entity();
  save_hpfc_status();
 
  reset_hooks_unregister(hpfc_error_handler);
  debug_off();
  return true;
}

References compile_a_pure_function(), compile_a_special_io_function(), compile_module(), CONTINUE_FUNCTION_NAME, DB_PUT_FILE_RESOURCE, debug_off, debug_on, entity_intrinsic(), fortran_library_entity_p(), hpf_directive_entity_p(), hpf_pure_p(), hpfc_entity_reduction_p(), hpfc_error_handler(), hpfc_special_fake(), hpfc_special_io(), load_hpfc_status(), module, module_name_to_entity(), NO_FILE, pips_debug, reset_current_module_entity(), reset_hooks_register(), reset_hooks_unregister(), save_hpfc_status(), set_current_module_entity(), set_string_property(), store_new_host_variable(), and store_new_node_variable().

Here is the call graph for this function:

hpfc_directives_handler()

static bool hpfc_directives_handler ( string  name, bool  dyn  )

static

what: deals with directives.

to be called by pipsmake. input: the name of the module. output: none. side effects: (many)

• the module's code statement will be modified.
• the hpf mappings and so are stored in the compiler status. bugs or features:
• fortran library, reduction and hpfc special functions are skipped.
• ??? obscure problem with the update of common entities.

Definition at line 632 of file hpfc.c.

{
  entity module = module_name_to_entity(name);
 
  debug_on("HPFC_DEBUG_LEVEL");
  pips_debug(1, "considering module %s\n", name);
  debug_on("HPFC_DIRECTIVES_DEBUG_LEVEL");
  reset_hooks_register(hpfc_error_handler);
 
  if (!hpfc_entity_reduction_p(module) &&
      !hpf_directive_entity_p(module) &&
      !fortran_library_entity_p(module))
  {
    statement s = (statement) db_get_memory_resource(DBR_CODE, name, true);
 
    if (dyn)
      set_proper_rw_effects((statement_effects)
          db_get_memory_resource(DBR_PROPER_EFFECTS, name, true));
 
    set_current_module_entity(module);
    set_current_module_statement(s);
    load_hpfc_status();
    make_update_common_map();
    hpfc_init_run_time_entities();
 
    if (!dyn) NormalizeCommonVariables(module, s);
    handle_hpf_directives(s, dyn); // do the job...
 
    free_update_common_map();
    save_hpfc_status();
    reset_current_module_statement();
    reset_current_module_entity();
 
    if (dyn) reset_proper_rw_effects();
 
    DB_PUT_MEMORY_RESOURCE(DBR_CODE, name, s);
  }
 
  reset_hooks_unregister(hpfc_error_handler);
  debug_off();
  debug_off();
  return true;
}

References db_get_memory_resource(), DB_PUT_MEMORY_RESOURCE, debug_off, debug_on, fortran_library_entity_p(), free_update_common_map(), handle_hpf_directives(), hpf_directive_entity_p(), hpfc_entity_reduction_p(), hpfc_error_handler(), hpfc_init_run_time_entities(), load_hpfc_status(), make_update_common_map(), module, module_name_to_entity(), NormalizeCommonVariables(), pips_debug, reset_current_module_entity(), reset_current_module_statement(), reset_hooks_register(), reset_hooks_unregister(), reset_proper_rw_effects(), save_hpfc_status(), set_current_module_entity(), set_current_module_statement(), and set_proper_rw_effects().

Referenced by hpfc_dynamic_directives(), and hpfc_static_directives().

Here is the call graph for this function:

Here is the caller graph for this function:

hpfc_dynamic_directives()

bool hpfc_dynamic_directives

(

const string

name

)

Parameters

name

ame

Definition at line 681 of file hpfc.c.

{
  return hpfc_directives_handler(name, true);
}

References hpfc_directives_handler().

Here is the call graph for this function:

hpfc_error_handler()

static void hpfc_error_handler ( void  )

static

An error_reset_hpfc_status() would be necessary

reset_hpfc_status();

Definition at line 265 of file hpfc.c.

{
  /* An error_reset_hpfc_status() would be necessary */
  /* reset_hpfc_status(); */
  hpfc_compile_error_handler();
  hpfc_directives_error_handler();
  hpfc_util_error_handler();
  hpfc_io_util_error_handler();
  hpfc_special_cases_error_handler();
}

References hpfc_compile_error_handler(), hpfc_directives_error_handler(), hpfc_io_util_error_handler(), hpfc_special_cases_error_handler(), and hpfc_util_error_handler().

Referenced by hpfc_close(), hpfc_common(), hpfc_compile(), hpfc_directives_handler(), hpfc_filter(), and hpfc_init().

Here is the call graph for this function:

Here is the caller graph for this function:

hpfc_filter()

bool hpfc_filter

(

const string

name

)

Parameters

name

ame

Definition at line 594 of file hpfc.c.

{
  string file_name, dir_name, new_name, src_name;
 
  dir_name = db_get_current_workspace_directory();
  file_name = db_get_file_resource(DBR_SOURCE_FILE, name, true);
  new_name = strdup(concatenate(name, HPFC_FILTERED_SUFFIX, NULL));
  src_name = strdup(concatenate(dir_name, "/", file_name, NULL));
 
  debug_on("HPFC_DEBUG_LEVEL");
  pips_debug(1, "considering module %s\n", name);
  reset_hooks_register(hpfc_error_handler);
 
  safe_system(concatenate(
                "PATH=${PATH}:${PIPS_ROOT}/Share ",
                hpf_directive_string_p(name) || !directive_in_file_p(src_name)?
                "cat" : "hpfc_directives",
                " < ", src_name, " > ", dir_name, "/", new_name, NULL));
 
  DB_PUT_FILE_RESOURCE(DBR_HPFC_FILTERED_FILE, name, new_name);
 
  free(src_name);
 
  reset_hooks_unregister(hpfc_error_handler);
  debug_off();
  return true;
}

References concatenate(), db_get_current_workspace_directory(), db_get_file_resource, DB_PUT_FILE_RESOURCE, debug_off, debug_on, directive_in_file_p(), file_name, free(), hpf_directive_string_p(), hpfc_error_handler(), HPFC_FILTERED_SUFFIX, pips_debug, reset_hooks_register(), reset_hooks_unregister(), safe_system(), and strdup().

Here is the call graph for this function:

hpfc_init()

bool hpfc_init

(

const string

name

)

bool hpfc_init(string name)

what: initialize the hpfc status for a program. input: the program (workspace) name. output: none. side effects:

• the hpfc status is initialized and stored in the pips dbm. bugs or features:
• some callees are filtered out with a property, to deal with pipsmake.

vars local to commons

drop hpfc specials

Parameters

name

ame

Definition at line 503 of file hpfc.c.

{
  debug_on("HPFC_DEBUG_LEVEL");
  pips_debug(1, "considering program %s\n", name);
 
  reset_hooks_register(hpfc_error_handler);
 
  set_string_property("PRETTYPRINT_VARIABLE_DIMENSIONS", "common");
  set_bool_property("PRETTYPRINT_HPFC", true); /* vars local to commons */
  set_bool_property("HPFC_FILTER_CALLEES", true); /* drop hpfc specials */
  set_bool_property("GLOBAL_EFFECTS_TRANSLATION", false);
  set_bool_property("WARNING_ON_STAT_ERROR", false); // for fake files
 
  // should not be there. if true, obscure coredump in proper
  // effects on a preference which has been cleanup up...
  // see validation/Hpfc/io_4.tpips that triggers the issue
  set_bool_property("PRETTYPRINT_IO_EFFECTS", false); // ??????
 
  // too verbose...
  set_bool_property("UNSPAGHETTIFY_DISPLAY_STATISTICS", false);
  set_bool_property("CLEAN_UP_SEQUENCES_DISPLAY_STATISTICS", false);
  set_bool_property("WARN_ABOUT_EMPTY_SEQUENCES", false);
 
  // where the specials dummy/variables are stored... ???
  (void) make_empty_program(HPFC_PACKAGE,make_language_fortran());
 
  // mkdir...
  {
    string dir_name = db_get_directory_name_for_module(WORKSPACE_SRC_SPACE);
    free(dir_name);
  }
 
  init_hpfc_status();
  save_hpfc_status();
 
  reset_hooks_unregister(hpfc_error_handler);
  debug_off();
  return true;
}

References db_get_directory_name_for_module(), debug_off, debug_on, free(), hpfc_error_handler(), HPFC_PACKAGE, init_hpfc_status(), make_empty_program(), make_language_fortran(), pips_debug, reset_hooks_register(), reset_hooks_unregister(), save_hpfc_status(), set_bool_property(), set_string_property(), and WORKSPACE_SRC_SPACE.

Here is the call graph for this function:

hpfc_install()

bool hpfc_install

(

const string

name

)

bool hpfc_install(string name)

what: install generated files in a directory. done for wpips. how: all in the hpfc_install shell script. input: program name. output: none. side effects:

• creates an hpfc directory in the database
• copies the files in this directory... bugs or features:

Parameters

name

ame

Definition at line 838 of file hpfc.c.

{
  string dir, wks;
  debug_on("HPFC_DEBUG_LEVEL");
  pips_debug(1, "considering program %s\n", name);
 
  dir = db_get_current_workspace_directory();
  wks = db_get_current_workspace_name();
 
  safe_system(concatenate("hpfc_install -iob ", dir, " -n ", wks, NULL));
 
  DB_PUT_FILE_RESOURCE(DBR_HPFC_INSTALLATION, name, NO_FILE);
 
  debug_off();
  return true;
}

References concatenate(), db_get_current_workspace_directory(), db_get_current_workspace_name(), DB_PUT_FILE_RESOURCE, debug_off, debug_on, NO_FILE, pips_debug, and safe_system().

Here is the call graph for this function:

hpfc_make()

bool hpfc_make

(

const string

name

)

bool hpfc_make(string name)

what: compile the generated and installed code. for wpips. how: system call to $HPFC_MAKE input: the workspace name (which is not used) output: none. side effects: may stop if can't execute bugs or features:

Parameters

name

ame

Definition at line 864 of file hpfc.c.

{
  string dir = db_get_current_workspace_directory();
 
  debug_on("HPFC_DEBUG_LEVEL");
  pips_debug(1, "considering program %s\n", name);
 
  safe_system(concatenate("cd ", dir, "/hpfc ; "
                          "${HPFC_MAKE:-gmake} make &", NULL));
 
  debug_off();
  return true;
}

References concatenate(), db_get_current_workspace_directory(), debug_off, debug_on, pips_debug, and safe_system().

Here is the call graph for this function:

hpfc_run()

bool hpfc_run

(

const string

name

)

bool hpfc_run(string name)

what: run the program. how: system call sut $HPFC_MAKE... input: none. output: none. side effects:

• forks a process.
• may stop if cannot execute. bugs or features:

Parameters

name

ame

Definition at line 889 of file hpfc.c.

{
  string dir = db_get_current_workspace_directory();
 
  debug_on("HPFC_DEBUG_LEVEL");
  pips_debug(1, "considering program %s\n", name);
 
  safe_system(concatenate("cd ", dir, "/hpfc ; "
                          "${HPFC_MAKE:-gmake} run &", NULL));
 
  debug_off();
  return true;
}

References concatenate(), db_get_current_workspace_directory(), debug_off, debug_on, pips_debug, and safe_system().

Here is the call graph for this function:

hpfc_special_fake()

bool hpfc_special_fake

(

entity

f

)

Definition at line 91 of file hpfc.c.

{ return gen_in_list_p(f, the_fakes_object);}

References f(), gen_in_list_p(), and the_fakes_object.

Referenced by hpfc_compile().

Here is the call graph for this function:

Here is the caller graph for this function:

hpfc_special_io()

bool hpfc_special_io

(

entity

f

)

Definition at line 77 of file hpfc.c.

{ return gen_in_list_p(f, the_ios_object);}

References f(), and gen_in_list_p().

Referenced by hpfc_compile(), and only_io_call().

Here is the call graph for this function:

Here is the caller graph for this function:

hpfc_static_directives()

bool hpfc_static_directives

(

const string

name

)

Parameters

name

ame

Definition at line 676 of file hpfc.c.

{
  return hpfc_directives_handler(name, false);
}

References hpfc_directives_handler().

Here is the call graph for this function:

init_hpfc_status()

static void init_hpfc_status ( )

static

current hpfc status

initialization of data that belongs to the hpf compiler status

Definition at line 168 of file hpfc.c.

{
    init_entity_status();
    init_data_status();
    init_hpf_number_status();
    init_overlap_status();
    init_the_commons();
    init_dynamic_status();
    init_the_pures();
    init_the_ios();
    init_computed_remaps();
    init_hpf_reductions();
 
    chs = make_hpfc_status(get_overlap_status(),
                           get_data_status(),
                           get_hpf_number_status(),
                           get_entity_status(),
                           get_the_commons(),
                           get_dynamic_status(),
                           get_the_pures(),
                           get_the_ios(),
                           get_computed_remaps(),
                           get_hpf_reductions());
}

References chs, get_data_status(), get_dynamic_status(), get_entity_status(), get_hpf_number_status(), get_hpf_reductions(), get_overlap_status(), init_data_status(), init_dynamic_status(), init_entity_status(), init_hpf_number_status(), init_hpf_reductions(), init_overlap_status(), and make_hpfc_status().

Referenced by hpfc_init().

Here is the call graph for this function:

Here is the caller graph for this function:

load_hpfc_status()

static void load_hpfc_status ( )

static

SET them.

Definition at line 229 of file hpfc.c.

{
    chs = (hpfc_status) db_get_memory_resource(DBR_HPFC_STATUS, "", true);
 
    set_entity_status(hpfc_status_entity_status(chs));
    set_overlap_status(hpfc_status_overlapsmap(chs));
    set_data_status(hpfc_status_data_status(chs));
    set_hpf_number_status(hpfc_status_numbers_status(chs));
    set_the_commons(hpfc_status_commons(chs));
    set_dynamic_status(hpfc_status_dynamic_status(chs));
    set_the_pures(hpfc_status_pures(chs));
    set_the_ios(hpfc_status_ios(chs));
    set_computed_remaps(hpfc_status_computed(chs));
    set_hpf_reductions(hpfc_status_reductions(chs));
}

References chs, db_get_memory_resource(), hpfc_status_commons, hpfc_status_computed, hpfc_status_data_status, hpfc_status_dynamic_status, hpfc_status_entity_status, hpfc_status_ios, hpfc_status_numbers_status, hpfc_status_overlapsmap, hpfc_status_pures, hpfc_status_reductions, set_data_status(), set_dynamic_status(), set_entity_status(), set_hpf_number_status(), set_hpf_reductions(), and set_overlap_status().

Referenced by hpfc_close(), hpfc_common(), hpfc_compile(), and hpfc_directives_handler().

Here is the call graph for this function:

Here is the caller graph for this function:

loop_rwt()

static void loop_rwt ( loop  l )

static

removes DOALL ???

Definition at line 390 of file hpfc.c.

{
  execution_tag(loop_execution(l)) = is_execution_sequential;
}

References execution_tag, is_execution_sequential, and loop_execution.

Referenced by clean_the_code().

Here is the caller graph for this function:

remapping_already_computed_p()

bool remapping_already_computed_p

(

renaming

x

)

list of already computed remappings...

exported interface

Definition at line 105 of file hpfc.c.

{
    entity src = renaming_old(x), trg = renaming_new(x);
 
    MAP(REMAPPING, r, 
    {
        renaming p = remapping_renaming(r);
        if (renaming_old(p)==src && renaming_new(p)==trg) 
            return true;
    },
        get_computed_remaps());
 
    return false;
}

References MAP, REMAPPING, remapping_renaming, renaming_new, renaming_old, src, and x.

Referenced by remapping_compile().

Here is the caller graph for this function:

reset_hpfc_status()

static void reset_hpfc_status ( )

static

Definition at line 193 of file hpfc.c.

{
    reset_entity_status();
    reset_data_status();
    reset_hpf_number_status();
    reset_overlap_status();
    reset_the_commons();
    reset_dynamic_status();
    reset_the_pures();
    reset_the_ios();
    reset_computed_remaps();
    reset_hpf_reductions();
 
    chs = (hpfc_status) NULL;
}

References chs, reset_data_status(), reset_dynamic_status(), reset_entity_status(), reset_hpf_number_status(), reset_hpf_reductions(), and reset_overlap_status().

Referenced by save_hpfc_status().

Here is the call graph for this function:

Here is the caller graph for this function:

reset_resources_for_module()

static void reset_resources_for_module ( )

static

Definition at line 367 of file hpfc.c.

{
  reset_current_module_statement();
  reset_rw_effects();
  reset_cumulated_references();
  reset_precondition_map();
 
  free_only_io_map();
  free_postcondition_map();
 
  free_hpfc_current_mappings();
  close_include_entities();
 
  // IN & OUT Regions are not always used
  if (!get_bool_property("HPFC_IGNORE_IN_OUT_REGIONS"))
  {
    reset_in_effects();
    reset_out_effects();
  }
}

References free_hpfc_current_mappings(), free_only_io_map(), free_postcondition_map(), get_bool_property(), reset_cumulated_references(), reset_current_module_statement(), reset_in_effects(), reset_out_effects(), reset_precondition_map(), and reset_rw_effects().

Referenced by compile_module().

Here is the call graph for this function:

Here is the caller graph for this function:

save_hpfc_status()

static void save_hpfc_status ( )

static

GET them.

cleaned!

Definition at line 209 of file hpfc.c.

{
    pips_assert("some current hpfc status", chs);
    
    hpfc_status_entity_status(chs) = get_entity_status();
    hpfc_status_overlapsmap(chs) = get_overlap_status();
    hpfc_status_data_status(chs) = get_data_status();
    hpfc_status_numbers_status(chs) = get_hpf_number_status();
    hpfc_status_commons(chs) = get_the_commons() ;
    hpfc_status_dynamic_status(chs) = get_dynamic_status();
    hpfc_status_pures(chs) = get_the_pures();
    hpfc_status_ios(chs) = get_the_ios();
    hpfc_status_computed(chs) = get_computed_remaps();
    hpfc_status_reductions(chs) = get_hpf_reductions();
 
    DB_PUT_MEMORY_RESOURCE(DBR_HPFC_STATUS, "", chs);
 
    reset_hpfc_status(); /* cleaned! */
}

References chs, DB_PUT_MEMORY_RESOURCE, get_data_status(), get_dynamic_status(), get_entity_status(), get_hpf_number_status(), get_hpf_reductions(), get_overlap_status(), hpfc_status_commons, hpfc_status_computed, hpfc_status_data_status, hpfc_status_dynamic_status, hpfc_status_entity_status, hpfc_status_ios, hpfc_status_numbers_status, hpfc_status_overlapsmap, hpfc_status_pures, hpfc_status_reductions, pips_assert, and reset_hpfc_status().

Referenced by hpfc_close(), hpfc_common(), hpfc_compile(), hpfc_directives_handler(), and hpfc_init().

Here is the call graph for this function:

Here is the caller graph for this function:

set_resources_for_module()

static void set_resources_for_module ( entity  module )

static

set_bool_property("MUST_REGIONS", true); set_bool_property("EXACT_REGIONS", true);
get_regions_properties(); set_out_effects
((statement_effects)
db_get_memory_resource(DBR_OUT_REGIONS, module_name, true)); set_in_effects ((statement_effects)
db_get_memory_resource(DBR_IN_REGIONS, module_name, true));

Definition at line 284 of file hpfc.c.

{
  const char* module_name = module_local_name(module);
 
  // STATEMENT
  set_current_module_statement
    ((statement) db_get_memory_resource(DBR_CODE, module_name, false));
 
  // PRECONDITIONS
  set_precondition_map
    ((statement_mapping)
     db_get_memory_resource(DBR_PRECONDITIONS, module_name, true));
 
  // POSTCONDITIONS
  set_postcondition_map
    (compute_postcondition(get_current_module_statement(),
                           MAKE_STATEMENT_MAPPING(),
                           get_precondition_map()));
 
  // REGIONS
  set_rw_effects
    ((statement_effects)
     db_get_memory_resource(DBR_REGIONS, module_name, true));
 
  // IN & OUT Regions are not always used
  if (!get_bool_property("HPFC_IGNORE_IN_OUT_REGIONS"))
  {
    set_out_effects((statement_effects)  // OUT EFFECTS
        db_get_memory_resource(DBR_OUT_EFFECTS, module_name, true));
    set_in_effects((statement_effects)  // IN EFFECTS
              db_get_memory_resource(DBR_IN_EFFECTS, module_name, true));
 
        /*          set_bool_property("MUST_REGIONS", true); 
                    set_bool_property("EXACT_REGIONS", true);     
                    get_regions_properties();
                    set_out_effects  
                    ((statement_effects)  
                    db_get_memory_resource(DBR_OUT_REGIONS, module_name, true)); 
                    set_in_effects
                    ((statement_effects)  
                    db_get_memory_resource(DBR_IN_REGIONS, module_name, true));*/
  }
 
  // CUMMULATED REFERENCES
  set_cumulated_references(
    (statement_effects)
    db_get_memory_resource(DBR_CUMULATED_REFERENCES, module_name, true));
 
  //  ONLY I/O
  only_io_mapping_initialize(get_current_module_statement());
 
  //  NEW VARIABLES NEEDED
  reset_unique_variable_numbers();
 
  // OTHERS
  make_hpfc_current_mappings();
  init_include_entities();
 
  // next in hpfc_init ???
  hpfc_init_run_time_entities();
 
  // STOP is to be translated into hpfc_{host,node}_end. the special FCD calls.
  automatic_translation(local_name_to_top_level_entity(STOP_FUNCTION_NAME),
                        hpfc_name_to_entity(HPFC_STOP),
                        hpfc_name_to_entity(HPFC_STOP));
  automatic_translation(hpfc_name_to_entity(HPF_PREFIX SYNCHRO_SUFFIX),
                        hpfc_name_to_entity(SYNCHRO),
                        hpfc_name_to_entity(SYNCHRO));
  automatic_translation(hpfc_name_to_entity(HPF_PREFIX TIMEON_SUFFIX),
                        hpfc_name_to_entity(HOST_TIMEON),
                        hpfc_name_to_entity(NODE_TIMEON));
  automatic_translation(hpfc_name_to_entity(HPF_PREFIX TIMEOFF_SUFFIX),
                        hpfc_name_to_entity(HOST_TIMEOFF),
                        hpfc_name_to_entity(NODE_TIMEOFF));
  automatic_translation(hpfc_name_to_entity(HPF_PREFIX TELL_SUFFIX),
                        hpfc_name_to_entity(HPFC_HTELL),
                        hpfc_name_to_entity(HPFC_NTELL));
  automatic_translation(hpfc_name_to_entity(HPF_PREFIX HOSTSECTION_SUFFIX),
                        entity_intrinsic(CONTINUE_FUNCTION_NAME),
                        entity_intrinsic(CONTINUE_FUNCTION_NAME));
}

References automatic_translation(), compute_postcondition(), CONTINUE_FUNCTION_NAME, db_get_memory_resource(), entity_intrinsic(), get_bool_property(), get_current_module_statement(), get_precondition_map(), HOST_TIMEOFF, HOST_TIMEON, HOSTSECTION_SUFFIX, HPF_PREFIX, HPFC_HTELL, hpfc_init_run_time_entities(), hpfc_name_to_entity(), HPFC_NTELL, HPFC_STOP, local_name_to_top_level_entity(), make_hpfc_current_mappings(), MAKE_STATEMENT_MAPPING, module, module_local_name(), module_name(), NODE_TIMEOFF, NODE_TIMEON, only_io_mapping_initialize(), reset_unique_variable_numbers(), set_cumulated_references(), set_current_module_statement(), set_in_effects(), set_out_effects(), set_postcondition_map(), set_precondition_map(), set_rw_effects(), STOP_FUNCTION_NAME, SYNCHRO, SYNCHRO_SUFFIX, TELL_SUFFIX, TIMEOFF_SUFFIX, and TIMEON_SUFFIX.

Referenced by compile_module().

Here is the call graph for this function:

Here is the caller graph for this function:

Variable Documentation

added_ahead_of_node_code

list added_ahead_of_node_code

static

??? some quick hack to move bound computations ahead if possible

of statement

Definition at line 402 of file hpfc.c.

Referenced by compile_module(), and hpfc_add_ahead_of_node_code().

chs

hpfc_status chs = (hpfc_status) NULL

static

??? some memory leaks in the hpfc_status management...

Definition at line 164 of file hpfc.c.

Referenced by init_hpfc_status(), load_hpfc_status(), reset_hpfc_status(), and save_hpfc_status().

the_fakes_object

list the_fakes_object =NIL

static

??? to be added to HPFC_STATUS

GENERIC_STATIC_STATUS(static, the_fakes, list, NIL, gen_free_list)

Definition at line 86 of file hpfc.c.

Referenced by add_a_fake_function(), and hpfc_special_fake().