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

Side by Side Diff: pkg/compiler/lib/src/cps_ir/redundant_phi.dart

Issue 735253003: Add CPS IR transformation to make the JavaScript backend specific semantics explicit in the tree. (Closed) Base URL: https://dart.googlecode.com/svn/branches/bleeding_edge/dart
Patch Set: Created 6 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 | Annotate | Revision Log
OLDNEW
1 // Copyright (c) 2014, the Dart project authors. Please see the AUTHORS file 1 // Copyright (c) 2014, 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 part of dart2js.optimizers; 5 part of dart2js.optimizers;
6 6
7 /// Eliminate redundant phis from the given [FunctionDefinition]. 7 /// Eliminate redundant phis from the given [FunctionDefinition].
8 /// 8 ///
9 /// Phis in this case are [Continuations] together with corresponding 9 /// Phis in this case are [Continuations] together with corresponding
10 /// [InvokeContinuation]s. A [Continuation] parameter at position i is redundant 10 /// [InvokeContinuation]s. A [Continuation] parameter at position i is redundant
11 /// if for all [InvokeContinuation]s, the parameter at position i is identical 11 /// if for all [InvokeContinuation]s, the parameter at position i is identical
12 /// (except for feedback). Redundant parameters are removed from the 12 /// (except for feedback). Redundant parameters are removed from the
13 /// continuation signature, all invocations, and replaced within the 13 /// continuation signature, all invocations, and replaced within the
14 /// continuation body. 14 /// continuation body.
15 class RedundantPhiEliminator extends RecursiveVisitor implements Pass { 15 class RedundantPhiEliminator extends RecursiveVisitor implements Pass {
16 final Set<Continuation> workSet = new Set<Continuation>(); 16 final Set<Continuation> workSet = new Set<Continuation>();
17 17
18 void rewrite(final FunctionDefinition root) { 18 void rewrite(final FunctionDefinition root) {
19 if (root.isAbstract) return; 19 if (root.isAbstract) return;
20 20
21 // Set all parent pointers. 21 // Set all parent pointers.
22 new _ParentVisitor().visit(root); 22 new ParentVisitor().visit(root);
23 23
24 // Traverse the tree once to build the work set. 24 // Traverse the tree once to build the work set.
25 visit(root); 25 visit(root);
26 26
27 // Process each continuation one-by-one. 27 // Process each continuation one-by-one.
28 while (workSet.isNotEmpty) { 28 while (workSet.isNotEmpty) {
29 Continuation cont = workSet.first; 29 Continuation cont = workSet.first;
30 workSet.remove(cont); 30 workSet.remove(cont);
31 31
32 if (cont.isReturnContinuation) { 32 if (cont.isReturnContinuation) {
(...skipping 138 matching lines...) Expand 10 before | Expand all | Expand 10 after
171 171
172 // Insert it just below the binding of definition. 172 // Insert it just below the binding of definition.
173 InteriorNode binding = definition.parent; 173 InteriorNode binding = definition.parent;
174 174
175 letCont.body = binding.body; 175 letCont.body = binding.body;
176 binding.body.parent = letCont; 176 binding.body.parent = letCont;
177 177
178 binding.body = letCont; 178 binding.body = letCont;
179 letCont.parent = binding; 179 letCont.parent = binding;
180 } 180 }
OLDNEW
« no previous file with comments | « pkg/compiler/lib/src/cps_ir/cps_ir_tracer.dart ('k') | pkg/compiler/lib/src/cps_ir/shrinking_reductions.dart » ('j') | no next file with comments »

Powered by Google App Engine
This is Rietveld 408576698