Java Code Examples for jdk.nashorn.internal.ir.ForNode#isForIn()

The following examples show how to use jdk.nashorn.internal.ir.ForNode#isForIn() . You can vote up the ones you like or vote down the ones you don't like, and go to the original project or source file by following the links above each example. You may check out the related API usage on the sidebar.
Example 1
Source File: Attr.java    From openjdk-8 with GNU General Public License v2.0 6 votes vote down vote up
@Override
public Node leaveForNode(final ForNode forNode) {
    if (forNode.isForIn()) {
        forNode.setIterator(newInternal(lc.getCurrentFunction().uniqueName(ITERATOR_PREFIX.symbolName()), Type.typeFor(ITERATOR_PREFIX.type()))); //NASHORN-73
        /*
         * Iterators return objects, so we need to widen the scope of the
         * init variable if it, for example, has been assigned double type
         * see NASHORN-50
         */
        newType(forNode.getInit().getSymbol(), Type.OBJECT);
    }

    end(forNode);

    return forNode;
}
 
Example 2
Source File: Attr.java    From openjdk-8-source with GNU General Public License v2.0 6 votes vote down vote up
@Override
public Node leaveForNode(final ForNode forNode) {
    if (forNode.isForIn()) {
        forNode.setIterator(newInternal(lc.getCurrentFunction().uniqueName(ITERATOR_PREFIX.symbolName()), Type.typeFor(ITERATOR_PREFIX.type()))); //NASHORN-73
        /*
         * Iterators return objects, so we need to widen the scope of the
         * init variable if it, for example, has been assigned double type
         * see NASHORN-50
         */
        newType(forNode.getInit().getSymbol(), Type.OBJECT);
    }

    end(forNode);

    return forNode;
}
 
Example 3
Source File: LocalVariableTypesCalculator.java    From TencentKona-8 with GNU General Public License v2.0 6 votes vote down vote up
@Override
public boolean enterForNode(final ForNode forNode) {
    if(!reachable) {
        return false;
    }

    final Expression init = forNode.getInit();
    if(forNode.isForIn()) {
        final JoinPredecessorExpression iterable = forNode.getModify();
        visitExpression(iterable);
        enterTestFirstLoop(forNode, null, init,
                // If we're iterating over property names, and we can discern from the runtime environment
                // of the compilation that the object being iterated over must use strings for property
                // names (e.g., it is a native JS object or array), then we'll not bother trying to treat
                // the property names optimistically.
                !compiler.useOptimisticTypes() || (!forNode.isForEach() && compiler.hasStringPropertyIterator(iterable.getExpression())));
    } else {
        if(init != null) {
            visitExpressionOnEmptyStack(init);
        }
        enterTestFirstLoop(forNode, forNode.getModify(), null, false);
    }
    assertTypeStackIsEmpty();
    return false;
}
 
Example 4
Source File: Lower.java    From jdk8u60 with GNU General Public License v2.0 6 votes vote down vote up
@Override
public Node leaveForNode(final ForNode forNode) {
    ForNode newForNode = forNode;

    final Expression test = forNode.getTest();
    if (!forNode.isForIn() && isAlwaysTrue(test)) {
        newForNode = forNode.setTest(lc, null);
    }

    newForNode = checkEscape(newForNode);
    if(newForNode.isForIn()) {
        // Wrap it in a block so its internally created iterator is restricted in scope
        addStatementEnclosedInBlock(newForNode);
    } else {
        addStatement(newForNode);
    }
    return newForNode;
}
 
Example 5
Source File: IRTranslator.java    From openjdk-jdk9 with GNU General Public License v2.0 6 votes vote down vote up
@Override
public boolean enterForNode(final ForNode forNode) {
    if (forNode.isForIn()) {
        curStat = new ForInLoopTreeImpl(forNode,
                translateExpr(forNode.getInit()),
                translateExpr(forNode.getModify()),
                translateBlock(forNode.getBody()));
    } else if (forNode.isForOf()) {
        curStat = new ForOfLoopTreeImpl(forNode,
                translateExpr(forNode.getInit()),
                translateExpr(forNode.getModify()),
                translateBlock(forNode.getBody()));
    } else {
        curStat = new ForLoopTreeImpl(forNode,
                translateExpr(forNode.getInit()),
                translateExpr(forNode.getTest()),
                translateExpr(forNode.getModify()),
                translateBlock(forNode.getBody()));
    }

    return false;
}
 
Example 6
Source File: Lower.java    From openjdk-jdk8u with GNU General Public License v2.0 6 votes vote down vote up
@Override
public Node leaveForNode(final ForNode forNode) {
    ForNode newForNode = forNode;

    final Expression test = forNode.getTest();
    if (!forNode.isForIn() && isAlwaysTrue(test)) {
        newForNode = forNode.setTest(lc, null);
    }

    newForNode = checkEscape(newForNode);
    if(newForNode.isForIn()) {
        // Wrap it in a block so its internally created iterator is restricted in scope
        addStatementEnclosedInBlock(newForNode);
    } else {
        addStatement(newForNode);
    }
    return newForNode;
}
 
Example 7
Source File: LocalVariableTypesCalculator.java    From hottub with GNU General Public License v2.0 6 votes vote down vote up
@Override
public boolean enterForNode(final ForNode forNode) {
    if(!reachable) {
        return false;
    }

    final Expression init = forNode.getInit();
    if(forNode.isForIn()) {
        final JoinPredecessorExpression iterable = forNode.getModify();
        visitExpression(iterable);
        enterTestFirstLoop(forNode, null, init,
                // If we're iterating over property names, and we can discern from the runtime environment
                // of the compilation that the object being iterated over must use strings for property
                // names (e.g., it is a native JS object or array), then we'll not bother trying to treat
                // the property names optimistically.
                !compiler.useOptimisticTypes() || (!forNode.isForEach() && compiler.hasStringPropertyIterator(iterable.getExpression())));
    } else {
        if(init != null) {
            visitExpressionOnEmptyStack(init);
        }
        enterTestFirstLoop(forNode, forNode.getModify(), null, false);
    }
    assertTypeStackIsEmpty();
    return false;
}
 
Example 8
Source File: Lower.java    From jdk8u_nashorn with GNU General Public License v2.0 6 votes vote down vote up
@Override
public Node leaveForNode(final ForNode forNode) {
    ForNode newForNode = forNode;

    final Expression test = forNode.getTest();
    if (!forNode.isForIn() && isAlwaysTrue(test)) {
        newForNode = forNode.setTest(lc, null);
    }

    newForNode = checkEscape(newForNode);
    if(newForNode.isForIn()) {
        // Wrap it in a block so its internally created iterator is restricted in scope
        addStatementEnclosedInBlock(newForNode);
    } else {
        addStatement(newForNode);
    }
    return newForNode;
}
 
Example 9
Source File: Lower.java    From openjdk-jdk8u-backup with GNU General Public License v2.0 6 votes vote down vote up
@Override
public Node leaveForNode(final ForNode forNode) {
    ForNode newForNode = forNode;

    final Expression test = forNode.getTest();
    if (!forNode.isForIn() && isAlwaysTrue(test)) {
        newForNode = forNode.setTest(lc, null);
    }

    newForNode = checkEscape(newForNode);
    if(newForNode.isForIn()) {
        // Wrap it in a block so its internally created iterator is restricted in scope
        addStatementEnclosedInBlock(newForNode);
    } else {
        addStatement(newForNode);
    }
    return newForNode;
}
 
Example 10
Source File: OptimisticTypesCalculator.java    From hottub with GNU General Public License v2.0 5 votes vote down vote up
@Override
public boolean enterForNode(final ForNode forNode) {
    if(forNode.isForIn()) {
        // for..in has the iterable in its "modify"
        tagNeverOptimistic(forNode.getModify());
    } else {
        // Test is never optimistic (always coerced to boolean).
        tagNeverOptimisticLoopTest(forNode);
    }
    return true;
}
 
Example 11
Source File: Lower.java    From openjdk-8 with GNU General Public License v2.0 5 votes vote down vote up
@Override
public Node leaveForNode(final ForNode forNode) {
    ForNode newForNode = forNode;

    final Node  test = forNode.getTest();
    if (!forNode.isForIn() && conservativeAlwaysTrue(test)) {
        newForNode = forNode.setTest(lc, null);
    }

    return addStatement(checkEscape(newForNode));
}
 
Example 12
Source File: OptimisticTypesCalculator.java    From jdk8u_nashorn with GNU General Public License v2.0 5 votes vote down vote up
@Override
public boolean enterForNode(final ForNode forNode) {
    if(forNode.isForIn()) {
        // for..in has the iterable in its "modify"
        tagNeverOptimistic(forNode.getModify());
    } else {
        // Test is never optimistic (always coerced to boolean).
        tagNeverOptimisticLoopTest(forNode);
    }
    return true;
}
 
Example 13
Source File: Lower.java    From nashorn with GNU General Public License v2.0 5 votes vote down vote up
@Override
public Node leaveForNode(final ForNode forNode) {
    ForNode newForNode = forNode;

    final Node  test = forNode.getTest();
    if (!forNode.isForIn() && conservativeAlwaysTrue(test)) {
        newForNode = forNode.setTest(lc, null);
    }

    return addStatement(checkEscape(newForNode));
}
 
Example 14
Source File: OptimisticTypesCalculator.java    From openjdk-jdk8u-backup with GNU General Public License v2.0 5 votes vote down vote up
@Override
public boolean enterForNode(final ForNode forNode) {
    if(forNode.isForIn()) {
        // for..in has the iterable in its "modify"
        tagNeverOptimistic(forNode.getModify());
    } else {
        // Test is never optimistic (always coerced to boolean).
        tagNeverOptimisticLoopTest(forNode);
    }
    return true;
}
 
Example 15
Source File: AssignSymbols.java    From jdk8u_nashorn with GNU General Public License v2.0 5 votes vote down vote up
@Override
public Node leaveForNode(final ForNode forNode) {
    if (forNode.isForIn()) {
        return forNode.setIterator(lc, newObjectInternal(ITERATOR_PREFIX)); //NASHORN-73
    }

    return end(forNode);
}
 
Example 16
Source File: AssignSymbols.java    From openjdk-jdk8u with GNU General Public License v2.0 5 votes vote down vote up
@Override
public Node leaveForNode(final ForNode forNode) {
    if (forNode.isForIn()) {
        return forNode.setIterator(lc, newObjectInternal(ITERATOR_PREFIX)); //NASHORN-73
    }

    return end(forNode);
}
 
Example 17
Source File: CodeGenerator.java    From openjdk-8-source with GNU General Public License v2.0 5 votes vote down vote up
@Override
public boolean enterForNode(final ForNode forNode) {
    lineNumber(forNode);

    if (forNode.isForIn()) {
        enterForIn(forNode);
    } else {
        enterFor(forNode);
    }

    return false;
}
 
Example 18
Source File: OptimisticTypesCalculator.java    From jdk8u60 with GNU General Public License v2.0 5 votes vote down vote up
@Override
public boolean enterForNode(final ForNode forNode) {
    if(forNode.isForIn()) {
        // for..in has the iterable in its "modify"
        tagNeverOptimistic(forNode.getModify());
    } else {
        // Test is never optimistic (always coerced to boolean).
        tagNeverOptimisticLoopTest(forNode);
    }
    return true;
}
 
Example 19
Source File: AssignSymbols.java    From jdk8u60 with GNU General Public License v2.0 5 votes vote down vote up
@Override
public Node leaveForNode(final ForNode forNode) {
    if (forNode.isForIn()) {
        forNode.setIterator(newObjectInternal(ITERATOR_PREFIX)); //NASHORN-73
    }

    return end(forNode);
}
 
Example 20
Source File: CodeGenerator.java    From openjdk-8 with GNU General Public License v2.0 5 votes vote down vote up
@Override
public boolean enterForNode(final ForNode forNode) {
    lineNumber(forNode);

    if (forNode.isForIn()) {
        enterForIn(forNode);
    } else {
        enterFor(forNode);
    }

    return false;
}