icfg_scan.c File Reference

#include <stdio.h>
#include <string.h>
#include "genC.h"
#include "linear.h"
#include "properties.h"
#include "misc.h"
#include "pipsdbm.h"
#include "ri.h"
#include "effects.h"
#include "text.h"
#include "text-util.h"
#include "ri-util.h"
#include "prettyprint.h"
#include "control.h"
#include "icfg.h"

Include dependency graph for icfg_scan.c:

Go to the source code of this file.

Macros
#define	st_DO   prettyprint_fortran_icfg_p ? "do " : "for "
#define	st_ENDDO   prettyprint_fortran_icfg_p ? "enddo" : "}"
#define	st_FOR   "for "
#define	st_ENDFOR   "}"
#define	st_DOWHILE   prettyprint_fortran_icfg_p ? "do while " : "while "
#define	st_ENDDOWHILE   prettyprint_fortran_icfg_p ? "enddo" : "}"
#define	st_REPEAT   prettyprint_fortran_icfg_p ? "repeat " : "do {"
#define	st_UNTIL   prettyprint_fortran_icfg_p ? "until" : "} while ();"
#define	st_IF   prettyprint_fortran_icfg_p ? "if" : "if () {"
#define	st_THEN   prettyprint_fortran_icfg_p ? "then" : ""
#define	st_ELIF   prettyprint_fortran_icfg_p ? "else if" : "} else if () {"
#define	st_ELSE   prettyprint_fortran_icfg_p ? "else" : "} else {"
#define	st_ENDIF   prettyprint_fortran_icfg_p ? "endif" : "}"
#define	st_WHILE   prettyprint_fortran_icfg_p? "while": "while () {"
	These last two strings are used for unstructured. More...
#define	st_ENDWHILE   prettyprint_fortran_icfg_p? "endwhile": "}"
#define	some_text_p(t)   (t!=text_undefined && text_sentences(t)!=NIL)
#define	current_stmt_head()    ((statement) gen_get_ancestor(statement_domain, gen_get_current_object()))
	We want to keep track of the current statement inside the recurse. More...
#define	ICFG_DEFAULT_INDENTATION   (4)

Functions
void	icfg_set_indentation (int indent)
	caller More...
void	icfg_reset_indentation (void)
void	icfg_error_handler (void)
static void	append_marged_text (text t, int margin, const char *what1, const char *what2)
static bool	statement_flt (statement s)
	STATEMENT. More...
static void	statement_rwt (statement s)
static void	call_flt (call c)
	CALL. More...
static bool	loop_flt (loop __attribute__((unused)) l)
	LOOP. More...
static void	anyloop_rwt (const char *st_what, const char *st_end_what, const char *st_index, statement body)
static void	loop_rwt (loop l)
static void	forloop_rwt (forloop l)
static void	while_rwt (whileloop w)
static bool	instruction_flt (instruction i)
	INSTRUCTION. More...
static void	instruction_rwt (instruction i)
static bool	range_flt (range __attribute__((unused)) r)
	RANGE functions to avoid the indentation when dealing with DO expressions. More...
static void	range_rwt (range __attribute__((unused)) r)
static bool	is_elsif_test_p (test t)
	TEST functions to deal with the indentation of ELSIFs. More...
static bool	has_elsif_test_p (test t)
	This function tests if the ELSE clause of t is an ELIF. More...
static bool	test_flt (test t)
static void	test_rwt (test l)
static void	print_module_icfg (entity module)
static bool	internal_print_icfg (const string module_name, bool with_ifs, bool with_loops, bool do_graph, bool do_reset, text(*deco1)(const string), text(*deco2)(entity, entity, statement, call), text(*deco3)(entity, statement, call), text(*deco4)(entity, statement))
bool	generic_print_icfg (const string module_name, bool with_ifs, bool with_loops, bool do_graph, text(*decoration)(const string))
bool	generic_print_icfg_precise (const string module_name, bool with_ifs, bool with_loops, bool do_graph, text(*decoration)(entity, entity, statement, call))
bool	generic_print_icfg_filtered (const string module_name, bool with_ifs, bool with_loops, bool do_graph, text(*decoration_call)(entity, statement, call), text(*decoration_stmt)(entity, statement))

Variables
static int	icfg_indent = ICFG_DEFAULT_INDENTATION
static bool	print_loops = false
	We store the text for each statement in a mapping during a code traversal in order to print it afterwards. More...
static bool	print_ifs = false
static bool	do_reset_current_module_entity_on_decoration = false
static bool	prettyprint_fortran_icfg_p = true
static bool	prettyprint_C_icfg_p = false
static text(*	module_decoration )(const string) = NULL
static text(*	precise_decoration )(entity, entity, statement, call) = NULL
static text(*	filter_decoration_call )(entity, statement, call) = NULL
static text(*	filter_decoration_stmt )(entity, statement) = NULL
static int	current_margin
static list	verlist = NIL
	of vertex More...
static vertex	current_vertex = NULL
	to make graph daVinci More...

Macro Definition Documentation

current_stmt_head

#define current_stmt_head

(

)

((statement) gen_get_ancestor(statement_domain, gen_get_current_object()))

We want to keep track of the current statement inside the recurse.

Definition at line 76 of file icfg_scan.c.

ICFG_DEFAULT_INDENTATION

#define ICFG_DEFAULT_INDENTATION   (4)

Definition at line 82 of file icfg_scan.c.

some_text_p

#define some_text_p

(

t

)

(t!=text_undefined && text_sentences(t)!=NIL)

Definition at line 73 of file icfg_scan.c.

st_DO

#define st_DO   prettyprint_fortran_icfg_p ? "do " : "for "

Definition at line 55 of file icfg_scan.c.

st_DOWHILE

#define st_DOWHILE   prettyprint_fortran_icfg_p ? "do while " : "while "

Definition at line 59 of file icfg_scan.c.

st_ELIF

#define st_ELIF   prettyprint_fortran_icfg_p ? "else if" : "} else if () {"

Definition at line 66 of file icfg_scan.c.

st_ELSE

#define st_ELSE   prettyprint_fortran_icfg_p ? "else" : "} else {"

Definition at line 67 of file icfg_scan.c.

st_ENDDO

#define st_ENDDO   prettyprint_fortran_icfg_p ? "enddo" : "}"

Definition at line 56 of file icfg_scan.c.

st_ENDDOWHILE

#define st_ENDDOWHILE   prettyprint_fortran_icfg_p ? "enddo" : "}"

Definition at line 60 of file icfg_scan.c.

st_ENDFOR

#define st_ENDFOR   "}"

Definition at line 58 of file icfg_scan.c.

st_ENDIF

#define st_ENDIF   prettyprint_fortran_icfg_p ? "endif" : "}"

Definition at line 68 of file icfg_scan.c.

st_ENDWHILE

#define st_ENDWHILE   prettyprint_fortran_icfg_p? "endwhile": "}"

Definition at line 71 of file icfg_scan.c.

st_FOR

#define st_FOR   "for "

Definition at line 57 of file icfg_scan.c.

st_IF

#define st_IF   prettyprint_fortran_icfg_p ? "if" : "if () {"

Definition at line 64 of file icfg_scan.c.

st_REPEAT

#define st_REPEAT   prettyprint_fortran_icfg_p ? "repeat " : "do {"

Definition at line 61 of file icfg_scan.c.

st_THEN

#define st_THEN   prettyprint_fortran_icfg_p ? "then" : ""

Definition at line 65 of file icfg_scan.c.

st_UNTIL

#define st_UNTIL   prettyprint_fortran_icfg_p ? "until" : "} while ();"

Definition at line 62 of file icfg_scan.c.

st_WHILE

#define st_WHILE   prettyprint_fortran_icfg_p? "while": "while () {"

These last two strings are used for unstructured.

Definition at line 70 of file icfg_scan.c.

Function Documentation

anyloop_rwt()

static void anyloop_rwt ( const char *  st_what, const char *  st_end_what, const char *  st_index, statement  body  )

static

Print the text inside do expressions (before the DO!)

Print the DO

Print the text inside the loop

Print the ENDDO

store it to the statement mapping

Definition at line 221 of file icfg_scan.c.

{
  text inside_the_loop = text_undefined,
    inside_the_do = text_undefined,
    t = make_text (NIL);
  bool text_in_do_p, text_in_loop_p;
 
  pips_debug (5,"Loop end\n");
 
  if (print_loops) current_margin -= icfg_indent;
 
  inside_the_do = (text) load_statement_icfg (current_stmt_head());
  text_in_do_p = some_text_p(inside_the_do);
 
  inside_the_loop = (text) load_statement_icfg (body);
  text_in_loop_p = some_text_p(inside_the_loop);
 
  /* Print the text inside do expressions (before the DO!)
   */
  if (text_in_do_p)
    {
      pips_debug(9, "something inside_the_do\n");
      MERGE_TEXTS (t, inside_the_do);
    }
 
  /* Print the DO
   */
  if ((text_in_loop_p || text_in_do_p) && print_loops)
    {
      if(prettyprint_fortran_icfg_p)
        append_marged_text(t, current_margin, st_what, st_index);
      else {
        string st_end = string_undefined;
        asprintf(&st_end, "(%s) {", st_index);
        append_marged_text(t, current_margin, st_what, st_end);
        free(st_end);
      }
    }
 
  /* Print the text inside the loop
   */
  if (text_in_loop_p)
    {
      pips_debug(9, "something inside_the_loop\n");
      MERGE_TEXTS (t, inside_the_loop);
    }
 
  /* Print the ENDDO
   */
  if ((text_in_loop_p || text_in_do_p) && print_loops)
    {
      append_marged_text(t, current_margin, st_end_what, "");
    }
 
  /* store it to the statement mapping */
  update_statement_icfg (current_stmt_head(), t);
 
  return ;
}

References append_marged_text(), asprintf, current_margin, current_stmt_head, free(), icfg_indent, make_text(), MERGE_TEXTS, NIL, pips_debug, prettyprint_fortran_icfg_p, print_loops, return(), some_text_p, string_undefined, and text_undefined.

Referenced by forloop_rwt(), loop_rwt(), and while_rwt().

Here is the call graph for this function:

Here is the caller graph for this function:

append_marged_text()

static void append_marged_text ( text  t, int  margin, const char *  what1, const char *  what2  )

static

Definition at line 127 of file icfg_scan.c.

{
  char *buffer;
  asprintf(&buffer, "%*s%s%s\n", margin, "", what1, what2);
  ADD_SENTENCE_TO_TEXT(t, make_sentence(is_sentence_formatted, buffer));
}

References ADD_SENTENCE_TO_TEXT, asprintf, buffer, is_sentence_formatted, and make_sentence().

Referenced by anyloop_rwt(), call_flt(), instruction_rwt(), print_module_icfg(), and test_rwt().

Here is the call graph for this function:

Here is the caller graph for this function:

call_flt()

static void call_flt ( call  c )

static

CALL.

If this is a "real function" (defined in the code elsewhere)

hum... pushes the current entity...

append the callee' icfg

ppend_icfg_file (r, callee_name);

store it to the statement mapping

Definition at line 168 of file icfg_scan.c.

{
  entity e_callee = call_function(c);
  const string callee_name = (const string) module_local_name(e_callee);
 
  pips_debug (5,"called entity is %s\n", entity_name(e_callee));
 
  /* If this is a "real function" (defined in the code elsewhere) */
  if (value_code_p(entity_initial(e_callee))) {
    text r = (text) load_statement_icfg (current_stmt_head());
 
    /* hum... pushes the current entity... */
    entity e_caller = get_current_module_entity();
 
    vertex ver_child = get_vertex_by_string(callee_name, verlist);
    if (ver_child != vertex_undefined)
      verlist = safe_make_successor(current_vertex, ver_child, verlist);
 
    // this hack is really needed...
    if (do_reset_current_module_entity_on_decoration)
      reset_current_module_entity();
 
    if (module_decoration)
      MERGE_TEXTS(r, (*module_decoration)(callee_name));
    else if (precise_decoration)
      MERGE_TEXTS(r,
          (*precise_decoration)(e_caller, e_callee, current_stmt_head(), c));
    else if (filter_decoration_call)
      MERGE_TEXTS(r,
                  (*filter_decoration_call)(e_caller, current_stmt_head(), c));
 
    // really needed, retrieve the caller entity
    if (do_reset_current_module_entity_on_decoration)
      set_current_module_entity(e_caller);
 
    /* append the callee' icfg */
    /*append_icfg_file (r, callee_name);*/
    append_marged_text(r, current_margin, CALL_MARK, callee_name);
    /* store it to the statement mapping */
    update_statement_icfg(current_stmt_head(), r);
  }
  return;
}

References append_marged_text(), call_function, CALL_MARK, current_margin, current_stmt_head, current_vertex, do_reset_current_module_entity_on_decoration, entity_initial, entity_name, filter_decoration_call, get_current_module_entity(), get_vertex_by_string(), MERGE_TEXTS, module_decoration, module_local_name(), pips_debug, precise_decoration, reset_current_module_entity(), safe_make_successor(), set_current_module_entity(), value_code_p, verlist, and vertex_undefined.

Referenced by print_module_icfg().

Here is the call graph for this function:

Here is the caller graph for this function:

forloop_rwt()

static void forloop_rwt ( forloop  l )

static

Definition at line 290 of file icfg_scan.c.

{
  anyloop_rwt(st_FOR, st_ENDFOR, "", forloop_body(l));
}

References anyloop_rwt(), forloop_body, st_ENDFOR, and st_FOR.

Referenced by print_module_icfg().

Here is the call graph for this function:

Here is the caller graph for this function:

generic_print_icfg()

bool generic_print_icfg	(	const string	module_name,
		bool	with_ifs,
		bool	with_loops,
		bool	do_graph,
		text(*)(const string)	decoration
	)

Parameters

module_name	odule_name
with_ifs	ith_ifs
with_loops	ith_loops
do_graph	o_graph

Definition at line 713 of file icfg_scan.c.

{
  return internal_print_icfg(module_name, with_ifs, with_loops, do_graph,
                             true, decoration, NULL, NULL, NULL);
}

References internal_print_icfg(), and module_name().

Referenced by print_icfg(), print_icfg_with_control(), and print_icfg_with_loops().

Here is the call graph for this function:

Here is the caller graph for this function:

generic_print_icfg_filtered()

bool generic_print_icfg_filtered	(	const string	module_name,
		bool	with_ifs,
		bool	with_loops,
		bool	do_graph,
		text(*)(entity, statement, call)	decoration_call,
		text(*)(entity, statement)	decoration_stmt
	)

Parameters

module_name	odule_name
with_ifs	ith_ifs
with_loops	ith_loops
do_graph	o_graph

Definition at line 735 of file icfg_scan.c.

{
  return internal_print_icfg(module_name, with_ifs, with_loops, do_graph,
                         false, NULL, NULL, decoration_call, decoration_stmt);
}

References internal_print_icfg(), and module_name().

Here is the call graph for this function:

generic_print_icfg_precise()

bool generic_print_icfg_precise	(	const string	module_name,
		bool	with_ifs,
		bool	with_loops,
		bool	do_graph,
		text(*)(entity, entity, statement, call)	decoration
	)

Parameters

module_name	odule_name
with_ifs	ith_ifs
with_loops	ith_loops
do_graph	o_graph

Definition at line 724 of file icfg_scan.c.

{
  return internal_print_icfg(module_name, with_ifs, with_loops, do_graph,
                             true, NULL, decoration, NULL, NULL);
}

References internal_print_icfg(), and module_name().

Here is the call graph for this function:

has_elsif_test_p()

static bool has_elsif_test_p ( test  t )

static

This function tests if the ELSE clause of t is an ELIF.

Definition at line 464 of file icfg_scan.c.

                                     {
 
  bool has_elsif_p = false;
 
  pips_debug (3, ">>>has_elsif_test_p begins for test=%p\n", t);
 
  statement   tfs = test_false(t);
  instruction tfi = statement_instruction(tfs);
 
  has_elsif_p = instruction_test_p(tfi);
 
  pips_debug (3, "has_elsif_p = %d\n", has_elsif_p);
  pips_debug (3, ">>>has_elsif_test_p ends for test=%p\n", t);
 
  return (has_elsif_p);
}

References instruction_test_p, pips_debug, statement_instruction, and test_false.

Referenced by test_rwt().

Here is the caller graph for this function:

icfg_error_handler()

void icfg_error_handler

(

void

)

Definition at line 122 of file icfg_scan.c.

{
  // ???
}

Referenced by print_module_icfg().

Here is the caller graph for this function:

icfg_reset_indentation()

void icfg_reset_indentation

(

void

)

Definition at line 117 of file icfg_scan.c.

{
  icfg_indent = ICFG_DEFAULT_INDENTATION;
}

References ICFG_DEFAULT_INDENTATION, and icfg_indent.

Referenced by internal_print_icfg().

Here is the caller graph for this function:

icfg_set_indentation()

void icfg_set_indentation

(

int

indent

)

caller

icfg_scan.c

Parameters

indent

ndent

Definition at line 112 of file icfg_scan.c.

{
  icfg_indent = indent;
}

References icfg_indent.

Referenced by internal_print_icfg().

Here is the caller graph for this function:

instruction_flt()

static bool instruction_flt ( instruction  i )

static

INSTRUCTION.

Definition at line 307 of file icfg_scan.c.

{
  if(instruction_unstructured_p(i)
     && unstructured_while_p(instruction_unstructured(i))) {
    pips_debug (5, "While begin\n");
    if (print_loops) current_margin += icfg_indent;
  }
  return true;
}

References current_margin, icfg_indent, instruction_unstructured, instruction_unstructured_p, pips_debug, print_loops, and unstructured_while_p().

Referenced by print_module_icfg().

Here is the call graph for this function:

Here is the caller graph for this function:

instruction_rwt()

static void instruction_rwt ( instruction  i )

static

store it to the statement mapping

SHARING! Every statement gets a pointer to the same precondition! I do not know if it's good or not but beware the bugs!!!

Print the WHILE

Print the text inside the unstructured (possibly the while body)

Print the ENDDWHILE

Definition at line 317 of file icfg_scan.c.

{
  text t = make_text (NIL);
  bool text_in_unstructured_p = false;
 
  pips_debug (5,"going up\n");
  pips_debug (9,"instruction tag = %d\n", instruction_tag (i));
 
  switch (instruction_tag (i)) {
  case is_instruction_block:
    {
      pips_debug (5,"dealing with a block, appending texts\n");
 
      MAP(STATEMENT, s,
          MERGE_TEXTS(t, load_statement_icfg(s)),
          instruction_block(i));
 
      /* store it to the statement mapping */
      update_statement_icfg (current_stmt_head (), t);
      break;
    }
  case is_instruction_unstructured:
    {
      unstructured u = instruction_unstructured (i);
      list blocs = NIL ;
      control ct = unstructured_control(u) ;
      text inside_the_unstructured = make_text(NIL);
      bool while_p = false;
 
      pips_debug (5,"dealing with an unstructured, appending texts\n");
 
      if(unstructured_while_p(u)) {
        while_p = true;
        pips_debug (5,"dealing with a WHILE\n");
      }
 
      /* SHARING! Every statement gets a pointer to the same precondition!
         I do not know if it's good or not but beware the bugs!!! */
      FORWARD_CONTROL_MAP(c, {
          statement st = control_statement(c) ;
          MERGE_TEXTS(inside_the_unstructured, load_statement_icfg (st));
        }, ct, blocs) ;
 
      gen_free_list(blocs) ;
 
      text_in_unstructured_p = some_text_p(inside_the_unstructured);
 
      /* Print the WHILE
       */
      if(print_loops && while_p) {
        current_margin -= icfg_indent;
        if(text_in_unstructured_p) {
          append_marged_text(t, current_margin, st_WHILE, "");
        }
      }
 
      /* Print the text inside the unstructured (possibly the while body)
       */
      if(text_in_unstructured_p) {
        pips_debug(9, "something inside_the_loop\n");
        MERGE_TEXTS (t, inside_the_unstructured);
      }
 
      /* Print the ENDDWHILE
       */
      if (text_in_unstructured_p && print_loops && while_p)
        {
          append_marged_text(t, current_margin, st_ENDWHILE, "");
        }
 
      update_statement_icfg (current_stmt_head (), t);
      break;
    }
  default:
    break;
  }
 
}

References append_marged_text(), control_statement, current_margin, current_stmt_head, FORWARD_CONTROL_MAP, gen_free_list(), icfg_indent, instruction_block, instruction_tag, instruction_unstructured, is_instruction_block, is_instruction_unstructured, make_text(), MAP, MERGE_TEXTS, NIL, pips_debug, print_loops, some_text_p, st_ENDWHILE, st_WHILE, STATEMENT, unstructured_control, and unstructured_while_p().

Referenced by print_module_icfg().

Here is the call graph for this function:

Here is the caller graph for this function:

internal_print_icfg()

static bool internal_print_icfg ( const string  module_name, bool  with_ifs, bool  with_loops, bool  do_graph, bool  do_reset, text(*)(const string)  deco1, text(*)(entity, entity, statement, call)  deco2, text(*)(entity, statement, call)  deco3, text(*)(entity, statement)  deco4  )

static

Definition at line 668 of file icfg_scan.c.

{
  entity mod = local_name_to_top_level_entity(module_name);
 
  pips_debug(1,"===%s===%s===\n", module_name, entity_name(mod));
  debug_on(ICFG_DEBUG_LEVEL);
 
  // select language
  prettyprint_fortran_icfg_p = fortran_module_p(mod);
  prettyprint_C_icfg_p = c_module_p(mod);
 
  // hmm... not whether sure using properties is a good idea
  set_bool_property(ICFG_IFs, with_ifs);
  set_bool_property(ICFG_DOs, with_loops);
  set_bool_property(ICFG_DV, do_graph);
 
  do_reset_current_module_entity_on_decoration = do_reset;
 
  module_decoration = deco1;
  precise_decoration = deco2;
  filter_decoration_call = deco3;
  filter_decoration_stmt = deco4;
 
  icfg_set_indentation(get_int_property("ICFG_INDENTATION"));
  print_module_icfg(mod);
  icfg_reset_indentation();
 
  module_decoration = NULL;
  precise_decoration = NULL;
  filter_decoration_call = NULL;
  filter_decoration_stmt = NULL;
 
  debug_off();
  return true;
}

References c_module_p(), debug_off, debug_on, do_reset_current_module_entity_on_decoration, entity_name, filter_decoration_call, filter_decoration_stmt, fortran_module_p(), get_int_property(), ICFG_DEBUG_LEVEL, ICFG_DOs, ICFG_DV, ICFG_IFs, icfg_reset_indentation(), icfg_set_indentation(), local_name_to_top_level_entity(), module_decoration, module_name(), pips_debug, precise_decoration, prettyprint_C_icfg_p, prettyprint_fortran_icfg_p, print_module_icfg(), and set_bool_property().

Referenced by generic_print_icfg(), generic_print_icfg_filtered(), and generic_print_icfg_precise().

Here is the call graph for this function:

Here is the caller graph for this function:

is_elsif_test_p()

static bool is_elsif_test_p ( test  t )

static

TEST functions to deal with the indentation of ELSIFs.

This function tests if t is the exact content of and ELSE clause.

Determine if t is inside another test

Definition at line 422 of file icfg_scan.c.

                                    {
 
  bool elsif_p = false;
 
  /*
  gen_chunk p1 = gen_get_recurse_ancestor((void *)t);
  gen_chunk * pp1 = &p1;
  int * pi = pp1;
  int i = *pi;
  if (i != ((int)(HASH_UNDEFINED_VALUE)))
    if ( i != ((int)(NULL)))
      pips_debug(1, "Type of p1 %d\n", gen_type(i));
  */
 
  /* Determine if t is inside another test */
  test pt = (test)gen_get_ancestor_type(test_domain, (void *)t);
  if (pt != (test)HASH_UNDEFINED_VALUE && pt != (test)(NULL)) {
    // Get the "ELSE Clause" statement of the parent test
    statement ptf = test_false(pt);
    ifdebug(4) {
      pips_debug(4, "Parent test_false is:\n");
      print_statement(ptf);
      fprintf(stderr, "\n");
    }
 
    // Get the statement corresponding to t
    statement ts = (statement)gen_get_ancestor_type(statement_domain, (void *)t);
    if (ts != (statement)HASH_UNDEFINED_VALUE && ts != (statement)(NULL)) {
      ifdebug(4) {
        pips_debug(4, "My test statement is:\n");
        print_statement(ts);
        fprintf(stderr, "\n");
      }
      // If these two statements are the same, then we are in an ELSIF clause.
      elsif_p = (ptf == ts);
    }
  }
  return elsif_p;
}

References fprintf(), gen_get_ancestor_type, HASH_UNDEFINED_VALUE, ifdebug, pips_debug, print_statement(), statement_domain, test_domain, and test_false.

Referenced by test_flt(), and test_rwt().

Here is the call graph for this function:

Here is the caller graph for this function:

loop_flt()

static bool loop_flt ( loop __attribute__((unused))  l )

static

LOOP.

Definition at line 214 of file icfg_scan.c.

{
  pips_debug (5, "Loop begin\n");
  if (print_loops) current_margin += icfg_indent;
  return true;
}

References current_margin, icfg_indent, pips_debug, and print_loops.

Referenced by print_module_icfg().

Here is the caller graph for this function:

loop_rwt()

static void loop_rwt ( loop  l )

static

Definition at line 285 of file icfg_scan.c.

{
  anyloop_rwt(st_DO, st_ENDDO, entity_user_name(loop_index(l)), loop_body(l));
}

References anyloop_rwt(), entity_user_name(), loop_body, loop_index, st_DO, and st_ENDDO.

Referenced by print_module_icfg().

Here is the call graph for this function:

Here is the caller graph for this function:

print_module_icfg()

static void print_module_icfg ( entity  module )

static

allocate the mapping

Definition at line 593 of file icfg_scan.c.

{
  const char* module_name = module_local_name(module);
  statement s = (statement) db_get_memory_resource(DBR_CODE,module_name,true);
  text txt = make_text(NIL);
  append_marged_text(txt, 0, module_name, "");
  current_vertex = make_vertex((vertex_label)txt, NIL);
 
  set_current_module_entity(module);
 
  /* allocate the mapping  */
  make_icfg_map();
 
  reset_hooks_register(icfg_error_handler);
 
  current_margin = icfg_indent;
 
  print_loops = get_bool_property(ICFG_DOs);
  print_ifs = get_bool_property(ICFG_IFs);
 
  gen_multi_recurse
    (s,
     statement_domain, statement_flt, statement_rwt,
     call_domain     , call_flt     , gen_null,
     loop_domain     , loop_flt     , loop_rwt,
     instruction_domain    , instruction_flt  , instruction_rwt,
     test_domain     , test_flt     , test_rwt,
     whileloop_domain, loop_flt       , while_rwt,
     forloop_domain, loop_flt       , forloop_rwt,
     range_domain    , range_flt    , range_rwt,
     NULL);
 
  // ???
  if (filter_decoration_call) {
    if (vertex_successors(current_vertex) == NIL) {
      bool found = false;
      MAP(SENTENCE, sen, {
          string one_line = sentence_to_string(sen);
          if (strstr(one_line, CALL_MARK) == NULL) {
            found = true;
            break;
          }
        }, text_sentences(load_statement_icfg(s)));
      if (found) {
        verlist = safe_add_vertex_to_list(current_vertex, verlist);
      } else {
        safe_free_vertex(current_vertex, verlist);
        current_vertex = vertex_undefined;
      }
    } else {
      verlist = safe_add_vertex_to_list(current_vertex, verlist);
    }
  } else {
    verlist = safe_add_vertex_to_list(current_vertex, verlist);
  }
 
  if (!vertex_undefined_p(current_vertex))
    MERGE_TEXTS(txt, (text) load_statement_icfg(s));
 
  make_resource_from_starting_node(module_name, DBR_ICFG_FILE,
                                   get_bool_property(ICFG_IFs) ? ".icfgc" :
                                   (get_bool_property(ICFG_DOs) ? ".icfgl" :
                                    ".icfg"),
                                   current_vertex, verlist, true);
 
  if (get_bool_property(ICFG_DV))
    make_resource_from_starting_node(module_name, DBR_DVICFG_FILE, ".dvicfg",
                                     current_vertex, verlist, false);
 
  // cleanup
  free_icfg_map();
  reset_hooks_unregister(icfg_error_handler);
  reset_current_module_entity();
}

References append_marged_text(), call_domain, call_flt(), CALL_MARK, current_margin, current_vertex, db_get_memory_resource(), filter_decoration_call, forloop_domain, forloop_rwt(), gen_multi_recurse(), gen_null(), get_bool_property(), ICFG_DOs, ICFG_DV, icfg_error_handler(), ICFG_IFs, icfg_indent, instruction_domain, instruction_flt(), instruction_rwt(), loop_domain, loop_flt(), loop_rwt(), make_resource_from_starting_node(), make_text(), make_vertex(), MAP, MERGE_TEXTS, module, module_local_name(), module_name(), NIL, print_ifs, print_loops, range_domain, range_flt(), range_rwt(), reset_current_module_entity(), reset_hooks_register(), reset_hooks_unregister(), safe_add_vertex_to_list(), safe_free_vertex(), SENTENCE, sentence_to_string(), set_current_module_entity(), statement_domain, statement_flt(), statement_rwt(), test_domain, test_flt(), test_rwt(), text_sentences, verlist, vertex_successors, vertex_undefined, vertex_undefined_p, while_rwt(), and whileloop_domain.

Referenced by internal_print_icfg().

Here is the call graph for this function:

Here is the caller graph for this function:

range_flt()

static bool range_flt ( range __attribute__((unused))  r )

static

RANGE functions to avoid the indentation when dealing with DO expressions.

Definition at line 399 of file icfg_scan.c.

{
    statement s = current_stmt_head();
 
    if (statement_loop_p(s) && loop_range(statement_loop(s)) && print_loops)
       current_margin -= icfg_indent;
    return true;
}

References current_margin, current_stmt_head, icfg_indent, loop_range, print_loops, statement_loop(), and statement_loop_p().

Referenced by print_module_icfg().

Here is the call graph for this function:

Here is the caller graph for this function:

range_rwt()

static void range_rwt ( range __attribute__((unused))  r )

static

Definition at line 408 of file icfg_scan.c.

{
  statement s = current_stmt_head();
 
  if (statement_loop_p(s) && loop_range(statement_loop(s)) && print_loops)
    current_margin += icfg_indent;
}

References current_margin, current_stmt_head, icfg_indent, loop_range, print_loops, statement_loop(), and statement_loop_p().

Referenced by print_module_icfg().

Here is the call graph for this function:

Here is the caller graph for this function:

statement_flt()

static bool statement_flt ( statement  s )

static

STATEMENT.

process the not call statement to print out filtered proper effects

Definition at line 140 of file icfg_scan.c.

{
  text t;
 
  pips_debug (5,"going down\n");
 
  /* process the not call statement to print out filtered proper effects */
  if (filter_decoration_stmt)
  {
    entity e_caller = get_current_module_entity();
    t = (*filter_decoration_stmt)(e_caller, s);
  }
  else
    t  = make_text (NIL);
 
  store_statement_icfg(s, t);
  return true;
}

References filter_decoration_stmt, get_current_module_entity(), make_text(), NIL, and pips_debug.

Referenced by print_module_icfg().

Here is the call graph for this function:

Here is the caller graph for this function:

statement_rwt()

static void statement_rwt ( statement  s )

static

Definition at line 159 of file icfg_scan.c.

{
  pips_debug (5,"going up\n");
  ifdebug(9) print_text(stderr,(text) load_statement_icfg (s));
  return;
}

References ifdebug, pips_debug, and print_text().

Referenced by print_module_icfg().

Here is the call graph for this function:

Here is the caller graph for this function:

test_flt()

static bool test_flt ( test  t )

static

Definition at line 482 of file icfg_scan.c.

{
  bool is_elsif_p = false;
 
  pips_debug (3, ">>>Test_flt begins for test=%p\n", t);
 
  is_elsif_p = is_elsif_test_p(t);
  int offset = (is_elsif_p ? 0 : icfg_indent);
 
  if (print_ifs) {
    current_margin += offset;
    pips_debug( 4, "is_elsif_p = %d\n", is_elsif_p);
    pips_debug( 4, "current_margin increased: %d -> %d\n",
                current_margin - offset, current_margin
                );
  }
  pips_debug (3, ">>>Test_flt ends for test=%p\n", t);
 
  return true;
}

References current_margin, icfg_indent, is_elsif_test_p(), offset, pips_debug, and print_ifs.

Referenced by print_module_icfg().

Here is the call graph for this function:

Here is the caller graph for this function:

test_rwt()

static void test_rwt ( test  l )

static

Print the IF.

If this is the IF of an ELIF, don't print it.

print things in the if expression

print then statements

Print the THEN

print else/elif statements

Print the ELSE / ELIF

Print the ENDIF.

If this is the ENDIF of an ELIF, don't print it

store it to the statement mapping

Definition at line 503 of file icfg_scan.c.

{
  text inside_then = text_undefined;
  text inside_else = text_undefined;
  text inside_if = text_undefined;
  text t = make_text (NIL);
  bool something_to_print;
 
  bool is_elsif_p  = false;
  bool has_elsif_p = false;
  int  offset;
  int  else_margin  = current_margin;
 
  pips_debug (3, ">>>Test_rwt begins for test=%p\n", l);
 
  is_elsif_p  = is_elsif_test_p(l);
  has_elsif_p = has_elsif_test_p(l);
  offset      = (is_elsif_p ? 0 : icfg_indent);
 
  inside_if   = copy_text((text) load_statement_icfg (current_stmt_head ()));
  inside_then = copy_text((text) load_statement_icfg (test_true (l)));
  inside_else = copy_text((text) load_statement_icfg (test_false (l)));
 
  something_to_print = (some_text_p(inside_else) ||
                        some_text_p(inside_then) ||
                        some_text_p(inside_if));
 
  if (print_ifs) {
    current_margin -= offset;
    pips_debug( 4, "is_elsif_p = %d\n", is_elsif_p);
    pips_debug( 4, "current_margin decreased: %d -> %d\n",
                current_margin + offset, current_margin
                );
  }
 
  /* Print the IF.
 
     If this is the IF of an ELIF, don't print it.
   */
  if (something_to_print && print_ifs && !is_elsif_p)
    append_marged_text(t, current_margin, st_IF, "");
 
  /* print things in the if expression*/
  if (some_text_p(inside_if))
    MERGE_TEXTS (t, inside_if);
 
  /* print then statements */
  if (some_text_p(inside_then)) {
    /* Print the THEN */
    if (something_to_print && print_ifs && strlen(st_THEN)>0) {
      append_marged_text(t, current_margin, st_THEN, "");
    }
    MERGE_TEXTS (t, inside_then);
  }
 
  /* print else/elif statements */
  if (some_text_p(inside_else)){
    /* Print the ELSE / ELIF */
    if (something_to_print && print_ifs) {
 
      // Margin correction
      else_margin -= (is_elsif_p  ? icfg_indent : 0);
      else_margin -= (has_elsif_p && !is_elsif_p ? icfg_indent : 0);
 
      //else_margin += (has_elsif_p ? icfg_indent : 0);
      if (has_elsif_p)
        append_marged_text(t, else_margin, st_ELIF, "");
      else {
        append_marged_text(t, else_margin, st_ELSE, "");
      }
    }
    MERGE_TEXTS (t, inside_else);
  }
 
  /* Print the ENDIF.
 
     If this is the ENDIF of an ELIF, don't print it
   */
  if (something_to_print && print_ifs && !is_elsif_p) {
    append_marged_text(t, current_margin, st_ENDIF, "");
  }
 
  /* store it to the statement mapping */
  update_statement_icfg (current_stmt_head(), t);
 
  pips_debug (3, ">>>Test_rwt ends for test=%p\n", l);
 
  return;
}

References append_marged_text(), copy_text(), current_margin, current_stmt_head, has_elsif_test_p(), icfg_indent, is_elsif_test_p(), make_text(), MERGE_TEXTS, NIL, offset, pips_debug, print_ifs, some_text_p, st_ELIF, st_ELSE, st_ENDIF, st_IF, st_THEN, test_false, test_true, and text_undefined.

Referenced by print_module_icfg().

Here is the call graph for this function:

Here is the caller graph for this function:

while_rwt()

static void while_rwt ( whileloop  w )

static

Definition at line 295 of file icfg_scan.c.

{
  evaluation e = whileloop_evaluation(w);
 
  if(evaluation_before_p(e))
    anyloop_rwt(st_DOWHILE, st_ENDDOWHILE, "", whileloop_body(w));
  else
    anyloop_rwt(st_REPEAT, st_UNTIL, "", whileloop_body(w));
}

References anyloop_rwt(), evaluation_before_p, st_DOWHILE, st_ENDDOWHILE, st_REPEAT, st_UNTIL, whileloop_body, and whileloop_evaluation.

Referenced by print_module_icfg().

Here is the call graph for this function:

Here is the caller graph for this function:

Variable Documentation

current_margin

int current_margin

static

Definition at line 105 of file icfg_scan.c.

Referenced by anyloop_rwt(), call_flt(), instruction_flt(), instruction_rwt(), loop_flt(), print_module_icfg(), range_flt(), range_rwt(), test_flt(), and test_rwt().

current_vertex

vertex current_vertex = NULL

static

to make graph daVinci

Definition at line 108 of file icfg_scan.c.

Referenced by call_flt(), and print_module_icfg().

do_reset_current_module_entity_on_decoration

bool do_reset_current_module_entity_on_decoration = false

static

Definition at line 95 of file icfg_scan.c.

Referenced by call_flt(), and internal_print_icfg().

filter_decoration_call

text(* filter_decoration_call) (entity, statement, call) ( entity  , statement  , call    ) = NULL

static

Definition at line 102 of file icfg_scan.c.

Referenced by call_flt(), internal_print_icfg(), and print_module_icfg().

filter_decoration_stmt

text(* filter_decoration_stmt) (entity, statement) ( entity  , statement    ) = NULL

static

Definition at line 103 of file icfg_scan.c.

Referenced by internal_print_icfg(), and statement_flt().

icfg_indent

int icfg_indent = ICFG_DEFAULT_INDENTATION

static

Definition at line 83 of file icfg_scan.c.

Referenced by anyloop_rwt(), icfg_reset_indentation(), icfg_set_indentation(), instruction_flt(), instruction_rwt(), loop_flt(), print_module_icfg(), range_flt(), range_rwt(), test_flt(), and test_rwt().

module_decoration

text(* module_decoration) (const string) ( const  string ) = NULL

static

Definition at line 99 of file icfg_scan.c.

Referenced by call_flt(), and internal_print_icfg().

precise_decoration

text(* precise_decoration) (entity, entity, statement, call) ( entity  , entity  , statement  , call    ) = NULL

static

Definition at line 100 of file icfg_scan.c.

Referenced by call_flt(), and internal_print_icfg().

prettyprint_C_icfg_p

bool prettyprint_C_icfg_p = false

static

Definition at line 97 of file icfg_scan.c.

Referenced by internal_print_icfg().

prettyprint_fortran_icfg_p

bool prettyprint_fortran_icfg_p = true

static

Definition at line 96 of file icfg_scan.c.

Referenced by anyloop_rwt(), and internal_print_icfg().

print_ifs

bool print_ifs = false

static

Definition at line 94 of file icfg_scan.c.

Referenced by print_module_icfg(), test_flt(), and test_rwt().

print_loops

bool print_loops = false

static

We store the text for each statement in a mapping during a code traversal in order to print it afterwards.

static drivers

Definition at line 93 of file icfg_scan.c.

Referenced by anyloop_rwt(), instruction_flt(), instruction_rwt(), loop_flt(), print_module_icfg(), range_flt(), and range_rwt().

verlist

list verlist = NIL

static

of vertex

Definition at line 107 of file icfg_scan.c.

Referenced by adg_pure_dfg(), adg_reverse_graph(), call_flt(), make_filtered_dg_or_dvdg(), my_dfg_reverse_graph(), and print_module_icfg().