Chromium Code Reviews
chromiumcodereview-hr@appspot.gserviceaccount.com (chromiumcodereview-hr) | Please choose your nickname with Settings | Help | Chromium Project | Gerrit Changes | Sign out
(196)

Side by Side Diff: runtime/vm/flow_graph_builder.cc

Issue 2408423004: DBC: Fix CheckCids instruction (Closed)
Patch Set: Created 4 years, 2 months ago
Use n/p to move between diff chunks; N/P to move between comments. Draft comments are only viewable by you.
Jump to:
View unified diff | Download patch
« no previous file with comments | « runtime/vm/constants_dbc.h ('k') | runtime/vm/simulator_dbc.cc » ('j') | no next file with comments »
Toggle Intra-line Diffs ('i') | Expand Comments ('e') | Collapse Comments ('c') | Show Comments Hide Comments ('s')
OLDNEW
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 #include "vm/flow_graph_builder.h" 5 #include "vm/flow_graph_builder.h"
6 6
7 #include "lib/invocation_mirror.h" 7 #include "lib/invocation_mirror.h"
8 #include "vm/ast_printer.h" 8 #include "vm/ast_printer.h"
9 #include "vm/bit_vector.h" 9 #include "vm/bit_vector.h"
10 #include "vm/compiler.h" 10 #include "vm/compiler.h"
(...skipping 1528 matching lines...) Expand 10 before | Expand all | Expand 10 after
1539 Value* EffectGraphVisitor::BuildAssignableValue(TokenPosition token_pos, 1539 Value* EffectGraphVisitor::BuildAssignableValue(TokenPosition token_pos,
1540 Value* value, 1540 Value* value,
1541 const AbstractType& dst_type, 1541 const AbstractType& dst_type,
1542 const String& dst_name) { 1542 const String& dst_name) {
1543 if (CanSkipTypeCheck(token_pos, value, dst_type, dst_name)) { 1543 if (CanSkipTypeCheck(token_pos, value, dst_type, dst_name)) {
1544 return value; 1544 return value;
1545 } 1545 }
1546 return Bind(BuildAssertAssignable(token_pos, value, dst_type, dst_name)); 1546 return Bind(BuildAssertAssignable(token_pos, value, dst_type, dst_name));
1547 } 1547 }
1548 1548
1549
1549 static bool simpleInstanceOfType(const AbstractType& type) { 1550 static bool simpleInstanceOfType(const AbstractType& type) {
1550 // Bail if the type is still uninstantiated at compile time. 1551 // Bail if the type is still uninstantiated at compile time.
1551 if (!type.IsInstantiated()) return false; 1552 if (!type.IsInstantiated()) return false;
1552 1553
1553 // Bail if the type is a function or a Dart Function type. 1554 // Bail if the type is a function or a Dart Function type.
1554 if (type.IsFunctionType() || type.IsDartFunctionType()) return false; 1555 if (type.IsFunctionType() || type.IsDartFunctionType()) return false;
1555 1556
1556 ASSERT(type.HasResolvedTypeClass()); 1557 ASSERT(type.HasResolvedTypeClass());
1557 const Class& type_class = Class::Handle(type.type_class()); 1558 const Class& type_class = Class::Handle(type.type_class());
1558 // Bail if the type has any type parameters. 1559 // Bail if the type has any type parameters.
(...skipping 3079 matching lines...) Expand 10 before | Expand all | Expand 10 after
4638 block_marks); 4639 block_marks);
4639 ASSERT(found); 4640 ASSERT(found);
4640 } 4641 }
4641 4642
4642 4643
4643 void FlowGraphBuilder::Bailout(const char* reason) const { 4644 void FlowGraphBuilder::Bailout(const char* reason) const {
4644 parsed_function_.Bailout("FlowGraphBuilder", reason); 4645 parsed_function_.Bailout("FlowGraphBuilder", reason);
4645 } 4646 }
4646 4647
4647 } // namespace dart 4648 } // namespace dart
OLDNEW
« no previous file with comments | « runtime/vm/constants_dbc.h ('k') | runtime/vm/simulator_dbc.cc » ('j') | no next file with comments »

Powered by Google App Engine
This is Rietveld 408576698