LoopEx (Graal OpenJDK Project Documentation)

java.lang.Object
- com.oracle.graal.loop.LoopEx

```
public class LoopEx
extends Object
```

Nested Class Summary

Nested Classes
Modifier and Type Class and Description

private class LoopEx.InvariantPredicate

Nested Classes
Modifier and Type	Class and Description
`private class`	`LoopEx.InvariantPredicate`

Field Summary

Fields
Modifier and Type	Field and Description
`private CountedLoopInfo`	`counted`
`private LoopsData`	`data`
`private LoopFragmentInside`	`inside`
`private Map<Node,InductionVariable>`	`ivs`
`private Loop<Block>`	`loop`
`private LoopFragmentWhole`	`whole`

Constructor Summary

Constructors
Constructor and Description

LoopEx(Loop<Block> loop, LoopsData data)

Constructors
Constructor and Description
`LoopEx(Loop<Block> loop, LoopsData data)`

Method Summary

All Methods Static Methods Instance Methods Concrete Methods
Modifier and Type	Method and Description
`private static ValueNode`	`addSub(LoopEx loop, ValueNode op, ValueNode base)`
`CountedLoopInfo`	`counted()`
`void`	`deleteUnusedNodes()` Deletes any nodes created within the scope of this object that have no usages.
`boolean`	`detectCounted()`
`FixedNode`	`entryPoint()`
`private static Map<Node,InductionVariable>`	`findInductionVariables(LoopEx loop)` Collect all the basic induction variables for the loop and the find any induction variables which are derived from the basic ones.
`Map<Node,InductionVariable>`	`getInductionVariables()`
`LoopFragmentInside`	`inside()`
`LoopFragmentInsideBefore`	`insideBefore(FixedNode point)`
`LoopFragmentInsideFrom`	`insideFrom(FixedNode point)`
`void`	`invalidateFragments()`
`boolean`	`isCounted()`
`boolean`	`isOutsideLoop(Node n)`
`Loop<Block>`	`loop()`
`LoopBeginNode`	`loopBegin()`
`LoopsData`	`loopsData()`
`private static ValueNode`	`mul(LoopEx loop, ValueNode op, ValueNode base)`
`NodeBitMap`	`nodesInLoopBranch(AbstractBeginNode branch)`
`LoopEx`	`parent()`
`FixedNode`	`predecessor()`
`void`	`reassociateInvariants()`
`int`	`size()`
`String`	`toString()`
`LoopFragmentWhole`	`whole()`

Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

Field Detail

loop
```
private final Loop<Block> loop
```

inside
```
private LoopFragmentInside inside
```

whole
```
private LoopFragmentWhole whole
```

counted
```
private CountedLoopInfo counted
```

data
```
private LoopsData data
```

ivs

private Map<Node,InductionVariable> ivs

Constructor Detail

LoopEx

LoopEx(Loop<Block> loop,
       LoopsData data)

Method Detail

loop
```
public Loop<Block> loop()
```

inside
```
public LoopFragmentInside inside()
```

whole
```
public LoopFragmentWhole whole()
```

invalidateFragments
```
public void invalidateFragments()
```

insideFrom

public LoopFragmentInsideFrom insideFrom(FixedNode point)

insideBefore

public LoopFragmentInsideBefore insideBefore(FixedNode point)

isOutsideLoop
```
public boolean isOutsideLoop(Node n)
```

loopBegin
```
public LoopBeginNode loopBegin()
```

predecessor
```
public FixedNode predecessor()
```

entryPoint
```
public FixedNode entryPoint()
```

isCounted
```
public boolean isCounted()
```

counted
```
public CountedLoopInfo counted()
```

parent
```
public LoopEx parent()
```

size
```
public int size()
```

toString
```
public String toString()
```
Overrides:

toString in class Object

reassociateInvariants
```
public void reassociateInvariants()
```

detectCounted
```
public boolean detectCounted()
```

loopsData
```
public LoopsData loopsData()
```

nodesInLoopBranch

public NodeBitMap nodesInLoopBranch(AbstractBeginNode branch)

getInductionVariables

public Map<Node,InductionVariable> getInductionVariables()

findInductionVariables
```
private static Map<Node,InductionVariable> findInductionVariables(LoopEx loop)
```
Collect all the basic induction variables for the loop and the find any induction variables which are derived from the basic ones.

Parameters:

loop -

Returns:

a map from node to induction variable

addSub

private static ValueNode addSub(LoopEx loop,
                                ValueNode op,
                                ValueNode base)

mul

private static ValueNode mul(LoopEx loop,
                             ValueNode op,
                             ValueNode base)

deleteUnusedNodes
```
public void deleteUnusedNodes()
```
Deletes any nodes created within the scope of this object that have no usages.

Class LoopEx

Nested Class Summary

Field Summary

Constructor Summary

Method Summary

Methods inherited from class java.lang.Object

Field Detail

loop

inside

whole

counted

data

ivs

Constructor Detail

LoopEx

Method Detail

loop

inside

whole

invalidateFragments

insideFrom

insideBefore

isOutsideLoop

loopBegin

predecessor

entryPoint

isCounted

counted

parent

size

toString

reassociateInvariants

detectCounted

loopsData

nodesInLoopBranch

getInductionVariables

findInductionVariables

addSub

mul

deleteUnusedNodes