claw.wani.transformation.ll.loop

Class LoopFusion

java.lang.Object

claw.shenron.transformation.Transformation

claw.wani.transformation.ClawTransformation

claw.wani.transformation.ll.loop.LoopFusion

public class LoopFusion
extends ClawTransformation

A LoopFusion transformation is a dependent transformation. If two LoopFusion transformation units shared the same fusion group and the same loop iteration information, they can be merge together. The transformation consists of merging the body of the second do statement to the end of the first do statement.

Author:

clementval

Field Summary

Fields inherited from class claw.wani.transformation.ClawTransformation

_claw

Constructor Summary

Constructors

Constructor and Description
LoopFusion(ClawPragma directive) Constructs a new LoopFusion triggered from a specific pragma.
LoopFusion(Xnode loop, ClawPragma ghostDirective) LoopFusion ctor without pragma.

Method Summary

Modifier and Type	Method and Description
boolean	analyze(XcodeProgram xcodeml, Translator translator) Loop fusion analysis: - Without collapse clause: check whether the pragma statement is followed by a do statement.
boolean	canBeTransformedWith(XcodeProgram xcodeml, Transformation transformation) Check whether the loop fusion unit can be merged with the given loop fusion unit.
void	transform(XcodeProgram xcodeml, Translator translator, Transformation transformation) Apply the loop fusion transformation.

Methods inherited from class claw.wani.transformation.ClawTransformation

getLanguageInfo, removePragma

Methods inherited from class claw.shenron.transformation.Transformation

abortOnFailedAnalysis, getDirective, getStartLine, isTransformed, setStartLine, transformed

Methods inherited from class java.lang.Object

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

Constructor Detail

LoopFusion

public LoopFusion(ClawPragma directive)

Constructs a new LoopFusion triggered from a specific pragma.

Parameters:

directive - The directive that triggered the loop fusion transformation.

LoopFusion

public LoopFusion(Xnode loop,
                  ClawPragma ghostDirective)

LoopFusion ctor without pragma. Create a LoopFusion dynamically at runtime.

Parameters:

loop - The do statement to be merge by the loop fusion.

ghostDirective - The generated directive that will be used for the loop-fusion transformation.

Method Detail

analyze

public boolean analyze(XcodeProgram xcodeml,
                       Translator translator)

Loop fusion analysis: - Without collapse clause: check whether the pragma statement is followed by a do statement. - With collapse clause: Find the n do statements following the pragma.

Specified by:

analyze in class Transformation

Parameters:

xcodeml - The XcodeML on which the transformations are applied.

translator - The translator used to applied the transformations.

Returns:

True if a do statement is found. False otherwise.

transform

public void transform(XcodeProgram xcodeml,
                      Translator translator,
                      Transformation transformation)
               throws IllegalTransformationException

Apply the loop fusion transformation.

Specified by:

transform in class Transformation

Parameters:

xcodeml - The XcodeML on which the transformations are applied.

translator - The translator used to applied the transformations.

transformation - The other loop fusion unit to be merge with this one.

Throws:

IllegalTransformationException - if the transformation cannot be applied.

canBeTransformedWith

public boolean canBeTransformedWith(XcodeProgram xcodeml,
                                    Transformation transformation)

Check whether the loop fusion unit can be merged with the given loop fusion unit. To be able to be transformed together, the loop fusion units must share the same parent block, the same iteration range, the same group option and both units must be not transformed.

Specified by:

canBeTransformedWith in class Transformation

Parameters:

transformation - The other loop fusion unit to be merge with this one.

xcodeml - The XcodeML on which the transformations are applied.

Returns:

True if the two loop fusion unit can be merge together.

See Also:

DependentTransformationGroup