| OLD | NEW |
| 1 // Copyright 2014 the V8 project authors. All rights reserved. | 1 // Copyright 2014 the V8 project authors. All rights reserved. |
| 2 // Use of this source code is governed by a BSD-style license that can be | 2 // Use of this source code is governed by a BSD-style license that can be |
| 3 // found in the LICENSE file. | 3 // found in the LICENSE file. |
| 4 | 4 |
| 5 #ifndef V8_AST_AST_NUMBERING_H_ | 5 #ifndef V8_AST_AST_NUMBERING_H_ |
| 6 #define V8_AST_AST_NUMBERING_H_ | 6 #define V8_AST_AST_NUMBERING_H_ |
| 7 | 7 |
| 8 namespace v8 { | 8 namespace v8 { |
| 9 namespace internal { | 9 namespace internal { |
| 10 | 10 |
| 11 // Forward declarations. | 11 // Forward declarations. |
| 12 class FunctionLiteral; | 12 class FunctionLiteral; |
| 13 class Isolate; | 13 class Isolate; |
| 14 class Zone; | 14 class Zone; |
| 15 template <typename T> |
| 16 class ThreadedList; |
| 17 template <typename T> |
| 18 class ThreadedListZoneEntry; |
| 19 template <typename T> |
| 20 class ZoneVector; |
| 15 | 21 |
| 16 namespace AstNumbering { | 22 namespace AstNumbering { |
| 17 // Assign type feedback IDs, bailout IDs, and generator yield IDs to an AST node | 23 // Assign type feedback IDs, bailout IDs, and generator yield IDs to an AST node |
| 18 // tree; perform catch prediction for TryStatements. | 24 // tree; perform catch prediction for TryStatements. If |eager_literals| is |
| 19 bool Renumber(Isolate* isolate, Zone* zone, FunctionLiteral* function); | 25 // non-null, adds any eager inner literal functions into it. |
| 26 bool Renumber( |
| 27 Isolate* isolate, Zone* zone, FunctionLiteral* function, |
| 28 ThreadedList<ThreadedListZoneEntry<FunctionLiteral*>>* eager_literals); |
| 20 } | 29 } |
| 21 | 30 |
| 22 // Some details on yield IDs | 31 // Some details on yield IDs |
| 23 // ------------------------- | 32 // ------------------------- |
| 24 // | 33 // |
| 25 // In order to assist Ignition in generating bytecode for a generator function, | 34 // In order to assist Ignition in generating bytecode for a generator function, |
| 26 // we assign a unique number (the yield ID) to each Yield node in its AST. We | 35 // we assign a unique number (the yield ID) to each Yield node in its AST. We |
| 27 // also annotate loops with the number of yields they contain (loop.yield_count) | 36 // also annotate loops with the number of yields they contain (loop.yield_count) |
| 28 // and the smallest ID of those (loop.first_yield_id), and we annotate the | 37 // and the smallest ID of those (loop.first_yield_id), and we annotate the |
| 29 // function itself with the number of yields it contains (function.yield_count). | 38 // function itself with the number of yields it contains (function.yield_count). |
| 30 // | 39 // |
| 31 // The way in which we choose the IDs is simply by enumerating the Yield nodes. | 40 // The way in which we choose the IDs is simply by enumerating the Yield nodes. |
| 32 // Ignition relies on the following properties: | 41 // Ignition relies on the following properties: |
| 33 // - For each loop l and each yield y of l: | 42 // - For each loop l and each yield y of l: |
| 34 // l.first_yield_id <= y.yield_id < l.first_yield_id + l.yield_count | 43 // l.first_yield_id <= y.yield_id < l.first_yield_id + l.yield_count |
| 35 // - For the generator function f itself and each yield y of f: | 44 // - For the generator function f itself and each yield y of f: |
| 36 // 0 <= y.yield_id < f.yield_count | 45 // 0 <= y.yield_id < f.yield_count |
| 37 | 46 |
| 38 } // namespace internal | 47 } // namespace internal |
| 39 } // namespace v8 | 48 } // namespace v8 |
| 40 | 49 |
| 41 #endif // V8_AST_AST_NUMBERING_H_ | 50 #endif // V8_AST_AST_NUMBERING_H_ |
| OLD | NEW |