#include <stdio.h>
#include <string.h>
#include "genC.h"
#include "linear.h"
#include "misc.h"
#include "pipsdbm.h"
#include "properties.h"
#include "ri.h"
#include "ri-util.h"
#include "text-util.h"
#include "control.h"
#include "conversion.h"
#include "pipsmake.h"
#include "prettyprint.h"
#include "transformations.h"

Include dependency graph for interactive_loop_transformation.c:

Data Structures
struct	flag_loop_param_t

Functions
bool	selected_loop_p (statement s)

bool	interactive_loop_transformation (const char module_name, statement(loop_transformation)(list, bool(*)(statement)))

static void	flag_loop (statement st, flag_loop_param_t *flp)

bool	print_loops (const string module_name)

bool	flag_loops (const string module_name)
	put a label on each doloop without label More...

static bool	module_loops_walker (statement s, list *l)

char *	loop_pragma (const char module_name, const char parent_loop)

char *	module_loops (const char module_name, const char parent_loop)
	gather the list of enclosing loops expect flag_loops has been called before More...

Variables
entity	selected_label
	Interface with pipsmake for interactive loop transformations: loop interchange, hyperplane method,... More...

Function Documentation

◆ flag_loop()

static void flag_loop	(	statement	st,
		flag_loop_param_t *	flp
	)

static

Definition at line 133 of file interactive_loop_transformation.c.

 {
   instruction i = statement_instruction(st);
   if(instruction_loop_p(i) && entity_empty_label_p(statement_label(st)))
     {
         statement_label(st) = make_new_label(get_current_module_entity());
         flp->new_label_created=true;
     }
   if( !get_bool_property("FLAG_LOOPS_DO_LOOPS_ONLY")
       && instruction_forloop_p(i))
     {
         if(entity_empty_label_p(statement_label(st))) {
             statement_label(st)=make_new_label(get_current_module_entity());
             flp->new_label_created=true;
         }
       flp->loops=CONS(STRING,strdup(entity_user_name(statement_label(st))),flp->loops);
     }
 }

References CONS, entity_empty_label_p(), entity_user_name(), get_bool_property(), get_current_module_entity(), instruction_forloop_p, instruction_loop_p, flag_loop_param_t::loops, make_new_label(), flag_loop_param_t::new_label_created, statement_instruction, statement_label, strdup(), and STRING.

Referenced by flag_loops().

Here is the call graph for this function:

Here is the caller graph for this function:

◆ flag_loops()

bool flag_loops ( const string module_name )

put a label on each doloop without label

Parameters

module_name

Returns

prelude

run loop labeler

validate

ostlude

Parameters

module_name odule_name

Definition at line 191 of file interactive_loop_transformation.c.

 {
   /* prelude */
   set_current_module_entity(module_name_to_entity( module_name ));
   set_current_module_statement
     ((statement) db_get_memory_resource(DBR_CODE, module_name, true) );
   flag_loop_param_t flp = { .loops = NIL, .new_label_created = false };
  
   /* run loop labeler */
   gen_context_recurse(get_current_module_statement(), &flp,
                       statement_domain, gen_true2, flag_loop);
  
   /* validate */
   if( flp.new_label_created) DB_PUT_MEMORY_RESOURCE(DBR_CODE, module_name,get_current_module_statement());
   DB_PUT_MEMORY_RESOURCE(DBR_LOOPS, module_name,make_callees(flp.loops));
  
   /*postlude*/
   reset_current_module_entity();
   reset_current_module_statement();
   return true;
 }

References db_get_memory_resource(), DB_PUT_MEMORY_RESOURCE, flag_loop(), gen_context_recurse, gen_true2(), get_current_module_statement(), flag_loop_param_t::loops, make_callees(), module_name(), module_name_to_entity(), flag_loop_param_t::new_label_created, NIL, reset_current_module_entity(), reset_current_module_statement(), set_current_module_entity(), set_current_module_statement(), and statement_domain.

Here is the call graph for this function:

◆ interactive_loop_transformation()

bool interactive_loop_transformation	(	const char *	module_name,
		statement()(list, bool()(statement))	loop_transformation
	)

DBR_CODE will be changed: argument "pure" should take false but this would be useless since there is only one version of code; a new version will be put back in the data base after transforming the loops

Get the loop label from the user

Reorder the module, because new statements have been generated.

Parameters

module_name odule_name

Definition at line 73 of file interactive_loop_transformation.c.

 {
   const char *lp_label=NULL;
   entity module = module_name_to_entity(module_name);
   statement s = statement_undefined;
   bool return_status = false;
  
   pips_assert("interactive_loop_transformation", entity_module_p(module));
  
   /* DBR_CODE will be changed: argument "pure" should take false but
      this would be useless since there is only *one* version of code;
      a new version will be put back in the data base after transforming
      the loops */
   s = (statement) db_get_memory_resource(DBR_CODE, module_name, true);
   set_current_module_entity(module);
   set_current_module_statement(s);
  
   /* Get the loop label from the user */
       lp_label = get_string_property_or_ask("LOOP_LABEL","Which loop do you want to transform?\n"
                             "(give its label): ");
       if( string_undefined_p( lp_label ) )
         {
           pips_user_error("please set %s  property to a valid label\n","LOOP_LABEL");
         }
  
   if(lp_label)
     {
       selected_label = find_label_entity(module_name, lp_label);
       if (entity_undefined_p(selected_label)) {
         pips_user_error("loop label `%s' does not exist\n", lp_label);
       }
  
       debug_on("INTERACTIVE_LOOP_TRANSFORMATION_DEBUG_LEVEL");
  
       look_for_nested_loop_statements(s, loop_transformation, selected_loop_p);
  
       debug_off();
  
       /* Reorder the module, because new statements have been generated. */
       module_reorder(s);
  
       DB_PUT_MEMORY_RESOURCE(DBR_CODE,
                              strdup(module_name),
                              (char*) s);
       return_status = true;
     }
   reset_current_module_entity();
   reset_current_module_statement();
  
   return return_status;
 }

References db_get_memory_resource(), DB_PUT_MEMORY_RESOURCE, debug_off, debug_on, entity_module_p(), entity_undefined_p, find_label_entity(), get_string_property_or_ask(), look_for_nested_loop_statements(), module, module_name(), module_name_to_entity(), module_reorder(), pips_assert, pips_user_error, reset_current_module_entity(), reset_current_module_statement(), selected_label, selected_loop_p(), set_current_module_entity(), set_current_module_statement(), statement_undefined, strdup(), and string_undefined_p.

Referenced by loop_hyperplane(), loop_tiling(), and parallel_loop_tiling().

Here is the call graph for this function:

Here is the caller graph for this function:

◆ loop_pragma()

char* loop_pragma	(	const char *	module_name,
		const char *	parent_loop
	)

Parameters

module_name	odule_name
parent_loop	arent_loop

Definition at line 225 of file interactive_loop_transformation.c.

 {
   // ensure pipsmake is ok with what we ask for
   safe_make(DBR_LOOPS,module_name);
  
   // prelude
   set_current_module_entity(module_name_to_entity( module_name ));
   set_current_module_statement
     ((statement) db_get_memory_resource(DBR_CODE, module_name, true) );
  
   entity label = find_label_entity(module_name,parent_loop);
   if(entity_undefined_p(label))
   pips_user_error("label '%s' does not exist\n",parent_loop);
   statement stmt = find_loop_from_label(get_current_module_statement(),label);
   if(statement_undefined_p(stmt))
   pips_user_error("label '%s' is not on a loop\n",parent_loop);
   string s = extensions_to_string(statement_extensions(stmt),false);
   if(string_undefined_p(s)) s = strdup("");
   reset_current_module_entity();
   reset_current_module_statement();
   return s;
 }

References db_get_memory_resource(), entity_undefined_p, extensions_to_string(), find_label_entity(), find_loop_from_label(), get_current_module_statement(), module_name(), module_name_to_entity(), pips_user_error, reset_current_module_entity(), reset_current_module_statement(), safe_make(), set_current_module_entity(), set_current_module_statement(), statement_extensions, statement_undefined_p, strdup(), and string_undefined_p.

Here is the call graph for this function:

◆ module_loops()

char* module_loops	(	const char *	module_name,
		const char *	parent_loop
	)

gather the list of enclosing loops expect flag_loops has been called before

Parameters

module_name	module we want the loops of
parent_loop	null if we wat to gather outer loops, a loop_label if we want to gather enclosed loops

Returns: list of strings, one string per loop label

this function is needed by pyps?

Parameters

module_name	odule_name
parent_loop	arent_loop

Definition at line 259 of file interactive_loop_transformation.c.

 {
   // ensure pipsmake is ok with what we ask for
   safe_make(DBR_LOOPS,module_name);
  
   // prelude
   set_current_module_entity(module_name_to_entity( module_name ));
   set_current_module_statement
     ((statement) db_get_memory_resource(DBR_CODE, module_name, true) );
   list loops = NIL;
  
   statement seed = statement_undefined;
   if(empty_string_p(parent_loop))
     seed=get_current_module_statement();
   else {
     entity label = find_label_entity(module_name,parent_loop);
     if(entity_undefined_p(label))
         pips_user_error("label '%s' does not exist\n",parent_loop);
     statement stmt = find_loop_from_label(get_current_module_statement(),label);
     if(statement_undefined_p(stmt))
         pips_user_error("label '%s' is not on a loop\n",parent_loop);
     seed=loop_body(statement_loop(stmt));
   }
  
   // run loop gatherer
   gen_context_recurse(seed, &loops,
                       statement_domain, module_loops_walker, gen_null2);
   loops=gen_nreverse(loops);
  
   // postlude
   reset_current_module_entity();
   reset_current_module_statement();
   string out = list_to_string(loops);
   gen_free_list(loops);
   if(out) out[strlen(out)-1]=0;
   return out;
 }

References db_get_memory_resource(), empty_string_p(), entity_undefined_p, find_label_entity(), find_loop_from_label(), gen_context_recurse, gen_free_list(), gen_nreverse(), gen_null2(), get_current_module_statement(), list_to_string(), loop_body, loops, module_loops_walker(), module_name(), module_name_to_entity(), NIL, out, pips_user_error, reset_current_module_entity(), reset_current_module_statement(), safe_make(), set_current_module_entity(), set_current_module_statement(), statement_domain, statement_loop(), statement_undefined, and statement_undefined_p.

Here is the call graph for this function:

◆ module_loops_walker()

static bool module_loops_walker	(	statement	s,
		list *	l
	)

static

Definition at line 213 of file interactive_loop_transformation.c.

 {
   if(statement_loop_p(s))
   {
     string tmp;
     asprintf(&tmp,"%s ",label_local_name(statement_label(s)));
     *l=CONS(STRING,tmp,*l);
     return false;
   }
   return true;
 }

References asprintf, CONS, label_local_name(), statement_label, statement_loop_p(), and STRING.

Referenced by module_loops().

Here is the call graph for this function:

Here is the caller graph for this function:

◆ print_loops()

bool print_loops ( const string module_name )

prelude

do the job

ostlude

Parameters

module_name odule_name

Definition at line 152 of file interactive_loop_transformation.c.

 {
   /* prelude */
   set_current_module_entity(module_name_to_entity( module_name ));
   set_current_module_statement((statement) db_get_memory_resource(DBR_CODE, module_name, true) );
   callees loops = (callees)db_get_memory_resource(DBR_LOOPS, module_name, true);
  
   /* do the job */
   {
     string local = db_build_file_resource_name(DBR_LOOPS_FILE, module_name, ".loops");
     string dir = db_get_current_workspace_directory();
     string full = strdup(concatenate(dir,"/",local, NULL));
     free(dir);
     FILE * fp = safe_fopen(full,"w");
     text r = make_text(NIL);
     FOREACH(STRING,s,callees_callees(loops))
       {
         ADD_SENTENCE_TO_TEXT(r,MAKE_ONE_WORD_SENTENCE(0,s));
       }
     print_text(fp,r);
     free_text(r);
     safe_fclose(fp,full);
     free(full);
     DB_PUT_FILE_RESOURCE(DBR_LOOPS_FILE, module_name, local);
   }
  
   /*postlude*/
   reset_current_module_entity();
   reset_current_module_statement();
   return true;
 }

References ADD_SENTENCE_TO_TEXT, callees_callees, concatenate(), db_build_file_resource_name(), db_get_current_workspace_directory(), db_get_memory_resource(), DB_PUT_FILE_RESOURCE, FOREACH, free(), free_text(), full, loops, MAKE_ONE_WORD_SENTENCE, make_text(), module_name(), module_name_to_entity(), NIL, print_text(), reset_current_module_entity(), reset_current_module_statement(), safe_fclose(), safe_fopen(), set_current_module_entity(), set_current_module_statement(), strdup(), and STRING.

Here is the call graph for this function:

◆ selected_loop_p()

bool selected_loop_p ( statement s )

SG+EC 2010: The loop_label(statement_loop(s)) is kept for compatibility reasons but is invalid and should eventually be removed

Definition at line 63 of file interactive_loop_transformation.c.

 {
   /* SG+EC 2010:
      The loop_label(statement_loop(s)) is kept for compatibility reasons
      but is invalid and should eventually be removed */
   return statement_loop_p(s) &&
           (statement_label(s) == selected_label ||
            loop_label(statement_loop(s)) == selected_label);
 }