dowhile_to_while.c File Reference

#include "genC.h"
#include "linear.h"
#include "ri.h"
#include "ri-util.h"
#include "misc.h"
#include "control.h"
#include "pipsdbm.h"
#include "resources.h"

Include dependency graph for dowhile_to_while.c:

Go to the source code of this file.

Functions
static void	dowhile_to_while_walker (statement stmt, bool *changed)
bool	dowhile_to_while (const char *module_name)
	dowhile_to_while.c More...
void	do_loop_to_while_loop (statement sl)
	converts a doloop to a while loop, in place More...
void	do_loop_to_for_loop (statement sl)
	converts a doloop to a for loop, in place More...

Function Documentation

do_loop_to_for_loop()

void do_loop_to_for_loop

(

statement

sl

)

converts a doloop to a for loop, in place

Parameters

sl

l

Definition at line 162 of file dowhile_to_while.c.

{
  pips_assert("statement is a loop",statement_loop_p(sl));
  loop l =statement_loop(sl);
  range r = loop_range(l);
 
  forloop fl = make_forloop(
    make_assign_expression(entity_to_expression(loop_index(l)),
                           copy_expression(range_lower(r))),
    MakeBinaryCall(entity_intrinsic(LESS_OR_EQUAL_OPERATOR_NAME),
                   entity_to_expression(loop_index(l)),
                   copy_expression(range_upper(r))),
    MakeBinaryCall(entity_intrinsic(PLUS_UPDATE_OPERATOR_NAME),
                   entity_to_expression(loop_index(l)),
                   copy_expression(range_increment(r))),
    copy_statement(loop_body(l)));
  update_statement_instruction(sl, make_instruction_forloop(fl));
}

References copy_expression(), copy_statement(), entity_intrinsic(), entity_to_expression(), LESS_OR_EQUAL_OPERATOR_NAME, loop_body, loop_index, loop_range, make_assign_expression(), make_forloop(), make_instruction_forloop(), MakeBinaryCall(), pips_assert, PLUS_UPDATE_OPERATOR_NAME, range_increment, range_lower, range_upper, statement_loop(), statement_loop_p(), and update_statement_instruction().

Referenced by rw_loop().

Here is the call graph for this function:

Here is the caller graph for this function:

do_loop_to_while_loop()

void do_loop_to_while_loop

(

statement

sl

)

converts a doloop to a while loop, in place

convert the loop to a while loop : fst the body

then the whileloop

and the prelude

Parameters

sl

l

Definition at line 115 of file dowhile_to_while.c.

{
  pips_assert("statement is a loop",statement_loop_p(sl));
  loop l =statement_loop(sl);
  range r = loop_range(l);
 
  /* convert the loop to a while loop :
   * fst the body
   */
  list statements = make_statement_list(
    copy_statement(loop_body(l)),
    make_assign_statement(
      entity_to_expression(loop_index(l)),
      MakeBinaryCall(
        entity_intrinsic(PLUS_OPERATOR_NAME),
        entity_to_expression(loop_index(l)),
        range_increment(r)
        )
      )
    );
  /* then the whileloop */
  whileloop wl = make_whileloop(
    MakeBinaryCall(
      entity_intrinsic(LESS_OR_EQUAL_OPERATOR_NAME),
      entity_to_expression(loop_index(l)),
      range_upper(r)
      ),
    make_block_statement(statements),
    entity_empty_label(),
    make_evaluation_before());
 
  /* and the prelude */
  sequence seq = make_sequence(
    make_statement_list(
      make_assign_statement(entity_to_expression(loop_index(l)),
                            range_lower(r)),
      instruction_to_statement(make_instruction_whileloop(wl))
      )
    );
  range_upper(r)=expression_undefined;
  range_lower(r)=expression_undefined;
  range_increment(r)=expression_undefined;
 
  update_statement_instruction(sl,make_instruction_sequence(seq));
}

References copy_statement(), entity_empty_label(), entity_intrinsic(), entity_to_expression(), expression_undefined, instruction_to_statement(), LESS_OR_EQUAL_OPERATOR_NAME, loop_body, loop_index, loop_range, make_assign_statement(), make_block_statement(), make_evaluation_before(), make_instruction_sequence(), make_instruction_whileloop(), make_sequence(), make_statement_list, make_whileloop(), MakeBinaryCall(), pips_assert, PLUS_OPERATOR_NAME, range_increment, range_lower, range_upper, statement_loop(), statement_loop_p(), and update_statement_instruction().

Referenced by terapix_loop_handler().

Here is the call graph for this function:

Here is the caller graph for this function:

dowhile_to_while()

bool dowhile_to_while

(

const char *

module_name

)

dowhile_to_while.c

Parameters

module_name

odule_name

Definition at line 82 of file dowhile_to_while.c.

{
        // prelude
  debug_on("CONTROL_DEBUG_LEVEL");
        set_current_module_entity( module_name_to_entity(module_name) );
        set_current_module_statement(
    (statement) db_get_memory_resource(DBR_CODE, module_name, true)
    );
 
  // whether anything was changed
  bool changed = false;
 
        // actual transformation
  gen_context_recurse(get_current_module_statement(), &changed,
                      statement_domain, gen_true2, dowhile_to_while_walker);
 
        // postlude
  if (changed)
  {
    module_reorder(get_current_module_statement());
    DB_PUT_MEMORY_RESOURCE(DBR_CODE, module_name,
                           get_current_module_statement());
  }
 
        reset_current_module_statement();
        reset_current_module_entity();
  debug_off();
        return true;
}

References db_get_memory_resource(), DB_PUT_MEMORY_RESOURCE, debug_off, debug_on, dowhile_to_while_walker(), gen_context_recurse, gen_true2(), get_current_module_statement(), module_name(), module_name_to_entity(), module_reorder(), reset_current_module_entity(), reset_current_module_statement(), set_current_module_entity(), set_current_module_statement(), and statement_domain.

Here is the call graph for this function:

dowhile_to_while_walker()

static void dowhile_to_while_walker ( statement  stmt, bool *  changed  )

static

Definition at line 38 of file dowhile_to_while.c.

{
        instruction instr = statement_instruction(stmt);
        if ( instruction_whileloop_p(instr) )
        {
                whileloop wl = instruction_whileloop(instr);
 
                // is it a do-while loop?
                if ( evaluation_after_p(whileloop_evaluation(wl) ) )
                {
      // we did something!
      *changed = true;
 
                        // do-while -> while-do
                        free_evaluation(whileloop_evaluation(wl));
                        whileloop_evaluation(wl) = make_evaluation_before();
 
                        // push while-do instruction
                        statement duplicated_stat = make_empty_statement();
 
                        // duplicate while-do body statements and push it
      // BUG: it seems that clone does not handle "unstructured"
                        clone_context cc = make_clone_context(
                                        get_current_module_entity(),
                                        get_current_module_entity(),
          NIL,
                                        duplicated_stat
                        );
      statement dup = clone_statement(whileloop_body(wl), cc);
                        free_clone_context(cc);
 
      insert_statement(duplicated_stat, dup, false);
      insert_statement(duplicated_stat, instruction_to_statement(instr), false);
 
                        // see how elegant is the patching ?
      statement_instruction(stmt)=instruction_undefined;
      update_statement_instruction
        (stmt,
         make_instruction_block(CONS(statement, duplicated_stat, NIL))
          );
                }
        }
}

References clone_statement(), CONS, evaluation_after_p, free_clone_context(), free_evaluation(), get_current_module_entity(), insert_statement(), instruction_to_statement(), instruction_undefined, instruction_whileloop, instruction_whileloop_p, make_clone_context(), make_empty_statement, make_evaluation_before(), make_instruction_block(), NIL, statement_instruction, update_statement_instruction(), whileloop_body, and whileloop_evaluation.

Referenced by dowhile_to_while().

Here is the call graph for this function:

Here is the caller graph for this function: