Desugaring functions used to transform

non well structured à la Fortran do-loop into an equivalent code with tests and gotos. More...

Collaboration diagram for Desugaring functions used to transform:

Functions
statement	unsugared_loop_header (statement sl)
	LOOP_HEADER, LOOP_TEST and LOOP_INC build the desugaring phases of a do-loop L for the loop header (i=1), the test (i<10) and the increment (i=i+1). More...
statement	unsugared_forloop_header (statement sl)
statement	unsugared_whileloop_header (statement sl __attribute__((__unused__)))
statement	unsugared_loop_test (statement sl)
	Do a crude test of end of do-loop for do-loop unsugaring. More...
statement	unsugared_forloop_test (statement sl)
statement	unsugared_whileloop_test (statement sl)
statement	unsugared_loop_inc (statement sl)
	Do an index increment instruction for do-loop unsugaring. More...
statement	unsugared_forloop_inc (statement sl)

Detailed Description

non well structured à la Fortran do-loop into an equivalent code with tests and gotos.

Function Documentation

unsugared_forloop_header()

statement unsugared_forloop_header

(

statement

sl

)

Parameters

sl

l

Definition at line 474 of file controlizer.c.

{
  forloop l = statement_forloop(sl);
  expression ie = copy_expression(forloop_initialization(l));
  instruction ii = make_instruction_expression(ie);
  statement is = instruction_to_statement(ii);
 
  return is;
}

References copy_expression(), forloop_initialization, instruction_to_statement(), make_instruction_expression(), and statement_forloop().

Referenced by controlize_forloop().

Here is the call graph for this function:

Here is the caller graph for this function:

unsugared_forloop_inc()

statement unsugared_forloop_inc

(

statement

sl

)

Parameters

sl

l

Definition at line 569 of file controlizer.c.

{
  forloop l = statement_forloop(sl);
  expression inc = copy_expression(forloop_increment(l));
  instruction i = make_instruction_expression(inc);
  statement s = instruction_to_statement(i);
 
  return s;
}

References copy_expression(), forloop_increment, instruction_to_statement(), make_instruction_expression(), and statement_forloop().

Referenced by controlize_forloop().

Here is the call graph for this function:

Here is the caller graph for this function:

unsugared_forloop_test()

statement unsugared_forloop_test

(

statement

sl

)

Build if (c) with empty branches:

Parameters

sl

l

Definition at line 518 of file controlizer.c.

{
  forloop l = statement_forloop(sl);
  expression c = copy_expression(forloop_condition(l));
  /* Build if (c) with empty branches: */
  test t = make_test(c,
                     make_plain_continue_statement(),
                     make_plain_continue_statement());
 
  statement ts = instruction_to_statement(make_instruction_test(t));
  return ts;
}

References copy_expression(), forloop_condition, instruction_to_statement(), make_instruction_test(), make_plain_continue_statement(), make_test(), and statement_forloop().

Referenced by controlize_forloop().

Here is the call graph for this function:

Here is the caller graph for this function:

unsugared_loop_header()

statement unsugared_loop_header

(

statement

sl

)

LOOP_HEADER, LOOP_TEST and LOOP_INC build the desugaring phases of a do-loop L for the loop header (i=1), the test (i<10) and the increment (i=i+1).

Make an index initialization header for an unsugared à la Fortran do-loop "do i = l,u,s"

Parameters

[in]

sl

is the do-loop statement

Returns

an assignment statement "i = l"

Build a reference expression to the loop index:

Assign the lower range to it:

Parameters

sl

l

Definition at line 463 of file controlizer.c.

{
  loop l = statement_loop(sl);
  /* Build a reference expression to the loop index: */
  expression i = entity_to_expression(loop_index(l));
  /* Assign the lower range to it: */
  statement hs = make_assign_statement(i, copy_expression(range_lower(loop_range(l))));
 
  return hs;
}

References copy_expression(), entity_to_expression(), loop_index, loop_range, make_assign_statement(), range_lower, and statement_loop().

Referenced by controlize_loop().

Here is the call graph for this function:

Here is the caller graph for this function:

unsugared_loop_inc()

statement unsugared_loop_inc

(

statement

sl

)

Do an index increment instruction for do-loop unsugaring.

TODO : indeed the code is wrong since it only works for loops without side effects on the index inside the loop

Parameters

[in]

sl

is a statement loop of the form "do i = l, u, s"

Returns

a "i = i + s" statement test "if (i < u)" with empty then and else branches.

Build "i + s"

Build "i = i +s"

Parameters

sl

l

Definition at line 554 of file controlizer.c.

{
  loop l = statement_loop(sl);
  /* Build "i + s" */
  expression c = MakeBinaryCall(entity_intrinsic(PLUS_OPERATOR_NAME),
                          // Even for C code? To verify for pointers...
                          entity_to_expression(loop_index(l)),
                          copy_expression(range_increment(loop_range(l))));
  /* Build "i = i +s" */
  statement s = make_assign_statement(entity_to_expression(loop_index(l)),
                                      c);
 
  return s;
}

References copy_expression(), entity_intrinsic(), entity_to_expression(), loop_index, loop_range, make_assign_statement(), MakeBinaryCall(), PLUS_OPERATOR_NAME, range_increment, and statement_loop().

Referenced by controlize_loop().

Here is the call graph for this function:

Here is the caller graph for this function:

unsugared_loop_test()

statement unsugared_loop_test

(

statement

sl

)

Do a crude test of end of do-loop for do-loop unsugaring.

TODO : indeed the code is wrong since it only works for loops without side effects on the index inside the loop and if the stride is positive, and the upper bound greated than the lower bound

Parameters

[in]

sl

is a statement loop of the form "do i = l, u, s"

Returns

a test statement "if (i < u)" with empty then and else branches.

Build i < u

Build if (i < u) with empty branches:

Parameters

sl

l

Definition at line 502 of file controlizer.c.

{
  loop l = statement_loop(sl);
  /* Build i < u */
  expression c = MakeBinaryCall(entity_intrinsic(GREATER_THAN_OPERATOR_NAME),
                          entity_to_expression(loop_index(l)),
                          copy_expression(range_upper(loop_range(l))));
  /* Build if (i < u) with empty branches: */
  test t = make_test(c,
                     make_plain_continue_statement(),
                     make_plain_continue_statement());
 
  statement ts = instruction_to_statement(make_instruction_test(t));
  return ts;
}

References copy_expression(), entity_intrinsic(), entity_to_expression(), GREATER_THAN_OPERATOR_NAME, instruction_to_statement(), loop_index, loop_range, make_instruction_test(), make_plain_continue_statement(), make_test(), MakeBinaryCall(), range_upper, and statement_loop().

Referenced by controlize_loop().

Here is the call graph for this function:

Here is the caller graph for this function:

unsugared_whileloop_header()

statement unsugared_whileloop_header

(

statement sl

__attribute__(__unused__)

)

Definition at line 484 of file controlizer.c.

{
  statement hs = make_plain_continue_statement();
 
  return hs;
}

References make_plain_continue_statement().

Referenced by controlize_repeatloop(), and controlize_whileloop().

Here is the call graph for this function:

Here is the caller graph for this function:

unsugared_whileloop_test()

statement unsugared_whileloop_test

(

statement

sl

)

Parameters

sl

l

Definition at line 531 of file controlizer.c.

{
  whileloop wl = statement_whileloop(sl);
  expression c = copy_expression(whileloop_condition(wl));
  test t = make_test(c,
                     make_plain_continue_statement(),
                     make_plain_continue_statement());
 
  statement ts = instruction_to_statement(make_instruction_test(t));
  return ts;
}

References copy_expression(), instruction_to_statement(), make_instruction_test(), make_plain_continue_statement(), make_test(), statement_whileloop(), and whileloop_condition.

Referenced by controlize_repeatloop(), and controlize_whileloop().

Here is the call graph for this function:

Here is the caller graph for this function: