test_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 test_spaghettify.c:

Go to the source code of this file.

Functions
static control	make_condition_from_test (test the_test, 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_if_true_from_test (test the_test, const char *module_name)
	Build and return a new control containing "if true" statement of the "destructured" test. More...
static control	make_if_false_from_test (test the_test, const char *module_name)
	Build and return a new control containing "if false" statement of the "destructured" test. More...
static control	make_exit_from_test ()
	Build and return a new control containing exit statement of the "destructured" test (this is a continue statement) More...
static unstructured	make_unstructured_from_test (test the_test, statement stat, const char *module_name)
	Build and return a new unstructured coding the "destructured" test. More...
statement	spaghettify_test (statement stat, const char *module_name)
	test_spaghettify.c More...

Function Documentation

make_condition_from_test()

static control make_condition_from_test ( test  the_test, 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 tests. Build and return a new control containing condition statement of the "destructured" test

Definition at line 62 of file test_spaghettify.c.

{
  statement condition_statement;
  test condition_test
    = make_test (test_condition(the_test),
                 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 test_condition.

Referenced by make_unstructured_from_test().

Here is the call graph for this function:

Here is the caller graph for this function:

make_exit_from_test()

static control make_exit_from_test ( )

static

Build and return a new control containing exit statement of the "destructured" test (this is a continue statement)

Definition at line 111 of file test_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_test().

Here is the call graph for this function:

Here is the caller graph for this function:

make_if_false_from_test()

static control make_if_false_from_test ( test  the_test, const char *  module_name  )

static

Build and return a new control containing "if false" statement of the "destructured" test.

Definition at line 99 of file test_spaghettify.c.

{
  return make_control (spaghettify_statement(test_false(the_test),
                                             module_name),
                       NIL, NIL);
}

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

Referenced by make_unstructured_from_test().

Here is the call graph for this function:

Here is the caller graph for this function:

make_if_true_from_test()

static control make_if_true_from_test ( test  the_test, const char *  module_name  )

static

Build and return a new control containing "if true" statement of the "destructured" test.

Definition at line 87 of file test_spaghettify.c.

{
  return make_control (spaghettify_statement(test_true(the_test),
                                             module_name),
                       NIL, NIL);
}

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

Referenced by make_unstructured_from_test().

Here is the call graph for this function:

Here is the caller graph for this function:

make_unstructured_from_test()

static unstructured make_unstructured_from_test ( test  the_test, statement  stat, const char *  module_name  )

static

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

The first connexion is the false one

Definition at line 119 of file test_spaghettify.c.

{
  control condition = make_condition_from_test (the_test,stat);
  control exit = make_exit_from_test ();
  control if_true = make_if_true_from_test (the_test,module_name);
  control if_false = make_if_false_from_test (the_test,module_name);
 
  /* The first connexion is the false one */
  //link_2_control_nodes (condition, if_false);
  //link_2_control_nodes (condition, if_true);
  link_3_control_nodes (condition, if_true, if_false);
  link_2_control_nodes (if_true, exit);
  link_2_control_nodes (if_false, exit);
 
  return make_unstructured (condition, exit);
}

References exit, link_2_control_nodes(), link_3_control_nodes(), make_condition_from_test(), make_exit_from_test(), make_if_false_from_test(), make_if_true_from_test(), make_unstructured(), and module_name().

Referenced by spaghettify_test().

Here is the call graph for this function:

Here is the caller graph for this function:

spaghettify_test()

statement spaghettify_test	(	statement	stat,
		const char *	module_name
	)

test_spaghettify.c

Parameters

stat	tat
module_name	odule_name

Definition at line 142 of file test_spaghettify.c.

{
  statement returned_statement = stat;
  instruction unstructured_instruction;
  unstructured new_unstructured;
 
  pips_assert("Statement is TEST in FSM_GENERATION",
              instruction_tag(statement_instruction(stat))
              == is_instruction_test);
 
  pips_debug(2, "spaghettify_test, module %s\n", module_name);
 
  new_unstructured
    = make_unstructured_from_test
    (instruction_test(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_test, is_instruction_test, is_instruction_unstructured, make_instruction(), make_unstructured_from_test(), 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: