prettyprint.c File Reference

#include "local-header.h"
#include "text.h"
#include "text-util.h"
#include "semantics.h"
#include "prettyprint.h"

Include dependency graph for prettyprint.c:

Go to the source code of this file.

Macros
#define	PROP_SUFFIX   ".proper_reductions"
#define	CUMU_SUFFIX   ".cumulated_reductions"
#define	PROP_DECO   "proper reductions"
#define	CUMU_DECO   "cumulated reductions"

Functions
string	note_for_statement (statement s)
	generates a short note to tell about the type of the statement being decorated. More...
string	reduction_operator_tag_name (tag t)
	returns a (static) string describing the tag t reduction More...
string	reduction_operator_name (reduction_operator o)
	allocates and returns the name of the operator More...
string	reduction_name (reduction r)
	returns the name of the reduction (!!! not allocated) More...
static list	words_reduction (reduction r)
	allocates and returns a list of strings for reduction r More...
static list	words_reductions (string note, reductions rs)
	allocates and returns a list of string with note ahead if not empty. More...
void	print_reduction (reduction r)
static text	text_reductions (__attribute__((unused)) entity module, __attribute__((unused)) int margin, statement s)
	function to allocate and returns a text, passed to the prettyprinter uses some static variables: More...
static text	text_code_reductions (statement s)
	returns a reduction-decorated text for statement s More...
static bool	print_any_reductions (const char *module_name, string resource_name, string decoration_name, string summary_name, string file_suffix)
	handles the required prettyprint ??? what about summary reductions? should be pprinted with cumulated regions. More...
bool	print_code_proper_reductions (const char *module_name)
	Handlers for PIPSMAKE. More...
bool	print_code_cumulated_reductions (const char *module_name)

Variables
static string	reduction_decoration = NULL

Macro Definition Documentation

CUMU_DECO

#define CUMU_DECO   "cumulated reductions"

Definition at line 43 of file prettyprint.c.

CUMU_SUFFIX

#define CUMU_SUFFIX   ".cumulated_reductions"

Definition at line 40 of file prettyprint.c.

PROP_DECO

#define PROP_DECO   "proper reductions"

Definition at line 42 of file prettyprint.c.

PROP_SUFFIX

#define PROP_SUFFIX   ".proper_reductions"

Definition at line 39 of file prettyprint.c.

Function Documentation

note_for_statement()

string note_for_statement

(

statement

s

)

generates a short note to tell about the type of the statement being decorated.

Definition at line 55 of file prettyprint.c.

{
    instruction i = statement_instruction(s);
    switch (instruction_tag(i))
    {
    case is_instruction_sequence: return "seq  ";
    case is_instruction_loop: return "loop ";
    case is_instruction_test: return "test ";
    case is_instruction_call: return "call ";
    case is_instruction_unstructured: return "unst ";
    case is_instruction_whileloop: return "while ";
    case is_instruction_goto: return "goto ";
    case is_instruction_forloop: return "for ";
    case is_instruction_expression: return "expr ";
    default: 
      pips_internal_error("unexpected instruction tag");
      break;
    }
    return "";
}

References instruction_tag, is_instruction_call, is_instruction_expression, is_instruction_forloop, is_instruction_goto, is_instruction_loop, is_instruction_sequence, is_instruction_test, is_instruction_unstructured, is_instruction_whileloop, pips_internal_error, and statement_instruction.

Referenced by build_creductions_of_statement(), build_reduction_of_variable(), compute_cumulated_reductions(), list_of_reduced_variables(), and text_reductions().

Here is the caller graph for this function:

print_any_reductions()

static bool print_any_reductions ( const char *  module_name, string  resource_name, string  decoration_name, string  summary_name, string  file_suffix  )

static

handles the required prettyprint ??? what about summary reductions? should be pprinted with cumulated regions.

@ return true if succeed

Parameters

module_name	the module name to process
resource_name	the resource to use
decoration_name
summary_name
file_suffix

Definition at line 203 of file prettyprint.c.

{
    text t;
 
    debug_on("REDUCTIONS_DEBUG_LEVEL");
    pips_debug(1, "considering module %s for %s\n",
               module_name, decoration_name);
 
    set_current_module_entity(local_name_to_top_level_entity(module_name));
    set_printed_reductions((pstatement_reductions)
         db_get_memory_resource(resource_name, module_name, true));
    set_current_module_statement((statement)
         db_get_memory_resource(DBR_CODE, module_name, true));
    reduction_decoration = decoration_name;
 
    t = text_code_reductions(get_current_module_statement());
 
    if (summary_name)
    {
        reductions rs = (reductions)
            db_get_memory_resource(summary_name, module_name, true);
        text p =
            words_predicate_to_commentary(words_reductions("summary ", rs),
                                          get_comment_sentinel());
        MERGE_TEXTS(p, t);
        t=p;
    }
 
    make_text_resource_and_free(module_name, DBR_PRINTED_FILE, file_suffix, t);
 
    reset_current_module_entity();
    reset_current_module_statement();
    reset_printed_reductions();
    reduction_decoration = NULL;
 
    debug_off();
    return true;
}

References db_get_memory_resource(), debug_off, debug_on, get_comment_sentinel(), get_current_module_statement(), local_name_to_top_level_entity(), make_text_resource_and_free(), MERGE_TEXTS, module_name(), pips_debug, reduction_decoration, reset_current_module_entity(), reset_current_module_statement(), reset_printed_reductions(), resource_name, set_current_module_entity(), set_current_module_statement(), set_printed_reductions(), text_code_reductions(), words_predicate_to_commentary(), and words_reductions().

Referenced by print_code_cumulated_reductions(), and print_code_proper_reductions().

Here is the call graph for this function:

Here is the caller graph for this function:

print_code_cumulated_reductions()

bool print_code_cumulated_reductions

(

const char *

module_name

)

Parameters

module_name

odule_name

Definition at line 258 of file prettyprint.c.

{
    return print_any_reductions(module_name,
                                DBR_CUMULATED_REDUCTIONS,
                                CUMU_DECO,
                                DBR_SUMMARY_REDUCTIONS,
                                CUMU_SUFFIX);
}

References CUMU_DECO, CUMU_SUFFIX, module_name(), and print_any_reductions().

Here is the call graph for this function:

print_code_proper_reductions()

bool print_code_proper_reductions

(

const char *

module_name

)

Handlers for PIPSMAKE.

Parameters

module_name

odule_name

Definition at line 249 of file prettyprint.c.

{
    return print_any_reductions(module_name,
                                DBR_PROPER_REDUCTIONS,
                                PROP_DECO,
                                NULL,
                                PROP_SUFFIX);
}

References module_name(), print_any_reductions(), PROP_DECO, and PROP_SUFFIX.

Here is the call graph for this function:

print_reduction()

void print_reduction

(

reduction

r

)

Definition at line 137 of file prettyprint.c.

{
    reference ref = reduction_reference(r);
    fprintf(stderr, "reduction is %s[",
            reduction_operator_tag_name
                (reduction_operator_tag(reduction_op(r))));
    if (!reference_undefined_p(ref)) print_reference(ref);
    fprintf(stderr, "]\n");
}

References fprintf(), print_reference(), reduction_op, reduction_operator_tag, reduction_operator_tag_name(), reduction_reference, ref, and reference_undefined_p.

Referenced by replace_reductions_in_statement().

Here is the call graph for this function:

Here is the caller graph for this function:

reduction_name()

string reduction_name

(

reduction

r

)

returns the name of the reduction (!!! not allocated)

Definition at line 110 of file prettyprint.c.

{
    return reduction_operator_tag_name(reduction_tag(r));
}

References reduction_operator_tag_name(), and reduction_tag.

Here is the call graph for this function:

reduction_operator_name()

string reduction_operator_name

(

reduction_operator

o

)

allocates and returns the name of the operator

Definition at line 103 of file prettyprint.c.

{
    return strdup(reduction_operator_tag_name(reduction_operator_tag(o)));
}

References reduction_operator_tag, reduction_operator_tag_name(), and strdup().

Referenced by words_reduction().

Here is the call graph for this function:

Here is the caller graph for this function:

reduction_operator_tag_name()

string reduction_operator_tag_name

(

tag

t

)

returns a (static) string describing the tag t reduction

Definition at line 78 of file prettyprint.c.

{
    switch(t)
    {
    case is_reduction_operator_none:        return "none";
    case is_reduction_operator_sum:         return "sum";
    case is_reduction_operator_csum:        return "csum";
    case is_reduction_operator_prod:        return "prod";
    case is_reduction_operator_min:         return "min";
    case is_reduction_operator_max:         return "max";
    case is_reduction_operator_and:         return "and";
    case is_reduction_operator_or:          return "or";
    case is_reduction_operator_bitwise_or:  return "bitwise_or";
    case is_reduction_operator_bitwise_xor: return "bitwise_xor";
    case is_reduction_operator_bitwise_and: return "bitwise_and";
    case is_reduction_operator_eqv:         return "eqv";
    case is_reduction_operator_neqv:        return "neqv";
    default: pips_internal_error("unexpected reduction operator tag!");
    }
 
    return NULL;
}

References is_reduction_operator_and, is_reduction_operator_bitwise_and, is_reduction_operator_bitwise_or, is_reduction_operator_bitwise_xor, is_reduction_operator_csum, is_reduction_operator_eqv, is_reduction_operator_max, is_reduction_operator_min, is_reduction_operator_neqv, is_reduction_operator_none, is_reduction_operator_or, is_reduction_operator_prod, is_reduction_operator_sum, and pips_internal_error.

Referenced by call_proper_reduction_p(), print_reduction(), reduction_name(), reduction_operator_name(), remove_variable_from_reduction(), and update_reduction_under_effect().

Here is the caller graph for this function:

text_code_reductions()

static text text_code_reductions ( statement  s )

static

returns a reduction-decorated text for statement s

Definition at line 181 of file prettyprint.c.

{
    text t;
    debug_on("PRETTYPRINT_DEBUG_LEVEL");
    init_prettyprint(text_reductions);
    t = text_module(get_current_module_entity(), s);
    close_prettyprint();
    debug_off();
    return t;
}

References close_prettyprint(), debug_off, debug_on, get_current_module_entity(), init_prettyprint(), text_module(), and text_reductions().

Referenced by print_any_reductions().

Here is the call graph for this function:

Here is the caller graph for this function:

text_reductions()

static text text_reductions ( __attribute__((unused)) entity  module, __attribute__((unused)) int  margin, statement  s  )

static

function to allocate and returns a text, passed to the prettyprinter uses some static variables:

• printed_reductions function
• function to allocate and returns a text, passed to the prettyprinter uses some static variables:
• printed_reductions function

unreachable statements?

Definition at line 161 of file prettyprint.c.

{
    text t;
 
    debug_on("REDUCTIONS_DEBUG_LEVEL");
    pips_debug(1, "considering statement %p\n", s);
 
    t = bound_printed_reductions_p(s)? /* unreachable statements? */
        words_predicate_to_commentary
            (words_reductions(note_for_statement(s),
                              load_printed_reductions(s)),
                                  get_comment_sentinel()):
                make_text(NIL);
 
    debug_off();
    return t;
}

References bound_printed_reductions_p(), debug_off, debug_on, get_comment_sentinel(), load_printed_reductions(), make_text(), NIL, note_for_statement(), pips_debug, words_predicate_to_commentary(), and words_reductions().

Referenced by text_code_reductions().

Here is the call graph for this function:

Here is the caller graph for this function:

words_reduction()

static list words_reduction ( reduction  r )

static

allocates and returns a list of strings for reduction r

of string

Definition at line 117 of file prettyprint.c.

{
    return CONS(STRING, reduction_operator_name(reduction_op(r)),
           CONS(STRING, strdup("["),
                gen_nconc( Words_Reference(reduction_reference(r)),
           CONS(STRING, strdup("],"), NIL))));
}

References CONS, gen_nconc(), NIL, reduction_op, reduction_operator_name(), reduction_reference, strdup(), STRING, and Words_Reference().

Referenced by words_reductions().

Here is the call graph for this function:

Here is the caller graph for this function:

words_reductions()

static list words_reductions ( string  note, reductions  rs  )

static

allocates and returns a list of string with note ahead if not empty.

it describes the reductions in rs. of string

of string

Definition at line 128 of file prettyprint.c.

{
  list /* of string */ ls = NIL;
  FOREACH (REDUCTION, r,reductions_list(rs)) {
    ls = gen_nconc(words_reduction(r), ls);
  }
  return ls? CONS(STRING, strdup(note), ls): NIL;
}

References CONS, FOREACH, gen_nconc(), NIL, REDUCTION, reductions_list, strdup(), STRING, and words_reduction().

Referenced by print_any_reductions(), and text_reductions().

Here is the call graph for this function:

Here is the caller graph for this function:

Variable Documentation

reduction_decoration

string reduction_decoration = NULL

static

Definition at line 48 of file prettyprint.c.

Referenced by print_any_reductions().