whileloop_spaghettify.c File Reference

#include <stdio.h>
#include <ctype.h>
#include "genC.h"
#include "linear.h"
#include "ri.h"
#include "effects.h"
#include "resources.h"
#include "misc.h"
#include "ri-util.h"
#include "effects-util.h"
#include "text-util.h"
#include "dg.h"
#include "phrase_tools.h"
#include "spaghettify.h"

Include dependency graph for whileloop_spaghettify.c:

Go to the source code of this file.

Functions
static control	make_condition_from_whileloop (whileloop the_whileloop, statement stat)
	The spaghettifier is used in context of PHRASE project while creating "Finite State Machine"-like code portions in order to synthetise them in reconfigurables units. More...
static control	make_exit_from_whileloop ()
	Build and return a new control containing exit statement of the unstructured whileloop (this is a continue statement) More...
static control	make_body_from_whileloop (whileloop the_whileloop, const char *module_name)
	Build and return a new control containing body statement of the unstructured whileloop. More...
static unstructured	make_unstructured_from_whileloop (whileloop the_whileloop, statement stat, const char *module_name)
	Build and return a new unstructured coding the "destructured" whileloop. More...
statement	spaghettify_whileloop (statement stat, const char *module_name)
	whileloop_spaghettify.c More...

Function Documentation

make_body_from_whileloop()

static control make_body_from_whileloop ( whileloop  the_whileloop, const char *  module_name  )

static

Build and return a new control containing body statement of the unstructured whileloop.

Definition at line 110 of file whileloop_spaghettify.c.

{
  return make_control
    (spaghettify_statement(whileloop_body(the_whileloop),
                           module_name), NIL, NIL);
}

References make_control(), module_name(), NIL, spaghettify_statement(), and whileloop_body.

Referenced by make_unstructured_from_whileloop().

Here is the call graph for this function:

Here is the caller graph for this function:

make_condition_from_whileloop()

static control make_condition_from_whileloop ( whileloop  the_whileloop, statement  stat  )

static

The spaghettifier is used in context of PHRASE project while creating "Finite State Machine"-like code portions in order to synthetise them in reconfigurables units.

This file contains the code used for spaghettify whileloops.

General syntax of whileloop in Fortran are:

DO WHILE CONDITION STATEMENT END DO

Following code is generated:

10 IF (CONDITION) THEN STATEMENT GOTO 10 20 CONTINUE Build and return a new control containing condition statement of the unstructured whileloop

Definition at line 76 of file whileloop_spaghettify.c.

{
  statement condition_statement;
  test condition_test
    = make_test (whileloop_condition(the_whileloop),
                 make_continue_statement(entity_empty_label()),
                 make_continue_statement(entity_empty_label()));
 
 
  condition_statement = make_statement(entity_empty_label(),
                                       statement_number(stat),
                                       statement_ordering(stat),
                                       empty_comments,
                                       make_instruction (is_instruction_test,
                                                         condition_test),
                                       NIL,NULL,
                                       statement_extensions(stat), make_synchronization_none());
  return make_control (condition_statement, NIL, NIL);
}

References empty_comments, entity_empty_label(), is_instruction_test, make_continue_statement(), make_control(), make_instruction(), make_statement(), make_synchronization_none(), make_test(), NIL, statement_extensions, statement_number, statement_ordering, and whileloop_condition.

Referenced by make_unstructured_from_whileloop().

Here is the call graph for this function:

Here is the caller graph for this function:

make_exit_from_whileloop()

static control make_exit_from_whileloop ( )

static

Build and return a new control containing exit statement of the unstructured whileloop (this is a continue statement)

Definition at line 101 of file whileloop_spaghettify.c.

{
  return make_control (make_continue_statement(entity_empty_label()), NIL, NIL);
}

References entity_empty_label(), make_continue_statement(), make_control(), and NIL.

Referenced by make_unstructured_from_whileloop().

Here is the call graph for this function:

Here is the caller graph for this function:

make_unstructured_from_whileloop()

static unstructured make_unstructured_from_whileloop ( whileloop  the_whileloop, statement  stat, const char *  module_name  )

static

Build and return a new unstructured coding the "destructured" whileloop.

The first connexion is the false one

Definition at line 122 of file whileloop_spaghettify.c.

{
  control condition = make_condition_from_whileloop (the_whileloop,stat);
  control exit = make_exit_from_whileloop();
  control body = make_body_from_whileloop(the_whileloop,module_name);
 
  /* The first connexion is the false one */
  //link_2_control_nodes (condition, exit); /* false condition, we exit from whileloop */
  //link_2_control_nodes (condition, body); /* true condition, we go to body */
  link_3_control_nodes (condition, body, exit);
 
  return make_unstructured (condition, exit);
}

References exit, link_3_control_nodes(), make_body_from_whileloop(), make_condition_from_whileloop(), make_exit_from_whileloop(), make_unstructured(), and module_name().

Referenced by spaghettify_whileloop().

Here is the call graph for this function:

Here is the caller graph for this function:

spaghettify_whileloop()

statement spaghettify_whileloop	(	statement	stat,
		const char *	module_name
	)

whileloop_spaghettify.c

Parameters

stat	tat
module_name	odule_name

Definition at line 142 of file whileloop_spaghettify.c.

{
  statement returned_statement = stat;
  instruction unstructured_instruction;
  unstructured new_unstructured; 
 
  pips_assert("Statement is WHILELOOP in FSM_GENERATION",
              instruction_tag(statement_instruction(stat))
              == is_instruction_whileloop);
 
  pips_debug(2, "spaghettify_whileloop, module %s\n", module_name);  
  new_unstructured
    = make_unstructured_from_whileloop
    (instruction_whileloop(statement_instruction(stat)),
     stat,
     module_name);
 
  unstructured_instruction = make_instruction(is_instruction_unstructured,
                                              new_unstructured);
 
  statement_instruction(returned_statement) = unstructured_instruction;
 
  return returned_statement;
}

References instruction_tag, instruction_whileloop, is_instruction_unstructured, is_instruction_whileloop, make_instruction(), make_unstructured_from_whileloop(), module_name(), pips_assert, pips_debug, and statement_instruction.

Referenced by full_spaghettify_statement(), and spaghettify_statement().

Here is the call graph for this function:

Here is the caller graph for this function: