gen_multi_recurse_explorer.c File Reference

#include "genC.h"
#include "linear.h"
#include "ri.h"
#include "ri-util.h"
#include "misc.h"
#include "control.h"
#include "pipsdbm.h"
#include "resources.h"
#include "prettyprint.h"

Include dependency graph for gen_multi_recurse_explorer.c:

Go to the source code of this file.

Functions
static bool	statement_filter (statement obj)
	A simple phase to show up the path explore by gen_multi_recurse. More...
static void	statement_rewrite (statement obj)
static bool	call_filter (__attribute__((unused)) call obj)
static void	call_rewrite (__attribute__((unused)) call obj)
static bool	sequence_filter (__attribute__((unused)) sequence obj)
static void	sequence_rewrite (__attribute__((unused)) sequence obj)
static bool	test_filter (__attribute__((unused)) test obj)
static void	test_rewrite (__attribute__((unused)) test obj)
static bool	loop_filter (__attribute__((unused)) loop obj)
static void	loop_rewrite (__attribute__((unused)) loop obj)
static bool	forloop_filter (__attribute__((unused)) forloop obj)
static void	forloop_rewrite (__attribute__((unused)) forloop obj)
static bool	whileloop_filter (__attribute__((unused)) whileloop obj)
static void	whileloop_rewrite (__attribute__((unused)) whileloop obj)
static bool	multitest_filter (__attribute__((unused)) multitest obj)
static void	multitest_rewrite (__attribute__((unused)) multitest obj)
static bool	unstructured_filter (__attribute__((unused)) unstructured obj)
static void	unstructured_rewrite (__attribute__((unused)) unstructured obj)
bool	gen_multi_recurse_explorer (char *module_name)

Function Documentation

call_filter()

static bool call_filter ( __attribute__((unused)) call  obj )

static

Definition at line 28 of file gen_multi_recurse_explorer.c.

                                                          {
  pips_debug(0, "\t IN\n");
  return false;
}

References pips_debug.

Referenced by gen_multi_recurse_explorer().

Here is the caller graph for this function:

call_rewrite()

static void call_rewrite ( __attribute__((unused)) call  obj )

static

Definition at line 33 of file gen_multi_recurse_explorer.c.

                                                           {
  pips_debug(0, "\t OUT\n");
}

References pips_debug.

Referenced by gen_multi_recurse_explorer().

Here is the caller graph for this function:

forloop_filter()

static bool forloop_filter ( __attribute__((unused)) forloop  obj )

static

Definition at line 64 of file gen_multi_recurse_explorer.c.

                                                                {
  pips_debug(0, "\t IN\n");
  return true;
}

References pips_debug.

Referenced by gen_multi_recurse_explorer().

Here is the caller graph for this function:

forloop_rewrite()

static void forloop_rewrite ( __attribute__((unused)) forloop  obj )

static

Definition at line 69 of file gen_multi_recurse_explorer.c.

                                                                 {
  pips_debug(0, "\t OUT\n");
}

References pips_debug.

Referenced by gen_multi_recurse_explorer().

Here is the caller graph for this function:

gen_multi_recurse_explorer()

bool gen_multi_recurse_explorer

(

char *

module_name

)

Definition at line 109 of file gen_multi_recurse_explorer.c.

                                                    {
  statement module_statement;
  bool good_result_p = true;
 
  debug_on("GMRE_DEBUG_LEVEL");
  pips_debug(1, "begin\n");
 
  //-- configure environment --//
  set_current_module_entity(module_name_to_entity(module_name));
 
  set_current_module_statement( (statement)
      db_get_memory_resource(DBR_CODE, module_name, true) );
  module_statement = get_current_module_statement();
 
  pips_assert("Statement should be OK before...",
      statement_consistent_p(module_statement));
 
  //set_ordering_to_statement(module_statement);
 
  //-- Make the job -- //
  gen_multi_recurse(module_statement
      , statement_domain,               statement_filter, statement_rewrite
      , call_domain,                    call_filter, call_rewrite
      , sequence_domain,                sequence_filter, sequence_rewrite
      , test_domain,                    test_filter, test_rewrite
      , loop_domain,                    loop_filter, loop_rewrite
      , whileloop_domain,               whileloop_filter, whileloop_rewrite
      , forloop_domain,                 forloop_filter, forloop_rewrite
      , multitest_domain,               multitest_filter, multitest_rewrite
      , unstructured_domain,            unstructured_filter, unstructured_rewrite
      , NULL
//      , expression_domain, gen_true, gen_true
      );
 
 
  pips_assert("Statement should be OK after...",
      statement_consistent_p(module_statement));
 
  //-- Save modified code to database --//
  DB_PUT_MEMORY_RESOURCE(DBR_CODE, strdup(module_name), module_statement);
 
  //reset_ordering_to_statement();
 
  pips_debug(1, "end\n");
  debug_off();
 
  return (good_result_p);
}

References call_domain, call_filter(), call_rewrite(), db_get_memory_resource(), DB_PUT_MEMORY_RESOURCE, debug_off, debug_on, forloop_domain, forloop_filter(), forloop_rewrite(), gen_multi_recurse(), get_current_module_statement(), loop_domain, loop_filter(), loop_rewrite(), module_name(), module_name_to_entity(), module_statement, multitest_domain, multitest_filter(), multitest_rewrite(), pips_assert, pips_debug, sequence_domain, sequence_filter(), sequence_rewrite(), set_current_module_entity(), set_current_module_statement(), statement_consistent_p(), statement_domain, statement_filter(), statement_rewrite(), strdup(), test_domain, test_filter(), test_rewrite(), unstructured_domain, unstructured_filter(), unstructured_rewrite(), whileloop_domain, whileloop_filter(), and whileloop_rewrite().

Here is the call graph for this function:

loop_filter()

static bool loop_filter ( __attribute__((unused)) loop  obj )

static

Definition at line 55 of file gen_multi_recurse_explorer.c.

                                                          {
  pips_debug(0, "\t IN\n");
  return true;
}

References pips_debug.

Referenced by gen_multi_recurse_explorer().

Here is the caller graph for this function:

loop_rewrite()

static void loop_rewrite ( __attribute__((unused)) loop  obj )

static

Definition at line 60 of file gen_multi_recurse_explorer.c.

                                                           {
  pips_debug(0, "\t OUT\n");
}

References pips_debug.

Referenced by gen_multi_recurse_explorer().

Here is the caller graph for this function:

multitest_filter()

static bool multitest_filter ( __attribute__((unused)) multitest  obj )

static

Definition at line 82 of file gen_multi_recurse_explorer.c.

                                                                    {
  pips_debug(0, "\t IN\n");
  return true;
}

References pips_debug.

Referenced by gen_multi_recurse_explorer().

Here is the caller graph for this function:

multitest_rewrite()

static void multitest_rewrite ( __attribute__((unused)) multitest  obj )

static

Definition at line 87 of file gen_multi_recurse_explorer.c.

                                                                     {
  pips_debug(0, "\t OUT\n");
}

References pips_debug.

Referenced by gen_multi_recurse_explorer().

Here is the caller graph for this function:

sequence_filter()

static bool sequence_filter ( __attribute__((unused)) sequence  obj )

static

Definition at line 37 of file gen_multi_recurse_explorer.c.

                                                                  {
  pips_debug(0, "\t IN\n");
  return true;
}

References pips_debug.

Referenced by gen_multi_recurse_explorer().

Here is the caller graph for this function:

sequence_rewrite()

static void sequence_rewrite ( __attribute__((unused)) sequence  obj )

static

Definition at line 42 of file gen_multi_recurse_explorer.c.

                                                                   {
  pips_debug(0, "\t OUT\n");
}

References pips_debug.

Referenced by gen_multi_recurse_explorer().

Here is the caller graph for this function:

statement_filter()

static bool statement_filter ( statement  obj )

static

A simple phase to show up the path explore by gen_multi_recurse.

Definition at line 13 of file gen_multi_recurse_explorer.c.

                                            {
  pips_debug(0, "\t IN\n");
  ifdebug(0) {
    print_statement(obj);
  }
  return true;
}

References ifdebug, pips_debug, and print_statement().

Referenced by gen_multi_recurse_explorer().

Here is the call graph for this function:

Here is the caller graph for this function:

statement_rewrite()

static void statement_rewrite ( statement  obj )

static

Definition at line 21 of file gen_multi_recurse_explorer.c.

                                             {
  pips_debug(0, "\t OUT\n");
  ifdebug(2) {
    print_statement(obj);
  }
}

References ifdebug, pips_debug, and print_statement().

Referenced by gen_multi_recurse_explorer().

Here is the call graph for this function:

Here is the caller graph for this function:

test_filter()

static bool test_filter ( __attribute__((unused)) test  obj )

static

Definition at line 46 of file gen_multi_recurse_explorer.c.

                                                          {
  pips_debug(0, "\t IN\n");
  return true;
}

References pips_debug.

Referenced by gen_multi_recurse_explorer().

Here is the caller graph for this function:

test_rewrite()

static void test_rewrite ( __attribute__((unused)) test  obj )

static

Definition at line 51 of file gen_multi_recurse_explorer.c.

                                                           {
  pips_debug(0, "\t OUT\n");
}

References pips_debug.

Referenced by gen_multi_recurse_explorer().

Here is the caller graph for this function:

unstructured_filter()

static bool unstructured_filter ( __attribute__((unused)) unstructured  obj )

static

Definition at line 91 of file gen_multi_recurse_explorer.c.

                                                                          {
  pips_debug(0, "\t IN\n");
  return true;
}

References pips_debug.

Referenced by gen_multi_recurse_explorer().

Here is the caller graph for this function:

unstructured_rewrite()

static void unstructured_rewrite ( __attribute__((unused)) unstructured  obj )

static

Definition at line 96 of file gen_multi_recurse_explorer.c.

                                                                           {
  pips_debug(0, "\t OUT\n");
}

References pips_debug.

Referenced by gen_multi_recurse_explorer().

Here is the caller graph for this function:

whileloop_filter()

static bool whileloop_filter ( __attribute__((unused)) whileloop  obj )

static

Definition at line 73 of file gen_multi_recurse_explorer.c.

                                                                    {
  pips_debug(0, "\t IN\n");
  return true;
}

References pips_debug.

Referenced by gen_multi_recurse_explorer().

Here is the caller graph for this function:

whileloop_rewrite()

static void whileloop_rewrite ( __attribute__((unused)) whileloop  obj )

static

Definition at line 78 of file gen_multi_recurse_explorer.c.

                                                                     {
  pips_debug(0, "\t OUT\n");
}

References pips_debug.

Referenced by gen_multi_recurse_explorer().

Here is the caller graph for this function: