prettyprint.c File Reference

#include <stdio.h>
#include <stdlib.h>
#include <string.h>
#include <setjmp.h>
#include "genC.h"
#include "linear.h"
#include "ri.h"
#include "effects.h"
#include "ri-util.h"
#include "effects-util.h"
#include "misc.h"
#include "properties.h"
#include "text-util.h"
#include "effects-generic.h"
#include "effects-simple.h"
#include "effects-convex.h"
#include "semantics.h"
#include "transformer.h"
#include "pipsdbm.h"
#include "prettyprint.h"

Include dependency graph for prettyprint.c:

Go to the source code of this file.

Macros
#define	REGION_BUFFER_SIZE   2048
#define	REGION_FORESYS_PREFIX   "C$REG"
#define	PIPS_NORMAL_PREFIX   "C"
#define	append(s)   add_to_current_line(line_buffer, s, str_prefix, t_reg)
	text text_region_no_action(effect reg) input : a region output : a text consisting of several lines of commentaries, representing the region BUT WITHOUT THE ACTION TAG (IN/OUT) modifies : nothing COPIED FROM THE FUNCTION text_region IN FILE effects-convex/prettyprint.c AND MODIFIED TO NOT PRINT ACTION (IN/OUT) More...

Functions
static text	text_region_no_action (effect reg)
static text	aliases_text (const char *module_name, string resource_name)
static bool	print_aliases (const char *module_name, string resource_name, string file_extn)
bool	print_in_alias_pairs (const char *module_name)
	prettyprint.c More...
bool	print_out_alias_pairs (const char *module_name)
bool	print_alias_lists (const char *module_name)
bool	print_alias_classes (const char *module_name)

Macro Definition Documentation

append

#define append

(

s

)

add_to_current_line(line_buffer, s, str_prefix, t_reg)

text text_region_no_action(effect reg) input : a region output : a text consisting of several lines of commentaries, representing the region BUT WITHOUT THE ACTION TAG (IN/OUT) modifies : nothing COPIED FROM THE FUNCTION text_region IN FILE effects-convex/prettyprint.c AND MODIFIED TO NOT PRINT ACTION (IN/OUT)

Definition at line 77 of file prettyprint.c.

PIPS_NORMAL_PREFIX

#define PIPS_NORMAL_PREFIX   "C"

Definition at line 61 of file prettyprint.c.

REGION_BUFFER_SIZE

#define REGION_BUFFER_SIZE   2048

Definition at line 59 of file prettyprint.c.

REGION_FORESYS_PREFIX

#define REGION_FORESYS_PREFIX   "C$REG"

Definition at line 60 of file prettyprint.c.

Function Documentation

aliases_text()

static text aliases_text ( const char *  module_name, string  resource_name  )

static

ATTENTION: all this is necessary to call module_to_value_mappings to set up the hash table to translate value into value names before the call to text_region below

that's it, but we musn't forget to rest everything after the call

set_action_interpretation(ACTION_IN,ACTION_OUT);

have to copy alias_list here

set_action_interpretation(ACTION_IN,ACTION_OUT); MERGE_TEXTS(txt,text_region(alias)); reset_action_interpretation();

reset_action_interpretation();

Definition at line 161 of file prettyprint.c.

{
    list alias_lists;
    list al = NIL;
    entity module;
    text txt = make_text(NIL);
 
    pips_debug(4,"module %s resource %s\n",module_name,resource_name);
 
    alias_lists = effects_classes_classes(
        (effects_classes)
        db_get_memory_resource(resource_name, module_name, true));
 
    pips_debug(9,"got aliases\n");
 
    /* ATTENTION: all this is necessary to call module_to_value_mappings
     * to set up the hash table to translate value into value names
     * before the call to text_region below
     */       
    set_current_module_entity( local_name_to_top_level_entity(module_name));
    module = get_current_module_entity();
    set_current_module_statement((statement) db_get_memory_resource
                                 (DBR_CODE, module_name, true));
    set_cumulated_rw_effects((statement_effects)
          db_get_memory_resource(DBR_CUMULATED_EFFECTS, module_name, true));
    set_proper_rw_effects((statement_effects)
          db_get_memory_resource(DBR_PROPER_EFFECTS, module_name, true));
    /* that's it, but we musn't forget to rest everything after the call
     */
 
    module_to_value_mappings(module);
 
    pips_debug(9,"hash table set up\n");
 
/*    set_action_interpretation(ACTION_IN,ACTION_OUT); */
 
    MAP(EFFECTS,alias_list_effects,
        {
            list alias_list = effects_effects(alias_list_effects);
 
            pips_debug(9,"make text for alias list\n");
 
            if (alias_list != (list) HASH_UNDEFINED_VALUE
                && alias_list != list_undefined) 
            {
                /* have to copy alias_list here */
                al = alias_list;
                MAP(EFFECT,alias,
                    {
                        pips_debug(9,"make text for alias:\n");
 
                        ifdebug(9)
                            {
                                set_action_interpretation(ACTION_IN,ACTION_OUT);
                                print_region(alias);
                                reset_action_interpretation();
                            }
 
/*                  set_action_interpretation(ACTION_IN,ACTION_OUT);
                        MERGE_TEXTS(txt,text_region(alias));
                    reset_action_interpretation();
                    */
 
                        MERGE_TEXTS(txt,text_region_no_action(alias));
                    },
                        al);
 
                ADD_SENTENCE_TO_TEXT(
                    txt,
                    make_sentence(is_sentence_formatted,strdup("\n"))
                    );
 
                pips_debug(9,"made text for alias list\n");
            }
        },alias_lists);
 
    pips_debug(4,"end\n");
 
/*    reset_action_interpretation(); */
    free_value_mappings();
    reset_cumulated_rw_effects();
    reset_proper_rw_effects();
    reset_current_module_statement();
    reset_current_module_entity();
 
    return txt;
}

References ACTION_IN, ACTION_OUT, ADD_SENTENCE_TO_TEXT, alias_lists(), db_get_memory_resource(), EFFECT, EFFECTS, effects_classes_classes, effects_effects, free_value_mappings(), get_current_module_entity(), HASH_UNDEFINED_VALUE, ifdebug, is_sentence_formatted, list_undefined, local_name_to_top_level_entity(), make_sentence(), make_text(), MAP, MERGE_TEXTS, module, module_name(), module_to_value_mappings(), NIL, pips_debug, print_region, reset_action_interpretation(), reset_cumulated_rw_effects(), reset_current_module_entity(), reset_current_module_statement(), reset_proper_rw_effects(), resource_name, set_action_interpretation(), set_cumulated_rw_effects(), set_current_module_entity(), set_current_module_statement(), set_proper_rw_effects(), strdup(), and text_region_no_action().

Referenced by print_aliases().

Here is the call graph for this function:

Here is the caller graph for this function:

print_alias_classes()

bool print_alias_classes

(

const char *

module_name

)

Parameters

module_name

odule_name

Definition at line 319 of file prettyprint.c.

{
    bool success = true;
 
    debug_on("ALIAS_CLASSES_DEBUG_LEVEL");
    pips_debug(4,"module %s\n",module_name);
 
 
    success = print_aliases(module_name,DBR_ALIAS_CLASSES,".alias_classes");
 
    pips_debug(4,"end\n");
    debug_off();
 
    return success;
}

References debug_off, debug_on, module_name(), pips_debug, and print_aliases().

Here is the call graph for this function:

print_alias_lists()

bool print_alias_lists

(

const char *

module_name

)

Parameters

module_name

odule_name

Definition at line 304 of file prettyprint.c.

{
    bool success = true;
 
    debug_on("ALIAS_LISTS_DEBUG_LEVEL");
    pips_debug(4,"module %s\n",module_name);
 
    success = print_aliases(module_name,DBR_ALIAS_LISTS,".alias_lists");
 
    pips_debug(4,"end\n");
    debug_off();
 
    return success;
}

References debug_off, debug_on, module_name(), pips_debug, and print_aliases().

Here is the call graph for this function:

print_aliases()

static bool print_aliases ( const char *  module_name, string  resource_name, string  file_extn  )

static

Definition at line 251 of file prettyprint.c.

{
    char *file_resource_name;
    bool success = true;
 
    pips_debug(4,"module %s resource %s file extn %s\n",
               module_name,resource_name,file_extn);
 
    file_resource_name = DBR_ALIAS_FILE;
 
    success = 
        make_text_resource(module_name,
                           file_resource_name,
                           file_extn,
                           aliases_text(module_name,resource_name));
 
    pips_debug(4,"end\n");
 
    return(success);
}

References aliases_text(), make_text_resource(), module_name(), pips_debug, and resource_name.

Referenced by print_alias_classes(), print_alias_lists(), print_in_alias_pairs(), and print_out_alias_pairs().

Here is the call graph for this function:

Here is the caller graph for this function:

print_in_alias_pairs()

bool print_in_alias_pairs

(

const char *

module_name

)

prettyprint.c

Parameters

module_name

odule_name

Definition at line 273 of file prettyprint.c.

{
    bool success = true;
 
    debug_on("ALIAS_PAIRS_DEBUG_LEVEL");
    pips_debug(4,"module %s\n",module_name);
 
    success = print_aliases(module_name,DBR_IN_ALIAS_PAIRS,".in_alias");
 
    pips_debug(4,"end\n");
    debug_off();
 
    return success;
}

References debug_off, debug_on, module_name(), pips_debug, and print_aliases().

Here is the call graph for this function:

print_out_alias_pairs()

bool print_out_alias_pairs

(

const char *

module_name

)

Parameters

module_name

odule_name

Definition at line 289 of file prettyprint.c.

{
    bool success = true;
 
    debug_on("ALIAS_PAIRS_DEBUG_LEVEL");
    pips_debug(4,"module %s\n",module_name);
 
    success = print_aliases(module_name,DBR_OUT_ALIAS_PAIRS,".out_alias");
 
    pips_debug(4,"end\n");
    debug_off();
 
    return success;
}

References debug_off, debug_on, module_name(), pips_debug, and print_aliases().

Here is the call graph for this function:

text_region_no_action()

static text text_region_no_action ( effect  reg )

static

action ac;

of string

else the effect is defined...

PREFIX

REFERENCE

ACTION and APPROXIMATION

ac = effect_action(reg);

append(action_read_p(ac) ? "R," : "W,");

PIPS prettyprint

append("-"); append(action_interpretation(action_tag(ac)));

SYSTEM sorts in such a way that constraints with phi variables come first.

CLOSE

Definition at line 80 of file prettyprint.c.

{
    text t_reg;
    bool foresys = get_bool_property("PRETTYPRINT_FOR_FORESYS");
    string str_prefix = foresys? 
        FORESYS_CONTINUATION_PREFIX: get_comment_continuation();
    char line_buffer[MAX_LINE_LENGTH];
    reference r;
/*    action ac; */
    approximation ap;
    Psysteme sc;
    Pbase sorted_base;
    list /* of string */ ls;
 
    if(effect_undefined_p(reg))
    {
        user_log("[text_region] unexpected effect undefined\n");
        return
          make_text(CONS(SENTENCE, make_sentence(is_sentence_formatted,
            strdup(concatenate(str_prefix, "<REGION_UNDEFINED>\n", NULL))),
                         NIL));
    }
    /* else the effect is defined...
     */
 
    /* PREFIX
     */
    t_reg = make_text(NIL);
    strcpy(line_buffer, foresys? REGION_FORESYS_PREFIX: get_comment_sentinel());
    if (!foresys) append("  <");
 
    /* REFERENCE
     */
    r = effect_any_reference(reg);
    ls = foresys? Words_Reference(r): effect_words_reference(r);
 
    MAP(STRING, s, append(s), ls);
    gen_map(free, ls); gen_free_list(ls); ls = NIL;
 
    /* ACTION and APPROXIMATION
     */
/*    ac = effect_action(reg); */
    ap = effect_approximation(reg);
 
    if (foresys)
    {
        append(", RGSTAT(");
/*      append(action_read_p(ac) ? "R," : "W,"); */
        append(approximation_may_p(ap) ? "MAY), " : "EXACT), ");
    }
    else /* PIPS prettyprint */
    {
/*      append("-");
        append(action_interpretation(action_tag(ac))); */
        append(approximation_may_p(ap) ? "-MAY" : "-EXACT");
        append("-");
    }
 
    /* SYSTEM
     * sorts in such a way that constraints with phi variables come first.
     */
    sorted_base = region_sorted_base_dup(reg);
    sc = sc_dup(region_system(reg));
    region_sc_sort(sc, sorted_base);
 
    system_sorted_text_format(line_buffer, str_prefix, t_reg, sc,
               (get_variable_name_t) pips_region_user_name,
 vect_contains_phi_p, foresys);
 
    sc_rm(sc);
    base_rm(sorted_base);
 
    /* CLOSE */
    if (!foresys) append(">");
    close_current_line(line_buffer, t_reg,str_prefix);
 
    return t_reg;
}

References append, approximation_may_p, base_rm, close_current_line(), concatenate(), CONS, effect_any_reference, effect_approximation, effect_undefined_p, effect_words_reference(), FORESYS_CONTINUATION_PREFIX, free(), gen_free_list(), gen_map(), get_bool_property(), get_comment_continuation(), get_comment_sentinel(), is_sentence_formatted, line_buffer, make_sentence(), make_text(), MAP, MAX_LINE_LENGTH, NIL, pips_region_user_name(), REGION_FORESYS_PREFIX, region_sc_sort(), region_sorted_base_dup(), region_system, sc_dup(), sc_rm(), SENTENCE, strdup(), STRING, system_sorted_text_format(), user_log(), vect_contains_phi_p(), and Words_Reference().

Referenced by aliases_text().

Here is the call graph for this function:

Here is the caller graph for this function: