private void registerIfNode(IfNode ifNode, BeginNode begin) {
final boolean isThenBranch = (begin == ifNode.trueSuccessor());
if (ifNode.condition() instanceof LogicConstantNode) {
final LogicConstantNode constCond = (LogicConstantNode) ifNode.condition();
if (isThenBranch != constCond.getValue()) {
state.impossiblePath();
// let IfNode(constant) prune the dead-code control-path
}
}
if (state.isUnreachable) {
if (!(ifNode.condition() instanceof LogicConstantNode)) {
// if condition constant, no need to add a Deopt node
postponedDeopts.addDeoptAfter(begin, UnreachedCode);
}
} else {
state.addFact(isThenBranch, ifNode.condition(), begin);
}
}
public void detectedCountedLoops() {
for (LoopEx loop : loops()) {
InductionVariables ivs = new InductionVariables(loop);
LoopBeginNode loopBegin = loop.loopBegin();
FixedNode next = loopBegin.next();
while (next instanceof FixedGuardNode || next instanceof ValueAnchorNode) {
next = ((FixedWithNextNode) next).next();
}
if (next instanceof IfNode) {
IfNode ifNode = (IfNode) next;
boolean negated = false;
if (!loopBegin.isLoopExit(ifNode.falseSuccessor())) {
if (!loopBegin.isLoopExit(ifNode.trueSuccessor())) {
continue;
}
negated = true;
}
LogicNode ifTest = ifNode.condition();
if (!(ifTest instanceof IntegerLessThanNode)) {
if (ifTest instanceof IntegerBelowThanNode) {
Debug.log("Ignored potential Counted loop at %s with |<|", loopBegin);
}
continue;
}
IntegerLessThanNode lessThan = (IntegerLessThanNode) ifTest;
Condition condition = null;
InductionVariable iv = null;
ValueNode limit = null;
if (loop.isOutsideLoop(lessThan.x())) {
iv = ivs.get(lessThan.y());
if (iv != null) {
condition = lessThan.condition().mirror();
limit = lessThan.x();
}
} else if (loop.isOutsideLoop(lessThan.y())) {
iv = ivs.get(lessThan.x());
if (iv != null) {
condition = lessThan.condition();
limit = lessThan.y();
}
}
if (condition == null) {
continue;
}
if (negated) {
condition = condition.negate();
}
boolean oneOff = false;
switch (condition) {
case LE:
oneOff = true; // fall through
case LT:
if (iv.direction() != Direction.Up) {
continue;
}
break;
case GE:
oneOff = true; // fall through
case GT:
if (iv.direction() != Direction.Down) {
continue;
}
break;
default:
throw GraalInternalError.shouldNotReachHere();
}
loop.setCounted(
new CountedLoopInfo(
loop,
iv,
limit,
oneOff,
negated ? ifNode.falseSuccessor() : ifNode.trueSuccessor()));
}
}
}