| OLD | NEW |
| 1 // Copyright (c) 2013, the Dart project authors. Please see the AUTHORS file | 1 // Copyright (c) 2013, the Dart project authors. Please see the AUTHORS file |
| 2 // for details. All rights reserved. Use of this source code is governed by a | 2 // for details. All rights reserved. Use of this source code is governed by a |
| 3 // BSD-style license that can be found in the LICENSE file. | 3 // BSD-style license that can be found in the LICENSE file. |
| 4 | 4 |
| 5 import '../compiler.dart' show Compiler; | 5 import '../compiler.dart' show Compiler; |
| 6 import '../constants/constant_system.dart'; | 6 import '../constants/constant_system.dart'; |
| 7 import '../constants/values.dart'; | 7 import '../constants/values.dart'; |
| 8 import '../elements/elements.dart'; | 8 import '../elements/elements.dart'; |
| 9 import '../js_backend/js_backend.dart'; | 9 import '../js_backend/js_backend.dart'; |
| 10 import '../types/types.dart'; | 10 import '../types/types.dart'; |
| 11 import '../universe/selector.dart'; | 11 import '../universe/selector.dart'; |
| 12 import '../universe/call_structure.dart'; | 12 import '../universe/call_structure.dart'; |
| 13 import '../world.dart' show ClassWorld, World; | 13 import '../world.dart' show ClassWorld, World; |
| 14 | 14 |
| 15 import 'nodes.dart'; | 15 import 'nodes.dart'; |
| 16 import 'types.dart'; | 16 import 'types.dart'; |
| 17 | 17 |
| 18 /** | 18 /** |
| 19 * [InvokeDynamicSpecializer] and its subclasses are helpers to | 19 * [InvokeDynamicSpecializer] and its subclasses are helpers to |
| 20 * optimize intercepted dynamic calls. It knows what input types | 20 * optimize intercepted dynamic calls. It knows what input types |
| 21 * would be beneficial for performance, and how to change a invoke | 21 * would be beneficial for performance, and how to change a invoke |
| 22 * dynamic to a builtin instruction (e.g. HIndex, HBitNot). | 22 * dynamic to a builtin instruction (e.g. HIndex, HBitNot). |
| 23 */ | 23 */ |
| 24 class InvokeDynamicSpecializer { | 24 class InvokeDynamicSpecializer { |
| 25 const InvokeDynamicSpecializer(); | 25 const InvokeDynamicSpecializer(); |
| 26 | 26 |
| 27 TypeMask computeTypeFromInputTypes(HInvokeDynamic instruction, | 27 TypeMask computeTypeFromInputTypes( |
| 28 Compiler compiler) { | 28 HInvokeDynamic instruction, Compiler compiler) { |
| 29 return TypeMaskFactory.inferredTypeForSelector( | 29 return TypeMaskFactory.inferredTypeForSelector( |
| 30 instruction.selector, instruction.mask, compiler); | 30 instruction.selector, instruction.mask, compiler); |
| 31 } | 31 } |
| 32 | 32 |
| 33 HInstruction tryConvertToBuiltin(HInvokeDynamic instruction, | 33 HInstruction tryConvertToBuiltin( |
| 34 Compiler compiler) { | 34 HInvokeDynamic instruction, Compiler compiler) { |
| 35 return null; | 35 return null; |
| 36 } | 36 } |
| 37 | 37 |
| 38 Operation operation(ConstantSystem constantSystem) => null; | 38 Operation operation(ConstantSystem constantSystem) => null; |
| 39 | 39 |
| 40 static InvokeDynamicSpecializer lookupSpecializer(Selector selector) { | 40 static InvokeDynamicSpecializer lookupSpecializer(Selector selector) { |
| 41 if (selector.isIndex) { | 41 if (selector.isIndex) { |
| 42 return const IndexSpecializer(); | 42 return const IndexSpecializer(); |
| 43 } else if (selector.isIndexSet) { | 43 } else if (selector.isIndexSet) { |
| 44 return const IndexAssignSpecializer(); | 44 return const IndexAssignSpecializer(); |
| (...skipping 42 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
| 87 } | 87 } |
| 88 } | 88 } |
| 89 } | 89 } |
| 90 return const InvokeDynamicSpecializer(); | 90 return const InvokeDynamicSpecializer(); |
| 91 } | 91 } |
| 92 } | 92 } |
| 93 | 93 |
| 94 class IndexAssignSpecializer extends InvokeDynamicSpecializer { | 94 class IndexAssignSpecializer extends InvokeDynamicSpecializer { |
| 95 const IndexAssignSpecializer(); | 95 const IndexAssignSpecializer(); |
| 96 | 96 |
| 97 HInstruction tryConvertToBuiltin(HInvokeDynamic instruction, | 97 HInstruction tryConvertToBuiltin( |
| 98 Compiler compiler) { | 98 HInvokeDynamic instruction, Compiler compiler) { |
| 99 if (instruction.inputs[1].isMutableIndexable(compiler)) { | 99 if (instruction.inputs[1].isMutableIndexable(compiler)) { |
| 100 if (!instruction.inputs[2].isInteger(compiler) | 100 if (!instruction.inputs[2].isInteger(compiler) && |
| 101 && compiler.options.enableTypeAssertions) { | 101 compiler.options.enableTypeAssertions) { |
| 102 // We want the right checked mode error. | 102 // We want the right checked mode error. |
| 103 return null; | 103 return null; |
| 104 } | 104 } |
| 105 return new HIndexAssign(instruction.inputs[1], | 105 return new HIndexAssign(instruction.inputs[1], instruction.inputs[2], |
| 106 instruction.inputs[2], | 106 instruction.inputs[3], instruction.selector); |
| 107 instruction.inputs[3], | |
| 108 instruction.selector); | |
| 109 } | 107 } |
| 110 return null; | 108 return null; |
| 111 } | 109 } |
| 112 } | 110 } |
| 113 | 111 |
| 114 class IndexSpecializer extends InvokeDynamicSpecializer { | 112 class IndexSpecializer extends InvokeDynamicSpecializer { |
| 115 const IndexSpecializer(); | 113 const IndexSpecializer(); |
| 116 | 114 |
| 117 HInstruction tryConvertToBuiltin(HInvokeDynamic instruction, | 115 HInstruction tryConvertToBuiltin( |
| 118 Compiler compiler) { | 116 HInvokeDynamic instruction, Compiler compiler) { |
| 119 if (!instruction.inputs[1].isIndexablePrimitive(compiler)) return null; | 117 if (!instruction.inputs[1].isIndexablePrimitive(compiler)) return null; |
| 120 if (!instruction.inputs[2].isInteger(compiler) | 118 if (!instruction.inputs[2].isInteger(compiler) && |
| 121 && compiler.options.enableTypeAssertions) { | 119 compiler.options.enableTypeAssertions) { |
| 122 // We want the right checked mode error. | 120 // We want the right checked mode error. |
| 123 return null; | 121 return null; |
| 124 } | 122 } |
| 125 TypeMask receiverType = | 123 TypeMask receiverType = |
| 126 instruction.getDartReceiver(compiler).instructionType; | 124 instruction.getDartReceiver(compiler).instructionType; |
| 127 TypeMask type = TypeMaskFactory.inferredTypeForSelector( | 125 TypeMask type = TypeMaskFactory.inferredTypeForSelector( |
| 128 instruction.selector, receiverType, compiler); | 126 instruction.selector, receiverType, compiler); |
| 129 return new HIndex( | 127 return new HIndex(instruction.inputs[1], instruction.inputs[2], |
| 130 instruction.inputs[1], instruction.inputs[2], | |
| 131 instruction.selector, type); | 128 instruction.selector, type); |
| 132 } | 129 } |
| 133 } | 130 } |
| 134 | 131 |
| 135 class BitNotSpecializer extends InvokeDynamicSpecializer { | 132 class BitNotSpecializer extends InvokeDynamicSpecializer { |
| 136 const BitNotSpecializer(); | 133 const BitNotSpecializer(); |
| 137 | 134 |
| 138 UnaryOperation operation(ConstantSystem constantSystem) { | 135 UnaryOperation operation(ConstantSystem constantSystem) { |
| 139 return constantSystem.bitNot; | 136 return constantSystem.bitNot; |
| 140 } | 137 } |
| 141 | 138 |
| 142 TypeMask computeTypeFromInputTypes(HInvokeDynamic instruction, | 139 TypeMask computeTypeFromInputTypes( |
| 143 Compiler compiler) { | 140 HInvokeDynamic instruction, Compiler compiler) { |
| 144 // All bitwise operations on primitive types either produce an | 141 // All bitwise operations on primitive types either produce an |
| 145 // integer or throw an error. | 142 // integer or throw an error. |
| 146 JavaScriptBackend backend = compiler.backend; | 143 JavaScriptBackend backend = compiler.backend; |
| 147 if (instruction.inputs[1].isPrimitiveOrNull(compiler)) { | 144 if (instruction.inputs[1].isPrimitiveOrNull(compiler)) { |
| 148 return backend.uint32Type; | 145 return backend.uint32Type; |
| 149 } | 146 } |
| 150 return super.computeTypeFromInputTypes(instruction, compiler); | 147 return super.computeTypeFromInputTypes(instruction, compiler); |
| 151 } | 148 } |
| 152 | 149 |
| 153 HInstruction tryConvertToBuiltin(HInvokeDynamic instruction, | 150 HInstruction tryConvertToBuiltin( |
| 154 Compiler compiler) { | 151 HInvokeDynamic instruction, Compiler compiler) { |
| 155 HInstruction input = instruction.inputs[1]; | 152 HInstruction input = instruction.inputs[1]; |
| 156 if (input.isNumber(compiler)) { | 153 if (input.isNumber(compiler)) { |
| 157 return new HBitNot(input, instruction.selector, | 154 return new HBitNot(input, instruction.selector, |
| 158 computeTypeFromInputTypes(instruction, compiler)); | 155 computeTypeFromInputTypes(instruction, compiler)); |
| 159 } | 156 } |
| 160 return null; | 157 return null; |
| 161 } | 158 } |
| 162 } | 159 } |
| 163 | 160 |
| 164 class UnaryNegateSpecializer extends InvokeDynamicSpecializer { | 161 class UnaryNegateSpecializer extends InvokeDynamicSpecializer { |
| 165 const UnaryNegateSpecializer(); | 162 const UnaryNegateSpecializer(); |
| 166 | 163 |
| 167 UnaryOperation operation(ConstantSystem constantSystem) { | 164 UnaryOperation operation(ConstantSystem constantSystem) { |
| 168 return constantSystem.negate; | 165 return constantSystem.negate; |
| 169 } | 166 } |
| 170 | 167 |
| 171 TypeMask computeTypeFromInputTypes(HInvokeDynamic instruction, | 168 TypeMask computeTypeFromInputTypes( |
| 172 Compiler compiler) { | 169 HInvokeDynamic instruction, Compiler compiler) { |
| 173 TypeMask operandType = instruction.inputs[1].instructionType; | 170 TypeMask operandType = instruction.inputs[1].instructionType; |
| 174 if (instruction.inputs[1].isNumberOrNull(compiler)) return operandType; | 171 if (instruction.inputs[1].isNumberOrNull(compiler)) return operandType; |
| 175 return super.computeTypeFromInputTypes(instruction, compiler); | 172 return super.computeTypeFromInputTypes(instruction, compiler); |
| 176 } | 173 } |
| 177 | 174 |
| 178 HInstruction tryConvertToBuiltin(HInvokeDynamic instruction, | 175 HInstruction tryConvertToBuiltin( |
| 179 Compiler compiler) { | 176 HInvokeDynamic instruction, Compiler compiler) { |
| 180 HInstruction input = instruction.inputs[1]; | 177 HInstruction input = instruction.inputs[1]; |
| 181 if (input.isNumber(compiler)) { | 178 if (input.isNumber(compiler)) { |
| 182 return new HNegate(input, instruction.selector, input.instructionType); | 179 return new HNegate(input, instruction.selector, input.instructionType); |
| 183 } | 180 } |
| 184 return null; | 181 return null; |
| 185 } | 182 } |
| 186 } | 183 } |
| 187 | 184 |
| 188 abstract class BinaryArithmeticSpecializer extends InvokeDynamicSpecializer { | 185 abstract class BinaryArithmeticSpecializer extends InvokeDynamicSpecializer { |
| 189 const BinaryArithmeticSpecializer(); | 186 const BinaryArithmeticSpecializer(); |
| 190 | 187 |
| 191 TypeMask computeTypeFromInputTypes(HInvokeDynamic instruction, | 188 TypeMask computeTypeFromInputTypes( |
| 192 Compiler compiler) { | 189 HInvokeDynamic instruction, Compiler compiler) { |
| 193 HInstruction left = instruction.inputs[1]; | 190 HInstruction left = instruction.inputs[1]; |
| 194 HInstruction right = instruction.inputs[2]; | 191 HInstruction right = instruction.inputs[2]; |
| 195 JavaScriptBackend backend = compiler.backend; | 192 JavaScriptBackend backend = compiler.backend; |
| 196 if (left.isIntegerOrNull(compiler) && right.isIntegerOrNull(compiler)) { | 193 if (left.isIntegerOrNull(compiler) && right.isIntegerOrNull(compiler)) { |
| 197 return backend.intType; | 194 return backend.intType; |
| 198 } | 195 } |
| 199 if (left.isNumberOrNull(compiler)) { | 196 if (left.isNumberOrNull(compiler)) { |
| 200 if (left.isDoubleOrNull(compiler) || right.isDoubleOrNull(compiler)) { | 197 if (left.isDoubleOrNull(compiler) || right.isDoubleOrNull(compiler)) { |
| 201 return backend.doubleType; | 198 return backend.doubleType; |
| 202 } | 199 } |
| 203 return backend.numType; | 200 return backend.numType; |
| 204 } | 201 } |
| 205 return super.computeTypeFromInputTypes(instruction, compiler); | 202 return super.computeTypeFromInputTypes(instruction, compiler); |
| 206 } | 203 } |
| 207 | 204 |
| 208 bool isBuiltin(HInvokeDynamic instruction, Compiler compiler) { | 205 bool isBuiltin(HInvokeDynamic instruction, Compiler compiler) { |
| 209 return instruction.inputs[1].isNumber(compiler) | 206 return instruction.inputs[1].isNumber(compiler) && |
| 210 && instruction.inputs[2].isNumber(compiler); | 207 instruction.inputs[2].isNumber(compiler); |
| 211 } | 208 } |
| 212 | 209 |
| 213 HInstruction tryConvertToBuiltin(HInvokeDynamic instruction, | 210 HInstruction tryConvertToBuiltin( |
| 214 Compiler compiler) { | 211 HInvokeDynamic instruction, Compiler compiler) { |
| 215 if (isBuiltin(instruction, compiler)) { | 212 if (isBuiltin(instruction, compiler)) { |
| 216 HInstruction builtin = newBuiltinVariant(instruction, compiler); | 213 HInstruction builtin = newBuiltinVariant(instruction, compiler); |
| 217 if (builtin != null) return builtin; | 214 if (builtin != null) return builtin; |
| 218 // Even if there is no builtin equivalent instruction, we know | 215 // Even if there is no builtin equivalent instruction, we know |
| 219 // the instruction does not have any side effect, and that it | 216 // the instruction does not have any side effect, and that it |
| 220 // can be GVN'ed. | 217 // can be GVN'ed. |
| 221 clearAllSideEffects(instruction); | 218 clearAllSideEffects(instruction); |
| 222 } | 219 } |
| 223 return null; | 220 return null; |
| 224 } | 221 } |
| 225 | 222 |
| 226 void clearAllSideEffects(HInstruction instruction) { | 223 void clearAllSideEffects(HInstruction instruction) { |
| 227 instruction.sideEffects.clearAllSideEffects(); | 224 instruction.sideEffects.clearAllSideEffects(); |
| 228 instruction.sideEffects.clearAllDependencies(); | 225 instruction.sideEffects.clearAllDependencies(); |
| 229 instruction.setUseGvn(); | 226 instruction.setUseGvn(); |
| 230 } | 227 } |
| 231 | 228 |
| 232 bool inputsArePositiveIntegers(HInstruction instruction, Compiler compiler) { | 229 bool inputsArePositiveIntegers(HInstruction instruction, Compiler compiler) { |
| 233 HInstruction left = instruction.inputs[1]; | 230 HInstruction left = instruction.inputs[1]; |
| 234 HInstruction right = instruction.inputs[2]; | 231 HInstruction right = instruction.inputs[2]; |
| 235 return left.isPositiveIntegerOrNull(compiler) | 232 return left.isPositiveIntegerOrNull(compiler) && |
| 236 && right.isPositiveIntegerOrNull(compiler); | 233 right.isPositiveIntegerOrNull(compiler); |
| 237 } | 234 } |
| 238 | 235 |
| 239 bool inputsAreUInt31(HInstruction instruction, Compiler compiler) { | 236 bool inputsAreUInt31(HInstruction instruction, Compiler compiler) { |
| 240 HInstruction left = instruction.inputs[1]; | 237 HInstruction left = instruction.inputs[1]; |
| 241 HInstruction right = instruction.inputs[2]; | 238 HInstruction right = instruction.inputs[2]; |
| 242 return left.isUInt31(compiler) && right.isUInt31(compiler); | 239 return left.isUInt31(compiler) && right.isUInt31(compiler); |
| 243 } | 240 } |
| 244 | 241 |
| 245 HInstruction newBuiltinVariant(HInvokeDynamic instruction, Compiler compiler); | 242 HInstruction newBuiltinVariant(HInvokeDynamic instruction, Compiler compiler); |
| 246 | 243 |
| 247 Selector renameToOptimizedSelector(String name, | 244 Selector renameToOptimizedSelector( |
| 248 Selector selector, | 245 String name, Selector selector, Compiler compiler) { |
| 249 Compiler compiler) { | |
| 250 if (selector.name == name) return selector; | 246 if (selector.name == name) return selector; |
| 251 JavaScriptBackend backend = compiler.backend; | 247 JavaScriptBackend backend = compiler.backend; |
| 252 return new Selector.call( | 248 return new Selector.call( |
| 253 new Name(name, backend.helpers.interceptorsLibrary), | 249 new Name(name, backend.helpers.interceptorsLibrary), |
| 254 new CallStructure(selector.argumentCount)); | 250 new CallStructure(selector.argumentCount)); |
| 255 } | 251 } |
| 256 } | 252 } |
| 257 | 253 |
| 258 class AddSpecializer extends BinaryArithmeticSpecializer { | 254 class AddSpecializer extends BinaryArithmeticSpecializer { |
| 259 const AddSpecializer(); | 255 const AddSpecializer(); |
| 260 | 256 |
| 261 TypeMask computeTypeFromInputTypes(HInvokeDynamic instruction, | 257 TypeMask computeTypeFromInputTypes( |
| 262 Compiler compiler) { | 258 HInvokeDynamic instruction, Compiler compiler) { |
| 263 if (inputsAreUInt31(instruction, compiler)) { | 259 if (inputsAreUInt31(instruction, compiler)) { |
| 264 JavaScriptBackend backend = compiler.backend; | 260 JavaScriptBackend backend = compiler.backend; |
| 265 return backend.uint32Type; | 261 return backend.uint32Type; |
| 266 } | 262 } |
| 267 if (inputsArePositiveIntegers(instruction, compiler)) { | 263 if (inputsArePositiveIntegers(instruction, compiler)) { |
| 268 JavaScriptBackend backend = compiler.backend; | 264 JavaScriptBackend backend = compiler.backend; |
| 269 return backend.positiveIntType; | 265 return backend.positiveIntType; |
| 270 } | 266 } |
| 271 return super.computeTypeFromInputTypes(instruction, compiler); | 267 return super.computeTypeFromInputTypes(instruction, compiler); |
| 272 } | 268 } |
| 273 | 269 |
| 274 BinaryOperation operation(ConstantSystem constantSystem) { | 270 BinaryOperation operation(ConstantSystem constantSystem) { |
| 275 return constantSystem.add; | 271 return constantSystem.add; |
| 276 } | 272 } |
| 277 | 273 |
| 278 HInstruction newBuiltinVariant(HInvokeDynamic instruction, | 274 HInstruction newBuiltinVariant( |
| 279 Compiler compiler) { | 275 HInvokeDynamic instruction, Compiler compiler) { |
| 280 return new HAdd( | 276 return new HAdd(instruction.inputs[1], instruction.inputs[2], |
| 281 instruction.inputs[1], instruction.inputs[2], | |
| 282 instruction.selector, computeTypeFromInputTypes(instruction, compiler)); | 277 instruction.selector, computeTypeFromInputTypes(instruction, compiler)); |
| 283 } | 278 } |
| 284 } | 279 } |
| 285 | 280 |
| 286 class DivideSpecializer extends BinaryArithmeticSpecializer { | 281 class DivideSpecializer extends BinaryArithmeticSpecializer { |
| 287 const DivideSpecializer(); | 282 const DivideSpecializer(); |
| 288 | 283 |
| 289 BinaryOperation operation(ConstantSystem constantSystem) { | 284 BinaryOperation operation(ConstantSystem constantSystem) { |
| 290 return constantSystem.divide; | 285 return constantSystem.divide; |
| 291 } | 286 } |
| 292 | 287 |
| 293 TypeMask computeTypeFromInputTypes(HInstruction instruction, | 288 TypeMask computeTypeFromInputTypes( |
| 294 Compiler compiler) { | 289 HInstruction instruction, Compiler compiler) { |
| 295 HInstruction left = instruction.inputs[1]; | 290 HInstruction left = instruction.inputs[1]; |
| 296 JavaScriptBackend backend = compiler.backend; | 291 JavaScriptBackend backend = compiler.backend; |
| 297 if (left.isNumberOrNull(compiler)) { | 292 if (left.isNumberOrNull(compiler)) { |
| 298 return backend.doubleType; | 293 return backend.doubleType; |
| 299 } | 294 } |
| 300 return super.computeTypeFromInputTypes(instruction, compiler); | 295 return super.computeTypeFromInputTypes(instruction, compiler); |
| 301 } | 296 } |
| 302 | 297 |
| 303 HInstruction newBuiltinVariant(HInvokeDynamic instruction, | 298 HInstruction newBuiltinVariant( |
| 304 Compiler compiler) { | 299 HInvokeDynamic instruction, Compiler compiler) { |
| 305 JavaScriptBackend backend = compiler.backend; | 300 JavaScriptBackend backend = compiler.backend; |
| 306 return new HDivide( | 301 return new HDivide(instruction.inputs[1], instruction.inputs[2], |
| 307 instruction.inputs[1], instruction.inputs[2], | |
| 308 instruction.selector, backend.doubleType); | 302 instruction.selector, backend.doubleType); |
| 309 } | 303 } |
| 310 } | 304 } |
| 311 | 305 |
| 312 class ModuloSpecializer extends BinaryArithmeticSpecializer { | 306 class ModuloSpecializer extends BinaryArithmeticSpecializer { |
| 313 const ModuloSpecializer(); | 307 const ModuloSpecializer(); |
| 314 | 308 |
| 315 TypeMask computeTypeFromInputTypes(HInvokeDynamic instruction, | 309 TypeMask computeTypeFromInputTypes( |
| 316 Compiler compiler) { | 310 HInvokeDynamic instruction, Compiler compiler) { |
| 317 if (inputsArePositiveIntegers(instruction, compiler)) { | 311 if (inputsArePositiveIntegers(instruction, compiler)) { |
| 318 JavaScriptBackend backend = compiler.backend; | 312 JavaScriptBackend backend = compiler.backend; |
| 319 return backend.positiveIntType; | 313 return backend.positiveIntType; |
| 320 } | 314 } |
| 321 return super.computeTypeFromInputTypes(instruction, compiler); | 315 return super.computeTypeFromInputTypes(instruction, compiler); |
| 322 } | 316 } |
| 323 | 317 |
| 324 BinaryOperation operation(ConstantSystem constantSystem) { | 318 BinaryOperation operation(ConstantSystem constantSystem) { |
| 325 return constantSystem.modulo; | 319 return constantSystem.modulo; |
| 326 } | 320 } |
| 327 | 321 |
| 328 HInstruction newBuiltinVariant(HInvokeDynamic instruction, | 322 HInstruction newBuiltinVariant( |
| 329 Compiler compiler) { | 323 HInvokeDynamic instruction, Compiler compiler) { |
| 330 // Modulo cannot be mapped to the native operator (different semantics). | 324 // Modulo cannot be mapped to the native operator (different semantics). |
| 331 // TODO(sra): For non-negative values we can use JavaScript's %. | 325 // TODO(sra): For non-negative values we can use JavaScript's %. |
| 332 return null; | 326 return null; |
| 333 } | 327 } |
| 334 } | 328 } |
| 335 | 329 |
| 336 class MultiplySpecializer extends BinaryArithmeticSpecializer { | 330 class MultiplySpecializer extends BinaryArithmeticSpecializer { |
| 337 const MultiplySpecializer(); | 331 const MultiplySpecializer(); |
| 338 | 332 |
| 339 BinaryOperation operation(ConstantSystem constantSystem) { | 333 BinaryOperation operation(ConstantSystem constantSystem) { |
| 340 return constantSystem.multiply; | 334 return constantSystem.multiply; |
| 341 } | 335 } |
| 342 | 336 |
| 343 TypeMask computeTypeFromInputTypes(HInvokeDynamic instruction, | 337 TypeMask computeTypeFromInputTypes( |
| 344 Compiler compiler) { | 338 HInvokeDynamic instruction, Compiler compiler) { |
| 345 if (inputsArePositiveIntegers(instruction, compiler)) { | 339 if (inputsArePositiveIntegers(instruction, compiler)) { |
| 346 JavaScriptBackend backend = compiler.backend; | 340 JavaScriptBackend backend = compiler.backend; |
| 347 return backend.positiveIntType; | 341 return backend.positiveIntType; |
| 348 } | 342 } |
| 349 return super.computeTypeFromInputTypes(instruction, compiler); | 343 return super.computeTypeFromInputTypes(instruction, compiler); |
| 350 } | 344 } |
| 351 | 345 |
| 352 HInstruction newBuiltinVariant(HInvokeDynamic instruction, | 346 HInstruction newBuiltinVariant( |
| 353 Compiler compiler) { | 347 HInvokeDynamic instruction, Compiler compiler) { |
| 354 return new HMultiply( | 348 return new HMultiply(instruction.inputs[1], instruction.inputs[2], |
| 355 instruction.inputs[1], instruction.inputs[2], | |
| 356 instruction.selector, computeTypeFromInputTypes(instruction, compiler)); | 349 instruction.selector, computeTypeFromInputTypes(instruction, compiler)); |
| 357 } | 350 } |
| 358 } | 351 } |
| 359 | 352 |
| 360 class SubtractSpecializer extends BinaryArithmeticSpecializer { | 353 class SubtractSpecializer extends BinaryArithmeticSpecializer { |
| 361 const SubtractSpecializer(); | 354 const SubtractSpecializer(); |
| 362 | 355 |
| 363 BinaryOperation operation(ConstantSystem constantSystem) { | 356 BinaryOperation operation(ConstantSystem constantSystem) { |
| 364 return constantSystem.subtract; | 357 return constantSystem.subtract; |
| 365 } | 358 } |
| 366 | 359 |
| 367 HInstruction newBuiltinVariant(HInvokeDynamic instruction, | 360 HInstruction newBuiltinVariant( |
| 368 Compiler compiler) { | 361 HInvokeDynamic instruction, Compiler compiler) { |
| 369 return new HSubtract( | 362 return new HSubtract(instruction.inputs[1], instruction.inputs[2], |
| 370 instruction.inputs[1], instruction.inputs[2], | |
| 371 instruction.selector, computeTypeFromInputTypes(instruction, compiler)); | 363 instruction.selector, computeTypeFromInputTypes(instruction, compiler)); |
| 372 } | 364 } |
| 373 } | 365 } |
| 374 | 366 |
| 375 class TruncatingDivideSpecializer extends BinaryArithmeticSpecializer { | 367 class TruncatingDivideSpecializer extends BinaryArithmeticSpecializer { |
| 376 const TruncatingDivideSpecializer(); | 368 const TruncatingDivideSpecializer(); |
| 377 | 369 |
| 378 BinaryOperation operation(ConstantSystem constantSystem) { | 370 BinaryOperation operation(ConstantSystem constantSystem) { |
| 379 return constantSystem.truncatingDivide; | 371 return constantSystem.truncatingDivide; |
| 380 } | 372 } |
| 381 | 373 |
| 382 TypeMask computeTypeFromInputTypes(HInvokeDynamic instruction, | 374 TypeMask computeTypeFromInputTypes( |
| 383 Compiler compiler) { | 375 HInvokeDynamic instruction, Compiler compiler) { |
| 384 JavaScriptBackend backend = compiler.backend; | 376 JavaScriptBackend backend = compiler.backend; |
| 385 if (hasUint31Result(instruction, compiler)) { | 377 if (hasUint31Result(instruction, compiler)) { |
| 386 return backend.uint31Type; | 378 return backend.uint31Type; |
| 387 } | 379 } |
| 388 if (inputsArePositiveIntegers(instruction, compiler)) { | 380 if (inputsArePositiveIntegers(instruction, compiler)) { |
| 389 return backend.positiveIntType; | 381 return backend.positiveIntType; |
| 390 } | 382 } |
| 391 return super.computeTypeFromInputTypes(instruction, compiler); | 383 return super.computeTypeFromInputTypes(instruction, compiler); |
| 392 } | 384 } |
| 393 | 385 |
| (...skipping 20 matching lines...) Expand all Loading... |
| 414 if (left.isUInt31(compiler) && isNotZero(right, compiler)) { | 406 if (left.isUInt31(compiler) && isNotZero(right, compiler)) { |
| 415 return true; | 407 return true; |
| 416 } | 408 } |
| 417 if (left.isUInt32(compiler) && isTwoOrGreater(right, compiler)) { | 409 if (left.isUInt32(compiler) && isTwoOrGreater(right, compiler)) { |
| 418 return true; | 410 return true; |
| 419 } | 411 } |
| 420 } | 412 } |
| 421 return false; | 413 return false; |
| 422 } | 414 } |
| 423 | 415 |
| 424 HInstruction tryConvertToBuiltin(HInvokeDynamic instruction, | 416 HInstruction tryConvertToBuiltin( |
| 425 Compiler compiler) { | 417 HInvokeDynamic instruction, Compiler compiler) { |
| 426 HInstruction right = instruction.inputs[2]; | 418 HInstruction right = instruction.inputs[2]; |
| 427 if (isBuiltin(instruction, compiler)) { | 419 if (isBuiltin(instruction, compiler)) { |
| 428 if (right.isPositiveInteger(compiler) && isNotZero(right, compiler)) { | 420 if (right.isPositiveInteger(compiler) && isNotZero(right, compiler)) { |
| 429 if (hasUint31Result(instruction, compiler)) { | 421 if (hasUint31Result(instruction, compiler)) { |
| 430 return newBuiltinVariant(instruction, compiler); | 422 return newBuiltinVariant(instruction, compiler); |
| 431 } | 423 } |
| 432 // We can call _tdivFast because the rhs is a 32bit integer | 424 // We can call _tdivFast because the rhs is a 32bit integer |
| 433 // and not 0, nor -1. | 425 // and not 0, nor -1. |
| 434 instruction.selector = renameToOptimizedSelector( | 426 instruction.selector = renameToOptimizedSelector( |
| 435 '_tdivFast', instruction.selector, compiler); | 427 '_tdivFast', instruction.selector, compiler); |
| 436 } | 428 } |
| 437 clearAllSideEffects(instruction); | 429 clearAllSideEffects(instruction); |
| 438 } | 430 } |
| 439 return null; | 431 return null; |
| 440 } | 432 } |
| 441 | 433 |
| 442 HInstruction newBuiltinVariant(HInvokeDynamic instruction, | 434 HInstruction newBuiltinVariant( |
| 443 Compiler compiler) { | 435 HInvokeDynamic instruction, Compiler compiler) { |
| 444 return new HTruncatingDivide( | 436 return new HTruncatingDivide(instruction.inputs[1], instruction.inputs[2], |
| 445 instruction.inputs[1], instruction.inputs[2], | |
| 446 instruction.selector, computeTypeFromInputTypes(instruction, compiler)); | 437 instruction.selector, computeTypeFromInputTypes(instruction, compiler)); |
| 447 } | 438 } |
| 448 } | 439 } |
| 449 | 440 |
| 450 abstract class BinaryBitOpSpecializer extends BinaryArithmeticSpecializer { | 441 abstract class BinaryBitOpSpecializer extends BinaryArithmeticSpecializer { |
| 451 const BinaryBitOpSpecializer(); | 442 const BinaryBitOpSpecializer(); |
| 452 | 443 |
| 453 TypeMask computeTypeFromInputTypes(HInvokeDynamic instruction, | 444 TypeMask computeTypeFromInputTypes( |
| 454 Compiler compiler) { | 445 HInvokeDynamic instruction, Compiler compiler) { |
| 455 // All bitwise operations on primitive types either produce an | 446 // All bitwise operations on primitive types either produce an |
| 456 // integer or throw an error. | 447 // integer or throw an error. |
| 457 HInstruction left = instruction.inputs[1]; | 448 HInstruction left = instruction.inputs[1]; |
| 458 JavaScriptBackend backend = compiler.backend; | 449 JavaScriptBackend backend = compiler.backend; |
| 459 if (left.isPrimitiveOrNull(compiler)) { | 450 if (left.isPrimitiveOrNull(compiler)) { |
| 460 return backend.uint32Type; | 451 return backend.uint32Type; |
| 461 } | 452 } |
| 462 return super.computeTypeFromInputTypes(instruction, compiler); | 453 return super.computeTypeFromInputTypes(instruction, compiler); |
| 463 } | 454 } |
| 464 | 455 |
| (...skipping 12 matching lines...) Expand all Loading... |
| 477 } | 468 } |
| 478 } | 469 } |
| 479 | 470 |
| 480 class ShiftLeftSpecializer extends BinaryBitOpSpecializer { | 471 class ShiftLeftSpecializer extends BinaryBitOpSpecializer { |
| 481 const ShiftLeftSpecializer(); | 472 const ShiftLeftSpecializer(); |
| 482 | 473 |
| 483 BinaryOperation operation(ConstantSystem constantSystem) { | 474 BinaryOperation operation(ConstantSystem constantSystem) { |
| 484 return constantSystem.shiftLeft; | 475 return constantSystem.shiftLeft; |
| 485 } | 476 } |
| 486 | 477 |
| 487 HInstruction tryConvertToBuiltin(HInvokeDynamic instruction, | 478 HInstruction tryConvertToBuiltin( |
| 488 Compiler compiler) { | 479 HInvokeDynamic instruction, Compiler compiler) { |
| 489 HInstruction left = instruction.inputs[1]; | 480 HInstruction left = instruction.inputs[1]; |
| 490 HInstruction right = instruction.inputs[2]; | 481 HInstruction right = instruction.inputs[2]; |
| 491 if (left.isNumber(compiler)) { | 482 if (left.isNumber(compiler)) { |
| 492 if (argumentLessThan32(right)) { | 483 if (argumentLessThan32(right)) { |
| 493 return newBuiltinVariant(instruction, compiler); | 484 return newBuiltinVariant(instruction, compiler); |
| 494 } | 485 } |
| 495 // Even if there is no builtin equivalent instruction, we know | 486 // Even if there is no builtin equivalent instruction, we know |
| 496 // the instruction does not have any side effect, and that it | 487 // the instruction does not have any side effect, and that it |
| 497 // can be GVN'ed. | 488 // can be GVN'ed. |
| 498 clearAllSideEffects(instruction); | 489 clearAllSideEffects(instruction); |
| 499 if (isPositive(right, compiler)) { | 490 if (isPositive(right, compiler)) { |
| 500 instruction.selector = renameToOptimizedSelector( | 491 instruction.selector = renameToOptimizedSelector( |
| 501 '_shlPositive', instruction.selector, compiler); | 492 '_shlPositive', instruction.selector, compiler); |
| 502 } | 493 } |
| 503 } | 494 } |
| 504 return null; | 495 return null; |
| 505 } | 496 } |
| 506 | 497 |
| 507 HInstruction newBuiltinVariant(HInvokeDynamic instruction, | 498 HInstruction newBuiltinVariant( |
| 508 Compiler compiler) { | 499 HInvokeDynamic instruction, Compiler compiler) { |
| 509 return new HShiftLeft( | 500 return new HShiftLeft(instruction.inputs[1], instruction.inputs[2], |
| 510 instruction.inputs[1], instruction.inputs[2], | |
| 511 instruction.selector, computeTypeFromInputTypes(instruction, compiler)); | 501 instruction.selector, computeTypeFromInputTypes(instruction, compiler)); |
| 512 } | 502 } |
| 513 } | 503 } |
| 514 | 504 |
| 515 class ShiftRightSpecializer extends BinaryBitOpSpecializer { | 505 class ShiftRightSpecializer extends BinaryBitOpSpecializer { |
| 516 const ShiftRightSpecializer(); | 506 const ShiftRightSpecializer(); |
| 517 | 507 |
| 518 TypeMask computeTypeFromInputTypes(HInvokeDynamic instruction, | 508 TypeMask computeTypeFromInputTypes( |
| 519 Compiler compiler) { | 509 HInvokeDynamic instruction, Compiler compiler) { |
| 520 HInstruction left = instruction.inputs[1]; | 510 HInstruction left = instruction.inputs[1]; |
| 521 if (left.isUInt32(compiler)) return left.instructionType; | 511 if (left.isUInt32(compiler)) return left.instructionType; |
| 522 return super.computeTypeFromInputTypes(instruction, compiler); | 512 return super.computeTypeFromInputTypes(instruction, compiler); |
| 523 } | 513 } |
| 524 | 514 |
| 525 HInstruction tryConvertToBuiltin(HInvokeDynamic instruction, | 515 HInstruction tryConvertToBuiltin( |
| 526 Compiler compiler) { | 516 HInvokeDynamic instruction, Compiler compiler) { |
| 527 HInstruction left = instruction.inputs[1]; | 517 HInstruction left = instruction.inputs[1]; |
| 528 HInstruction right = instruction.inputs[2]; | 518 HInstruction right = instruction.inputs[2]; |
| 529 if (left.isNumber(compiler)) { | 519 if (left.isNumber(compiler)) { |
| 530 if (argumentLessThan32(right) && isPositive(left, compiler)) { | 520 if (argumentLessThan32(right) && isPositive(left, compiler)) { |
| 531 return newBuiltinVariant(instruction, compiler); | 521 return newBuiltinVariant(instruction, compiler); |
| 532 } | 522 } |
| 533 // Even if there is no builtin equivalent instruction, we know | 523 // Even if there is no builtin equivalent instruction, we know |
| 534 // the instruction does not have any side effect, and that it | 524 // the instruction does not have any side effect, and that it |
| 535 // can be GVN'ed. | 525 // can be GVN'ed. |
| 536 clearAllSideEffects(instruction); | 526 clearAllSideEffects(instruction); |
| 537 if (isPositive(right, compiler) && isPositive(left, compiler)) { | 527 if (isPositive(right, compiler) && isPositive(left, compiler)) { |
| 538 instruction.selector = renameToOptimizedSelector( | 528 instruction.selector = renameToOptimizedSelector( |
| 539 '_shrBothPositive', instruction.selector, compiler); | 529 '_shrBothPositive', instruction.selector, compiler); |
| 540 } else if (isPositive(left, compiler) && right.isNumber(compiler)) { | 530 } else if (isPositive(left, compiler) && right.isNumber(compiler)) { |
| 541 instruction.selector = renameToOptimizedSelector( | 531 instruction.selector = renameToOptimizedSelector( |
| 542 '_shrReceiverPositive', instruction.selector, compiler); | 532 '_shrReceiverPositive', instruction.selector, compiler); |
| 543 } else if (isPositive(right, compiler)) { | 533 } else if (isPositive(right, compiler)) { |
| 544 instruction.selector = renameToOptimizedSelector( | 534 instruction.selector = renameToOptimizedSelector( |
| 545 '_shrOtherPositive', instruction.selector, compiler); | 535 '_shrOtherPositive', instruction.selector, compiler); |
| 546 } | 536 } |
| 547 } | 537 } |
| 548 return null; | 538 return null; |
| 549 } | 539 } |
| 550 | 540 |
| 551 HInstruction newBuiltinVariant(HInvokeDynamic instruction, | 541 HInstruction newBuiltinVariant( |
| 552 Compiler compiler) { | 542 HInvokeDynamic instruction, Compiler compiler) { |
| 553 return new HShiftRight( | 543 return new HShiftRight(instruction.inputs[1], instruction.inputs[2], |
| 554 instruction.inputs[1], instruction.inputs[2], | |
| 555 instruction.selector, computeTypeFromInputTypes(instruction, compiler)); | 544 instruction.selector, computeTypeFromInputTypes(instruction, compiler)); |
| 556 } | 545 } |
| 557 | 546 |
| 558 BinaryOperation operation(ConstantSystem constantSystem) { | 547 BinaryOperation operation(ConstantSystem constantSystem) { |
| 559 return constantSystem.shiftRight; | 548 return constantSystem.shiftRight; |
| 560 } | 549 } |
| 561 } | 550 } |
| 562 | 551 |
| 563 class BitOrSpecializer extends BinaryBitOpSpecializer { | 552 class BitOrSpecializer extends BinaryBitOpSpecializer { |
| 564 const BitOrSpecializer(); | 553 const BitOrSpecializer(); |
| 565 | 554 |
| 566 BinaryOperation operation(ConstantSystem constantSystem) { | 555 BinaryOperation operation(ConstantSystem constantSystem) { |
| 567 return constantSystem.bitOr; | 556 return constantSystem.bitOr; |
| 568 } | 557 } |
| 569 | 558 |
| 570 TypeMask computeTypeFromInputTypes(HInvokeDynamic instruction, | 559 TypeMask computeTypeFromInputTypes( |
| 571 Compiler compiler) { | 560 HInvokeDynamic instruction, Compiler compiler) { |
| 572 HInstruction left = instruction.inputs[1]; | 561 HInstruction left = instruction.inputs[1]; |
| 573 HInstruction right = instruction.inputs[2]; | 562 HInstruction right = instruction.inputs[2]; |
| 574 JavaScriptBackend backend = compiler.backend; | 563 JavaScriptBackend backend = compiler.backend; |
| 575 if (left.isUInt31(compiler) && right.isUInt31(compiler)) { | 564 if (left.isUInt31(compiler) && right.isUInt31(compiler)) { |
| 576 return backend.uint31Type; | 565 return backend.uint31Type; |
| 577 } | 566 } |
| 578 return super.computeTypeFromInputTypes(instruction, compiler); | 567 return super.computeTypeFromInputTypes(instruction, compiler); |
| 579 } | 568 } |
| 580 | 569 |
| 581 HInstruction newBuiltinVariant(HInvokeDynamic instruction, | 570 HInstruction newBuiltinVariant( |
| 582 Compiler compiler) { | 571 HInvokeDynamic instruction, Compiler compiler) { |
| 583 return new HBitOr( | 572 return new HBitOr(instruction.inputs[1], instruction.inputs[2], |
| 584 instruction.inputs[1], instruction.inputs[2], | |
| 585 instruction.selector, computeTypeFromInputTypes(instruction, compiler)); | 573 instruction.selector, computeTypeFromInputTypes(instruction, compiler)); |
| 586 } | 574 } |
| 587 } | 575 } |
| 588 | 576 |
| 589 class BitAndSpecializer extends BinaryBitOpSpecializer { | 577 class BitAndSpecializer extends BinaryBitOpSpecializer { |
| 590 const BitAndSpecializer(); | 578 const BitAndSpecializer(); |
| 591 | 579 |
| 592 BinaryOperation operation(ConstantSystem constantSystem) { | 580 BinaryOperation operation(ConstantSystem constantSystem) { |
| 593 return constantSystem.bitAnd; | 581 return constantSystem.bitAnd; |
| 594 } | 582 } |
| 595 | 583 |
| 596 TypeMask computeTypeFromInputTypes(HInvokeDynamic instruction, | 584 TypeMask computeTypeFromInputTypes( |
| 597 Compiler compiler) { | 585 HInvokeDynamic instruction, Compiler compiler) { |
| 598 HInstruction left = instruction.inputs[1]; | 586 HInstruction left = instruction.inputs[1]; |
| 599 HInstruction right = instruction.inputs[2]; | 587 HInstruction right = instruction.inputs[2]; |
| 600 JavaScriptBackend backend = compiler.backend; | 588 JavaScriptBackend backend = compiler.backend; |
| 601 if (left.isPrimitiveOrNull(compiler) && | 589 if (left.isPrimitiveOrNull(compiler) && |
| 602 (left.isUInt31(compiler) || right.isUInt31(compiler))) { | 590 (left.isUInt31(compiler) || right.isUInt31(compiler))) { |
| 603 return backend.uint31Type; | 591 return backend.uint31Type; |
| 604 } | 592 } |
| 605 return super.computeTypeFromInputTypes(instruction, compiler); | 593 return super.computeTypeFromInputTypes(instruction, compiler); |
| 606 } | 594 } |
| 607 | 595 |
| 608 HInstruction newBuiltinVariant(HInvokeDynamic instruction, | 596 HInstruction newBuiltinVariant( |
| 609 Compiler compiler) { | 597 HInvokeDynamic instruction, Compiler compiler) { |
| 610 return new HBitAnd( | 598 return new HBitAnd(instruction.inputs[1], instruction.inputs[2], |
| 611 instruction.inputs[1], instruction.inputs[2], | |
| 612 instruction.selector, computeTypeFromInputTypes(instruction, compiler)); | 599 instruction.selector, computeTypeFromInputTypes(instruction, compiler)); |
| 613 } | 600 } |
| 614 } | 601 } |
| 615 | 602 |
| 616 class BitXorSpecializer extends BinaryBitOpSpecializer { | 603 class BitXorSpecializer extends BinaryBitOpSpecializer { |
| 617 const BitXorSpecializer(); | 604 const BitXorSpecializer(); |
| 618 | 605 |
| 619 BinaryOperation operation(ConstantSystem constantSystem) { | 606 BinaryOperation operation(ConstantSystem constantSystem) { |
| 620 return constantSystem.bitXor; | 607 return constantSystem.bitXor; |
| 621 } | 608 } |
| 622 | 609 |
| 623 TypeMask computeTypeFromInputTypes(HInvokeDynamic instruction, | 610 TypeMask computeTypeFromInputTypes( |
| 624 Compiler compiler) { | 611 HInvokeDynamic instruction, Compiler compiler) { |
| 625 HInstruction left = instruction.inputs[1]; | 612 HInstruction left = instruction.inputs[1]; |
| 626 HInstruction right = instruction.inputs[2]; | 613 HInstruction right = instruction.inputs[2]; |
| 627 JavaScriptBackend backend = compiler.backend; | 614 JavaScriptBackend backend = compiler.backend; |
| 628 if (left.isUInt31(compiler) && right.isUInt31(compiler)) { | 615 if (left.isUInt31(compiler) && right.isUInt31(compiler)) { |
| 629 return backend.uint31Type; | 616 return backend.uint31Type; |
| 630 } | 617 } |
| 631 return super.computeTypeFromInputTypes(instruction, compiler); | 618 return super.computeTypeFromInputTypes(instruction, compiler); |
| 632 } | 619 } |
| 633 | 620 |
| 634 HInstruction newBuiltinVariant(HInvokeDynamic instruction, | 621 HInstruction newBuiltinVariant( |
| 635 Compiler compiler) { | 622 HInvokeDynamic instruction, Compiler compiler) { |
| 636 return new HBitXor( | 623 return new HBitXor(instruction.inputs[1], instruction.inputs[2], |
| 637 instruction.inputs[1], instruction.inputs[2], | |
| 638 instruction.selector, computeTypeFromInputTypes(instruction, compiler)); | 624 instruction.selector, computeTypeFromInputTypes(instruction, compiler)); |
| 639 } | 625 } |
| 640 } | 626 } |
| 641 | 627 |
| 642 abstract class RelationalSpecializer extends InvokeDynamicSpecializer { | 628 abstract class RelationalSpecializer extends InvokeDynamicSpecializer { |
| 643 const RelationalSpecializer(); | 629 const RelationalSpecializer(); |
| 644 | 630 |
| 645 TypeMask computeTypeFromInputTypes(HInvokeDynamic instruction, | 631 TypeMask computeTypeFromInputTypes( |
| 646 Compiler compiler) { | 632 HInvokeDynamic instruction, Compiler compiler) { |
| 647 JavaScriptBackend backend = compiler.backend; | 633 JavaScriptBackend backend = compiler.backend; |
| 648 if (instruction.inputs[1].isPrimitiveOrNull(compiler)) { | 634 if (instruction.inputs[1].isPrimitiveOrNull(compiler)) { |
| 649 return backend.boolType; | 635 return backend.boolType; |
| 650 } | 636 } |
| 651 return super.computeTypeFromInputTypes(instruction, compiler); | 637 return super.computeTypeFromInputTypes(instruction, compiler); |
| 652 } | 638 } |
| 653 | 639 |
| 654 HInstruction tryConvertToBuiltin(HInvokeDynamic instruction, | 640 HInstruction tryConvertToBuiltin( |
| 655 Compiler compiler) { | 641 HInvokeDynamic instruction, Compiler compiler) { |
| 656 HInstruction left = instruction.inputs[1]; | 642 HInstruction left = instruction.inputs[1]; |
| 657 HInstruction right = instruction.inputs[2]; | 643 HInstruction right = instruction.inputs[2]; |
| 658 if (left.isNumber(compiler) && right.isNumber(compiler)) { | 644 if (left.isNumber(compiler) && right.isNumber(compiler)) { |
| 659 return newBuiltinVariant(instruction, compiler); | 645 return newBuiltinVariant(instruction, compiler); |
| 660 } | 646 } |
| 661 return null; | 647 return null; |
| 662 } | 648 } |
| 663 | 649 |
| 664 HInstruction newBuiltinVariant(HInvokeDynamic instruction, Compiler compiler); | 650 HInstruction newBuiltinVariant(HInvokeDynamic instruction, Compiler compiler); |
| 665 } | 651 } |
| 666 | 652 |
| 667 class EqualsSpecializer extends RelationalSpecializer { | 653 class EqualsSpecializer extends RelationalSpecializer { |
| 668 const EqualsSpecializer(); | 654 const EqualsSpecializer(); |
| 669 | 655 |
| 670 HInstruction tryConvertToBuiltin(HInvokeDynamic instruction, | 656 HInstruction tryConvertToBuiltin( |
| 671 Compiler compiler) { | 657 HInvokeDynamic instruction, Compiler compiler) { |
| 672 HInstruction left = instruction.inputs[1]; | 658 HInstruction left = instruction.inputs[1]; |
| 673 HInstruction right = instruction.inputs[2]; | 659 HInstruction right = instruction.inputs[2]; |
| 674 TypeMask instructionType = left.instructionType; | 660 TypeMask instructionType = left.instructionType; |
| 675 if (right.isConstantNull() || left.isPrimitiveOrNull(compiler)) { | 661 if (right.isConstantNull() || left.isPrimitiveOrNull(compiler)) { |
| 676 return newBuiltinVariant(instruction, compiler); | 662 return newBuiltinVariant(instruction, compiler); |
| 677 } | 663 } |
| 678 World world = compiler.world; | 664 World world = compiler.world; |
| 679 JavaScriptBackend backend = compiler.backend; | 665 JavaScriptBackend backend = compiler.backend; |
| 680 Iterable<Element> matches = world.allFunctions.filter( | 666 Iterable<Element> matches = |
| 681 instruction.selector, instructionType); | 667 world.allFunctions.filter(instruction.selector, instructionType); |
| 682 // This test relies the on `Object.==` and `Interceptor.==` always being | 668 // This test relies the on `Object.==` and `Interceptor.==` always being |
| 683 // implemented because if the selector matches by subtype, it still will be | 669 // implemented because if the selector matches by subtype, it still will be |
| 684 // a regular object or an interceptor. | 670 // a regular object or an interceptor. |
| 685 if (matches.every(backend.isDefaultEqualityImplementation)) { | 671 if (matches.every(backend.isDefaultEqualityImplementation)) { |
| 686 return newBuiltinVariant(instruction, compiler); | 672 return newBuiltinVariant(instruction, compiler); |
| 687 } | 673 } |
| 688 return null; | 674 return null; |
| 689 } | 675 } |
| 690 | 676 |
| 691 BinaryOperation operation(ConstantSystem constantSystem) { | 677 BinaryOperation operation(ConstantSystem constantSystem) { |
| 692 return constantSystem.equal; | 678 return constantSystem.equal; |
| 693 } | 679 } |
| 694 | 680 |
| 695 HInstruction newBuiltinVariant(HInvokeDynamic instruction, | 681 HInstruction newBuiltinVariant( |
| 696 Compiler compiler) { | 682 HInvokeDynamic instruction, Compiler compiler) { |
| 697 JavaScriptBackend backend = compiler.backend; | 683 JavaScriptBackend backend = compiler.backend; |
| 698 return new HIdentity( | 684 return new HIdentity(instruction.inputs[1], instruction.inputs[2], |
| 699 instruction.inputs[1], instruction.inputs[2], | |
| 700 instruction.selector, backend.boolType); | 685 instruction.selector, backend.boolType); |
| 701 } | 686 } |
| 702 } | 687 } |
| 703 | 688 |
| 704 class LessSpecializer extends RelationalSpecializer { | 689 class LessSpecializer extends RelationalSpecializer { |
| 705 const LessSpecializer(); | 690 const LessSpecializer(); |
| 706 | 691 |
| 707 BinaryOperation operation(ConstantSystem constantSystem) { | 692 BinaryOperation operation(ConstantSystem constantSystem) { |
| 708 return constantSystem.less; | 693 return constantSystem.less; |
| 709 } | 694 } |
| 710 | 695 |
| 711 HInstruction newBuiltinVariant(HInvokeDynamic instruction, | 696 HInstruction newBuiltinVariant( |
| 712 Compiler compiler) { | 697 HInvokeDynamic instruction, Compiler compiler) { |
| 713 JavaScriptBackend backend = compiler.backend; | 698 JavaScriptBackend backend = compiler.backend; |
| 714 return new HLess( | 699 return new HLess(instruction.inputs[1], instruction.inputs[2], |
| 715 instruction.inputs[1], instruction.inputs[2], | |
| 716 instruction.selector, backend.boolType); | 700 instruction.selector, backend.boolType); |
| 717 } | 701 } |
| 718 } | 702 } |
| 719 | 703 |
| 720 class GreaterSpecializer extends RelationalSpecializer { | 704 class GreaterSpecializer extends RelationalSpecializer { |
| 721 const GreaterSpecializer(); | 705 const GreaterSpecializer(); |
| 722 | 706 |
| 723 BinaryOperation operation(ConstantSystem constantSystem) { | 707 BinaryOperation operation(ConstantSystem constantSystem) { |
| 724 return constantSystem.greater; | 708 return constantSystem.greater; |
| 725 } | 709 } |
| 726 | 710 |
| 727 HInstruction newBuiltinVariant(HInvokeDynamic instruction, | 711 HInstruction newBuiltinVariant( |
| 728 Compiler compiler) { | 712 HInvokeDynamic instruction, Compiler compiler) { |
| 729 JavaScriptBackend backend = compiler.backend; | 713 JavaScriptBackend backend = compiler.backend; |
| 730 return new HGreater( | 714 return new HGreater(instruction.inputs[1], instruction.inputs[2], |
| 731 instruction.inputs[1], instruction.inputs[2], | |
| 732 instruction.selector, backend.boolType); | 715 instruction.selector, backend.boolType); |
| 733 } | 716 } |
| 734 } | 717 } |
| 735 | 718 |
| 736 class GreaterEqualSpecializer extends RelationalSpecializer { | 719 class GreaterEqualSpecializer extends RelationalSpecializer { |
| 737 const GreaterEqualSpecializer(); | 720 const GreaterEqualSpecializer(); |
| 738 | 721 |
| 739 BinaryOperation operation(ConstantSystem constantSystem) { | 722 BinaryOperation operation(ConstantSystem constantSystem) { |
| 740 return constantSystem.greaterEqual; | 723 return constantSystem.greaterEqual; |
| 741 } | 724 } |
| 742 | 725 |
| 743 HInstruction newBuiltinVariant(HInvokeDynamic instruction, | 726 HInstruction newBuiltinVariant( |
| 744 Compiler compiler) { | 727 HInvokeDynamic instruction, Compiler compiler) { |
| 745 JavaScriptBackend backend = compiler.backend; | 728 JavaScriptBackend backend = compiler.backend; |
| 746 return new HGreaterEqual( | 729 return new HGreaterEqual(instruction.inputs[1], instruction.inputs[2], |
| 747 instruction.inputs[1], instruction.inputs[2], | |
| 748 instruction.selector, backend.boolType); | 730 instruction.selector, backend.boolType); |
| 749 } | 731 } |
| 750 } | 732 } |
| 751 | 733 |
| 752 class LessEqualSpecializer extends RelationalSpecializer { | 734 class LessEqualSpecializer extends RelationalSpecializer { |
| 753 const LessEqualSpecializer(); | 735 const LessEqualSpecializer(); |
| 754 | 736 |
| 755 BinaryOperation operation(ConstantSystem constantSystem) { | 737 BinaryOperation operation(ConstantSystem constantSystem) { |
| 756 return constantSystem.lessEqual; | 738 return constantSystem.lessEqual; |
| 757 } | 739 } |
| 758 | 740 |
| 759 HInstruction newBuiltinVariant(HInvokeDynamic instruction, | 741 HInstruction newBuiltinVariant( |
| 760 Compiler compiler) { | 742 HInvokeDynamic instruction, Compiler compiler) { |
| 761 JavaScriptBackend backend = compiler.backend; | 743 JavaScriptBackend backend = compiler.backend; |
| 762 return new HLessEqual( | 744 return new HLessEqual(instruction.inputs[1], instruction.inputs[2], |
| 763 instruction.inputs[1], instruction.inputs[2], | |
| 764 instruction.selector, backend.boolType); | 745 instruction.selector, backend.boolType); |
| 765 } | 746 } |
| 766 } | 747 } |
| 767 | 748 |
| 768 class CodeUnitAtSpecializer extends InvokeDynamicSpecializer { | 749 class CodeUnitAtSpecializer extends InvokeDynamicSpecializer { |
| 769 const CodeUnitAtSpecializer(); | 750 const CodeUnitAtSpecializer(); |
| 770 | 751 |
| 771 BinaryOperation operation(ConstantSystem constantSystem) { | 752 BinaryOperation operation(ConstantSystem constantSystem) { |
| 772 return constantSystem.codeUnitAt; | 753 return constantSystem.codeUnitAt; |
| 773 } | 754 } |
| 774 | 755 |
| 775 HInstruction tryConvertToBuiltin(HInvokeDynamic instruction, | 756 HInstruction tryConvertToBuiltin( |
| 776 Compiler compiler) { | 757 HInvokeDynamic instruction, Compiler compiler) { |
| 777 // TODO(sra): Implement a builtin HCodeUnitAt instruction and the same index | 758 // TODO(sra): Implement a builtin HCodeUnitAt instruction and the same index |
| 778 // bounds checking optimizations as for HIndex. | 759 // bounds checking optimizations as for HIndex. |
| 779 return null; | 760 return null; |
| 780 } | 761 } |
| 781 } | 762 } |
| OLD | NEW |