| OLD | NEW |
| 1 // Copyright (c) 2012, the Dart project authors. Please see the AUTHORS file | 1 // Copyright (c) 2012, 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 class SsaCodeGeneratorTask extends CompilerTask { | 5 class SsaCodeGeneratorTask extends CompilerTask { |
| 6 final JavaScriptBackend backend; | 6 final JavaScriptBackend backend; |
| 7 SsaCodeGeneratorTask(JavaScriptBackend backend) | 7 SsaCodeGeneratorTask(JavaScriptBackend backend) |
| 8 : this.backend = backend, | 8 : this.backend = backend, |
| 9 super(backend.compiler); | 9 super(backend.compiler); |
| 10 String get name() => 'SSA code generator'; | 10 String get name() => 'SSA code generator'; |
| (...skipping 2476 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
| 2487 endExpression(JSPrecedence.LOGICAL_AND_PRECEDENCE); | 2487 endExpression(JSPrecedence.LOGICAL_AND_PRECEDENCE); |
| 2488 }); | 2488 }); |
| 2489 } | 2489 } |
| 2490 if (node.nullOk) { | 2490 if (node.nullOk) { |
| 2491 expectedPrecedence = oldPrecedence; | 2491 expectedPrecedence = oldPrecedence; |
| 2492 endExpression(JSPrecedence.LOGICAL_OR_PRECEDENCE); | 2492 endExpression(JSPrecedence.LOGICAL_OR_PRECEDENCE); |
| 2493 } | 2493 } |
| 2494 } | 2494 } |
| 2495 | 2495 |
| 2496 void visitTypeConversion(HTypeConversion node) { | 2496 void visitTypeConversion(HTypeConversion node) { |
| 2497 if (node.isChecked()) { | 2497 Map<String, SourceString> castNames = const <SourceString> { |
| 2498 "stringTypeCheck": |
| 2499 const SourceString("stringTypeCast"), |
| 2500 "doubleTypeCheck": |
| 2501 const SourceString("doubleTypeCast"), |
| 2502 "numTypeCheck": |
| 2503 const SourceString("numTypeCast"), |
| 2504 "boolTypeCheck": |
| 2505 const SourceString("boolTypeCast"), |
| 2506 "functionTypeCheck": |
| 2507 const SourceString("functionTypeCast"), |
| 2508 "intTypeCheck": |
| 2509 const SourceString("intTypeCast"), |
| 2510 "stringSuperNativeTypeCheck": |
| 2511 const SourceString("stringSuperNativeTypeCast"), |
| 2512 "stringSuperTypeCheck": |
| 2513 const SourceString("stringSuperTypeCast"), |
| 2514 "listTypeCheck": |
| 2515 const SourceString("listTypeCast"), |
| 2516 "listSuperNativeTypeCheck": |
| 2517 const SourceString("listSuperNativeTypeCast"), |
| 2518 "listSuperTypeCheck": |
| 2519 const SourceString("listSuperTypeCast"), |
| 2520 "callTypeCheck": |
| 2521 const SourceString("callTypeCast"), |
| 2522 "propertyTypeCheck": |
| 2523 const SourceString("propertyTypeCast") |
| 2524 }; |
| 2525 |
| 2526 if (node.isChecked) { |
| 2498 Element element = node.type.computeType(compiler).element; | 2527 Element element = node.type.computeType(compiler).element; |
| 2499 world.registerIsCheck(element); | 2528 world.registerIsCheck(element); |
| 2500 SourceString helper; | 2529 SourceString helper; |
| 2501 String additionalArgument; | 2530 String additionalArgument; |
| 2502 bool nativeCheck = | 2531 bool nativeCheck = |
| 2503 backend.emitter.nativeEmitter.requiresNativeIsCheck(element); | 2532 backend.emitter.nativeEmitter.requiresNativeIsCheck(element); |
| 2504 beginExpression(JSPrecedence.CALL_PRECEDENCE); | 2533 beginExpression(JSPrecedence.CALL_PRECEDENCE); |
| 2505 | 2534 |
| 2506 if (node.isArgumentTypeCheck()) { | 2535 if (node.isArgumentTypeCheck) { |
| 2507 buffer.add('if ('); | 2536 buffer.add('if ('); |
| 2508 if (element == compiler.intClass) { | 2537 if (element == compiler.intClass) { |
| 2509 checkInt(node.checkedInput, '!=='); | 2538 checkInt(node.checkedInput, '!=='); |
| 2510 } else { | 2539 } else { |
| 2511 assert(element == compiler.numClass); | 2540 assert(element == compiler.numClass); |
| 2512 checkNum(node.checkedInput, '!=='); | 2541 checkNum(node.checkedInput, '!=='); |
| 2513 } | 2542 } |
| 2514 buffer.add(') '); | 2543 buffer.add(') '); |
| 2515 generateThrowWithHelper('iae', node.checkedInput); | 2544 generateThrowWithHelper('iae', node.checkedInput); |
| 2516 return; | 2545 return; |
| 2517 } | 2546 } |
| 2518 | 2547 |
| 2519 assert(node.isCheckedModeCheck()); | 2548 assert(node.isCheckedModeCheck); |
| 2520 if (element == compiler.stringClass) { | 2549 if (element == compiler.stringClass) { |
| 2521 helper = const SourceString('stringTypeCheck'); | 2550 helper = const SourceString('stringTypeCheck'); |
| 2522 } else if (element == compiler.doubleClass) { | 2551 } else if (element == compiler.doubleClass) { |
| 2523 helper = const SourceString('doubleTypeCheck'); | 2552 helper = const SourceString('doubleTypeCheck'); |
| 2524 } else if (element == compiler.numClass) { | 2553 } else if (element == compiler.numClass) { |
| 2525 helper = const SourceString('numTypeCheck'); | 2554 helper = const SourceString('numTypeCheck'); |
| 2526 } else if (element == compiler.boolClass) { | 2555 } else if (element == compiler.boolClass) { |
| 2527 helper = const SourceString('boolTypeCheck'); | 2556 helper = const SourceString('boolTypeCheck'); |
| 2528 } else if (element == compiler.functionClass || element.isTypedef()) { | 2557 } else if (element == compiler.functionClass || element.isTypedef()) { |
| 2529 helper = const SourceString('functionTypeCheck'); | 2558 helper = const SourceString('functionTypeCheck'); |
| (...skipping 15 matching lines...) Expand all Loading... |
| 2545 helper = const SourceString('listSuperNativeTypeCheck'); | 2574 helper = const SourceString('listSuperNativeTypeCheck'); |
| 2546 } else { | 2575 } else { |
| 2547 helper = const SourceString('listSuperTypeCheck'); | 2576 helper = const SourceString('listSuperTypeCheck'); |
| 2548 } | 2577 } |
| 2549 } else if (nativeCheck) { | 2578 } else if (nativeCheck) { |
| 2550 helper = const SourceString('callTypeCheck'); | 2579 helper = const SourceString('callTypeCheck'); |
| 2551 } else { | 2580 } else { |
| 2552 helper = const SourceString('propertyTypeCheck'); | 2581 helper = const SourceString('propertyTypeCheck'); |
| 2553 } | 2582 } |
| 2554 } | 2583 } |
| 2584 if (node.isCastTypeCheck) { |
| 2585 helper = castNames[helper.stringValue]; |
| 2586 } |
| 2555 Element helperElement = compiler.findHelper(helper); | 2587 Element helperElement = compiler.findHelper(helper); |
| 2556 world.registerStaticUse(helperElement); | 2588 world.registerStaticUse(helperElement); |
| 2557 buffer.add(compiler.namer.isolateAccess(helperElement)); | 2589 buffer.add(compiler.namer.isolateAccess(helperElement)); |
| 2558 buffer.add('('); | 2590 buffer.add('('); |
| 2559 use(node.checkedInput, JSPrecedence.EXPRESSION_PRECEDENCE); | 2591 use(node.checkedInput, JSPrecedence.EXPRESSION_PRECEDENCE); |
| 2560 if (additionalArgument !== null) buffer.add(", '$additionalArgument'"); | 2592 if (additionalArgument !== null) buffer.add(", '$additionalArgument'"); |
| 2561 buffer.add(')'); | 2593 buffer.add(')'); |
| 2562 endExpression(JSPrecedence.CALL_PRECEDENCE); | 2594 endExpression(JSPrecedence.CALL_PRECEDENCE); |
| 2563 } else { | 2595 } else { |
| 2564 use(node.checkedInput, expectedPrecedence); | 2596 use(node.checkedInput, expectedPrecedence); |
| (...skipping 437 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
| 3002 startBailoutSwitch(); | 3034 startBailoutSwitch(); |
| 3003 } | 3035 } |
| 3004 } | 3036 } |
| 3005 | 3037 |
| 3006 void endLabeledBlock(HLabeledBlockInformation labeledBlockInfo) { | 3038 void endLabeledBlock(HLabeledBlockInformation labeledBlockInfo) { |
| 3007 if (labeledBlockInfo.body.start.hasGuards()) { | 3039 if (labeledBlockInfo.body.start.hasGuards()) { |
| 3008 endBailoutSwitch(); | 3040 endBailoutSwitch(); |
| 3009 } | 3041 } |
| 3010 } | 3042 } |
| 3011 } | 3043 } |
| OLD | NEW |