OLD | NEW |
1 // Copyright 2009 the V8 project authors. All rights reserved. | 1 // Copyright 2009 the V8 project authors. All rights reserved. |
2 // Redistribution and use in source and binary forms, with or without | 2 // Redistribution and use in source and binary forms, with or without |
3 // modification, are permitted provided that the following conditions are | 3 // modification, are permitted provided that the following conditions are |
4 // met: | 4 // met: |
5 // | 5 // |
6 // * Redistributions of source code must retain the above copyright | 6 // * Redistributions of source code must retain the above copyright |
7 // notice, this list of conditions and the following disclaimer. | 7 // notice, this list of conditions and the following disclaimer. |
8 // * Redistributions in binary form must reproduce the above | 8 // * Redistributions in binary form must reproduce the above |
9 // copyright notice, this list of conditions and the following | 9 // copyright notice, this list of conditions and the following |
10 // disclaimer in the documentation and/or other materials provided | 10 // disclaimer in the documentation and/or other materials provided |
(...skipping 35 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
46 // * Register: an element that resides in a register. | 46 // * Register: an element that resides in a register. |
47 // * Constant: an element whose value is known at compile time. | 47 // * Constant: an element whose value is known at compile time. |
48 | 48 |
49 class FrameElement BASE_EMBEDDED { | 49 class FrameElement BASE_EMBEDDED { |
50 public: | 50 public: |
51 enum SyncFlag { | 51 enum SyncFlag { |
52 NOT_SYNCED, | 52 NOT_SYNCED, |
53 SYNCED | 53 SYNCED |
54 }; | 54 }; |
55 | 55 |
56 inline NumberInfo::Type number_info() { | 56 inline NumberInfo number_info() { |
57 // Copied elements do not have number info. Instead | 57 // Copied elements do not have number info. Instead |
58 // we have to inspect their backing element in the frame. | 58 // we have to inspect their backing element in the frame. |
59 ASSERT(!is_copy()); | 59 ASSERT(!is_copy()); |
60 if (!is_constant()) return NumberInfoField::decode(value_); | 60 if (!is_constant()) return NumberInfo::FromInt(NumberInfoField::decode(value
_)); |
61 Handle<Object> value = handle(); | 61 Handle<Object> value = handle(); |
62 if (value->IsSmi()) return NumberInfo::kSmi; | 62 if (value->IsSmi()) return NumberInfo::Smi(); |
63 if (value->IsHeapNumber()) return NumberInfo::kHeapNumber; | 63 if (value->IsHeapNumber()) return NumberInfo::HeapNumber(); |
64 return NumberInfo::kUnknown; | 64 return NumberInfo::Unknown(); |
65 } | 65 } |
66 | 66 |
67 inline void set_number_info(NumberInfo::Type info) { | 67 inline void set_number_info(NumberInfo info) { |
68 // Copied elements do not have number info. Instead | 68 // Copied elements do not have number info. Instead |
69 // we have to inspect their backing element in the frame. | 69 // we have to inspect their backing element in the frame. |
70 ASSERT(!is_copy()); | 70 ASSERT(!is_copy()); |
71 value_ = value_ & ~NumberInfoField::mask(); | 71 value_ = value_ & ~NumberInfoField::mask(); |
72 value_ = value_ | NumberInfoField::encode(info); | 72 value_ = value_ | NumberInfoField::encode(info.ToInt()); |
73 } | 73 } |
74 | 74 |
75 // The default constructor creates an invalid frame element. | 75 // The default constructor creates an invalid frame element. |
76 FrameElement() { | 76 FrameElement() { |
77 value_ = TypeField::encode(INVALID) | 77 value_ = TypeField::encode(INVALID) |
78 | CopiedField::encode(false) | 78 | CopiedField::encode(false) |
79 | SyncedField::encode(false) | 79 | SyncedField::encode(false) |
80 | NumberInfoField::encode(NumberInfo::kUninitialized) | 80 | NumberInfoField::encode(NumberInfo::Uninitialized().ToInt()) |
81 | DataField::encode(0); | 81 | DataField::encode(0); |
82 } | 82 } |
83 | 83 |
84 // Factory function to construct an invalid frame element. | 84 // Factory function to construct an invalid frame element. |
85 static FrameElement InvalidElement() { | 85 static FrameElement InvalidElement() { |
86 FrameElement result; | 86 FrameElement result; |
87 return result; | 87 return result; |
88 } | 88 } |
89 | 89 |
90 // Factory function to construct an in-memory frame element. | 90 // Factory function to construct an in-memory frame element. |
91 static FrameElement MemoryElement(NumberInfo::Type info) { | 91 static FrameElement MemoryElement(NumberInfo info) { |
92 FrameElement result(MEMORY, no_reg, SYNCED, info); | 92 FrameElement result(MEMORY, no_reg, SYNCED, info); |
93 return result; | 93 return result; |
94 } | 94 } |
95 | 95 |
96 // Factory function to construct an in-register frame element. | 96 // Factory function to construct an in-register frame element. |
97 static FrameElement RegisterElement(Register reg, | 97 static FrameElement RegisterElement(Register reg, |
98 SyncFlag is_synced, | 98 SyncFlag is_synced, |
99 NumberInfo::Type info) { | 99 NumberInfo info) { |
100 return FrameElement(REGISTER, reg, is_synced, info); | 100 return FrameElement(REGISTER, reg, is_synced, info); |
101 } | 101 } |
102 | 102 |
103 // Factory function to construct a frame element whose value is known at | 103 // Factory function to construct a frame element whose value is known at |
104 // compile time. | 104 // compile time. |
105 static FrameElement ConstantElement(Handle<Object> value, | 105 static FrameElement ConstantElement(Handle<Object> value, |
106 SyncFlag is_synced) { | 106 SyncFlag is_synced) { |
107 FrameElement result(value, is_synced); | 107 FrameElement result(value, is_synced); |
108 return result; | 108 return result; |
109 } | 109 } |
(...skipping 93 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
203 MEMORY, | 203 MEMORY, |
204 REGISTER, | 204 REGISTER, |
205 CONSTANT, | 205 CONSTANT, |
206 COPY | 206 COPY |
207 }; | 207 }; |
208 | 208 |
209 // Used to construct memory and register elements. | 209 // Used to construct memory and register elements. |
210 FrameElement(Type type, | 210 FrameElement(Type type, |
211 Register reg, | 211 Register reg, |
212 SyncFlag is_synced, | 212 SyncFlag is_synced, |
213 NumberInfo::Type info) { | 213 NumberInfo info) { |
214 value_ = TypeField::encode(type) | 214 value_ = TypeField::encode(type) |
215 | CopiedField::encode(false) | 215 | CopiedField::encode(false) |
216 | SyncedField::encode(is_synced != NOT_SYNCED) | 216 | SyncedField::encode(is_synced != NOT_SYNCED) |
217 | NumberInfoField::encode(info) | 217 | NumberInfoField::encode(info.ToInt()) |
218 | DataField::encode(reg.code_ > 0 ? reg.code_ : 0); | 218 | DataField::encode(reg.code_ > 0 ? reg.code_ : 0); |
219 } | 219 } |
220 | 220 |
221 // Used to construct constant elements. | 221 // Used to construct constant elements. |
222 FrameElement(Handle<Object> value, SyncFlag is_synced) { | 222 FrameElement(Handle<Object> value, SyncFlag is_synced) { |
223 value_ = TypeField::encode(CONSTANT) | 223 value_ = TypeField::encode(CONSTANT) |
224 | CopiedField::encode(false) | 224 | CopiedField::encode(false) |
225 | SyncedField::encode(is_synced != NOT_SYNCED) | 225 | SyncedField::encode(is_synced != NOT_SYNCED) |
226 | NumberInfoField::encode(NumberInfo::kUninitialized) | 226 | NumberInfoField::encode(NumberInfo::Uninitialized().ToInt()) |
227 | DataField::encode(ConstantList()->length()); | 227 | DataField::encode(ConstantList()->length()); |
228 ConstantList()->Add(value); | 228 ConstantList()->Add(value); |
229 } | 229 } |
230 | 230 |
231 Type type() const { return TypeField::decode(value_); } | 231 Type type() const { return TypeField::decode(value_); } |
232 void set_type(Type type) { | 232 void set_type(Type type) { |
233 value_ = value_ & ~TypeField::mask(); | 233 value_ = value_ & ~TypeField::mask(); |
234 value_ = value_ | TypeField::encode(type); | 234 value_ = value_ | TypeField::encode(type); |
235 } | 235 } |
236 | 236 |
237 void set_index(int new_index) { | 237 void set_index(int new_index) { |
238 ASSERT(is_copy()); | 238 ASSERT(is_copy()); |
239 value_ = value_ & ~DataField::mask(); | 239 value_ = value_ & ~DataField::mask(); |
240 value_ = value_ | DataField::encode(new_index); | 240 value_ = value_ | DataField::encode(new_index); |
241 } | 241 } |
242 | 242 |
243 void set_reg(Register new_reg) { | 243 void set_reg(Register new_reg) { |
244 ASSERT(is_register()); | 244 ASSERT(is_register()); |
245 value_ = value_ & ~DataField::mask(); | 245 value_ = value_ & ~DataField::mask(); |
246 value_ = value_ | DataField::encode(new_reg.code_); | 246 value_ = value_ | DataField::encode(new_reg.code_); |
247 } | 247 } |
248 | 248 |
249 // Encode type, copied, synced and data in one 32 bit integer. | 249 // Encode type, copied, synced and data in one 32 bit integer. |
250 uint32_t value_; | 250 uint32_t value_; |
251 | 251 |
252 class TypeField: public BitField<Type, 0, 3> {}; | 252 class TypeField: public BitField<Type, 0, 3> {}; |
253 class CopiedField: public BitField<bool, 3, 1> {}; | 253 class CopiedField: public BitField<bool, 3, 1> {}; |
254 class SyncedField: public BitField<bool, 4, 1> {}; | 254 class SyncedField: public BitField<bool, 4, 1> {}; |
255 class NumberInfoField: public BitField<NumberInfo::Type, 5, 3> {}; | 255 class NumberInfoField: public BitField<int, 5, 4> {}; |
256 class DataField: public BitField<uint32_t, 8, 32 - 8> {}; | 256 class DataField: public BitField<uint32_t, 9, 32 - 9> {}; |
257 | 257 |
258 friend class VirtualFrame; | 258 friend class VirtualFrame; |
259 }; | 259 }; |
260 | 260 |
261 } } // namespace v8::internal | 261 } } // namespace v8::internal |
262 | 262 |
263 #endif // V8_FRAME_ELEMENT_H_ | 263 #endif // V8_FRAME_ELEMENT_H_ |
OLD | NEW |