prettyprint.c File Reference

#include <stdio.h>
#include <string.h>
#include "genC.h"
#include "boolean.h"
#include "arithmetique.h"
#include "vecteur.h"
#include "contrainte.h"
#include "ray_dte.h"
#include "sommet.h"
#include "sg.h"
#include "sc.h"
#include "polyedre.h"
#include "union.h"
#include "matrix.h"
#include "ri.h"
#include "constants.h"
#include "ri-util.h"
#include "misc.h"
#include "complexity_ri.h"
#include "database.h"
#include "graph.h"
#include "dg.h"
#include "paf_ri.h"
#include "parser_private.h"
#include "property.h"
#include "properties.h"
#include "prettyprint.h"
#include "reduction.h"
#include "text.h"
#include "text-util.h"
#include "tiling.h"
#include "pipsdbm.h"
#include "resources.h"
#include "static_controlize.h"
#include "paf-util.h"
#include "pip.h"
#include "array_dfg.h"
#include "prgm_mapping.h"
#include "reindexing.h"

Include dependency graph for prettyprint.c:

Go to the source code of this file.

Macros
#define	CM_FORTRAN_EXT   ".fcm"
	Ansi includes More...
#define	CRAFT_FORTRAN_EXT   ".craft"

Typedefs
typedef dfg_vertex_label	vertex_label
	Local defines. More...
typedef dfg_arc_label	arc_label

Functions
statement	make_layout_statement (entity ae, int serial, int news)
	====================================================================== More...
statement	make_shared_statement (entity ae, int serial, int news)
	====================================================================== More...
void	cmf_layout_align (statement mod_stat)
	====================================================================== More...
void	craft_layout_align (statement mod_stat)
	====================================================================== More...
bool	print_parallelizedCMF_code (char *mod_name)
	====================================================================== More...
bool	print_parallelizedCRAFT_code (char *mod_name)
	====================================================================== More...

Variables
list	lparams
	Array bounds. More...
static graph	current_dfg
static bdt	current_bdt

Macro Definition Documentation

CM_FORTRAN_EXT

#define CM_FORTRAN_EXT   ".fcm"

Ansi includes

Newgen includes
C3 includes
Pips includes

Definition at line 76 of file prettyprint.c.

CRAFT_FORTRAN_EXT

#define CRAFT_FORTRAN_EXT   ".craft"

Definition at line 77 of file prettyprint.c.

Typedef Documentation

arc_label

typedef dfg_arc_label arc_label

Definition at line 81 of file prettyprint.c.

vertex_label

typedef dfg_vertex_label vertex_label

Local defines.

Definition at line 80 of file prettyprint.c.

Function Documentation

cmf_layout_align()

void cmf_layout_align

(

statement

mod_stat

)

======================================================================

void cmf_layout_align(statement mod_stat):

Static control of the node

We extract the bdt corresponding to this node.

We count the number of non constant dimension for each domain.

We get the array entity corresponding to this node.

Layout

We add these declarations to the statement of the module

After reindexing, the first statement is in fact a sequence and no longer an unstructured. Trust it to simplify the following:

Definition at line 183 of file prettyprint.c.

{
  list list_body, list_la, lae = NIL, li = NIL, lv;
 
  for(lv = graph_vertices(current_dfg); !ENDP(lv); POP(lv)) {
    vertex cv;
    int cn, bdim;
    list bv, ciel;
    string name;
    char num[32];
    entity array_ent;
    static_control stco;
 
    cv = VERTEX(CAR(lv));
    cn = dfg_vertex_label_statement(vertex_vertex_label(cv));
 
    if (cn == ENTRY_ORDER)
      continue;
    if (cn == EXIT_ORDER)
      continue;
 
    /* Static control of the node */
    stco = get_stco_from_current_map(adg_number_to_statement(cn));
 
    ciel = static_control_to_indices(stco);
 
    if(get_debug_level() > 0) {
      fprintf(stderr, "\nIn cmf_layout_align, CIEL : ");
      fprint_entity_list(stderr, ciel);
    }
 
    /* We extract the bdt corresponding to this node. */
    bv = extract_bdt(current_bdt, cn);
 
    /* We count the number of non constant dimension for each
       domain. */
    bdim = 0;
    for (; !ENDP(bv); POP(bv)) { 
      int bcount = 0; 
      schedule sched = SCHEDULE(CAR(bv)); 
      list lexp; 
      
      for (lexp = schedule_dims(sched); !ENDP(lexp); POP(lexp)) { 
        expression exp = EXPRESSION(CAR(lexp)); 
        normalized nor = NORMALIZE_EXPRESSION(exp); 
        
        if(normalized_tag(nor) == is_normalized_linear) { 
          Pvecteur vec = normalized_linear(expression_normalized(exp)); 
          
          if (vars_in_vect_p(vec, ciel)) 
            bcount++; 
        } 
        else 
          user_error("cmf_layout_align", 
                     "Rational case not treated yet !"); 
      } 
 
      if(bcount > bdim) 
        bdim = bcount; 
    }
    li = CONS(INT, bdim, li);
 
    /* We get the array entity corresponding to this node. */
    (void) sprintf(num, "%d", cn-BASE_NODE_NUMBER);
    name = (string) strdup(concatenate(SA_MODULE_NAME, MODULE_SEP_STRING,
                                       SAI, num, (string) NULL));
    array_ent = gen_find_tabulated(name, entity_domain);
    if(array_ent == entity_undefined)
      user_error("make_array_bounds",
                 "\nOne ins (%d) has no array entity : %s\n",
                 cn-BASE_NODE_NUMBER, name);
 
    lae = CONS(ENTITY, array_ent, lae);
  }
 
  /* Layout */
  list_la = NIL;
  for(; !ENDP(lae); POP(lae), POP(li)) {
    entity ae;
    int serial, nb_dims, news;
 
    ae = ENTITY(CAR(lae));
    serial = INT(CAR(li));
    nb_dims =
      gen_length(variable_dimensions(type_variable(entity_type(ae))));
    news = nb_dims - serial;
 
    list_la = CONS(STATEMENT, make_layout_statement(ae, serial, news),
                   list_la);
  }
 
  /* We add these declarations to the statement of the module */
  /* After reindexing, the first statement is in fact a sequence and
     no longer an unstructured. Trust it to simplify the following: */
  if(instruction_tag(statement_instruction(mod_stat)) !=
     is_instruction_sequence)
    pips_user_error("Body is not a block\n");
 
  list_body = gen_nconc(list_la,
                        sequence_statements(instruction_sequence(statement_instruction(mod_stat))));
  sequence_statements(instruction_sequence(statement_instruction(mod_stat))) =
      list_body;
}

References adg_number_to_statement(), BASE_NODE_NUMBER, CAR, concatenate(), CONS, current_bdt, current_dfg, dfg_vertex_label_statement, ENDP, ENTITY, entity_domain, entity_type, entity_undefined, ENTRY_ORDER, EXIT_ORDER, exp, EXPRESSION, expression_normalized, extract_bdt(), fprint_entity_list(), fprintf(), gen_find_tabulated(), gen_length(), gen_nconc(), get_debug_level(), get_stco_from_current_map(), graph_vertices, instruction_sequence, instruction_tag, INT, is_instruction_sequence, is_normalized_linear, lexp, make_layout_statement(), mod_stat, MODULE_SEP_STRING, NIL, NORMALIZE_EXPRESSION, normalized_linear, normalized_tag, num, pips_user_error, POP, SA_MODULE_NAME, SAI, SCHEDULE, schedule_dims, sequence_statements, STATEMENT, statement_instruction, static_control_to_indices(), strdup(), type_variable, user_error, variable_dimensions, vars_in_vect_p(), VERTEX, and vertex_vertex_label.

Referenced by print_parallelizedCMF_code().

Here is the call graph for this function:

Here is the caller graph for this function:

craft_layout_align()

void craft_layout_align

(

statement

mod_stat

)

======================================================================

void craft_layout_align(statement mod_stat):

Static control of the node

We extract the bdt corresponding to this node.

We count the number of non constant dimension for each domain.

We get the array entity corresponding to this node.

Shared

We add these declarations to the statement of the module

After reindexing, the first statement is in fact a sequence and no longer an unstructured. Trust it to simplify the following:

Definition at line 295 of file prettyprint.c.

{
  list list_body, list_la, lae = NIL, li = NIL, lv;
 
  for(lv = graph_vertices(current_dfg); !ENDP(lv); POP(lv)) {
    vertex cv;
    int cn, bdim;
    list bv, ciel;
    string name;
    char num[32];
    entity array_ent;
    static_control stco;
 
    cv = VERTEX(CAR(lv));
    cn = dfg_vertex_label_statement(vertex_vertex_label(cv));
 
    if (cn == ENTRY_ORDER)
      continue;
    if (cn == EXIT_ORDER)
      continue;
 
    /* Static control of the node */
    stco = get_stco_from_current_map(adg_number_to_statement(cn));
 
    ciel = static_control_to_indices(stco);
 
    if(get_debug_level() > 0) {
      fprintf(stderr, "\nIn craft_layout_align, CIEL : ");
      fprint_entity_list(stderr, ciel);
    }
 
    /* We extract the bdt corresponding to this node. */
    bv = extract_bdt(current_bdt, cn);
 
    /* We count the number of non constant dimension for each
       domain. */
    bdim = 0;
    for (; !ENDP(bv); POP(bv)) { 
      int bcount = 0; 
      schedule sched = SCHEDULE(CAR(bv)); 
      list lexp; 
      
      for (lexp = schedule_dims(sched); !ENDP(lexp); POP(lexp)) { 
        expression exp = EXPRESSION(CAR(lexp)); 
        normalized nor = NORMALIZE_EXPRESSION(exp); 
        
        if(normalized_tag(nor) == is_normalized_linear) { 
          Pvecteur vec = normalized_linear(expression_normalized(exp)); 
          
          if (vars_in_vect_p(vec, ciel)) 
            bcount++; 
        } 
        else 
          user_error("craft_layout_align", 
                     "Rational case not treated yet !"); 
      } 
 
      if(bcount > bdim) 
        bdim = bcount; 
    }
    li = CONS(INT, bdim, li);
 
    /* We get the array entity corresponding to this node. */
    (void) sprintf(num, "%d", cn-BASE_NODE_NUMBER);
    name = (string) strdup(concatenate(SA_MODULE_NAME, MODULE_SEP_STRING,
                                       SAI, num, (string) NULL));
    array_ent = gen_find_tabulated(name, entity_domain);
    if(array_ent == entity_undefined)
      user_error("craft_layout_align",
                 "\nOne ins (%d) has no array entity : %s\n",
                 cn-BASE_NODE_NUMBER, name);
 
    lae = CONS(ENTITY, array_ent, lae);
  }
 
  /* Shared */
  list_la = NIL;
  for(; !ENDP(lae); POP(lae), POP(li)) {
    entity ae;
    int serial, nb_dims, news;
 
    ae = ENTITY(CAR(lae));
    serial = INT(CAR(li));
    nb_dims =
      gen_length(variable_dimensions(type_variable(entity_type(ae))));
    news = nb_dims - serial;
 
    list_la = CONS(STATEMENT, make_shared_statement(ae, serial, news),
                   list_la);
  }
 
  /* We add these declarations to the statement of the module */
  /* After reindexing, the first statement is in fact a sequence and
     no longer an unstructured. Trust it to simplify the following: */
  if(instruction_tag(statement_instruction(mod_stat)) !=
     is_instruction_sequence)
    pips_user_error("Body is not a block\n");
 
  list_body = gen_nconc(list_la,
                        sequence_statements(instruction_sequence(statement_instruction(mod_stat))));
  sequence_statements(instruction_sequence(statement_instruction(mod_stat))) =
      list_body;
  }

References adg_number_to_statement(), BASE_NODE_NUMBER, CAR, concatenate(), CONS, current_bdt, current_dfg, dfg_vertex_label_statement, ENDP, ENTITY, entity_domain, entity_type, entity_undefined, ENTRY_ORDER, EXIT_ORDER, exp, EXPRESSION, expression_normalized, extract_bdt(), fprint_entity_list(), fprintf(), gen_find_tabulated(), gen_length(), gen_nconc(), get_debug_level(), get_stco_from_current_map(), graph_vertices, instruction_sequence, instruction_tag, INT, is_instruction_sequence, is_normalized_linear, lexp, make_shared_statement(), mod_stat, MODULE_SEP_STRING, NIL, NORMALIZE_EXPRESSION, normalized_linear, normalized_tag, num, pips_user_error, POP, SA_MODULE_NAME, SAI, SCHEDULE, schedule_dims, sequence_statements, STATEMENT, statement_instruction, static_control_to_indices(), strdup(), type_variable, user_error, variable_dimensions, vars_in_vect_p(), VERTEX, and vertex_vertex_label.

Referenced by print_parallelizedCRAFT_code().

Here is the call graph for this function:

Here is the caller graph for this function:

make_layout_statement()

statement make_layout_statement	(	entity	ae,
		int	serial,
		int	news
	)

======================================================================

statement make_layout_statement(entity ae, int serial, news):

put all the pieces of lstat in one statement

Definition at line 93 of file prettyprint.c.

{
  instruction  ins;
  list         lstat = NIL;
  char         *comment;
  statement    stat;
  int i;
 
  comment = (char*) malloc(64);
  sprintf(comment,"CMF$  LAYOUT %s(", entity_local_name(ae));
  for(i = 0; i < serial; i++) { 
    sprintf(comment, "%s:SERIAL", comment); 
    if((i < serial-1) || ((i == serial-1) && (news > 0)) ) 
      sprintf(comment, "%s, ", comment);
  } 
  for(i = 0; i < news; i++) { 
    sprintf(comment, "%s:NEWS", comment); 
    if(i < news-1)
      sprintf(comment, "%s, ", comment);
  } 
  sprintf(comment, "%s)\n", comment);
 
  stat = make_nop_statement();
  insert_comments_to_statement(stat, comment);
  lstat = CONS(STATEMENT, stat, lstat);
 
  /* put all the pieces of lstat in one statement */
  stat = make_block_statement(lstat);
 
  if(get_debug_level() > 1)
    fprintf(stderr, 
            "\nmake_layout_statement\n=====================\n%s\n", 
            comment); 
 
  return(stat);
}

References comment(), CONS, entity_local_name(), fprintf(), get_debug_level(), insert_comments_to_statement(), make_block_statement(), make_nop_statement, malloc(), NIL, and STATEMENT.

Referenced by cmf_layout_align().

Here is the call graph for this function:

Here is the caller graph for this function:

make_shared_statement()

statement make_shared_statement	(	entity	ae,
		int	serial,
		int	news
	)

======================================================================

statement make_shared_statement(entity ae, int serial, news):

put all the pieces of lstat in one statement

Definition at line 138 of file prettyprint.c.

{
  instruction  ins;
  list         lstat = NIL;
  char         *comment;
  statement    stat;
  int i;
 
  comment = (char*) malloc(64);
  sprintf(comment,"CDIR$ SHARED %s(", entity_local_name(ae));
  for(i = 0; i < serial; i++) { 
    sprintf(comment, "%s:", comment); 
    if((i < serial-1) || ((i == serial-1) && (news > 0)) ) 
      sprintf(comment, "%s, ", comment);
  } 
  for(i = 0; i < news; i++) { 
    sprintf(comment, "%s:BLOCK", comment); 
    if(i < news-1)
      sprintf(comment, "%s, ", comment);
  } 
  sprintf(comment, "%s)\n", comment);
 
  stat = make_nop_statement();
  insert_comments_to_statement(stat, comment);
  lstat = CONS(STATEMENT, stat, lstat);
 
  /* put all the pieces of lstat in one statement */
  stat = make_block_statement(lstat);
 
  if(get_debug_level() > 1)
    fprintf(stderr, 
            "\nmake_shared_statement\n=====================\n%s\n", 
            comment); 
 
  return(stat);
}

References comment(), CONS, entity_local_name(), fprintf(), get_debug_level(), insert_comments_to_statement(), make_block_statement(), make_nop_statement, malloc(), NIL, and STATEMENT.

Referenced by craft_layout_align().

Here is the call graph for this function:

Here is the caller graph for this function:

print_parallelizedCMF_code()

bool print_parallelizedCMF_code

(

char *

mod_name

)

======================================================================

Static controlize code

The DFG, the BDT and the PLC

Parameters

mod_name

odule

Definition at line 401 of file prettyprint.c.

{
  plc the_plc;
 
  text r = make_text(NIL);
  entity module;
  statement mod_stat;
  code c;
  string s, pp;
  static_control stco;
  statement_mapping STS;
  bool success;
 
  debug_on("PRETTYPRINT_DEBUG_LEVEL");
  
  module = local_name_to_top_level_entity(mod_name);
  if (module != get_current_module_entity()) {
    reset_current_module_entity();
    set_current_module_entity(module);
  }
  c = entity_code(module);
  s = code_decls_text(c);
 
  /* Static controlize code */
  mod_stat = (statement) db_get_memory_resource(DBR_CODE, mod_name, true); 
  STS = (statement_mapping) db_get_memory_resource(DBR_STATIC_CONTROL, 
                                            mod_name, true); 
  set_current_stco_map(STS);
  stco = get_stco_from_current_map(mod_stat);
 
  lparams = static_control_params(stco); 
  if (stco == static_control_undefined)  
    pips_internal_error("This is an undefined static control !");  
  if (!static_control_yes(stco))  
    pips_internal_error("This is not a static control program !");  
  
  /* The DFG, the BDT and the PLC */
  current_dfg = adg_pure_dfg((graph) db_get_memory_resource(DBR_ADFG,
                                                        mod_name, true));
  current_bdt = (bdt) db_get_memory_resource(DBR_BDT, mod_name, true);
  the_plc = (plc) db_get_memory_resource(DBR_PLC, mod_name, true);
  if (get_debug_level() > 0) {
    fprint_dfg(stderr, current_dfg);
    fprint_bdt(stderr, current_bdt);
    fprint_plc(stderr, the_plc);
  }
 
  pp = strdup(get_string_property(PRETTYPRINT_PARALLEL));
  set_string_property(PRETTYPRINT_PARALLEL, "cmf");
  set_bool_property("PRETTYPRINT_ALL_DECLARATIONS", true);
 
  init_prettyprint(empty_text);
 
  mod_stat = (statement)
    db_get_memory_resource(DBR_REINDEXED_CODE, mod_name, true);
    
  insure_declaration_coherency_of_module(module, mod_stat);
 
  cmf_layout_align(mod_stat);
 
  MERGE_TEXTS(r, text_module(module, mod_stat));
 
  success = make_text_resource(mod_name,
                               DBR_PARALLELPRINTED_FILE,
                               CM_FORTRAN_EXT,
                               r);
 
  reset_current_stco_map();
  reset_current_module_entity();
  close_prettyprint();
 
  set_string_property(PRETTYPRINT_PARALLEL, pp); free(pp);
 
  debug_off();
 
  return(success);
}

References adg_pure_dfg(), close_prettyprint(), CM_FORTRAN_EXT, cmf_layout_align(), code_decls_text, current_bdt, current_dfg, db_get_memory_resource(), debug_off, debug_on, empty_text(), entity_code(), fprint_bdt(), fprint_dfg(), fprint_plc(), free(), get_current_module_entity(), get_debug_level(), get_stco_from_current_map(), get_string_property(), init_prettyprint(), local_name_to_top_level_entity(), lparams, make_text(), make_text_resource(), MERGE_TEXTS, mod_stat, module, NIL, pips_internal_error, PRETTYPRINT_PARALLEL, reset_current_module_entity(), reset_current_stco_map(), set_bool_property(), set_current_module_entity(), set_current_stco_map(), set_string_property(), static_control_params, static_control_undefined, static_control_yes, strdup(), STS, and text_module().

Here is the call graph for this function:

print_parallelizedCRAFT_code()

bool print_parallelizedCRAFT_code

(

char *

mod_name

)

======================================================================

Static controlize code

The DFG, the BDT and the PLC

Parameters

mod_name

odule

Definition at line 482 of file prettyprint.c.

{
  plc the_plc;
 
  text r = make_text(NIL);
  entity module;
  statement mod_stat;
  code c;
  string s, pp;
  static_control stco;
  statement_mapping STS;
  bool success;
 
  debug_on("PRETTYPRINT_DEBUG_LEVEL");
  
  module = local_name_to_top_level_entity(mod_name);
  if (module != get_current_module_entity()) {
    reset_current_module_entity();
    set_current_module_entity(module);
  }
  c = entity_code(module);
  s = code_decls_text(c);
 
  /* Static controlize code */
  mod_stat = (statement) db_get_memory_resource(DBR_CODE, mod_name, true); 
  STS = (statement_mapping)db_get_memory_resource(DBR_STATIC_CONTROL, 
                                           mod_name, true); 
  set_current_stco_map(STS);
  stco = get_stco_from_current_map(mod_stat);
 
  lparams = static_control_params(stco); 
  if (stco == static_control_undefined)  
    pips_internal_error("This is an undefined static control !");  
  if (!static_control_yes(stco))  
    pips_internal_error("This is not a static control program !");  
  
  /* The DFG, the BDT and the PLC */
  current_dfg = adg_pure_dfg((graph) db_get_memory_resource(DBR_ADFG,
                                                            mod_name,
                                                            true));
  current_bdt = (bdt) db_get_memory_resource(DBR_BDT, mod_name, true);
  the_plc = (plc) db_get_memory_resource(DBR_PLC, mod_name, true);
  if (get_debug_level() > 0) {
    fprint_dfg(stderr, current_dfg);
    fprint_bdt(stderr, current_bdt);
    fprint_plc(stderr, the_plc);
  }
 
  pp = strdup(get_string_property(PRETTYPRINT_PARALLEL));
  set_string_property(PRETTYPRINT_PARALLEL, "craft");
  set_bool_property("PRETTYPRINT_ALL_DECLARATIONS", true);
 
  init_prettyprint(empty_text);
 
  mod_stat = (statement) db_get_memory_resource(DBR_REINDEXED_CODE,
                                                mod_name, true);
    
  insure_declaration_coherency_of_module(module, mod_stat);
  craft_layout_align(mod_stat);
  MERGE_TEXTS(r, text_module(module, mod_stat));
 
  success = make_text_resource(mod_name,
                               DBR_PARALLELPRINTED_FILE,
                               CRAFT_FORTRAN_EXT,
                               r);
 
  reset_current_stco_map();
  reset_current_module_entity();
  close_prettyprint();
  set_string_property(PRETTYPRINT_PARALLEL, pp); free(pp);
  debug_off();
 
  return(success);
}

References adg_pure_dfg(), close_prettyprint(), code_decls_text, CRAFT_FORTRAN_EXT, craft_layout_align(), current_bdt, current_dfg, db_get_memory_resource(), debug_off, debug_on, empty_text(), entity_code(), fprint_bdt(), fprint_dfg(), fprint_plc(), free(), get_current_module_entity(), get_debug_level(), get_stco_from_current_map(), get_string_property(), init_prettyprint(), local_name_to_top_level_entity(), lparams, make_text(), make_text_resource(), MERGE_TEXTS, mod_stat, module, NIL, pips_internal_error, PRETTYPRINT_PARALLEL, reset_current_module_entity(), reset_current_stco_map(), set_bool_property(), set_current_module_entity(), set_current_stco_map(), set_string_property(), static_control_params, static_control_undefined, static_control_yes, strdup(), STS, and text_module().

Here is the call graph for this function:

Variable Documentation

current_bdt

bdt current_bdt

static

Definition at line 85 of file prettyprint.c.

Referenced by cmf_layout_align(), craft_layout_align(), print_parallelizedCMF_code(), and print_parallelizedCRAFT_code().

current_dfg

graph current_dfg

static

Definition at line 84 of file prettyprint.c.

Referenced by cmf_layout_align(), craft_layout_align(), print_parallelizedCMF_code(), and print_parallelizedCRAFT_code().

lparams

list lparams

extern

Array bounds.

Definition at line 111 of file reindexing.c.

Referenced by freia_add_image_arguments(), freia_create_helper_function(), freia_spoc_pipeline(), freia_substitute_by_helper_call(), freia_trpx_compile_one_dag(), generic_c_words_simplified_entity(), opencl_compile_mergeable_dag(), overloaded_parameters_p(), prepare_reindexing(), print_parallelizedCMF_code(), print_parallelizedCRAFT_code(), re_do_it(), reindexing(), sc_kernel_specific_agent(), and sigmac_params_decl().