prettyprint.c File Reference

#include <stdio.h>
#include <string.h>
#include <stdlib.h>
#include <limits.h>
#include "genC.h"
#include "boolean.h"
#include "arithmetique.h"
#include "vecteur.h"
#include "contrainte.h"
#include "ray_dte.h"
#include "sommet.h"
#include "sg.h"
#include "sc.h"
#include "polyedre.h"
#include "matrix.h"
#include "ri.h"
#include "effects.h"
#include "graph.h"
#include "paf_ri.h"
#include "database.h"
#include "misc.h"
#include "ri-util.h"
#include "effects-util.h"
#include "text.h"
#include "static_controlize.h"
#include "text-util.h"
#include "pipsdbm.h"
#include "resources.h"
#include "prettyprint.h"
#include "paf-util.h"

Include dependency graph for prettyprint.c:

Go to the source code of this file.

Macros
#define	MAX_STATIC_CONTROL_LINE_NUMBER   2048
#define	CODE_WITH_STATIC_CONTROLIZE_EXT   ".stco"
#define	MAX_CHAR_NUMBER   39

Typedefs
typedef void *	arc_label
	Name : prettyprint.c package : static_controlize Author : Arnauld LESERVOT Date : May 93 Modified : Documents : "Implementation of Array Data Flow Graph in Pips" Comments : More...
typedef void *	vertex_label

Functions
bool	print_code_static_control (const string module_name)
	================================================================ More...
text	text_static_control (entity module __attribute__((unused)), int margin __attribute__((unused)), statement stat)
	================================================================ More...
text	store_sc_text_line (static_control sc)
	================================================================ More...
cons *	words_test_list (list obj)
	================================================================ More...
cons *	words_loop_list (list obj)
	================================================================ More...
list	words_entity_list (list obj)
	================================================================ More...

Variables
static statement_mapping	Gsc_map
	Global variables. More...

Macro Definition Documentation

CODE_WITH_STATIC_CONTROLIZE_EXT

#define CODE_WITH_STATIC_CONTROLIZE_EXT   ".stco"

Definition at line 78 of file prettyprint.c.

MAX_CHAR_NUMBER

#define MAX_CHAR_NUMBER   39

Definition at line 189 of file prettyprint.c.

MAX_STATIC_CONTROL_LINE_NUMBER

#define MAX_STATIC_CONTROL_LINE_NUMBER   2048

Definition at line 77 of file prettyprint.c.

Typedef Documentation

arc_label

typedef void* arc_label

Name : prettyprint.c package : static_controlize Author : Arnauld LESERVOT Date : May 93 Modified : Documents : "Implementation of Array Data Flow Graph in Pips" Comments :

Ansi includes
Newgen includes Pips includes
Types arc_label and vertex_label must be defined although they are not used

Definition at line 61 of file prettyprint.c.

vertex_label

typedef void* vertex_label

Definition at line 62 of file prettyprint.c.

Function Documentation

print_code_static_control()

bool print_code_static_control

(

const string

module_name

)

================================================================

cproto-generated files

void print_code_static_control((char*) module_name) AL 05/93 Prettyprints a static_control mapping attached to a module_name.

Parameters

module_name

odule_name

Definition at line 87 of file prettyprint.c.

{
    entity      module;
    statement   module_stat;
    text        txt = make_text(NIL);
    bool success;
 
    debug_on( "PRINT_STATIC_CONTROL_DEBUG_LEVEL" );
 
    ifdebug(1)
           user_log("\n\n *** PRINTING STATIC CONTROL for %s\n",
                                 module_name);
 
    module = local_name_to_top_level_entity(module_name);
    module_stat = (statement)
        db_get_memory_resource(DBR_CODE, module_name, true);
    Gsc_map = (statement_mapping)
        db_get_memory_resource( DBR_STATIC_CONTROL, module_name, true);
    init_prettyprint(text_static_control);
 
/*
    filename = strdup(concatenate(db_get_current_workspace_directory(),
                                  "/", module_name, ".stco", NULL));
    fd = safe_fopen(filename, "w");
*/
 
    MERGE_TEXTS(txt, text_module(module, module_stat));
 
/*
    print_text(fd, txt);
    safe_fclose(fd, filename);
    DB_PUT_FILE_RESOURCE(DBR_PRINTED_FILE, strdup(module_name),
                                filename);
*/
 
    success = make_text_resource(module_name,
                                 DBR_PRINTED_FILE,
                                 CODE_WITH_STATIC_CONTROLIZE_EXT,
                                 txt);
 
    close_prettyprint();
 
    debug_off();
 
    return(success);
}

References close_prettyprint(), CODE_WITH_STATIC_CONTROLIZE_EXT, db_get_memory_resource(), debug_off, debug_on, Gsc_map, ifdebug, init_prettyprint(), local_name_to_top_level_entity(), make_text(), make_text_resource(), MERGE_TEXTS, module, module_name(), NIL, text_module(), text_static_control(), and user_log().

Here is the call graph for this function:

store_sc_text_line()

text store_sc_text_line

(

static_control

sc

)

================================================================

text store_sc_text_line((static_control) sc) AL 05/93 Stores a static_control prettyprinted.

pips_assert("store_text_line", sefs_list != NIL);

Parameters

sc

c

Definition at line 152 of file prettyprint.c.

{
    text sc_text = make_text(NIL);
    char *t = NULL;
    string comment;
 
    /* pips_assert("store_text_line", sefs_list != NIL); */
    if (get_prettyprint_language_tag() == is_language_c)
      comment = "//";
    else 
      comment = "C";
 
 
    t = concatenate(comment,"\t\t< is static >",
                (static_control_yes(sc)?" TRUE":" FALSE"), "\n", NULL);
        ADD_SENTENCE_TO_TEXT( sc_text,
                         make_sentence(is_sentence_formatted, strdup(t)));
        t = concatenate(comment,"\t\t< parameter >",
                 words_to_string(words_entity_list(static_control_params(sc))),
                                         "\n", NULL);
        ADD_SENTENCE_TO_TEXT( sc_text,
                         make_sentence(is_sentence_formatted, strdup(t)));
        t = concatenate(comment,"\t\t<   loops   >",
                words_to_string(words_loop_list(static_control_loops(sc))),
                                          NULL);
        ADD_SENTENCE_TO_TEXT( sc_text,
                        make_sentence(is_sentence_formatted, strdup(t)));
        t = concatenate(comment,"\t\t<   tests   >",
                words_to_string(words_test_list(static_control_tests(sc))),
                                          NULL);
        ADD_SENTENCE_TO_TEXT( sc_text,
                        make_sentence(is_sentence_formatted, strdup(t)));
 
    return ( sc_text );
}

References ADD_SENTENCE_TO_TEXT, comment(), concatenate(), get_prettyprint_language_tag(), is_language_c, is_sentence_formatted, make_sentence(), make_text(), NIL, static_control_loops, static_control_params, static_control_tests, static_control_yes, strdup(), words_entity_list(), words_loop_list(), words_test_list(), and words_to_string().

Referenced by text_static_control().

Here is the call graph for this function:

Here is the caller graph for this function:

text_static_control()

text text_static_control	(	entity module	__attribute__(unused),
		int margin	__attribute__(unused),
		statement	stat
	)

================================================================

text text_static_control((entity) module, (int) margin, (statement) stat) Function hook used by package text-util to prettyprint a static_control.

Definition at line 139 of file prettyprint.c.

{
    static_control sc = (static_control) GET_STATEMENT_MAPPING(Gsc_map, stat);
 
    return( store_sc_text_line( sc ));
}

References GET_STATEMENT_MAPPING, Gsc_map, and store_sc_text_line().

Referenced by print_code_static_control().

Here is the call graph for this function:

Here is the caller graph for this function:

words_entity_list()

list words_entity_list

(

list

obj

)

================================================================

cons *words_entity_list((list) obj) AL 05/93 Returns a list of strings from a list of entities.

FI: Should be moved in ri-util/entity.c or entities.c when it exists

Parameters

obj

bj

Definition at line 265 of file prettyprint.c.

{
  list the_list = NIL;
  pips_debug(7, "doing \n");
  the_list = CHAIN_SWORD(the_list, " ");
  FOREACH(ENTITY, ent, obj)
  {
    string s = strdup(concatenate(entity_local_name(ent), ", ", NULL));
    ADD_ELEMENT_TO_LIST( the_list, STRING, s );
  }
        return the_list;
}

References ADD_ELEMENT_TO_LIST, CHAIN_SWORD, concatenate(), ENTITY, entity_local_name(), FOREACH, NIL, pips_debug, strdup(), and STRING.

Referenced by print_structurals(), and store_sc_text_line().

Here is the call graph for this function:

Here is the caller graph for this function:

words_loop_list()

cons* words_loop_list

(

list

obj

)

================================================================

cons *words_loop_list((list) obj) AL 05/93 Returns a list of strings from a list of loops.

Parameters

obj

bj

Definition at line 226 of file prettyprint.c.

{
        cons*  ret_cons = NIL;
        string before_string = strdup(" ");
        string blank_string;
        if (get_prettyprint_language_tag() == is_language_c)
          blank_string = strdup("//                            ");
        else
          blank_string = strdup("C                             ");
 
 
        pips_debug(7, "doing \n");
        FOREACH(LOOP, l, obj) {
          cons* pc      = NIL;
          entity        ind     = loop_index( l );
          expression low  = range_lower(loop_range( l ));
          expression up   = range_upper(loop_range( l ));
          pc = CHAIN_SWORD(pc, strdup( before_string ));
          pc = gen_nconc(pc, Words_Expression(low));
          pc = CHAIN_SWORD(pc," <= ");
          pc = CHAIN_SWORD(pc, entity_local_name(ind));
          pc = CHAIN_SWORD(pc," <= ");
          pc = gen_nconc(pc, Words_Expression(up));
          pc = CHAIN_SWORD(pc,"\n") ;
          ret_cons = gen_nconc(ret_cons, gen_copy_seq(pc));
          before_string = blank_string;
        }
 
        if( ret_cons == NIL ) ret_cons = CHAIN_SWORD(ret_cons, "\n");
        return( ret_cons );
}

References CHAIN_SWORD, entity_local_name(), FOREACH, gen_copy_seq(), gen_nconc(), get_prettyprint_language_tag(), is_language_c, LOOP, loop_index, loop_range, NIL, pips_debug, range_lower, range_upper, strdup(), and Words_Expression().

Referenced by store_sc_text_line().

Here is the call graph for this function:

Here is the caller graph for this function:

words_test_list()

cons* words_test_list

(

list

obj

)

================================================================

cons *words_test_list((list) obj) AL 05/93 Makes a list of strings from a list of test expressions.

Parameters

obj

bj

Definition at line 195 of file prettyprint.c.

{
        cons*  ret_cons = NIL;
        string before_string = strdup(" ");
        string blank_string;
        if (get_prettyprint_language_tag() == is_language_c)
          blank_string = strdup("//                            ");
        else
          blank_string = strdup("C                             ");
 
        pips_debug(7, "doing \n");
        MAPL( exp_ptr, {
            cons*       pc  = NIL;
                expression      exp = EXPRESSION(CAR(exp_ptr));
 
                pc = CHAIN_SWORD(pc, strdup( before_string ));
                pc = gen_nconc(pc, Words_Expression(exp));
                pc = CHAIN_SWORD(pc,"\n") ;
                ret_cons = gen_nconc(ret_cons, gen_copy_seq(pc));
                before_string = blank_string;
        }, obj);
 
        if( ret_cons == NIL ) ret_cons = CHAIN_SWORD(ret_cons, "\n");
        return( ret_cons );
}

References CAR, CHAIN_SWORD, exp, EXPRESSION, gen_copy_seq(), gen_nconc(), get_prettyprint_language_tag(), is_language_c, MAPL, NIL, pips_debug, strdup(), and Words_Expression().

Referenced by store_sc_text_line().

Here is the call graph for this function:

Here is the caller graph for this function:

Variable Documentation

Gsc_map

statement_mapping Gsc_map

static

Global variables.

Definition at line 81 of file prettyprint.c.

Referenced by print_code_static_control(), and text_static_control().