PIPS
|
#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"
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) |
#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.
#define PIPS_NORMAL_PREFIX "C" |
Definition at line 61 of file prettyprint.c.
#define REGION_BUFFER_SIZE 2048 |
Definition at line 59 of file prettyprint.c.
#define REGION_FORESYS_PREFIX "C$REG" |
Definition at line 60 of file prettyprint.c.
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.
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().
bool print_alias_classes | ( | const char * | module_name | ) |
module_name | odule_name |
Definition at line 319 of file prettyprint.c.
References debug_off, debug_on, module_name(), pips_debug, and print_aliases().
bool print_alias_lists | ( | const char * | module_name | ) |
module_name | odule_name |
Definition at line 304 of file prettyprint.c.
References debug_off, debug_on, module_name(), pips_debug, and print_aliases().
|
static |
Definition at line 251 of file prettyprint.c.
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().
bool print_in_alias_pairs | ( | const char * | module_name | ) |
prettyprint.c
module_name | odule_name |
Definition at line 273 of file prettyprint.c.
References debug_off, debug_on, module_name(), pips_debug, and print_aliases().
bool print_out_alias_pairs | ( | const char * | module_name | ) |
module_name | odule_name |
Definition at line 289 of file prettyprint.c.
References debug_off, debug_on, module_name(), pips_debug, and print_aliases().
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.
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().