| 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 #include "vm/code_generator.h" | 5 #include "vm/code_generator.h" |
| 6 | 6 |
| 7 #include "vm/assembler.h" | 7 #include "vm/assembler.h" |
| 8 #include "vm/ast.h" | 8 #include "vm/ast.h" |
| 9 #include "vm/bigint_operations.h" | 9 #include "vm/bigint_operations.h" |
| 10 #include "vm/code_patcher.h" | 10 #include "vm/code_patcher.h" |
| (...skipping 640 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
| 651 const String& bool_type_name = | 651 const String& bool_type_name = |
| 652 String::Handle(bool_interface.UserVisibleName()); | 652 String::Handle(bool_interface.UserVisibleName()); |
| 653 const String& no_bound_error = String::Handle(); | 653 const String& no_bound_error = String::Handle(); |
| 654 Exceptions::CreateAndThrowTypeError(location, src_type_name, bool_type_name, | 654 Exceptions::CreateAndThrowTypeError(location, src_type_name, bool_type_name, |
| 655 Symbols::BooleanExpression(), | 655 Symbols::BooleanExpression(), |
| 656 no_bound_error); | 656 no_bound_error); |
| 657 UNREACHABLE(); | 657 UNREACHABLE(); |
| 658 } | 658 } |
| 659 | 659 |
| 660 | 660 |
| 661 // TODO(regis): Is this entry still used for malformed types or just malbounded | 661 // Report that the type of the type check is malformed or malbounded. |
| 662 // types? Revisit. | |
| 663 // Report that the type of the type check is malformed. | |
| 664 // Arg0: src value. | 662 // Arg0: src value. |
| 665 // Arg1: name of destination being assigned to. | 663 // Arg1: name of destination being assigned to. |
| 666 // Arg2: type of destination being assigned to. | 664 // Arg2: type of destination being assigned to. |
| 667 // Return value: none, throws an exception. | 665 // Return value: none, throws an exception. |
| 668 DEFINE_RUNTIME_ENTRY(BadTypeError, 3) { | 666 DEFINE_RUNTIME_ENTRY(BadTypeError, 3) { |
| 669 const intptr_t location = GetCallerLocation(); | 667 const intptr_t location = GetCallerLocation(); |
| 670 const Instance& src_value = Instance::CheckedHandle(arguments.ArgAt(0)); | 668 const Instance& src_value = Instance::CheckedHandle(arguments.ArgAt(0)); |
| 671 const String& dst_name = String::CheckedHandle(arguments.ArgAt(1)); | 669 const String& dst_name = String::CheckedHandle(arguments.ArgAt(1)); |
| 672 const AbstractType& dst_type = | 670 const AbstractType& dst_type = |
| 673 AbstractType::CheckedHandle(arguments.ArgAt(2)); | 671 AbstractType::CheckedHandle(arguments.ArgAt(2)); |
| (...skipping 1027 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
| 1701 // of the given value. | 1699 // of the given value. |
| 1702 // Arg0: Field object; | 1700 // Arg0: Field object; |
| 1703 // Arg1: Value that is being stored. | 1701 // Arg1: Value that is being stored. |
| 1704 DEFINE_RUNTIME_ENTRY(UpdateFieldCid, 2) { | 1702 DEFINE_RUNTIME_ENTRY(UpdateFieldCid, 2) { |
| 1705 const Field& field = Field::CheckedHandle(arguments.ArgAt(0)); | 1703 const Field& field = Field::CheckedHandle(arguments.ArgAt(0)); |
| 1706 const Object& value = Object::Handle(arguments.ArgAt(1)); | 1704 const Object& value = Object::Handle(arguments.ArgAt(1)); |
| 1707 field.UpdateGuardedCidAndLength(value); | 1705 field.UpdateGuardedCidAndLength(value); |
| 1708 } | 1706 } |
| 1709 | 1707 |
| 1710 } // namespace dart | 1708 } // namespace dart |
| OLD | NEW |