blob: d58034df0d7567ab05622ae1c6ab08857e667053 [file] [log] [blame]
Steve Blocka7e24c12009-10-30 11:49:00 +00001// Copyright (c) 1994-2006 Sun Microsystems Inc.
2// All Rights Reserved.
3//
4// Redistribution and use in source and binary forms, with or without
5// modification, are permitted provided that the following conditions are
6// met:
7//
8// - Redistributions of source code must retain the above copyright notice,
9// this list of conditions and the following disclaimer.
10//
11// - Redistribution in binary form must reproduce the above copyright
12// notice, this list of conditions and the following disclaimer in the
13// documentation and/or other materials provided with the distribution.
14//
15// - Neither the name of Sun Microsystems or the names of contributors may
16// be used to endorse or promote products derived from this software without
17// specific prior written permission.
18//
19// THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS "AS
20// IS" AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO,
21// THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR
22// PURPOSE ARE DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT OWNER OR
23// CONTRIBUTORS BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL,
24// EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT LIMITED TO,
25// PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE, DATA, OR
26// PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY THEORY OF
27// LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT (INCLUDING
28// NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE OF THIS
29// SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
30
31// The original source code covered by the above license above has been
32// modified significantly by Google Inc.
Ben Murdoch8b112d22011-06-08 16:22:53 +010033// Copyright 2011 the V8 project authors. All rights reserved.
Steve Blocka7e24c12009-10-30 11:49:00 +000034
35#ifndef V8_ASSEMBLER_H_
36#define V8_ASSEMBLER_H_
37
Ben Murdoch257744e2011-11-30 15:57:28 +000038#include "allocation.h"
Ben Murdochb8e0da22011-05-16 14:20:40 +010039#include "gdb-jit.h"
Steve Blocka7e24c12009-10-30 11:49:00 +000040#include "runtime.h"
Steve Blocka7e24c12009-10-30 11:49:00 +000041#include "token.h"
42
43namespace v8 {
44namespace internal {
45
Ben Murdoch257744e2011-11-30 15:57:28 +000046const unsigned kNoASTId = -1;
Steve Blocka7e24c12009-10-30 11:49:00 +000047// -----------------------------------------------------------------------------
Steve Block44f0eee2011-05-26 01:26:41 +010048// Platform independent assembler base class.
49
50class AssemblerBase: public Malloced {
51 public:
Steve Block053d10c2011-06-13 19:13:29 +010052 explicit AssemblerBase(Isolate* isolate);
Steve Block44f0eee2011-05-26 01:26:41 +010053
54 Isolate* isolate() const { return isolate_; }
Steve Block053d10c2011-06-13 19:13:29 +010055 int jit_cookie() { return jit_cookie_; }
Steve Block44f0eee2011-05-26 01:26:41 +010056
57 private:
58 Isolate* isolate_;
Steve Block053d10c2011-06-13 19:13:29 +010059 int jit_cookie_;
Steve Block44f0eee2011-05-26 01:26:41 +010060};
61
62// -----------------------------------------------------------------------------
Ben Murdochb0fe1622011-05-05 13:52:32 +010063// Common double constants.
64
65class DoubleConstant: public AllStatic {
66 public:
67 static const double min_int;
68 static const double one_half;
Ben Murdochb8e0da22011-05-16 14:20:40 +010069 static const double minus_zero;
Ben Murdoch257744e2011-11-30 15:57:28 +000070 static const double zero;
71 static const double uint8_max_value;
Ben Murdochb0fe1622011-05-05 13:52:32 +010072 static const double negative_infinity;
Ben Murdoch3fb3ca82011-12-02 17:19:32 +000073 static const double canonical_non_hole_nan;
74 static const double the_hole_nan;
Ben Murdochb0fe1622011-05-05 13:52:32 +010075};
76
77
78// -----------------------------------------------------------------------------
Steve Blocka7e24c12009-10-30 11:49:00 +000079// Labels represent pc locations; they are typically jump or call targets.
80// After declaration, a label can be freely used to denote known or (yet)
81// unknown pc location. Assembler::bind() is used to bind a label to the
82// current pc. A label can be bound only once.
83
84class Label BASE_EMBEDDED {
85 public:
Ben Murdoch257744e2011-11-30 15:57:28 +000086 enum Distance {
87 kNear, kFar
88 };
89
90 INLINE(Label()) {
91 Unuse();
92 UnuseNear();
93 }
Steve Blocka7e24c12009-10-30 11:49:00 +000094
Ben Murdoch3fb3ca82011-12-02 17:19:32 +000095 INLINE(~Label()) {
96 ASSERT(!is_linked());
97 ASSERT(!is_near_linked());
98 }
Steve Blocka7e24c12009-10-30 11:49:00 +000099
Ben Murdoch3fb3ca82011-12-02 17:19:32 +0000100 INLINE(void Unuse()) { pos_ = 0; }
101 INLINE(void UnuseNear()) { near_link_pos_ = 0; }
102
103 INLINE(bool is_bound() const) { return pos_ < 0; }
104 INLINE(bool is_unused() const) { return pos_ == 0 && near_link_pos_ == 0; }
105 INLINE(bool is_linked() const) { return pos_ > 0; }
Ben Murdoch257744e2011-11-30 15:57:28 +0000106 INLINE(bool is_near_linked() const) { return near_link_pos_ > 0; }
Steve Blocka7e24c12009-10-30 11:49:00 +0000107
108 // Returns the position of bound or linked labels. Cannot be used
109 // for unused labels.
110 int pos() const;
Ben Murdoch257744e2011-11-30 15:57:28 +0000111 int near_link_pos() const { return near_link_pos_ - 1; }
Steve Blocka7e24c12009-10-30 11:49:00 +0000112
113 private:
114 // pos_ encodes both the binding state (via its sign)
115 // and the binding position (via its value) of a label.
116 //
117 // pos_ < 0 bound label, pos() returns the jump target position
118 // pos_ == 0 unused label
119 // pos_ > 0 linked label, pos() returns the last reference position
120 int pos_;
121
Ben Murdoch257744e2011-11-30 15:57:28 +0000122 // Behaves like |pos_| in the "> 0" case, but for near jumps to this label.
123 int near_link_pos_;
124
Steve Blocka7e24c12009-10-30 11:49:00 +0000125 void bind_to(int pos) {
126 pos_ = -pos - 1;
127 ASSERT(is_bound());
128 }
Ben Murdoch257744e2011-11-30 15:57:28 +0000129 void link_to(int pos, Distance distance = kFar) {
130 if (distance == kNear) {
131 near_link_pos_ = pos + 1;
132 ASSERT(is_near_linked());
133 } else {
134 pos_ = pos + 1;
135 ASSERT(is_linked());
136 }
Steve Blocka7e24c12009-10-30 11:49:00 +0000137 }
138
139 friend class Assembler;
140 friend class RegexpAssembler;
141 friend class Displacement;
Steve Blocka7e24c12009-10-30 11:49:00 +0000142 friend class RegExpMacroAssemblerIrregexp;
143};
144
145
146// -----------------------------------------------------------------------------
147// Relocation information
148
149
150// Relocation information consists of the address (pc) of the datum
151// to which the relocation information applies, the relocation mode
152// (rmode), and an optional data field. The relocation mode may be
153// "descriptive" and not indicate a need for relocation, but simply
154// describe a property of the datum. Such rmodes are useful for GC
155// and nice disassembly output.
156
157class RelocInfo BASE_EMBEDDED {
158 public:
159 // The constant kNoPosition is used with the collecting of source positions
160 // in the relocation information. Two types of source positions are collected
161 // "position" (RelocMode position) and "statement position" (RelocMode
162 // statement_position). The "position" is collected at places in the source
163 // code which are of interest when making stack traces to pin-point the source
164 // location of a stack frame as close as possible. The "statement position" is
165 // collected at the beginning at each statement, and is used to indicate
166 // possible break locations. kNoPosition is used to indicate an
167 // invalid/uninitialized position value.
168 static const int kNoPosition = -1;
169
Ben Murdoche0cee9b2011-05-25 10:26:03 +0100170 // This string is used to add padding comments to the reloc info in cases
171 // where we are not sure to have enough space for patching in during
172 // lazy deoptimization. This is the case if we have indirect calls for which
173 // we do not normally record relocation info.
Ben Murdoch69a99ed2011-11-30 16:03:39 +0000174 static const char* const kFillerCommentString;
Ben Murdoche0cee9b2011-05-25 10:26:03 +0100175
176 // The minimum size of a comment is equal to three bytes for the extra tagged
177 // pc + the tag for the data, and kPointerSize for the actual pointer to the
178 // comment.
179 static const int kMinRelocCommentSize = 3 + kPointerSize;
180
181 // The maximum size for a call instruction including pc-jump.
182 static const int kMaxCallSize = 6;
183
Steve Block44f0eee2011-05-26 01:26:41 +0100184 // The maximum pc delta that will use the short encoding.
185 static const int kMaxSmallPCDelta;
186
Steve Blocka7e24c12009-10-30 11:49:00 +0000187 enum Mode {
188 // Please note the order is important (see IsCodeTarget, IsGCRelocMode).
Ben Murdoch257744e2011-11-30 15:57:28 +0000189 CODE_TARGET, // Code target which is not any of the above.
190 CODE_TARGET_WITH_ID,
Steve Blocka7e24c12009-10-30 11:49:00 +0000191 CONSTRUCT_CALL, // code target that is a call to a JavaScript constructor.
Steve Block1e0659c2011-05-24 12:43:12 +0100192 CODE_TARGET_CONTEXT, // Code target used for contextual loads and stores.
Ben Murdoch7f4d5bd2010-06-15 11:15:29 +0100193 DEBUG_BREAK, // Code target for the debugger statement.
Steve Blocka7e24c12009-10-30 11:49:00 +0000194 EMBEDDED_OBJECT,
Ben Murdochb0fe1622011-05-05 13:52:32 +0100195 GLOBAL_PROPERTY_CELL,
196
Steve Blocka7e24c12009-10-30 11:49:00 +0000197 // Everything after runtime_entry (inclusive) is not GC'ed.
198 RUNTIME_ENTRY,
199 JS_RETURN, // Marks start of the ExitJSFrame code.
200 COMMENT,
201 POSITION, // See comment for kNoPosition above.
202 STATEMENT_POSITION, // See comment for kNoPosition above.
Ben Murdoch7f4d5bd2010-06-15 11:15:29 +0100203 DEBUG_BREAK_SLOT, // Additional code inserted for debug break slot.
Steve Blocka7e24c12009-10-30 11:49:00 +0000204 EXTERNAL_REFERENCE, // The address of an external C++ function.
205 INTERNAL_REFERENCE, // An address inside the same function.
206
207 // add more as needed
208 // Pseudo-types
Ben Murdoch257744e2011-11-30 15:57:28 +0000209 NUMBER_OF_MODES, // There are at most 14 modes with noncompact encoding.
Steve Blocka7e24c12009-10-30 11:49:00 +0000210 NONE, // never recorded
Ben Murdoch257744e2011-11-30 15:57:28 +0000211 LAST_CODE_ENUM = DEBUG_BREAK,
212 LAST_GCED_ENUM = GLOBAL_PROPERTY_CELL,
213 // Modes <= LAST_COMPACT_ENUM are guaranteed to have compact encoding.
214 LAST_COMPACT_ENUM = CODE_TARGET_WITH_ID
Steve Blocka7e24c12009-10-30 11:49:00 +0000215 };
216
217
218 RelocInfo() {}
219 RelocInfo(byte* pc, Mode rmode, intptr_t data)
220 : pc_(pc), rmode_(rmode), data_(data) {
221 }
222
223 static inline bool IsConstructCall(Mode mode) {
224 return mode == CONSTRUCT_CALL;
225 }
226 static inline bool IsCodeTarget(Mode mode) {
227 return mode <= LAST_CODE_ENUM;
228 }
229 // Is the relocation mode affected by GC?
230 static inline bool IsGCRelocMode(Mode mode) {
231 return mode <= LAST_GCED_ENUM;
232 }
233 static inline bool IsJSReturn(Mode mode) {
234 return mode == JS_RETURN;
235 }
236 static inline bool IsComment(Mode mode) {
237 return mode == COMMENT;
238 }
239 static inline bool IsPosition(Mode mode) {
240 return mode == POSITION || mode == STATEMENT_POSITION;
241 }
242 static inline bool IsStatementPosition(Mode mode) {
243 return mode == STATEMENT_POSITION;
244 }
245 static inline bool IsExternalReference(Mode mode) {
246 return mode == EXTERNAL_REFERENCE;
247 }
248 static inline bool IsInternalReference(Mode mode) {
249 return mode == INTERNAL_REFERENCE;
250 }
Ben Murdoch7f4d5bd2010-06-15 11:15:29 +0100251 static inline bool IsDebugBreakSlot(Mode mode) {
252 return mode == DEBUG_BREAK_SLOT;
253 }
Steve Blocka7e24c12009-10-30 11:49:00 +0000254 static inline int ModeMask(Mode mode) { return 1 << mode; }
255
256 // Accessors
Kristian Monsen0d5e1162010-09-30 15:31:59 +0100257 byte* pc() const { return pc_; }
Steve Blocka7e24c12009-10-30 11:49:00 +0000258 void set_pc(byte* pc) { pc_ = pc; }
259 Mode rmode() const { return rmode_; }
Kristian Monsen0d5e1162010-09-30 15:31:59 +0100260 intptr_t data() const { return data_; }
Steve Blocka7e24c12009-10-30 11:49:00 +0000261
262 // Apply a relocation by delta bytes
263 INLINE(void apply(intptr_t delta));
264
Leon Clarkef7060e22010-06-03 12:02:55 +0100265 // Is the pointer this relocation info refers to coded like a plain pointer
266 // or is it strange in some way (eg relative or patched into a series of
267 // instructions).
268 bool IsCodedSpecially();
269
Steve Blocka7e24c12009-10-30 11:49:00 +0000270 // Read/modify the code target in the branch/call instruction
271 // this relocation applies to;
272 // can only be called if IsCodeTarget(rmode_) || rmode_ == RUNTIME_ENTRY
273 INLINE(Address target_address());
274 INLINE(void set_target_address(Address target));
275 INLINE(Object* target_object());
Steve Block3ce2e202009-11-05 08:53:23 +0000276 INLINE(Handle<Object> target_object_handle(Assembler* origin));
Steve Blocka7e24c12009-10-30 11:49:00 +0000277 INLINE(Object** target_object_address());
278 INLINE(void set_target_object(Object* target));
Ben Murdochb0fe1622011-05-05 13:52:32 +0100279 INLINE(JSGlobalPropertyCell* target_cell());
280 INLINE(Handle<JSGlobalPropertyCell> target_cell_handle());
281 INLINE(void set_target_cell(JSGlobalPropertyCell* cell));
282
Steve Blocka7e24c12009-10-30 11:49:00 +0000283
Leon Clarkef7060e22010-06-03 12:02:55 +0100284 // Read the address of the word containing the target_address in an
285 // instruction stream. What this means exactly is architecture-independent.
286 // The only architecture-independent user of this function is the serializer.
287 // The serializer uses it to find out how many raw bytes of instruction to
288 // output before the next target. Architecture-independent code shouldn't
289 // dereference the pointer it gets back from this.
Steve Blocka7e24c12009-10-30 11:49:00 +0000290 INLINE(Address target_address_address());
Leon Clarkef7060e22010-06-03 12:02:55 +0100291 // This indicates how much space a target takes up when deserializing a code
292 // stream. For most architectures this is just the size of a pointer. For
293 // an instruction like movw/movt where the target bits are mixed into the
294 // instruction bits the size of the target will be zero, indicating that the
295 // serializer should not step forwards in memory after a target is resolved
296 // and written. In this case the target_address_address function above
297 // should return the end of the instructions to be patched, allowing the
298 // deserializer to deserialize the instructions as raw bytes and put them in
299 // place, ready to be patched with the target.
300 INLINE(int target_address_size());
Steve Blocka7e24c12009-10-30 11:49:00 +0000301
302 // Read/modify the reference in the instruction this relocation
303 // applies to; can only be called if rmode_ is external_reference
304 INLINE(Address* target_reference_address());
305
306 // Read/modify the address of a call instruction. This is used to relocate
307 // the break points where straight-line code is patched with a call
308 // instruction.
309 INLINE(Address call_address());
310 INLINE(void set_call_address(Address target));
311 INLINE(Object* call_object());
Steve Blocka7e24c12009-10-30 11:49:00 +0000312 INLINE(void set_call_object(Object* target));
Ben Murdochbb769b22010-08-11 14:56:33 +0100313 INLINE(Object** call_object_address());
Steve Blocka7e24c12009-10-30 11:49:00 +0000314
Steve Block44f0eee2011-05-26 01:26:41 +0100315 template<typename StaticVisitor> inline void Visit(Heap* heap);
Leon Clarkef7060e22010-06-03 12:02:55 +0100316 inline void Visit(ObjectVisitor* v);
317
Steve Blocka7e24c12009-10-30 11:49:00 +0000318 // Patch the code with some other code.
319 void PatchCode(byte* instructions, int instruction_count);
320
321 // Patch the code with a call.
322 void PatchCodeWithCall(Address target, int guard_bytes);
Steve Block3ce2e202009-11-05 08:53:23 +0000323
324 // Check whether this return sequence has been patched
325 // with a call to the debugger.
326 INLINE(bool IsPatchedReturnSequence());
Steve Blocka7e24c12009-10-30 11:49:00 +0000327
Ben Murdoch7f4d5bd2010-06-15 11:15:29 +0100328 // Check whether this debug break slot has been patched with a call to the
329 // debugger.
330 INLINE(bool IsPatchedDebugBreakSlotSequence());
331
Steve Blocka7e24c12009-10-30 11:49:00 +0000332#ifdef ENABLE_DISASSEMBLER
333 // Printing
334 static const char* RelocModeName(Mode rmode);
Ben Murdochb0fe1622011-05-05 13:52:32 +0100335 void Print(FILE* out);
Steve Blocka7e24c12009-10-30 11:49:00 +0000336#endif // ENABLE_DISASSEMBLER
337#ifdef DEBUG
338 // Debugging
339 void Verify();
340#endif
341
342 static const int kCodeTargetMask = (1 << (LAST_CODE_ENUM + 1)) - 1;
343 static const int kPositionMask = 1 << POSITION | 1 << STATEMENT_POSITION;
Ben Murdoch257744e2011-11-30 15:57:28 +0000344 static const int kDataMask =
345 (1 << CODE_TARGET_WITH_ID) | kPositionMask | (1 << COMMENT);
Steve Blocka7e24c12009-10-30 11:49:00 +0000346 static const int kApplyMask; // Modes affected by apply. Depends on arch.
347
348 private:
349 // On ARM, note that pc_ is the address of the constant pool entry
350 // to be relocated and not the address of the instruction
351 // referencing the constant pool entry (except when rmode_ ==
352 // comment).
353 byte* pc_;
354 Mode rmode_;
355 intptr_t data_;
Ben Murdoch257744e2011-11-30 15:57:28 +0000356#ifdef V8_TARGET_ARCH_MIPS
357 // Code and Embedded Object pointers in mips are stored split
358 // across two consecutive 32-bit instructions. Heap management
359 // routines expect to access these pointers indirectly. The following
360 // location provides a place for these pointers to exist natually
361 // when accessed via the Iterator.
362 Object *reconstructed_obj_ptr_;
363 // External-reference pointers are also split across instruction-pairs
364 // in mips, but are accessed via indirect pointers. This location
365 // provides a place for that pointer to exist naturally. Its address
366 // is returned by RelocInfo::target_reference_address().
367 Address reconstructed_adr_ptr_;
368#endif // V8_TARGET_ARCH_MIPS
Steve Blocka7e24c12009-10-30 11:49:00 +0000369 friend class RelocIterator;
370};
371
372
373// RelocInfoWriter serializes a stream of relocation info. It writes towards
374// lower addresses.
375class RelocInfoWriter BASE_EMBEDDED {
376 public:
Ben Murdoch257744e2011-11-30 15:57:28 +0000377 RelocInfoWriter() : pos_(NULL),
378 last_pc_(NULL),
379 last_id_(0),
380 last_position_(0) {}
381 RelocInfoWriter(byte* pos, byte* pc) : pos_(pos),
382 last_pc_(pc),
383 last_id_(0),
384 last_position_(0) {}
Steve Blocka7e24c12009-10-30 11:49:00 +0000385
386 byte* pos() const { return pos_; }
387 byte* last_pc() const { return last_pc_; }
388
389 void Write(const RelocInfo* rinfo);
390
391 // Update the state of the stream after reloc info buffer
392 // and/or code is moved while the stream is active.
393 void Reposition(byte* pos, byte* pc) {
394 pos_ = pos;
395 last_pc_ = pc;
396 }
397
398 // Max size (bytes) of a written RelocInfo. Longest encoding is
399 // ExtraTag, VariableLengthPCJump, ExtraTag, pc_delta, ExtraTag, data_delta.
400 // On ia32 and arm this is 1 + 4 + 1 + 1 + 1 + 4 = 12.
401 // On x64 this is 1 + 4 + 1 + 1 + 1 + 8 == 16;
402 // Here we use the maximum of the two.
403 static const int kMaxSize = 16;
404
405 private:
406 inline uint32_t WriteVariableLengthPCJump(uint32_t pc_delta);
407 inline void WriteTaggedPC(uint32_t pc_delta, int tag);
408 inline void WriteExtraTaggedPC(uint32_t pc_delta, int extra_tag);
Ben Murdoch257744e2011-11-30 15:57:28 +0000409 inline void WriteExtraTaggedIntData(int data_delta, int top_tag);
Steve Blocka7e24c12009-10-30 11:49:00 +0000410 inline void WriteExtraTaggedData(intptr_t data_delta, int top_tag);
411 inline void WriteTaggedData(intptr_t data_delta, int tag);
412 inline void WriteExtraTag(int extra_tag, int top_tag);
413
414 byte* pos_;
415 byte* last_pc_;
Ben Murdoch257744e2011-11-30 15:57:28 +0000416 int last_id_;
417 int last_position_;
Steve Blocka7e24c12009-10-30 11:49:00 +0000418 DISALLOW_COPY_AND_ASSIGN(RelocInfoWriter);
419};
420
421
422// A RelocIterator iterates over relocation information.
423// Typical use:
424//
425// for (RelocIterator it(code); !it.done(); it.next()) {
426// // do something with it.rinfo() here
427// }
428//
429// A mask can be specified to skip unwanted modes.
430class RelocIterator: public Malloced {
431 public:
432 // Create a new iterator positioned at
433 // the beginning of the reloc info.
434 // Relocation information with mode k is included in the
435 // iteration iff bit k of mode_mask is set.
436 explicit RelocIterator(Code* code, int mode_mask = -1);
437 explicit RelocIterator(const CodeDesc& desc, int mode_mask = -1);
438
439 // Iteration
Kristian Monsen0d5e1162010-09-30 15:31:59 +0100440 bool done() const { return done_; }
Steve Blocka7e24c12009-10-30 11:49:00 +0000441 void next();
442
443 // Return pointer valid until next next().
444 RelocInfo* rinfo() {
445 ASSERT(!done());
446 return &rinfo_;
447 }
448
449 private:
450 // Advance* moves the position before/after reading.
451 // *Read* reads from current byte(s) into rinfo_.
452 // *Get* just reads and returns info on current byte.
453 void Advance(int bytes = 1) { pos_ -= bytes; }
454 int AdvanceGetTag();
455 int GetExtraTag();
456 int GetTopTag();
457 void ReadTaggedPC();
458 void AdvanceReadPC();
Ben Murdoch257744e2011-11-30 15:57:28 +0000459 void AdvanceReadId();
460 void AdvanceReadPosition();
Steve Blocka7e24c12009-10-30 11:49:00 +0000461 void AdvanceReadData();
462 void AdvanceReadVariableLengthPCJump();
Ben Murdoch257744e2011-11-30 15:57:28 +0000463 int GetLocatableTypeTag();
464 void ReadTaggedId();
465 void ReadTaggedPosition();
Steve Blocka7e24c12009-10-30 11:49:00 +0000466
467 // If the given mode is wanted, set it in rinfo_ and return true.
468 // Else return false. Used for efficiently skipping unwanted modes.
469 bool SetMode(RelocInfo::Mode mode) {
Ben Murdochb0fe1622011-05-05 13:52:32 +0100470 return (mode_mask_ & (1 << mode)) ? (rinfo_.rmode_ = mode, true) : false;
Steve Blocka7e24c12009-10-30 11:49:00 +0000471 }
472
473 byte* pos_;
474 byte* end_;
475 RelocInfo rinfo_;
476 bool done_;
477 int mode_mask_;
Ben Murdoch257744e2011-11-30 15:57:28 +0000478 int last_id_;
479 int last_position_;
Steve Blocka7e24c12009-10-30 11:49:00 +0000480 DISALLOW_COPY_AND_ASSIGN(RelocIterator);
481};
482
483
484//------------------------------------------------------------------------------
485// External function
486
487//----------------------------------------------------------------------------
488class IC_Utility;
489class SCTableReference;
490#ifdef ENABLE_DEBUGGER_SUPPORT
491class Debug_Address;
492#endif
493
494
Steve Blocka7e24c12009-10-30 11:49:00 +0000495// An ExternalReference represents a C++ address used in the generated
496// code. All references to C++ functions and variables must be encapsulated in
497// an ExternalReference instance. This is done in order to track the origin of
498// all external references in the code so that they can be bound to the correct
499// addresses when deserializing a heap.
500class ExternalReference BASE_EMBEDDED {
501 public:
Steve Block1e0659c2011-05-24 12:43:12 +0100502 // Used in the simulator to support different native api calls.
Steve Block1e0659c2011-05-24 12:43:12 +0100503 enum Type {
Ben Murdoche0cee9b2011-05-25 10:26:03 +0100504 // Builtin call.
505 // MaybeObject* f(v8::internal::Arguments).
Steve Block1e0659c2011-05-24 12:43:12 +0100506 BUILTIN_CALL, // default
Ben Murdoche0cee9b2011-05-25 10:26:03 +0100507
Ben Murdoch257744e2011-11-30 15:57:28 +0000508 // Builtin that takes float arguments and returns an int.
509 // int f(double, double).
510 BUILTIN_COMPARE_CALL,
511
Ben Murdoche0cee9b2011-05-25 10:26:03 +0100512 // Builtin call that returns floating point.
513 // double f(double, double).
Ben Murdoch257744e2011-11-30 15:57:28 +0000514 BUILTIN_FP_FP_CALL,
515
516 // Builtin call that returns floating point.
517 // double f(double).
518 BUILTIN_FP_CALL,
519
520 // Builtin call that returns floating point.
521 // double f(double, int).
522 BUILTIN_FP_INT_CALL,
Ben Murdoche0cee9b2011-05-25 10:26:03 +0100523
524 // Direct call to API function callback.
525 // Handle<Value> f(v8::Arguments&)
526 DIRECT_API_CALL,
527
528 // Direct call to accessor getter callback.
529 // Handle<value> f(Local<String> property, AccessorInfo& info)
530 DIRECT_GETTER_CALL
Steve Block1e0659c2011-05-24 12:43:12 +0100531 };
532
533 typedef void* ExternalReferenceRedirector(void* original, Type type);
534
Steve Block44f0eee2011-05-26 01:26:41 +0100535 ExternalReference(Builtins::CFunctionId id, Isolate* isolate);
Steve Blocka7e24c12009-10-30 11:49:00 +0000536
Steve Block44f0eee2011-05-26 01:26:41 +0100537 ExternalReference(ApiFunction* ptr, Type type, Isolate* isolate);
Steve Blockd0582a62009-12-15 09:54:21 +0000538
Steve Block44f0eee2011-05-26 01:26:41 +0100539 ExternalReference(Builtins::Name name, Isolate* isolate);
Steve Blocka7e24c12009-10-30 11:49:00 +0000540
Steve Block44f0eee2011-05-26 01:26:41 +0100541 ExternalReference(Runtime::FunctionId id, Isolate* isolate);
Steve Blocka7e24c12009-10-30 11:49:00 +0000542
Steve Block44f0eee2011-05-26 01:26:41 +0100543 ExternalReference(const Runtime::Function* f, Isolate* isolate);
Steve Blocka7e24c12009-10-30 11:49:00 +0000544
Steve Block44f0eee2011-05-26 01:26:41 +0100545 ExternalReference(const IC_Utility& ic_utility, Isolate* isolate);
Steve Blocka7e24c12009-10-30 11:49:00 +0000546
547#ifdef ENABLE_DEBUGGER_SUPPORT
Steve Block44f0eee2011-05-26 01:26:41 +0100548 ExternalReference(const Debug_Address& debug_address, Isolate* isolate);
Steve Blocka7e24c12009-10-30 11:49:00 +0000549#endif
550
551 explicit ExternalReference(StatsCounter* counter);
552
Steve Block44f0eee2011-05-26 01:26:41 +0100553 ExternalReference(Isolate::AddressId id, Isolate* isolate);
Steve Blocka7e24c12009-10-30 11:49:00 +0000554
555 explicit ExternalReference(const SCTableReference& table_ref);
556
Steve Block44f0eee2011-05-26 01:26:41 +0100557 // Isolate::Current() as an external reference.
558 static ExternalReference isolate_address();
559
Steve Blocka7e24c12009-10-30 11:49:00 +0000560 // One-of-a-kind references. These references are not part of a general
561 // pattern. This means that they have to be added to the
562 // ExternalReferenceTable in serialize.cc manually.
563
Steve Block44f0eee2011-05-26 01:26:41 +0100564 static ExternalReference perform_gc_function(Isolate* isolate);
565 static ExternalReference fill_heap_number_with_random_function(
566 Isolate* isolate);
567 static ExternalReference random_uint32_function(Isolate* isolate);
568 static ExternalReference transcendental_cache_array_address(Isolate* isolate);
569 static ExternalReference delete_handle_scope_extensions(Isolate* isolate);
Steve Blocka7e24c12009-10-30 11:49:00 +0000570
Ben Murdochb0fe1622011-05-05 13:52:32 +0100571 // Deoptimization support.
Steve Block44f0eee2011-05-26 01:26:41 +0100572 static ExternalReference new_deoptimizer_function(Isolate* isolate);
573 static ExternalReference compute_output_frames_function(Isolate* isolate);
574 static ExternalReference global_contexts_list(Isolate* isolate);
Ben Murdochb0fe1622011-05-05 13:52:32 +0100575
Leon Clarkee46be812010-01-19 14:06:41 +0000576 // Static data in the keyed lookup cache.
Steve Block44f0eee2011-05-26 01:26:41 +0100577 static ExternalReference keyed_lookup_cache_keys(Isolate* isolate);
578 static ExternalReference keyed_lookup_cache_field_offsets(Isolate* isolate);
Leon Clarkee46be812010-01-19 14:06:41 +0000579
Steve Blocka7e24c12009-10-30 11:49:00 +0000580 // Static variable Factory::the_hole_value.location()
Steve Block44f0eee2011-05-26 01:26:41 +0100581 static ExternalReference the_hole_value_location(Isolate* isolate);
Steve Blocka7e24c12009-10-30 11:49:00 +0000582
Ben Murdoch086aeea2011-05-13 15:57:08 +0100583 // Static variable Factory::arguments_marker.location()
Steve Block44f0eee2011-05-26 01:26:41 +0100584 static ExternalReference arguments_marker_location(Isolate* isolate);
Ben Murdoch086aeea2011-05-13 15:57:08 +0100585
Steve Blocka7e24c12009-10-30 11:49:00 +0000586 // Static variable Heap::roots_address()
Steve Block44f0eee2011-05-26 01:26:41 +0100587 static ExternalReference roots_address(Isolate* isolate);
Steve Blocka7e24c12009-10-30 11:49:00 +0000588
589 // Static variable StackGuard::address_of_jslimit()
Steve Block44f0eee2011-05-26 01:26:41 +0100590 static ExternalReference address_of_stack_limit(Isolate* isolate);
Steve Blockd0582a62009-12-15 09:54:21 +0000591
592 // Static variable StackGuard::address_of_real_jslimit()
Steve Block44f0eee2011-05-26 01:26:41 +0100593 static ExternalReference address_of_real_stack_limit(Isolate* isolate);
Steve Blocka7e24c12009-10-30 11:49:00 +0000594
595 // Static variable RegExpStack::limit_address()
Steve Block44f0eee2011-05-26 01:26:41 +0100596 static ExternalReference address_of_regexp_stack_limit(Isolate* isolate);
Steve Blocka7e24c12009-10-30 11:49:00 +0000597
Leon Clarkee46be812010-01-19 14:06:41 +0000598 // Static variables for RegExp.
Steve Block44f0eee2011-05-26 01:26:41 +0100599 static ExternalReference address_of_static_offsets_vector(Isolate* isolate);
600 static ExternalReference address_of_regexp_stack_memory_address(
601 Isolate* isolate);
602 static ExternalReference address_of_regexp_stack_memory_size(
603 Isolate* isolate);
Leon Clarkee46be812010-01-19 14:06:41 +0000604
Steve Blocka7e24c12009-10-30 11:49:00 +0000605 // Static variable Heap::NewSpaceStart()
Steve Block44f0eee2011-05-26 01:26:41 +0100606 static ExternalReference new_space_start(Isolate* isolate);
607 static ExternalReference new_space_mask(Isolate* isolate);
608 static ExternalReference heap_always_allocate_scope_depth(Isolate* isolate);
Steve Blocka7e24c12009-10-30 11:49:00 +0000609
610 // Used for fast allocation in generated code.
Steve Block44f0eee2011-05-26 01:26:41 +0100611 static ExternalReference new_space_allocation_top_address(Isolate* isolate);
612 static ExternalReference new_space_allocation_limit_address(Isolate* isolate);
Steve Blocka7e24c12009-10-30 11:49:00 +0000613
Steve Block44f0eee2011-05-26 01:26:41 +0100614 static ExternalReference double_fp_operation(Token::Value operation,
615 Isolate* isolate);
616 static ExternalReference compare_doubles(Isolate* isolate);
617 static ExternalReference power_double_double_function(Isolate* isolate);
618 static ExternalReference power_double_int_function(Isolate* isolate);
Steve Blocka7e24c12009-10-30 11:49:00 +0000619
Steve Blockd0582a62009-12-15 09:54:21 +0000620 static ExternalReference handle_scope_next_address();
621 static ExternalReference handle_scope_limit_address();
John Reck59135872010-11-02 12:39:01 -0700622 static ExternalReference handle_scope_level_address();
Steve Blockd0582a62009-12-15 09:54:21 +0000623
Steve Block44f0eee2011-05-26 01:26:41 +0100624 static ExternalReference scheduled_exception_address(Isolate* isolate);
Steve Blockd0582a62009-12-15 09:54:21 +0000625
Ben Murdochb0fe1622011-05-05 13:52:32 +0100626 // Static variables containing common double constants.
627 static ExternalReference address_of_min_int();
628 static ExternalReference address_of_one_half();
Ben Murdochb8e0da22011-05-16 14:20:40 +0100629 static ExternalReference address_of_minus_zero();
Ben Murdoch257744e2011-11-30 15:57:28 +0000630 static ExternalReference address_of_zero();
631 static ExternalReference address_of_uint8_max_value();
Ben Murdochb0fe1622011-05-05 13:52:32 +0100632 static ExternalReference address_of_negative_infinity();
Ben Murdoch3fb3ca82011-12-02 17:19:32 +0000633 static ExternalReference address_of_canonical_non_hole_nan();
634 static ExternalReference address_of_the_hole_nan();
Ben Murdochb0fe1622011-05-05 13:52:32 +0100635
Steve Block44f0eee2011-05-26 01:26:41 +0100636 static ExternalReference math_sin_double_function(Isolate* isolate);
637 static ExternalReference math_cos_double_function(Isolate* isolate);
638 static ExternalReference math_log_double_function(Isolate* isolate);
Ben Murdoche0cee9b2011-05-25 10:26:03 +0100639
Steve Blocka7e24c12009-10-30 11:49:00 +0000640 Address address() const {return reinterpret_cast<Address>(address_);}
641
642#ifdef ENABLE_DEBUGGER_SUPPORT
643 // Function Debug::Break()
Steve Block44f0eee2011-05-26 01:26:41 +0100644 static ExternalReference debug_break(Isolate* isolate);
Steve Blocka7e24c12009-10-30 11:49:00 +0000645
646 // Used to check if single stepping is enabled in generated code.
Steve Block44f0eee2011-05-26 01:26:41 +0100647 static ExternalReference debug_step_in_fp_address(Isolate* isolate);
Steve Blocka7e24c12009-10-30 11:49:00 +0000648#endif
649
Steve Block6ded16b2010-05-10 14:33:55 +0100650#ifndef V8_INTERPRETED_REGEXP
Steve Blocka7e24c12009-10-30 11:49:00 +0000651 // C functions called from RegExp generated code.
652
653 // Function NativeRegExpMacroAssembler::CaseInsensitiveCompareUC16()
Steve Block44f0eee2011-05-26 01:26:41 +0100654 static ExternalReference re_case_insensitive_compare_uc16(Isolate* isolate);
Steve Blocka7e24c12009-10-30 11:49:00 +0000655
656 // Function RegExpMacroAssembler*::CheckStackGuardState()
Steve Block44f0eee2011-05-26 01:26:41 +0100657 static ExternalReference re_check_stack_guard_state(Isolate* isolate);
Steve Blocka7e24c12009-10-30 11:49:00 +0000658
659 // Function NativeRegExpMacroAssembler::GrowStack()
Steve Block44f0eee2011-05-26 01:26:41 +0100660 static ExternalReference re_grow_stack(Isolate* isolate);
Leon Clarkee46be812010-01-19 14:06:41 +0000661
662 // byte NativeRegExpMacroAssembler::word_character_bitmap
663 static ExternalReference re_word_character_map();
664
Steve Blocka7e24c12009-10-30 11:49:00 +0000665#endif
666
667 // This lets you register a function that rewrites all external references.
668 // Used by the ARM simulator to catch calls to external references.
Ben Murdoch257744e2011-11-30 15:57:28 +0000669 static void set_redirector(Isolate* isolate,
670 ExternalReferenceRedirector* redirector) {
Steve Block44f0eee2011-05-26 01:26:41 +0100671 // We can't stack them.
Ben Murdoch257744e2011-11-30 15:57:28 +0000672 ASSERT(isolate->external_reference_redirector() == NULL);
673 isolate->set_external_reference_redirector(
Steve Block44f0eee2011-05-26 01:26:41 +0100674 reinterpret_cast<ExternalReferenceRedirectorPointer*>(redirector));
Steve Blocka7e24c12009-10-30 11:49:00 +0000675 }
676
677 private:
678 explicit ExternalReference(void* address)
679 : address_(address) {}
680
Steve Block44f0eee2011-05-26 01:26:41 +0100681 static void* Redirect(Isolate* isolate,
682 void* address,
Steve Block1e0659c2011-05-24 12:43:12 +0100683 Type type = ExternalReference::BUILTIN_CALL) {
Steve Block44f0eee2011-05-26 01:26:41 +0100684 ExternalReferenceRedirector* redirector =
685 reinterpret_cast<ExternalReferenceRedirector*>(
686 isolate->external_reference_redirector());
687 if (redirector == NULL) return address;
688 void* answer = (*redirector)(address, type);
Steve Blockd0582a62009-12-15 09:54:21 +0000689 return answer;
Steve Blocka7e24c12009-10-30 11:49:00 +0000690 }
691
Steve Block44f0eee2011-05-26 01:26:41 +0100692 static void* Redirect(Isolate* isolate,
693 Address address_arg,
Steve Block1e0659c2011-05-24 12:43:12 +0100694 Type type = ExternalReference::BUILTIN_CALL) {
Steve Block44f0eee2011-05-26 01:26:41 +0100695 ExternalReferenceRedirector* redirector =
696 reinterpret_cast<ExternalReferenceRedirector*>(
697 isolate->external_reference_redirector());
Steve Blocka7e24c12009-10-30 11:49:00 +0000698 void* address = reinterpret_cast<void*>(address_arg);
Steve Block44f0eee2011-05-26 01:26:41 +0100699 void* answer = (redirector == NULL) ?
Steve Blockd0582a62009-12-15 09:54:21 +0000700 address :
Steve Block44f0eee2011-05-26 01:26:41 +0100701 (*redirector)(address, type);
Steve Blockd0582a62009-12-15 09:54:21 +0000702 return answer;
Steve Blocka7e24c12009-10-30 11:49:00 +0000703 }
704
705 void* address_;
706};
707
708
709// -----------------------------------------------------------------------------
Teng-Hui Zhu3e5fa292010-11-09 16:16:48 -0800710// Position recording support
711
Ben Murdochb0fe1622011-05-05 13:52:32 +0100712struct PositionState {
713 PositionState() : current_position(RelocInfo::kNoPosition),
714 written_position(RelocInfo::kNoPosition),
715 current_statement_position(RelocInfo::kNoPosition),
716 written_statement_position(RelocInfo::kNoPosition) {}
717
718 int current_position;
719 int written_position;
720
721 int current_statement_position;
722 int written_statement_position;
723};
724
Teng-Hui Zhu3e5fa292010-11-09 16:16:48 -0800725
726class PositionsRecorder BASE_EMBEDDED {
727 public:
728 explicit PositionsRecorder(Assembler* assembler)
Ben Murdochb8e0da22011-05-16 14:20:40 +0100729 : assembler_(assembler) {
730#ifdef ENABLE_GDB_JIT_INTERFACE
731 gdbjit_lineinfo_ = NULL;
732#endif
733 }
734
735#ifdef ENABLE_GDB_JIT_INTERFACE
736 ~PositionsRecorder() {
737 delete gdbjit_lineinfo_;
738 }
739
740 void StartGDBJITLineInfoRecording() {
741 if (FLAG_gdbjit) {
742 gdbjit_lineinfo_ = new GDBJITLineInfo();
743 }
744 }
745
746 GDBJITLineInfo* DetachGDBJITLineInfo() {
747 GDBJITLineInfo* lineinfo = gdbjit_lineinfo_;
748 gdbjit_lineinfo_ = NULL; // To prevent deallocation in destructor.
749 return lineinfo;
750 }
751#endif
Teng-Hui Zhu3e5fa292010-11-09 16:16:48 -0800752
Ben Murdochb0fe1622011-05-05 13:52:32 +0100753 // Set current position to pos.
754 void RecordPosition(int pos);
Teng-Hui Zhu3e5fa292010-11-09 16:16:48 -0800755
756 // Set current statement position to pos.
757 void RecordStatementPosition(int pos);
758
759 // Write recorded positions to relocation information.
760 bool WriteRecordedPositions();
761
Ben Murdochb0fe1622011-05-05 13:52:32 +0100762 int current_position() const { return state_.current_position; }
Teng-Hui Zhu3e5fa292010-11-09 16:16:48 -0800763
Ben Murdochb0fe1622011-05-05 13:52:32 +0100764 int current_statement_position() const {
765 return state_.current_statement_position;
766 }
Teng-Hui Zhu3e5fa292010-11-09 16:16:48 -0800767
768 private:
769 Assembler* assembler_;
Ben Murdochb0fe1622011-05-05 13:52:32 +0100770 PositionState state_;
Ben Murdochb8e0da22011-05-16 14:20:40 +0100771#ifdef ENABLE_GDB_JIT_INTERFACE
772 GDBJITLineInfo* gdbjit_lineinfo_;
773#endif
Teng-Hui Zhu3e5fa292010-11-09 16:16:48 -0800774
Ben Murdochb0fe1622011-05-05 13:52:32 +0100775 friend class PreservePositionScope;
Teng-Hui Zhu3e5fa292010-11-09 16:16:48 -0800776
Ben Murdochb0fe1622011-05-05 13:52:32 +0100777 DISALLOW_COPY_AND_ASSIGN(PositionsRecorder);
Teng-Hui Zhu3e5fa292010-11-09 16:16:48 -0800778};
779
780
Ben Murdochb0fe1622011-05-05 13:52:32 +0100781class PreservePositionScope BASE_EMBEDDED {
Teng-Hui Zhu3e5fa292010-11-09 16:16:48 -0800782 public:
Ben Murdochb0fe1622011-05-05 13:52:32 +0100783 explicit PreservePositionScope(PositionsRecorder* positions_recorder)
Teng-Hui Zhu3e5fa292010-11-09 16:16:48 -0800784 : positions_recorder_(positions_recorder),
Ben Murdochb0fe1622011-05-05 13:52:32 +0100785 saved_state_(positions_recorder->state_) {}
Teng-Hui Zhu3e5fa292010-11-09 16:16:48 -0800786
Ben Murdochb0fe1622011-05-05 13:52:32 +0100787 ~PreservePositionScope() {
788 positions_recorder_->state_ = saved_state_;
Teng-Hui Zhu3e5fa292010-11-09 16:16:48 -0800789 }
790
791 private:
792 PositionsRecorder* positions_recorder_;
Ben Murdochb0fe1622011-05-05 13:52:32 +0100793 const PositionState saved_state_;
794
795 DISALLOW_COPY_AND_ASSIGN(PreservePositionScope);
Teng-Hui Zhu3e5fa292010-11-09 16:16:48 -0800796};
797
798
799// -----------------------------------------------------------------------------
Steve Blocka7e24c12009-10-30 11:49:00 +0000800// Utility functions
801
802static inline bool is_intn(int x, int n) {
803 return -(1 << (n-1)) <= x && x < (1 << (n-1));
804}
805
Steve Blocka7e24c12009-10-30 11:49:00 +0000806static inline bool is_int8(int x) { return is_intn(x, 8); }
Andrei Popescu31002712010-02-23 13:46:05 +0000807static inline bool is_int16(int x) { return is_intn(x, 16); }
808static inline bool is_int18(int x) { return is_intn(x, 18); }
809static inline bool is_int24(int x) { return is_intn(x, 24); }
Steve Blocka7e24c12009-10-30 11:49:00 +0000810
811static inline bool is_uintn(int x, int n) {
812 return (x & -(1 << n)) == 0;
813}
814
815static inline bool is_uint2(int x) { return is_uintn(x, 2); }
816static inline bool is_uint3(int x) { return is_uintn(x, 3); }
817static inline bool is_uint4(int x) { return is_uintn(x, 4); }
818static inline bool is_uint5(int x) { return is_uintn(x, 5); }
819static inline bool is_uint6(int x) { return is_uintn(x, 6); }
820static inline bool is_uint8(int x) { return is_uintn(x, 8); }
Andrei Popescu31002712010-02-23 13:46:05 +0000821static inline bool is_uint10(int x) { return is_uintn(x, 10); }
Steve Blocka7e24c12009-10-30 11:49:00 +0000822static inline bool is_uint12(int x) { return is_uintn(x, 12); }
823static inline bool is_uint16(int x) { return is_uintn(x, 16); }
824static inline bool is_uint24(int x) { return is_uintn(x, 24); }
Andrei Popescu31002712010-02-23 13:46:05 +0000825static inline bool is_uint26(int x) { return is_uintn(x, 26); }
826static inline bool is_uint28(int x) { return is_uintn(x, 28); }
827
828static inline int NumberOfBitsSet(uint32_t x) {
829 unsigned int num_bits_set;
830 for (num_bits_set = 0; x; x >>= 1) {
831 num_bits_set += x & 1;
832 }
833 return num_bits_set;
834}
Steve Blocka7e24c12009-10-30 11:49:00 +0000835
Ben Murdochb0fe1622011-05-05 13:52:32 +0100836// Computes pow(x, y) with the special cases in the spec for Math.pow.
837double power_double_int(double x, int y);
838double power_double_double(double x, double y);
839
Ben Murdoch257744e2011-11-30 15:57:28 +0000840// Helper class for generating code or data associated with the code
841// right after a call instruction. As an example this can be used to
842// generate safepoint data after calls for crankshaft.
843class CallWrapper {
844 public:
845 CallWrapper() { }
846 virtual ~CallWrapper() { }
847 // Called just before emitting a call. Argument is the size of the generated
848 // call code.
849 virtual void BeforeCall(int call_size) const = 0;
850 // Called just after emitting a call, i.e., at the return site for the call.
851 virtual void AfterCall() const = 0;
852};
853
854class NullCallWrapper : public CallWrapper {
855 public:
856 NullCallWrapper() { }
857 virtual ~NullCallWrapper() { }
858 virtual void BeforeCall(int call_size) const { }
859 virtual void AfterCall() const { }
860};
861
Steve Blocka7e24c12009-10-30 11:49:00 +0000862} } // namespace v8::internal
863
864#endif // V8_ASSEMBLER_H_