PIPS
|
#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"
Go to the source code of this file.
|
static |
Definition at line 28 of file gen_multi_recurse_explorer.c.
References pips_debug.
Referenced by gen_multi_recurse_explorer().
|
static |
Definition at line 33 of file gen_multi_recurse_explorer.c.
References pips_debug.
Referenced by gen_multi_recurse_explorer().
|
static |
Definition at line 64 of file gen_multi_recurse_explorer.c.
References pips_debug.
Referenced by gen_multi_recurse_explorer().
|
static |
Definition at line 69 of file gen_multi_recurse_explorer.c.
References pips_debug.
Referenced by gen_multi_recurse_explorer().
bool gen_multi_recurse_explorer | ( | char * | module_name | ) |
Definition at line 109 of file gen_multi_recurse_explorer.c.
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().
|
static |
Definition at line 55 of file gen_multi_recurse_explorer.c.
References pips_debug.
Referenced by gen_multi_recurse_explorer().
|
static |
Definition at line 60 of file gen_multi_recurse_explorer.c.
References pips_debug.
Referenced by gen_multi_recurse_explorer().
|
static |
Definition at line 82 of file gen_multi_recurse_explorer.c.
References pips_debug.
Referenced by gen_multi_recurse_explorer().
|
static |
Definition at line 87 of file gen_multi_recurse_explorer.c.
References pips_debug.
Referenced by gen_multi_recurse_explorer().
|
static |
Definition at line 37 of file gen_multi_recurse_explorer.c.
References pips_debug.
Referenced by gen_multi_recurse_explorer().
|
static |
Definition at line 42 of file gen_multi_recurse_explorer.c.
References pips_debug.
Referenced by gen_multi_recurse_explorer().
A simple phase to show up the path explore by gen_multi_recurse.
Definition at line 13 of file gen_multi_recurse_explorer.c.
References ifdebug, pips_debug, and print_statement().
Referenced by gen_multi_recurse_explorer().
|
static |
Definition at line 21 of file gen_multi_recurse_explorer.c.
References ifdebug, pips_debug, and print_statement().
Referenced by gen_multi_recurse_explorer().
|
static |
Definition at line 46 of file gen_multi_recurse_explorer.c.
References pips_debug.
Referenced by gen_multi_recurse_explorer().
|
static |
Definition at line 51 of file gen_multi_recurse_explorer.c.
References pips_debug.
Referenced by gen_multi_recurse_explorer().
|
static |
Definition at line 91 of file gen_multi_recurse_explorer.c.
References pips_debug.
Referenced by gen_multi_recurse_explorer().
|
static |
Definition at line 96 of file gen_multi_recurse_explorer.c.
References pips_debug.
Referenced by gen_multi_recurse_explorer().
|
static |
Definition at line 73 of file gen_multi_recurse_explorer.c.
References pips_debug.
Referenced by gen_multi_recurse_explorer().
|
static |
Definition at line 78 of file gen_multi_recurse_explorer.c.
References pips_debug.
Referenced by gen_multi_recurse_explorer().