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

Side by Side Diff: runtime/vm/flow_graph_type_propagator.h

Issue 1491373005: VM: Fix bug in type propagation at conditionals. (Closed) Base URL: git@github.com:dart-lang/sdk.git@master
Patch Set: Created 5 years 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 | « no previous file | runtime/vm/flow_graph_type_propagator.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) 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 #ifndef VM_FLOW_GRAPH_TYPE_PROPAGATOR_H_ 5 #ifndef VM_FLOW_GRAPH_TYPE_PROPAGATOR_H_
6 #define VM_FLOW_GRAPH_TYPE_PROPAGATOR_H_ 6 #define VM_FLOW_GRAPH_TYPE_PROPAGATOR_H_
7 7
8 #include "vm/flow_graph.h" 8 #include "vm/flow_graph.h"
9 #include "vm/intermediate_language.h" 9 #include "vm/intermediate_language.h"
10 10
11 namespace dart { 11 namespace dart {
12 12
13 class FlowGraphTypePropagator : public FlowGraphVisitor { 13 class FlowGraphTypePropagator : public FlowGraphVisitor {
14 public: 14 public:
15 static void Propagate(FlowGraph* flow_graph); 15 static void Propagate(FlowGraph* flow_graph);
16 16
17 private: 17 private:
18 explicit FlowGraphTypePropagator(FlowGraph* flow_graph); 18 explicit FlowGraphTypePropagator(FlowGraph* flow_graph);
19 19
20 void Propagate(); 20 void Propagate();
21 21
22 void PropagateRecursive(BlockEntryInstr* block); 22 void PropagateRecursive(BlockEntryInstr* block);
23 void HandleBranchOnStrictCompare(BlockEntryInstr* block);
24 23
25 void RollbackTo(intptr_t rollback_point); 24 void RollbackTo(intptr_t rollback_point);
26 25
27 void VisitValue(Value* value); 26 void VisitValue(Value* value);
28 27
29 virtual void VisitJoinEntry(JoinEntryInstr* instr); 28 virtual void VisitJoinEntry(JoinEntryInstr* instr);
30 virtual void VisitCheckSmi(CheckSmiInstr* instr); 29 virtual void VisitCheckSmi(CheckSmiInstr* instr);
31 virtual void VisitCheckClass(CheckClassInstr* instr); 30 virtual void VisitCheckClass(CheckClassInstr* instr);
32 virtual void VisitCheckClassId(CheckClassIdInstr* instr); 31 virtual void VisitCheckClassId(CheckClassIdInstr* instr);
33 virtual void VisitGuardFieldClass(GuardFieldClassInstr* instr); 32 virtual void VisitGuardFieldClass(GuardFieldClassInstr* instr);
(...skipping 55 matching lines...) Expand 10 before | Expand all | Expand 10 after
89 intptr_t index_; 88 intptr_t index_;
90 CompileType* type_; 89 CompileType* type_;
91 }; 90 };
92 91
93 GrowableArray<RollbackEntry> rollback_; 92 GrowableArray<RollbackEntry> rollback_;
94 }; 93 };
95 94
96 } // namespace dart 95 } // namespace dart
97 96
98 #endif // VM_FLOW_GRAPH_TYPE_PROPAGATOR_H_ 97 #endif // VM_FLOW_GRAPH_TYPE_PROPAGATOR_H_
OLDNEW
« no previous file with comments | « no previous file | runtime/vm/flow_graph_type_propagator.cc » ('j') | no next file with comments »

Powered by Google App Engine
This is Rietveld 408576698