pocc-interface.h File Reference

This graph shows which files directly or indirectly include this file:

Go to the source code of this file.

Functions
bool	condition_body_contains_loop_p (statement)
	Warning! Do not modify this file that is automatically generated! More...
bool	condition_contains_loop_p (statement)
	Checks if a test contains a loop. More...
bool	is_SCOP_rich (sequence, statement, statement, bool *)
	Checks if there is at least one loop in the sequence. More...
bool	is_subroutine (instruction)
	Returns true if the instruction is a subroutine. More...
bool	pocc_prettyprinter (char *)
	use the result of control static to add pragmas for pocc compiler , that pragmas delimit control static parts (static control region which can contains many loop nests More...

Function Documentation

condition_body_contains_loop_p()

bool condition_body_contains_loop_p

(

statement

s

)

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

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

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

Definition at line 73 of file pocc_prettyprinter.c.

                                                 {
  if(statement_sequence_p(s)) {
    instruction inst = statement_instruction(s);
    sequence seq = instruction_sequence(inst);
    list stmts = sequence_statements(seq);
    FOREACH(statement, stmt, stmts) {
      if (statement_loop_p(stmt) || statement_forloop_p(stmt) || (statement_test_p(stmt) && condition_contains_loop_p(stmt)))
          return true;
    }
  }
  else {
    if (statement_loop_p(s) || statement_forloop_p(s) || (statement_test_p(s) && condition_contains_loop_p(s)))
      return true;
  }
  return false;
}

References condition_contains_loop_p(), FOREACH, instruction_sequence, sequence_statements, statement_forloop_p(), statement_instruction, statement_loop_p(), statement_sequence_p(), and statement_test_p().

Referenced by condition_contains_loop_p().

Here is the call graph for this function:

Here is the caller graph for this function:

condition_contains_loop_p()

bool condition_contains_loop_p

(

statement

s

)

Checks if a test contains a loop.

Definition at line 91 of file pocc_prettyprinter.c.

                                            {
  if (!statement_test_p(s))
    return false;
  instruction inst = statement_instruction(s);
  test t = instruction_test(inst);
  statement true_body = test_true(t);
  statement false_body = test_false(t);
  if (condition_body_contains_loop_p(true_body) || condition_body_contains_loop_p(false_body))
    return true;
  else
    return false;
}

References condition_body_contains_loop_p(), instruction_test, statement_instruction, statement_test_p(), test_false, and test_true.

Referenced by condition_body_contains_loop_p(), and is_SCOP_rich().

Here is the call graph for this function:

Here is the caller graph for this function:

is_SCOP_rich()

bool is_SCOP_rich	(	sequence	seq,
		statement	last_added_pragma,
		statement	curStmt,
		bool *	pragma_added_p
	)

Checks if there is at least one loop in the sequence.

If not it removes the previously added pragma on the last_added_pragma statement.

Parameters

seq	eq
last_added_pragma	ast_added_pragma
curStmt	urStmt
pragma_added_p	ragma_added_p

Definition at line 107 of file pocc_prettyprinter.c.

                                                                                                       {
  // Should not occur but just in case
  if(!statement_with_pragma_p(last_added_pragma)) {
    return false;
  }
  bool startSearch = false;
  list stmts = sequence_statements(seq);
  FOREACH(statement, stmt, stmts) {
    // We start searching in sequence from the current statement
    if (are_stmts_eq(stmt, last_added_pragma)) {
      startSearch = true;
    }
    // We stop searching when we are at the current statement in the sequence
    else if (are_stmts_eq(stmt, curStmt)) {
      startSearch = false;
    }
    if (startSearch) {
      // If the statement is a loop or if it is a test containing a loop 
      if (statement_loop_p(stmt) || statement_forloop_p(stmt) || (statement_test_p(stmt) && condition_contains_loop_p(stmt))) {
        return true;
      }
    }
  }
  // Clearing pragma
  clear_pragma_on_statement(last_added_pragma);
  *pragma_added_p = false;
  return false;
}

References are_stmts_eq(), clear_pragma_on_statement(), condition_contains_loop_p(), FOREACH, sequence_statements, statement_forloop_p(), statement_loop_p(), statement_test_p(), and statement_with_pragma_p().

Referenced by insert_endscop_after_stmt(), and insert_endscop_before_stmt().

Here is the call graph for this function:

Here is the caller graph for this function:

is_subroutine()

bool is_subroutine

(

instruction

inst

)

Returns true if the instruction is a subroutine.

Parameters

inst

nst

Definition at line 173 of file pocc_prettyprinter.c.

                                     {
  // Is the call's entity a functional type ?
  bool testFunction = false;
  // If it is a functional type, is the functional's result type void ? 
  bool isVoid = false;
  if (instruction_call_p(inst)) {
    testFunction = type_functional_p(entity_type(call_function(instruction_call(inst))));
    if(testFunction) {
      isVoid = type_void_p(functional_result(type_functional(entity_type(call_function(instruction_call(inst))))));
    }
  }
  return isVoid;
}

References call_function, entity_type, functional_result, instruction_call, instruction_call_p, type_functional, type_functional_p, and type_void_p.

Referenced by pragma_scop().

Here is the caller graph for this function:

pocc_prettyprinter()

bool pocc_prettyprinter

(

char *

module_name

)

use the result of control static to add pragmas for pocc compiler , that pragmas delimit control static parts (static control region which can contains many loop nests

Parameters

module_name

odule_name

Definition at line 372 of file pocc_prettyprinter.c.

                                            {
  // Standard setup
  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);
  
  // First call of the function on the global statement
  pragma_scop(module_stat, false, false);
  
  // Standard procedure
  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_scop(), 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: