OLD | NEW |
1 // Copyright (c) 2016, the Dart project authors. Please see the AUTHORS file | 1 // Copyright (c) 2016, 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 RUNTIME_VM_TOKEN_POSITION_H_ | 5 #ifndef RUNTIME_VM_TOKEN_POSITION_H_ |
6 #define RUNTIME_VM_TOKEN_POSITION_H_ | 6 #define RUNTIME_VM_TOKEN_POSITION_H_ |
7 | 7 |
8 #include "platform/utils.h" | 8 #include "platform/utils.h" |
9 #include "vm/allocation.h" | 9 #include "vm/allocation.h" |
10 | 10 |
(...skipping 11 matching lines...) Expand all Loading... |
22 // | 22 // |
23 // A source position of 0 in a synthetic AstNode would be encoded as -2 - N. | 23 // A source position of 0 in a synthetic AstNode would be encoded as -2 - N. |
24 // A source position of 1 in a synthetic AstNode would be encoded as -3 - N. | 24 // A source position of 1 in a synthetic AstNode would be encoded as -3 - N. |
25 // | 25 // |
26 // All other AstNodes are given real source positions encoded as positive | 26 // All other AstNodes are given real source positions encoded as positive |
27 // integers. | 27 // integers. |
28 // | 28 // |
29 // This organization allows for ~1 billion token positions. | 29 // This organization allows for ~1 billion token positions. |
30 | 30 |
31 #define SENTINEL_TOKEN_DESCRIPTORS(V) \ | 31 #define SENTINEL_TOKEN_DESCRIPTORS(V) \ |
32 V(NoSource, -1) \ | 32 V(NoSource, -1) \ |
33 V(Box, -2) \ | 33 V(Box, -2) \ |
34 V(ParallelMove, -3) \ | 34 V(ParallelMove, -3) \ |
35 V(TempMove, -4) \ | 35 V(TempMove, -4) \ |
36 V(Constant, -5) \ | 36 V(Constant, -5) \ |
37 V(PushArgument, -6) \ | 37 V(PushArgument, -6) \ |
38 V(ControlFlow, -7) \ | 38 V(ControlFlow, -7) \ |
39 V(Context, -8) \ | 39 V(Context, -8) \ |
40 V(MethodExtractor, -9) \ | 40 V(MethodExtractor, -9) \ |
41 V(DeferredSlowPath, -10) \ | 41 V(DeferredSlowPath, -10) \ |
42 V(DeferredDeoptInfo, -11) \ | 42 V(DeferredDeoptInfo, -11) \ |
43 V(DartCodePrologue, -12) \ | 43 V(DartCodePrologue, -12) \ |
44 V(DartCodeEpilogue, -13) \ | 44 V(DartCodeEpilogue, -13) \ |
45 V(Last, -14) // Always keep this at the end. | 45 V(Last, -14) // Always keep this at the end. |
46 | 46 |
47 // A token position representing a debug safe source (real) position, | 47 // A token position representing a debug safe source (real) position, |
48 // non-debug safe source (synthetic) positions, or a classifying value used | 48 // non-debug safe source (synthetic) positions, or a classifying value used |
49 // by the profiler. | 49 // by the profiler. |
50 class TokenPosition { | 50 class TokenPosition { |
51 public: | 51 public: |
52 TokenPosition() | 52 TokenPosition() : value_(kNoSource.value()) {} |
53 : value_(kNoSource.value()) { | |
54 } | |
55 | 53 |
56 explicit TokenPosition(intptr_t value) | 54 explicit TokenPosition(intptr_t value) : value_(value) {} |
57 : value_(value) { | |
58 } | |
59 | 55 |
60 bool operator==(const TokenPosition& b) const { | 56 bool operator==(const TokenPosition& b) const { return value() == b.value(); } |
61 return value() == b.value(); | |
62 } | |
63 | 57 |
64 bool operator!=(const TokenPosition& b) const { | 58 bool operator!=(const TokenPosition& b) const { return !(*this == b); } |
65 return !(*this == b); | |
66 } | |
67 | 59 |
68 bool operator<(const TokenPosition& b) const { | 60 bool operator<(const TokenPosition& b) const { |
69 // TODO(johnmccutchan): Assert that this is a source position. | 61 // TODO(johnmccutchan): Assert that this is a source position. |
70 return value() < b.value(); | 62 return value() < b.value(); |
71 } | 63 } |
72 | 64 |
73 bool operator>(const TokenPosition& b) const { | 65 bool operator>(const TokenPosition& b) const { |
74 // TODO(johnmccutchan): Assert that this is a source position. | 66 // TODO(johnmccutchan): Assert that this is a source position. |
75 return b < *this; | 67 return b < *this; |
76 } | 68 } |
77 | 69 |
78 bool operator<=(const TokenPosition& b) { | 70 bool operator<=(const TokenPosition& b) { |
79 // TODO(johnmccutchan): Assert that this is a source position. | 71 // TODO(johnmccutchan): Assert that this is a source position. |
80 return !(*this > b); | 72 return !(*this > b); |
81 } | 73 } |
82 | 74 |
83 bool operator>=(const TokenPosition& b) { | 75 bool operator>=(const TokenPosition& b) { |
84 // TODO(johnmccutchan): Assert that this is a source position. | 76 // TODO(johnmccutchan): Assert that this is a source position. |
85 return !(*this < b); | 77 return !(*this < b); |
86 } | 78 } |
87 | 79 |
88 static const intptr_t kMaxSentinelDescriptors = 64; | 80 static const intptr_t kMaxSentinelDescriptors = 64; |
89 | 81 |
90 #define DECLARE_VALUES(name, value) \ | 82 #define DECLARE_VALUES(name, value) static const TokenPosition k##name; |
91 static const TokenPosition k##name; | |
92 SENTINEL_TOKEN_DESCRIPTORS(DECLARE_VALUES); | 83 SENTINEL_TOKEN_DESCRIPTORS(DECLARE_VALUES); |
93 #undef DECLARE_VALUES | 84 #undef DECLARE_VALUES |
94 static const TokenPosition kMinSource; | 85 static const TokenPosition kMinSource; |
95 static const TokenPosition kMaxSource; | 86 static const TokenPosition kMaxSource; |
96 | 87 |
97 // Decode from a snapshot. | 88 // Decode from a snapshot. |
98 static TokenPosition SnapshotDecode(int32_t value); | 89 static TokenPosition SnapshotDecode(int32_t value); |
99 | 90 |
100 // Encode for writing into a snapshot. | 91 // Encode for writing into a snapshot. |
101 int32_t SnapshotEncode(); | 92 int32_t SnapshotEncode(); |
102 | 93 |
103 // Increment the token position. | 94 // Increment the token position. |
104 TokenPosition Next() { | 95 TokenPosition Next() { |
105 ASSERT(IsReal()); | 96 ASSERT(IsReal()); |
106 value_++; | 97 value_++; |
107 return *this; | 98 return *this; |
108 } | 99 } |
109 | 100 |
110 // The raw value. | 101 // The raw value. |
111 // TODO(johnmccutchan): Make this private. | 102 // TODO(johnmccutchan): Make this private. |
112 intptr_t value() const { | 103 intptr_t value() const { return value_; } |
113 return value_; | |
114 } | |
115 | 104 |
116 // Return the source position. | 105 // Return the source position. |
117 intptr_t Pos() const { | 106 intptr_t Pos() const { |
118 if (IsSynthetic()) { | 107 if (IsSynthetic()) { |
119 return FromSynthetic().Pos(); | 108 return FromSynthetic().Pos(); |
120 } | 109 } |
121 return value_; | 110 return value_; |
122 } | 111 } |
123 | 112 |
124 // Token position constants. | 113 // Token position constants. |
125 static const intptr_t kNoSourcePos = -1; | 114 static const intptr_t kNoSourcePos = -1; |
126 static const intptr_t kMinSourcePos = 0; | 115 static const intptr_t kMinSourcePos = 0; |
127 static const intptr_t kMaxSourcePos = kSmiMax32 - kMaxSentinelDescriptors - 2; | 116 static const intptr_t kMaxSourcePos = kSmiMax32 - kMaxSentinelDescriptors - 2; |
128 | 117 |
129 // Is |this| a classifying sentinel source position? | 118 // Is |this| a classifying sentinel source position? |
130 // Classifying positions are used by the profiler to group instructions whose | 119 // Classifying positions are used by the profiler to group instructions whose |
131 // cost isn't naturally attributable to a source location. | 120 // cost isn't naturally attributable to a source location. |
132 bool IsClassifying() const { | 121 bool IsClassifying() const { |
133 return (value_ >= kBox.value()) && (value_ <= kLast.value()); | 122 return (value_ >= kBox.value()) && (value_ <= kLast.value()); |
134 } | 123 } |
135 | 124 |
136 // Is |this| the no source position sentinel? | 125 // Is |this| the no source position sentinel? |
137 bool IsNoSource() const { | 126 bool IsNoSource() const { return *this == kNoSource; } |
138 return *this == kNoSource; | |
139 } | |
140 | 127 |
141 // Is |this| a synthetic source position? | 128 // Is |this| a synthetic source position? |
142 // Synthetic source positions are used by the profiler to attribute ticks to a | 129 // Synthetic source positions are used by the profiler to attribute ticks to a |
143 // pieces of source, but ignored by the debugger as potential breakpoints. | 130 // pieces of source, but ignored by the debugger as potential breakpoints. |
144 bool IsSynthetic() const; | 131 bool IsSynthetic() const; |
145 | 132 |
146 // Is |this| a real source position? | 133 // Is |this| a real source position? |
147 bool IsReal() const { | 134 bool IsReal() const { return value_ >= kMinSourcePos; } |
148 return value_ >= kMinSourcePos; | |
149 } | |
150 | 135 |
151 // Is |this| a source position? | 136 // Is |this| a source position? |
152 bool IsSourcePosition() const { | 137 bool IsSourcePosition() const { |
153 return IsReal() || IsNoSource() || IsSynthetic(); | 138 return IsReal() || IsNoSource() || IsSynthetic(); |
154 } | 139 } |
155 | 140 |
156 // Is |this| a debug pause source position? | 141 // Is |this| a debug pause source position? |
157 bool IsDebugPause() const { | 142 bool IsDebugPause() const { |
158 // Sanity check some values here. | 143 // Sanity check some values here. |
159 ASSERT(kNoSource.value() == kNoSourcePos); | 144 ASSERT(kNoSource.value() == kNoSourcePos); |
(...skipping 39 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
199 | 184 |
200 private: | 185 private: |
201 int32_t value_; | 186 int32_t value_; |
202 | 187 |
203 DISALLOW_ALLOCATION(); | 188 DISALLOW_ALLOCATION(); |
204 }; | 189 }; |
205 | 190 |
206 } // namespace dart | 191 } // namespace dart |
207 | 192 |
208 #endif // RUNTIME_VM_TOKEN_POSITION_H_ | 193 #endif // RUNTIME_VM_TOKEN_POSITION_H_ |
OLD | NEW |