rstream_interface.h File Reference

Go to the source code of this file.

Functions
void	pragma_nonscop (statement, bool, bool)
	Warning! Do not modify this file that is automatically generated! More...
bool	rstream_interface (char *)
	Phase in charge of putting pragmas around the non-SCoP of the code This phase only works if there has been a previous phase applied putting pragmas around SCoP of the code. More...

Function Documentation

pragma_nonscop()

void pragma_nonscop	(	statement	s,
		bool	pragma_added_p,
		bool	in_loop_p
	)

Warning! Do not modify this file that is automatically generated!

Modify src/Libs/rstream_interface/rstream_interface-local.h instead, to add your own modifications. header file built by cproto rstream_interface-local.h cproto-generated files rstream_interface.c

Parameters

pragma_added_p	ragma_added_p
in_loop_p	n_loop_p

Definition at line 129 of file rstream_interface.c.

                                                                       {
  
  statement save_stmt = statement_undefined,
    last_added_pragma = statement_undefined;
  instruction instTop = statement_instruction(s);
  
  switch (instruction_tag(instTop)) {
 
  case is_instruction_sequence :
    {
      sequence seqInst = instruction_sequence(instTop);
      list stmts = sequence_statements(seqInst);
      FOREACH(statement, stmt, stmts) {
        save_stmt = stmt;
        instruction inst = statement_instruction(stmt);
        static_control sc;
        switch (instruction_tag(inst)) {
        case is_instruction_loop : 
          {
            bool insideScop = searchPragma(stmt);
            bool currentScop = statement_with_pragma_p(stmt);
            loop l = instruction_loop(inst);
            sc = (static_control)GET_STATEMENT_MAPPING(Gsc_map, loop_body(l));
            if (!static_control_yes(sc) && !pragma_added_p && !insideScop) {
              add_to_stmt(stmt, &pragma_added_p);
              last_added_pragma = stmt;
            }
            else if (!static_control_yes(sc) && !pragma_added_p && insideScop && !currentScop) {
              pragma_nonscop(stmt, pragma_added_p, true);
            }
            else if (static_control_yes(sc) && pragma_added_p) {
              insert_endscop_before_stmt(stmt, &pragma_added_p, seqInst, stmts, last_added_pragma);
            }
          }
          break;
        case is_instruction_test :
          {
            bool insideScop = searchPragma(stmt);
            sc = (static_control)GET_STATEMENT_MAPPING(Gsc_map, stmt);
            if (!static_control_yes(sc) && !pragma_added_p && !insideScop) {
              add_to_stmt(stmt, &pragma_added_p);
              last_added_pragma = stmt;
            }
            else if (!in_loop_p && !pragma_added_p && insideScop) {
              pragma_nonscop(stmt, pragma_added_p, in_loop_p);
            }
            else if (static_control_yes(sc) && pragma_added_p) {
              insert_endscop_before_stmt(stmt, &pragma_added_p, seqInst, stmts, last_added_pragma);
            }
          }
          break;
        case is_instruction_whileloop :
          {
            bool insideScop = searchPragma(stmt);
            if (!insideScop && !pragma_added_p) {
              add_to_stmt(stmt, &pragma_added_p);
              last_added_pragma = stmt;
            }
            else if (insideScop) {
              pragma_nonscop(whileloop_body(instruction_whileloop(inst)), pragma_added_p, in_loop_p);
            }
          }
          break;
        case is_instruction_call :
          {
            sc = (static_control)GET_STATEMENT_MAPPING(Gsc_map, stmt);
            bool isDeclaration = declaration_statement_p(stmt);
            if (return_statement_p(stmt) && pragma_added_p) {
              insert_endscop_before_stmt(stmt, &pragma_added_p, seqInst, stmts, last_added_pragma);
            }
            else if (!static_control_yes(sc) && !pragma_added_p && !isDeclaration) {
              add_to_stmt(stmt, &pragma_added_p);
              last_added_pragma = stmt;
            }
            else if (static_control_yes(sc) && pragma_added_p) {
              insert_endscop_before_stmt(stmt, &pragma_added_p, seqInst, stmts, last_added_pragma);
            }
          }
          break;
        default :
          {
            sc = (static_control)GET_STATEMENT_MAPPING(Gsc_map, stmt);
            bool currentScop = statement_with_pragma_p(stmt);
            bool insideScop = searchPragma(stmt);
            if (pragma_added_p && static_control_yes(sc)) {
              insert_endscop_before_stmt(stmt, &pragma_added_p, seqInst, stmts, last_added_pragma);
            }
            else if (!pragma_added_p && !static_control_yes(sc) && !currentScop && !insideScop) {
              add_to_stmt(stmt, &pragma_added_p);
              last_added_pragma = stmt;
            }
          }
          break;
        }
      }
      if (pragma_added_p) {
        insert_endscop_after_stmt(save_stmt, &pragma_added_p, seqInst, last_added_pragma);
      }
    }
    break;
  case is_instruction_loop :
    {
      loop loopAlone = instruction_loop(instTop);
      static_control scAlone = (static_control)GET_STATEMENT_MAPPING(Gsc_map, loop_body(loopAlone));
      bool insideScop = searchPragma(s);
      bool currentScop = statement_with_pragma_p(s);
      if (!static_control_yes(scAlone) && !pragma_added_p && !insideScop && !currentScop) {
        add_to_stmt(s, &pragma_added_p);
        last_added_pragma = s;
        insert_endscop_in_sequence(s, &pragma_added_p, false);
      }
      else if (!static_control_yes(scAlone) && insideScop && !currentScop) {
        pragma_nonscop(loop_body(loopAlone), pragma_added_p, in_loop_p);
      }
    }
    break;
 
  case is_instruction_forloop :
    {
    }
    break;
 
  case is_instruction_whileloop :
    {
      whileloop whileAlone = instruction_whileloop(instTop);
      bool currentScop = statement_with_pragma_p(s);
      if (!currentScop)      
        pragma_nonscop(whileloop_body(whileAlone), pragma_added_p, in_loop_p);
    }
    break;
    
  case is_instruction_test :
    {
      test testAlone = instruction_test(instTop);
      bool currentScop = statement_with_pragma_p(s);
      if (!currentScop) {
        pragma_nonscop(test_true(testAlone), pragma_added_p, in_loop_p);
        pragma_nonscop(test_false(testAlone), pragma_added_p, in_loop_p);
      }
    }
    break;
 
  default :
    break;
  }
  return;
}

References add_to_stmt(), declaration_statement_p(), FOREACH, GET_STATEMENT_MAPPING, Gsc_map, insert_endscop_after_stmt(), insert_endscop_before_stmt(), insert_endscop_in_sequence(), instruction_loop, instruction_sequence, instruction_tag, instruction_test, instruction_whileloop, is_instruction_call, is_instruction_forloop, is_instruction_loop, is_instruction_sequence, is_instruction_test, is_instruction_whileloop, loop_body, return_statement_p(), searchPragma(), sequence_statements, statement_instruction, statement_undefined, statement_with_pragma_p(), static_control_yes, test_false, test_true, and whileloop_body.

Referenced by rstream_interface().

Here is the call graph for this function:

Here is the caller graph for this function:

rstream_interface()

bool rstream_interface

(

char *

module_name

)

Phase in charge of putting pragmas around the non-SCoP of the code This phase only works if there has been a previous phase applied putting pragmas around SCoP of the code.

Parameters

module_name

odule_name

Definition at line 281 of file rstream_interface.c.

                                           {
  statement module_stat;
  set_current_module_entity(local_name_to_top_level_entity(module_name));
  set_current_module_statement((statement)db_get_memory_resource(DBR_CODE, module_name, true));
 
  module_stat = get_current_module_statement();
  
  Gsc_map = (statement_mapping)db_get_memory_resource(DBR_STATIC_CONTROL, module_name, true);
 
  pragma_nonscop(module_stat, false, false);
 
  DB_PUT_MEMORY_RESOURCE(DBR_CODE, module_name,module_stat);
  
  reset_current_module_entity();
  reset_current_module_statement();
  
  return true;
}

References db_get_memory_resource(), DB_PUT_MEMORY_RESOURCE, get_current_module_statement(), Gsc_map, local_name_to_top_level_entity(), module_name(), pragma_nonscop(), reset_current_module_entity(), reset_current_module_statement(), set_current_module_entity(), and set_current_module_statement().

Here is the call graph for this function: