Thu, 11 Jul 2013 18:33:33 +0200
8013925: Remove symbol fields from nodes that don't need them
Reviewed-by: jlaskey, lagergren
jlaskey@3 | 1 | /* |
jlaskey@7 | 2 | * Copyright (c) 2010, 2013, Oracle and/or its affiliates. All rights reserved. |
jlaskey@3 | 3 | * DO NOT ALTER OR REMOVE COPYRIGHT NOTICES OR THIS FILE HEADER. |
jlaskey@3 | 4 | * |
jlaskey@3 | 5 | * This code is free software; you can redistribute it and/or modify it |
jlaskey@3 | 6 | * under the terms of the GNU General Public License version 2 only, as |
jlaskey@3 | 7 | * published by the Free Software Foundation. Oracle designates this |
jlaskey@3 | 8 | * particular file as subject to the "Classpath" exception as provided |
jlaskey@3 | 9 | * by Oracle in the LICENSE file that accompanied this code. |
jlaskey@3 | 10 | * |
jlaskey@3 | 11 | * This code is distributed in the hope that it will be useful, but WITHOUT |
jlaskey@3 | 12 | * ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or |
jlaskey@3 | 13 | * FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License |
jlaskey@3 | 14 | * version 2 for more details (a copy is included in the LICENSE file that |
jlaskey@3 | 15 | * accompanied this code). |
jlaskey@3 | 16 | * |
jlaskey@3 | 17 | * You should have received a copy of the GNU General Public License version |
jlaskey@3 | 18 | * 2 along with this work; if not, write to the Free Software Foundation, |
jlaskey@3 | 19 | * Inc., 51 Franklin St, Fifth Floor, Boston, MA 02110-1301 USA. |
jlaskey@3 | 20 | * |
jlaskey@3 | 21 | * Please contact Oracle, 500 Oracle Parkway, Redwood Shores, CA 94065 USA |
jlaskey@3 | 22 | * or visit www.oracle.com if you need additional information or have any |
jlaskey@3 | 23 | * questions. |
jlaskey@3 | 24 | */ |
jlaskey@3 | 25 | |
jlaskey@3 | 26 | package jdk.nashorn.internal.codegen; |
jlaskey@3 | 27 | |
lagergren@96 | 28 | import static jdk.nashorn.internal.codegen.Condition.EQ; |
lagergren@96 | 29 | import static jdk.nashorn.internal.codegen.Condition.GE; |
lagergren@96 | 30 | import static jdk.nashorn.internal.codegen.Condition.GT; |
lagergren@96 | 31 | import static jdk.nashorn.internal.codegen.Condition.LE; |
lagergren@96 | 32 | import static jdk.nashorn.internal.codegen.Condition.LT; |
lagergren@96 | 33 | import static jdk.nashorn.internal.codegen.Condition.NE; |
jlaskey@3 | 34 | |
jlaskey@3 | 35 | import jdk.nashorn.internal.codegen.types.Type; |
jlaskey@3 | 36 | import jdk.nashorn.internal.ir.BinaryNode; |
attila@430 | 37 | import jdk.nashorn.internal.ir.Expression; |
jlaskey@3 | 38 | import jdk.nashorn.internal.ir.TernaryNode; |
jlaskey@3 | 39 | import jdk.nashorn.internal.ir.UnaryNode; |
jlaskey@3 | 40 | |
jlaskey@3 | 41 | /** |
jlaskey@3 | 42 | * Branch optimizer for CodeGenerator. Given a jump condition this helper |
jlaskey@3 | 43 | * class attempts to simplify the control flow |
jlaskey@3 | 44 | */ |
jlaskey@3 | 45 | final class BranchOptimizer { |
jlaskey@3 | 46 | |
jlaskey@3 | 47 | private final CodeGenerator codegen; |
jlaskey@3 | 48 | private final MethodEmitter method; |
jlaskey@3 | 49 | |
jlaskey@3 | 50 | BranchOptimizer(final CodeGenerator codegen, final MethodEmitter method) { |
jlaskey@3 | 51 | this.codegen = codegen; |
jlaskey@3 | 52 | this.method = method; |
jlaskey@3 | 53 | } |
jlaskey@3 | 54 | |
attila@430 | 55 | void execute(final Expression node, final Label label, final boolean state) { |
jlaskey@3 | 56 | branchOptimizer(node, label, state); |
jlaskey@3 | 57 | } |
jlaskey@3 | 58 | |
attila@430 | 59 | private void load(final Expression node) { |
jlaskey@3 | 60 | codegen.load(node); |
jlaskey@3 | 61 | } |
jlaskey@3 | 62 | |
jlaskey@3 | 63 | private void branchOptimizer(final UnaryNode unaryNode, final Label label, final boolean state) { |
attila@430 | 64 | final Expression rhs = unaryNode.rhs(); |
jlaskey@3 | 65 | |
jlaskey@3 | 66 | switch (unaryNode.tokenType()) { |
jlaskey@3 | 67 | case NOT: |
jlaskey@3 | 68 | branchOptimizer(rhs, label, !state); |
jlaskey@3 | 69 | return; |
jlaskey@3 | 70 | case CONVERT: |
jlaskey@3 | 71 | if (unaryNode.getType().isBoolean()) { |
jlaskey@3 | 72 | branchOptimizer(rhs, label, state); |
jlaskey@3 | 73 | return; |
jlaskey@3 | 74 | } |
jlaskey@3 | 75 | break; |
jlaskey@3 | 76 | default: |
jlaskey@3 | 77 | break; |
jlaskey@3 | 78 | } |
jlaskey@3 | 79 | |
jlaskey@3 | 80 | // convert to boolean |
jlaskey@3 | 81 | load(unaryNode); |
jlaskey@3 | 82 | method.convert(Type.BOOLEAN); |
jlaskey@3 | 83 | if (state) { |
jlaskey@3 | 84 | method.ifne(label); |
jlaskey@3 | 85 | } else { |
jlaskey@3 | 86 | method.ifeq(label); |
jlaskey@3 | 87 | } |
jlaskey@3 | 88 | } |
jlaskey@3 | 89 | |
jlaskey@3 | 90 | private void branchOptimizer(final BinaryNode binaryNode, final Label label, final boolean state) { |
attila@430 | 91 | final Expression lhs = binaryNode.lhs(); |
attila@430 | 92 | final Expression rhs = binaryNode.rhs(); |
jlaskey@3 | 93 | |
jlaskey@3 | 94 | switch (binaryNode.tokenType()) { |
jlaskey@3 | 95 | case AND: |
jlaskey@3 | 96 | if (state) { |
jlaskey@3 | 97 | final Label skip = new Label("skip"); |
jlaskey@3 | 98 | branchOptimizer(lhs, skip, false); |
jlaskey@3 | 99 | branchOptimizer(rhs, label, true); |
jlaskey@3 | 100 | method.label(skip); |
jlaskey@3 | 101 | } else { |
jlaskey@3 | 102 | branchOptimizer(lhs, label, false); |
jlaskey@3 | 103 | branchOptimizer(rhs, label, false); |
jlaskey@3 | 104 | } |
jlaskey@3 | 105 | return; |
jlaskey@3 | 106 | |
jlaskey@3 | 107 | case OR: |
jlaskey@3 | 108 | if (state) { |
jlaskey@3 | 109 | branchOptimizer(lhs, label, true); |
jlaskey@3 | 110 | branchOptimizer(rhs, label, true); |
jlaskey@3 | 111 | } else { |
jlaskey@3 | 112 | final Label skip = new Label("skip"); |
jlaskey@3 | 113 | branchOptimizer(lhs, skip, true); |
jlaskey@3 | 114 | branchOptimizer(rhs, label, false); |
jlaskey@3 | 115 | method.label(skip); |
jlaskey@3 | 116 | } |
jlaskey@3 | 117 | return; |
jlaskey@3 | 118 | |
jlaskey@3 | 119 | case EQ: |
jlaskey@3 | 120 | case EQ_STRICT: |
jlaskey@3 | 121 | assert rhs.getType().isEquivalentTo(lhs.getType()) : "type mismatch: " + lhs.getSymbol() + " to " + rhs.getSymbol(); |
jlaskey@3 | 122 | load(lhs); |
jlaskey@3 | 123 | load(rhs); |
jlaskey@3 | 124 | method.conditionalJump(state ? EQ : NE, true, label); |
jlaskey@3 | 125 | return; |
jlaskey@3 | 126 | |
jlaskey@3 | 127 | case NE: |
jlaskey@3 | 128 | case NE_STRICT: |
jlaskey@3 | 129 | assert rhs.getType().isEquivalentTo(lhs.getType()) : "type mismatch: " + lhs.getSymbol() + " to " + rhs.getSymbol(); |
jlaskey@3 | 130 | load(lhs); |
jlaskey@3 | 131 | load(rhs); |
jlaskey@3 | 132 | method.conditionalJump(state ? NE : EQ, true, label); |
jlaskey@3 | 133 | return; |
jlaskey@3 | 134 | |
jlaskey@3 | 135 | case GE: |
jlaskey@3 | 136 | assert rhs.getType().isEquivalentTo(lhs.getType()) : "type mismatch: " + lhs.getSymbol() + " to " + rhs.getSymbol(); |
jlaskey@3 | 137 | load(lhs); |
jlaskey@3 | 138 | load(rhs); |
jlaskey@3 | 139 | method.conditionalJump(state ? GE : LT, !state, label); |
jlaskey@3 | 140 | return; |
jlaskey@3 | 141 | |
jlaskey@3 | 142 | case GT: |
jlaskey@3 | 143 | assert rhs.getType().isEquivalentTo(lhs.getType()) : "type mismatch: " + lhs.getSymbol() + " to " + rhs.getSymbol(); |
jlaskey@3 | 144 | load(lhs); |
jlaskey@3 | 145 | load(rhs); |
jlaskey@3 | 146 | method.conditionalJump(state ? GT : LE, !state, label); |
jlaskey@3 | 147 | return; |
jlaskey@3 | 148 | |
jlaskey@3 | 149 | case LE: |
jlaskey@3 | 150 | assert rhs.getType().isEquivalentTo(lhs.getType()) : "type mismatch: " + lhs.getSymbol() + " to " + rhs.getSymbol(); |
jlaskey@3 | 151 | load(lhs); |
jlaskey@3 | 152 | load(rhs); |
jlaskey@3 | 153 | method.conditionalJump(state ? LE : GT, state, label); |
jlaskey@3 | 154 | return; |
jlaskey@3 | 155 | |
jlaskey@3 | 156 | case LT: |
jlaskey@3 | 157 | assert rhs.getType().isEquivalentTo(lhs.getType()) : "type mismatch: " + lhs.getSymbol() + " to " + rhs.getSymbol() + " in " + binaryNode; |
jlaskey@3 | 158 | load(lhs); |
jlaskey@3 | 159 | load(rhs); |
jlaskey@3 | 160 | method.conditionalJump(state ? LT : GE, state, label); |
jlaskey@3 | 161 | return; |
jlaskey@3 | 162 | |
jlaskey@3 | 163 | default: |
jlaskey@3 | 164 | break; |
jlaskey@3 | 165 | } |
jlaskey@3 | 166 | |
jlaskey@3 | 167 | load(binaryNode); |
jlaskey@3 | 168 | method.convert(Type.BOOLEAN); |
jlaskey@3 | 169 | if (state) { |
jlaskey@3 | 170 | method.ifne(label); |
jlaskey@3 | 171 | } else { |
jlaskey@3 | 172 | method.ifeq(label); |
jlaskey@3 | 173 | } |
jlaskey@3 | 174 | } |
jlaskey@3 | 175 | |
attila@430 | 176 | private void branchOptimizer(final Expression node, final Label label, final boolean state) { |
jlaskey@3 | 177 | if (!(node instanceof TernaryNode)) { |
jlaskey@3 | 178 | |
jlaskey@3 | 179 | if (node instanceof BinaryNode) { |
jlaskey@3 | 180 | branchOptimizer((BinaryNode)node, label, state); |
jlaskey@3 | 181 | return; |
jlaskey@3 | 182 | } |
jlaskey@3 | 183 | |
jlaskey@3 | 184 | if (node instanceof UnaryNode) { |
jlaskey@3 | 185 | branchOptimizer((UnaryNode)node, label, state); |
jlaskey@3 | 186 | return; |
jlaskey@3 | 187 | } |
jlaskey@3 | 188 | } |
jlaskey@3 | 189 | |
jlaskey@3 | 190 | load(node); |
jlaskey@3 | 191 | method.convert(Type.BOOLEAN); |
jlaskey@3 | 192 | if (state) { |
jlaskey@3 | 193 | method.ifne(label); |
jlaskey@3 | 194 | } else { |
jlaskey@3 | 195 | method.ifeq(label); |
jlaskey@3 | 196 | } |
jlaskey@3 | 197 | } |
jlaskey@3 | 198 | } |