coins.mdf
Class TreatLoop

java.lang.Object
  coins.mdf.TreatNode
      coins.mdf.TreatLoop

class TreatLoop

extends TreatNode

This class treats `LOOP statement'. In MDF module, the `LOOP statement' is a kind of special statement because it include the flow information.

Field Summary

protected MdfEnvironment	env
protected MacroFlowGraph	mfg
protected Stmt	root
protected SymTable	symTab
protected java.util.LinkedList	visited

Constructor Summary

(package private)	TreatLoop(MdfEnvironment e, MacroFlowGraph g, LoopStmt stmt, java.util.LinkedList list) Constructor:
(package private)	TreatLoop(MdfEnvironment e, MacroFlowGraph g, LoopStmt stmt, java.util.LinkedList list, MdfConditions c) Constructor:

Method Summary

(package private) java.util.LinkedList	getLabelsInLoop(HIR child, java.util.LinkedList list) Get the list of the labels which are included in the current LOOP statement.
protected boolean	isChange(MacroTask mt, Label label) Get whether the specified macro task has the specified label.
protected BlockStmt	makeJumpBlk(Label label) Make a new block structure which include a new JUMP statement.
(package private) void	replace(MacroTask mt, Label label) Replace the basic block if it is outside of the current loop.
protected void	replaceReturn(Label label, DeclareLocalVariables decLocal) Replace the return statement into the jump statement.

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Field Detail

env

protected MdfEnvironment env

symTab

protected SymTable symTab

mfg

protected MacroFlowGraph mfg

visited

protected java.util.LinkedList visited

root

protected Stmt root

Constructor Detail

TreatLoop

TreatLoop(MdfEnvironment e,
          MacroFlowGraph g,
          LoopStmt stmt,
          java.util.LinkedList list,
          MdfConditions c)

Constructor:

Parameters:

e - The environment of the current MDF module

g - The current macro flow graph

stmt - The current LOOP statement

list - The list of the labels which the MDF module is already treated

c - The current conditions

TreatLoop

TreatLoop(MdfEnvironment e,
          MacroFlowGraph g,
          LoopStmt stmt,
          java.util.LinkedList list)

Constructor:

Parameters:

e - The environment of the current MDF module

g - The current macro flow graph

stmt - The current LOOP statement

list - The list of the labels which the MDF module is already treated

Method Detail

replace

void replace(MacroTask mt,
             Label label)

Replace the basic block if it is outside of the current loop.

Parameters:

mt - The current macro task

label - The target label

getLabelsInLoop

java.util.LinkedList getLabelsInLoop(HIR child,
                                     java.util.LinkedList list)

Get the list of the labels which are included in the current LOOP statement.

Parameters:

child - The body of the current LOOP statement

list - The list of the labels

Returns:

The list of the labels

replaceReturn

protected void replaceReturn(Label label,
                             DeclareLocalVariables decLocal)

Replace the return statement into the jump statement.

Parameters:

label - The label of the final return statement

decLocal - The declaration of the local variables

makeJumpBlk

protected BlockStmt makeJumpBlk(Label label)

Make a new block structure which include a new JUMP statement.

Parameters:

label - The target label

Returns:

A new block structure

isChange

protected boolean isChange(MacroTask mt,
                           Label label)

Get whether the specified macro task has the specified label.

Parameters:

mt - The target macro task

label - The target label

Returns:

True if the specified macro task has the specified label