jdk.nashorn.internal.ir.ForNode Java Examples

The following examples show how to use jdk.nashorn.internal.ir.ForNode. 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: Lower.java From openjdk-jdk8u-backup with GNU General Public License v2.0

6 votes

@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 #2

Source File: Lower.java From TencentKona-8 with GNU General Public License v2.0

6 votes

@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 #3

Source File: Attr.java From nashorn with GNU General Public License v2.0

6 votes

@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 #4

Source File: LocalVariableTypesCalculator.java From TencentKona-8 with GNU General Public License v2.0

6 votes

@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 #5

Source File: Lower.java From hottub with GNU General Public License v2.0

6 votes

@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 #6

Source File: Lower.java From jdk8u60 with GNU General Public License v2.0

6 votes

@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 openjdk-jdk9 with GNU General Public License v2.0

6 votes

@Override
public boolean enterForNode(final ForNode forNode) {
    if(!reachable) {
        return false;
    }

    final Expression init = forNode.getInit();
    if(forNode.isForInOrOf()) {
        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 openjdk-jdk8u with GNU General Public License v2.0

6 votes

@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: IRTranslator.java From openjdk-jdk9 with GNU General Public License v2.0

6 votes

@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 #10

Source File: Lower.java From openjdk-jdk9 with GNU General Public License v2.0

6 votes

@Override
public Node leaveForNode(final ForNode forNode) {
    ForNode newForNode = forNode;

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

    newForNode = checkEscape(newForNode);
    if(!es6 && newForNode.isForInOrOf()) {
        // Wrap it in a block so its internally created iterator is restricted in scope, unless we are running
        // in ES6 mode, in which case the parser already created a block to capture let/const declarations.
        addStatementEnclosedInBlock(newForNode);
    } else {
        addStatement(newForNode);
    }
    return newForNode;
}

Example #11

Source File: LocalVariableTypesCalculator.java From openjdk-jdk8u-backup with GNU General Public License v2.0

6 votes

@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 #12

Source File: Lower.java From jdk8u_nashorn with GNU General Public License v2.0

6 votes

@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 #13

Source File: FinalizeTypes.java From openjdk-8 with GNU General Public License v2.0

6 votes

@Override
public Node leaveForNode(final ForNode forNode) {
    if (forNode.isForIn()) {
        return forNode;
    }

    final Expression init   = forNode.getInit();
    final Expression test   = forNode.getTest();
    final Expression modify = forNode.getModify();

    assert test != null || forNode.hasGoto() : "forNode " + forNode + " needs goto and is missing it in " + lc.getCurrentFunction();

    return forNode.
        setInit(lc, init == null ? null : discard(init)).
        setModify(lc, modify == null ? null : discard(modify));
}

Example #14

Source File: Lower.java From openjdk-8 with GNU General Public License v2.0

5 votes

@Override
public Node leaveWhileNode(final WhileNode whileNode) {
    final Node test  = whileNode.getTest();
    final Block body = whileNode.getBody();

    if (conservativeAlwaysTrue(test)) {
        //turn it into a for node without a test.
        final ForNode forNode = (ForNode)new ForNode(whileNode.getLineNumber(), whileNode.getToken(), whileNode.getFinish(), null, null, body, null, ForNode.IS_FOR).accept(this);
        lc.replace(whileNode, forNode);
        return forNode;
    }

     return addStatement(checkEscape(whileNode));
}

Example #15

Source File: CodeGenerator.java From nashorn with GNU General Public License v2.0

5 votes

@Override
public boolean enterForNode(final ForNode forNode) {
    lineNumber(forNode);

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

    return false;
}

Example #16

Source File: OptimisticTypesCalculator.java From jdk8u_nashorn with GNU General Public License v2.0

5 votes

@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 #17

Source File: AssignSymbols.java From hottub with GNU General Public License v2.0

5 votes

@Override
public Node leaveForNode(final ForNode forNode) {
    if (forNode.isForIn()) {
        return forNode.setIterator(lc, newObjectInternal(ITERATOR_PREFIX)); //NASHORN-73
    }

    return end(forNode);
}

Example #18

Source File: Lower.java From jdk8u_nashorn with GNU General Public License v2.0

5 votes

@Override
public Node leaveWhileNode(final WhileNode whileNode) {
    final Expression test = whileNode.getTest();
    final Block body = whileNode.getBody();

    if (isAlwaysTrue(test)) {
        //turn it into a for node without a test.
        final ForNode forNode = (ForNode)new ForNode(whileNode.getLineNumber(), whileNode.getToken(), whileNode.getFinish(), body, 0).accept(this);
        lc.replace(whileNode, forNode);
        return forNode;
    }

     return addStatement(checkEscape(whileNode));
}

Example #19

Source File: Lower.java From hottub with GNU General Public License v2.0

5 votes

@Override
public Node leaveWhileNode(final WhileNode whileNode) {
    final Expression test = whileNode.getTest();
    final Block body = whileNode.getBody();

    if (isAlwaysTrue(test)) {
        //turn it into a for node without a test.
        final ForNode forNode = (ForNode)new ForNode(whileNode.getLineNumber(), whileNode.getToken(), whileNode.getFinish(), body, 0).accept(this);
        lc.replace(whileNode, forNode);
        return forNode;
    }

     return addStatement(checkEscape(whileNode));
}

Example #20

Source File: OptimisticTypesCalculator.java From openjdk-jdk9 with GNU General Public License v2.0

5 votes

@Override
public boolean enterForNode(final ForNode forNode) {
    if(forNode.isForInOrOf()) {
        // 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 #21

Source File: ForLoopTreeImpl.java From openjdk-jdk9 with GNU General Public License v2.0

5 votes

ForLoopTreeImpl(final ForNode node,
    final ExpressionTree init,
    final ExpressionTree cond,
    final ExpressionTree update,
    final StatementTree  stat) {
    super(node);
    assert !node.isForIn() : "for statement expected";
    this.init = init;
    this.cond = cond;
    this.update = update;
    this.stat = stat;
}

Example #22

Source File: ForOfLoopTreeImpl.java From openjdk-jdk9 with GNU General Public License v2.0

5 votes

ForOfLoopTreeImpl(final ForNode node,
        final ExpressionTree lhsExpr,
        final ExpressionTree expr,
        final StatementTree stat) {
    super(node);
    assert node.isForIn() : "for ..in expected";
    this.lhsExpr = lhsExpr;
    this.expr = expr;
    this.stat = stat;
}

Example #23

Source File: AssignSymbols.java From jdk8u_nashorn with GNU General Public License v2.0

5 votes

@Override
public Node leaveForNode(final ForNode forNode) {
    if (forNode.isForIn()) {
        return forNode.setIterator(lc, newObjectInternal(ITERATOR_PREFIX)); //NASHORN-73
    }

    return end(forNode);
}

Example #24

Source File: CodeGenerator.java From openjdk-8-source with GNU General Public License v2.0

5 votes

@Override
public boolean enterForNode(final ForNode forNode) {
    lineNumber(forNode);

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

    return false;
}

Example #25

Source File: CodeGenerator.java From openjdk-8-source with GNU General Public License v2.0

5 votes

private void enterFor(final ForNode forNode) {
    final Expression init   = forNode.getInit();
    final Expression test   = forNode.getTest();
    final Block      body   = forNode.getBody();
    final Expression modify = forNode.getModify();

    if (init != null) {
        init.accept(this);
    }

    final Label loopLabel = new Label("loop");
    final Label testLabel = new Label("test");

    method._goto(testLabel);
    method.label(loopLabel);
    body.accept(this);
    method.label(forNode.getContinueLabel());

    if (!body.isTerminal() && modify != null) {
        load(modify);
    }

    method.label(testLabel);
    if (test != null) {
        new BranchOptimizer(this, method).execute(test, loopLabel, true);
    } else {
        method._goto(loopLabel);
    }

    method.label(forNode.getBreakLabel());
}

Example #26

Source File: OptimisticTypesCalculator.java From openjdk-jdk8u-backup with GNU General Public License v2.0

5 votes

@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 #27

Source File: Lower.java From openjdk-jdk8u-backup with GNU General Public License v2.0

5 votes

@Override
public Node leaveWhileNode(final WhileNode whileNode) {
    final Expression test = whileNode.getTest();
    final Block body = whileNode.getBody();

    if (isAlwaysTrue(test)) {
        //turn it into a for node without a test.
        final ForNode forNode = (ForNode)new ForNode(whileNode.getLineNumber(), whileNode.getToken(), whileNode.getFinish(), body, 0).accept(this);
        lc.replace(whileNode, forNode);
        return forNode;
    }

     return addStatement(checkEscape(whileNode));
}

Example #28

Source File: RangeAnalyzer.java From openjdk-8 with GNU General Public License v2.0

5 votes

@Override
public boolean enterForNode(final ForNode forNode) {
    //conservatively attempt to identify the loop counter. Null means that it wasn't
    //properly identified and that no optimizations can be made with it - its range is
    //simply unknown in that case, if it is assigned in the loop
    final Symbol counter = findLoopCounter(forNode);
    LOG.fine("Entering forNode " + forNode + " counter = " + counter);
    if (counter != null && !assignedInLoop(forNode,  counter)) {
        loopCounters.put(forNode, counter);
    }
    return true;
}

Example #29

Source File: AssignSymbols.java From openjdk-jdk8u-backup with GNU General Public License v2.0

5 votes

@Override
public Node leaveForNode(final ForNode forNode) {
    if (forNode.isForIn()) {
        return forNode.setIterator(lc, newObjectInternal(ITERATOR_PREFIX)); //NASHORN-73
    }

    return end(forNode);
}

Example #30

Source File: AssignSymbols.java From openjdk-jdk9 with GNU General Public License v2.0

5 votes

@Override
public Node leaveForNode(final ForNode forNode) {
    if (forNode.isForInOrOf()) {
        return forNode.setIterator(lc, newObjectInternal(ITERATOR_PREFIX)); //NASHORN-73
    }

    return end(forNode);
}