Ben Murdoch | 097c5b2 | 2016-05-18 11:27:45 +0100 | [diff] [blame] | 1 | // Copyright 2016 the V8 project authors. All rights reserved. |
| 2 | // Use of this source code is governed by a BSD-style license that can be |
| 3 | // found in the LICENSE file. |
| 4 | |
| 5 | #ifndef V8_INTERPRETER_SOURCE_POSITION_TABLE_H_ |
| 6 | #define V8_INTERPRETER_SOURCE_POSITION_TABLE_H_ |
| 7 | |
| 8 | #include "src/assert-scope.h" |
Ben Murdoch | da12d29 | 2016-06-02 14:46:10 +0100 | [diff] [blame] | 9 | #include "src/checks.h" |
Ben Murdoch | 097c5b2 | 2016-05-18 11:27:45 +0100 | [diff] [blame] | 10 | #include "src/handles.h" |
Ben Murdoch | da12d29 | 2016-06-02 14:46:10 +0100 | [diff] [blame] | 11 | #include "src/log.h" |
Ben Murdoch | 097c5b2 | 2016-05-18 11:27:45 +0100 | [diff] [blame] | 12 | #include "src/zone-containers.h" |
| 13 | |
| 14 | namespace v8 { |
| 15 | namespace internal { |
| 16 | |
| 17 | class BytecodeArray; |
Ben Murdoch | da12d29 | 2016-06-02 14:46:10 +0100 | [diff] [blame] | 18 | class ByteArray; |
Ben Murdoch | 097c5b2 | 2016-05-18 11:27:45 +0100 | [diff] [blame] | 19 | class Isolate; |
Ben Murdoch | da12d29 | 2016-06-02 14:46:10 +0100 | [diff] [blame] | 20 | class Zone; |
Ben Murdoch | 097c5b2 | 2016-05-18 11:27:45 +0100 | [diff] [blame] | 21 | |
| 22 | namespace interpreter { |
| 23 | |
Ben Murdoch | da12d29 | 2016-06-02 14:46:10 +0100 | [diff] [blame] | 24 | struct PositionTableEntry { |
| 25 | PositionTableEntry() |
| 26 | : bytecode_offset(0), source_position(0), is_statement(false) {} |
| 27 | PositionTableEntry(int bytecode, int source, bool statement) |
| 28 | : bytecode_offset(bytecode), |
| 29 | source_position(source), |
| 30 | is_statement(statement) {} |
| 31 | |
| 32 | int bytecode_offset; |
| 33 | int source_position; |
| 34 | bool is_statement; |
| 35 | }; |
| 36 | |
| 37 | class SourcePositionTableBuilder : public PositionsRecorder { |
Ben Murdoch | 097c5b2 | 2016-05-18 11:27:45 +0100 | [diff] [blame] | 38 | public: |
Ben Murdoch | da12d29 | 2016-06-02 14:46:10 +0100 | [diff] [blame] | 39 | SourcePositionTableBuilder(Isolate* isolate, Zone* zone) |
| 40 | : isolate_(isolate), |
| 41 | bytes_(zone), |
| 42 | #ifdef ENABLE_SLOW_DCHECKS |
| 43 | raw_entries_(zone), |
| 44 | #endif |
| 45 | candidate_(kUninitializedCandidateOffset, 0, false) { |
| 46 | } |
Ben Murdoch | 097c5b2 | 2016-05-18 11:27:45 +0100 | [diff] [blame] | 47 | |
| 48 | void AddStatementPosition(size_t bytecode_offset, int source_position); |
| 49 | void AddExpressionPosition(size_t bytecode_offset, int source_position); |
Ben Murdoch | da12d29 | 2016-06-02 14:46:10 +0100 | [diff] [blame] | 50 | Handle<ByteArray> ToSourcePositionTable(); |
Ben Murdoch | 097c5b2 | 2016-05-18 11:27:45 +0100 | [diff] [blame] | 51 | |
| 52 | private: |
Ben Murdoch | da12d29 | 2016-06-02 14:46:10 +0100 | [diff] [blame] | 53 | static const int kUninitializedCandidateOffset = -1; |
Ben Murdoch | 097c5b2 | 2016-05-18 11:27:45 +0100 | [diff] [blame] | 54 | |
Ben Murdoch | da12d29 | 2016-06-02 14:46:10 +0100 | [diff] [blame] | 55 | void AddEntry(const PositionTableEntry& entry); |
| 56 | void CommitEntry(); |
Ben Murdoch | 097c5b2 | 2016-05-18 11:27:45 +0100 | [diff] [blame] | 57 | |
| 58 | Isolate* isolate_; |
Ben Murdoch | da12d29 | 2016-06-02 14:46:10 +0100 | [diff] [blame] | 59 | ZoneVector<byte> bytes_; |
| 60 | #ifdef ENABLE_SLOW_DCHECKS |
| 61 | ZoneVector<PositionTableEntry> raw_entries_; |
| 62 | #endif |
| 63 | PositionTableEntry candidate_; // Next entry to be written, if initialized. |
| 64 | PositionTableEntry previous_; // Previously written entry, to compute delta. |
Ben Murdoch | 097c5b2 | 2016-05-18 11:27:45 +0100 | [diff] [blame] | 65 | }; |
| 66 | |
| 67 | class SourcePositionTableIterator { |
| 68 | public: |
Ben Murdoch | da12d29 | 2016-06-02 14:46:10 +0100 | [diff] [blame] | 69 | explicit SourcePositionTableIterator(ByteArray* byte_array); |
Ben Murdoch | 097c5b2 | 2016-05-18 11:27:45 +0100 | [diff] [blame] | 70 | |
| 71 | void Advance(); |
| 72 | |
| 73 | int bytecode_offset() const { |
| 74 | DCHECK(!done()); |
Ben Murdoch | da12d29 | 2016-06-02 14:46:10 +0100 | [diff] [blame] | 75 | return current_.bytecode_offset; |
Ben Murdoch | 097c5b2 | 2016-05-18 11:27:45 +0100 | [diff] [blame] | 76 | } |
| 77 | int source_position() const { |
| 78 | DCHECK(!done()); |
Ben Murdoch | da12d29 | 2016-06-02 14:46:10 +0100 | [diff] [blame] | 79 | return current_.source_position; |
Ben Murdoch | 097c5b2 | 2016-05-18 11:27:45 +0100 | [diff] [blame] | 80 | } |
| 81 | bool is_statement() const { |
| 82 | DCHECK(!done()); |
Ben Murdoch | da12d29 | 2016-06-02 14:46:10 +0100 | [diff] [blame] | 83 | return current_.is_statement; |
Ben Murdoch | 097c5b2 | 2016-05-18 11:27:45 +0100 | [diff] [blame] | 84 | } |
Ben Murdoch | da12d29 | 2016-06-02 14:46:10 +0100 | [diff] [blame] | 85 | bool done() const { return index_ == kDone; } |
Ben Murdoch | 097c5b2 | 2016-05-18 11:27:45 +0100 | [diff] [blame] | 86 | |
| 87 | private: |
Ben Murdoch | da12d29 | 2016-06-02 14:46:10 +0100 | [diff] [blame] | 88 | static const int kDone = -1; |
| 89 | |
| 90 | ByteArray* table_; |
Ben Murdoch | 097c5b2 | 2016-05-18 11:27:45 +0100 | [diff] [blame] | 91 | int index_; |
Ben Murdoch | da12d29 | 2016-06-02 14:46:10 +0100 | [diff] [blame] | 92 | PositionTableEntry current_; |
Ben Murdoch | 097c5b2 | 2016-05-18 11:27:45 +0100 | [diff] [blame] | 93 | DisallowHeapAllocation no_gc; |
| 94 | }; |
| 95 | |
| 96 | } // namespace interpreter |
| 97 | } // namespace internal |
| 98 | } // namespace v8 |
| 99 | |
| 100 | #endif // V8_INTERPRETER_SOURCE_POSITION_TABLE_H_ |