misc.c File Reference

#include <stdlib.h>
#include <stdio.h>
#include <math.h>
#include "genC.h"
#include "linear.h"
#include "misc.h"
#include "pipsdbm.h"
#include "properties.h"
#include "ri.h"
#include "ri-util.h"
#include "text-util.h"
#include "control.h"
#include "effects.h"
#include "transformer.h"
#include "semantics.h"
#include "effects-generic.h"

Include dependency graph for misc.c:

Go to the source code of this file.

Functions
void	get_variables_to_remove (list ref_ent, statement s, list *l)
	Modifies the list l so it contains all the loop indexes and scalar written variables It is a little "extension" of the induction variable detection. More...

Function Documentation

get_variables_to_remove()

void get_variables_to_remove	(	list	ref_ent,
		statement	s,
		list *	l
	)

Modifies the list l so it contains all the loop indexes and scalar written variables It is a little "extension" of the induction variable detection.

misc.c

Required by R-Stream. Depending on the activated option, only loop indexes or both loop indexes and written scalar variables are put into the list.

Parameters

ref_ent

ef_ent

Definition at line 58 of file misc.c.

                                                                 {
  instruction instTop = statement_instruction(s);
  switch(instruction_tag(instTop)) {
  case is_instruction_sequence :
    {
      list stmts = sequence_statements(instruction_sequence(instTop));
      FOREACH(statement, stmt, stmts) {
        list enclosing_loops = load_statement_enclosing_loops(s);
        if (!ENDP(enclosing_loops) && !statement_loop_p(stmt)) {
          FOREACH(entity, e, ref_ent) {
            if (get_bool_property("OUTLINE_REMOVE_VARIABLE_RSTREAM_IMAGE")) {
              bool write_p = find_write_effect_on_entity(stmt, e);
              if (index_of_a_loop_p((Variable)e, enclosing_loops) || (write_p && !entity_array_p(e))) {
                *l = gen_once(e,*l);
              }
            }
            else if (get_bool_property("OUTLINE_REMOVE_VARIABLE_RSTREAM_SCOP")) {
              if (index_of_a_loop_p((Variable)e, enclosing_loops)) {
                *l = gen_once(e,*l);
              }
            }
          }
        }
        instruction inst = statement_instruction(stmt);
        switch(instruction_tag(inst)) {
        case is_instruction_loop :
          get_variables_to_remove(ref_ent, loop_body(statement_loop(stmt)), l);
          break;
        case is_instruction_whileloop :
          get_variables_to_remove(ref_ent, whileloop_body(statement_whileloop(stmt)), l);
          break;
        case is_instruction_test :
          get_variables_to_remove(ref_ent, test_true(instruction_test(inst)), l);
          get_variables_to_remove(ref_ent, test_false(instruction_test(inst)), l);
          break;
        default :
          break;
        }
        
      }
    }
    break;
  case is_instruction_loop :
    {
      get_variables_to_remove(ref_ent, loop_body(instruction_loop(instTop)), l);
    }
    break;
  case is_instruction_whileloop :
    {
      get_variables_to_remove(ref_ent, whileloop_body(instruction_whileloop(instTop)), l);
    }
    break;
  case is_instruction_test :
    {
      get_variables_to_remove(ref_ent, test_true(instruction_test(instTop)), l);
      get_variables_to_remove(ref_ent, test_false(instruction_test(instTop)), l);
    }
    break;
  default :
    {
      list enclosing_loops = load_statement_enclosing_loops(s);
      if (!ENDP(enclosing_loops)) {
        FOREACH(entity, e, ref_ent) {
          if (get_bool_property("OUTLINE_REMOVE_VARIABLE_RSTREAM_IMAGE")) {
            bool write_p = find_write_effect_on_entity(s, e);
            if (index_of_a_loop_p((Variable)e, enclosing_loops) || (write_p && !entity_array_p(e))) {
              *l = gen_once(e,*l);
            }
          }
          else if (get_bool_property("OUTLINE_REMOVE_VARIABLE_RSTREAM_SCOP")) {
            if (index_of_a_loop_p((Variable)e, enclosing_loops)) {
              *l = gen_once(e,*l);
            }
          }
        }
      }
    }
    break;
  }
}

References ENDP, entity_array_p(), find_write_effect_on_entity(), FOREACH, gen_once(), get_bool_property(), get_variables_to_remove(), index_of_a_loop_p(), instruction_loop, instruction_sequence, instruction_tag, instruction_test, instruction_whileloop, is_instruction_loop, is_instruction_sequence, is_instruction_test, is_instruction_whileloop, load_statement_enclosing_loops(), loop_body, sequence_statements, statement_instruction, statement_loop(), statement_loop_p(), statement_whileloop(), test_false, test_true, and whileloop_body.

Referenced by get_variables_to_remove(), and outliner_parameters().

Here is the call graph for this function:

Here is the caller graph for this function: