blob: 79076d6abc2ea0ef494e75c5d78289a2e2757e0c [file] [log] [blame]
Ben Murdoch086aeea2011-05-13 15:57:08 +01001// Copyright 2011 the V8 project authors. All rights reserved.
Steve Blocka7e24c12009-10-30 11:49:00 +00002// Redistribution and use in source and binary forms, with or without
3// modification, are permitted provided that the following conditions are
4// met:
5//
6// * Redistributions of source code must retain the above copyright
7// notice, this list of conditions and the following disclaimer.
8// * Redistributions in binary form must reproduce the above
9// copyright notice, this list of conditions and the following
10// disclaimer in the documentation and/or other materials provided
11// with the distribution.
12// * Neither the name of Google Inc. nor the names of its
13// contributors may be used to endorse or promote products derived
14// from this software without specific prior written permission.
15//
16// THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS
17// "AS IS" AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT
18// LIMITED TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR
19// A PARTICULAR PURPOSE ARE DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT
20// OWNER OR CONTRIBUTORS BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL,
21// SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT
22// LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE,
23// DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY
24// THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT
25// (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE
26// OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
27
28#include "v8.h"
29
30#include "code-stubs.h"
Ben Murdoch8b112d22011-06-08 16:22:53 +010031#include "codegen.h"
Steve Blocka7e24c12009-10-30 11:49:00 +000032#include "debug.h"
Ben Murdochb0fe1622011-05-05 13:52:32 +010033#include "deoptimizer.h"
Steve Blocka7e24c12009-10-30 11:49:00 +000034#include "disasm.h"
35#include "disassembler.h"
36#include "macro-assembler.h"
37#include "serialize.h"
38#include "string-stream.h"
39
40namespace v8 {
41namespace internal {
42
43#ifdef ENABLE_DISASSEMBLER
44
45void Disassembler::Dump(FILE* f, byte* begin, byte* end) {
46 for (byte* pc = begin; pc < end; pc++) {
47 if (f == NULL) {
Ben Murdochf87a2032010-10-22 12:50:53 +010048 PrintF("%" V8PRIxPTR " %4" V8PRIdPTR " %02x\n",
49 reinterpret_cast<intptr_t>(pc),
50 pc - begin,
51 *pc);
Steve Blocka7e24c12009-10-30 11:49:00 +000052 } else {
53 fprintf(f, "%" V8PRIxPTR " %4" V8PRIdPTR " %02x\n",
54 reinterpret_cast<uintptr_t>(pc), pc - begin, *pc);
55 }
56 }
57}
58
59
60class V8NameConverter: public disasm::NameConverter {
61 public:
62 explicit V8NameConverter(Code* code) : code_(code) {}
63 virtual const char* NameOfAddress(byte* pc) const;
64 virtual const char* NameInCode(byte* addr) const;
65 Code* code() const { return code_; }
66 private:
67 Code* code_;
Steve Block44f0eee2011-05-26 01:26:41 +010068
69 EmbeddedVector<char, 128> v8_buffer_;
Steve Blocka7e24c12009-10-30 11:49:00 +000070};
71
72
73const char* V8NameConverter::NameOfAddress(byte* pc) const {
Steve Block44f0eee2011-05-26 01:26:41 +010074 const char* name = Isolate::Current()->builtins()->Lookup(pc);
Steve Blocka7e24c12009-10-30 11:49:00 +000075 if (name != NULL) {
Steve Block44f0eee2011-05-26 01:26:41 +010076 OS::SNPrintF(v8_buffer_, "%s (%p)", name, pc);
77 return v8_buffer_.start();
Steve Blocka7e24c12009-10-30 11:49:00 +000078 }
79
80 if (code_ != NULL) {
Steve Blockd0582a62009-12-15 09:54:21 +000081 int offs = static_cast<int>(pc - code_->instruction_start());
Steve Blocka7e24c12009-10-30 11:49:00 +000082 // print as code offset, if it seems reasonable
83 if (0 <= offs && offs < code_->instruction_size()) {
Steve Block44f0eee2011-05-26 01:26:41 +010084 OS::SNPrintF(v8_buffer_, "%d (%p)", offs, pc);
85 return v8_buffer_.start();
Steve Blocka7e24c12009-10-30 11:49:00 +000086 }
87 }
88
89 return disasm::NameConverter::NameOfAddress(pc);
90}
91
92
93const char* V8NameConverter::NameInCode(byte* addr) const {
94 // The V8NameConverter is used for well known code, so we can "safely"
95 // dereference pointers in generated code.
96 return (code_ != NULL) ? reinterpret_cast<const char*>(addr) : "";
97}
98
99
Ben Murdoch69a99ed2011-11-30 16:03:39 +0000100static void DumpBuffer(FILE* f, StringBuilder* out) {
Steve Blocka7e24c12009-10-30 11:49:00 +0000101 if (f == NULL) {
Ben Murdoch69a99ed2011-11-30 16:03:39 +0000102 PrintF("%s\n", out->Finalize());
Steve Blocka7e24c12009-10-30 11:49:00 +0000103 } else {
Ben Murdoch69a99ed2011-11-30 16:03:39 +0000104 fprintf(f, "%s\n", out->Finalize());
Steve Blocka7e24c12009-10-30 11:49:00 +0000105 }
Ben Murdoch69a99ed2011-11-30 16:03:39 +0000106 out->Reset();
Steve Blocka7e24c12009-10-30 11:49:00 +0000107}
108
Ben Murdoch69a99ed2011-11-30 16:03:39 +0000109
110
Steve Blocka7e24c12009-10-30 11:49:00 +0000111static const int kOutBufferSize = 2048 + String::kMaxShortPrintLength;
112static const int kRelocInfoPosition = 57;
113
114static int DecodeIt(FILE* f,
115 const V8NameConverter& converter,
116 byte* begin,
117 byte* end) {
118 NoHandleAllocation ha;
119 AssertNoAllocation no_alloc;
120 ExternalReferenceEncoder ref_encoder;
Steve Block44f0eee2011-05-26 01:26:41 +0100121 Heap* heap = HEAP;
Steve Blocka7e24c12009-10-30 11:49:00 +0000122
123 v8::internal::EmbeddedVector<char, 128> decode_buffer;
124 v8::internal::EmbeddedVector<char, kOutBufferSize> out_buffer;
Ben Murdoch69a99ed2011-11-30 16:03:39 +0000125 StringBuilder out(out_buffer.start(), out_buffer.length());
Steve Blocka7e24c12009-10-30 11:49:00 +0000126 byte* pc = begin;
127 disasm::Disassembler d(converter);
128 RelocIterator* it = NULL;
129 if (converter.code() != NULL) {
130 it = new RelocIterator(converter.code());
131 } else {
132 // No relocation information when printing code stubs.
133 }
134 int constants = -1; // no constants being decoded at the start
135
136 while (pc < end) {
137 // First decode instruction so that we know its length.
138 byte* prev_pc = pc;
139 if (constants > 0) {
140 OS::SNPrintF(decode_buffer,
141 "%08x constant",
142 *reinterpret_cast<int32_t*>(pc));
143 constants--;
144 pc += 4;
145 } else {
146 int num_const = d.ConstantPoolSizeAt(pc);
147 if (num_const >= 0) {
148 OS::SNPrintF(decode_buffer,
149 "%08x constant pool begin",
150 *reinterpret_cast<int32_t*>(pc));
151 constants = num_const;
152 pc += 4;
153 } else if (it != NULL && !it->done() && it->rinfo()->pc() == pc &&
154 it->rinfo()->rmode() == RelocInfo::INTERNAL_REFERENCE) {
155 // raw pointer embedded in code stream, e.g., jump table
156 byte* ptr = *reinterpret_cast<byte**>(pc);
157 OS::SNPrintF(decode_buffer,
158 "%08" V8PRIxPTR " jump table entry %4" V8PRIdPTR,
159 ptr,
160 ptr - begin);
161 pc += 4;
162 } else {
163 decode_buffer[0] = '\0';
164 pc += d.InstructionDecode(decode_buffer, pc);
165 }
166 }
167
168 // Collect RelocInfo for this instruction (prev_pc .. pc-1)
169 List<const char*> comments(4);
170 List<byte*> pcs(1);
171 List<RelocInfo::Mode> rmodes(1);
172 List<intptr_t> datas(1);
173 if (it != NULL) {
174 while (!it->done() && it->rinfo()->pc() < pc) {
175 if (RelocInfo::IsComment(it->rinfo()->rmode())) {
176 // For comments just collect the text.
177 comments.Add(reinterpret_cast<const char*>(it->rinfo()->data()));
178 } else {
179 // For other reloc info collect all data.
180 pcs.Add(it->rinfo()->pc());
181 rmodes.Add(it->rinfo()->rmode());
182 datas.Add(it->rinfo()->data());
183 }
184 it->next();
185 }
186 }
187
Steve Blocka7e24c12009-10-30 11:49:00 +0000188 // Comments.
189 for (int i = 0; i < comments.length(); i++) {
Ben Murdoch69a99ed2011-11-30 16:03:39 +0000190 out.AddFormatted(" %s", comments[i]);
191 DumpBuffer(f, &out);
Steve Blocka7e24c12009-10-30 11:49:00 +0000192 }
193
Steve Blocka7e24c12009-10-30 11:49:00 +0000194 // Instruction address and instruction offset.
195 out.AddFormatted("%p %4d ", prev_pc, prev_pc - begin);
196
197 // Instruction.
198 out.AddFormatted("%s", decode_buffer.start());
199
200 // Print all the reloc info for this instruction which are not comments.
201 for (int i = 0; i < pcs.length(); i++) {
202 // Put together the reloc info
203 RelocInfo relocinfo(pcs[i], rmodes[i], datas[i]);
204
205 // Indent the printing of the reloc info.
206 if (i == 0) {
207 // The first reloc info is printed after the disassembled instruction.
208 out.AddPadding(' ', kRelocInfoPosition - out.position());
209 } else {
210 // Additional reloc infos are printed on separate lines.
Ben Murdoch69a99ed2011-11-30 16:03:39 +0000211 DumpBuffer(f, &out);
Steve Blocka7e24c12009-10-30 11:49:00 +0000212 out.AddPadding(' ', kRelocInfoPosition);
213 }
214
215 RelocInfo::Mode rmode = relocinfo.rmode();
216 if (RelocInfo::IsPosition(rmode)) {
217 if (RelocInfo::IsStatementPosition(rmode)) {
218 out.AddFormatted(" ;; debug: statement %d", relocinfo.data());
219 } else {
220 out.AddFormatted(" ;; debug: position %d", relocinfo.data());
221 }
222 } else if (rmode == RelocInfo::EMBEDDED_OBJECT) {
223 HeapStringAllocator allocator;
224 StringStream accumulator(&allocator);
225 relocinfo.target_object()->ShortPrint(&accumulator);
226 SmartPointer<const char> obj_name = accumulator.ToCString();
227 out.AddFormatted(" ;; object: %s", *obj_name);
228 } else if (rmode == RelocInfo::EXTERNAL_REFERENCE) {
229 const char* reference_name =
230 ref_encoder.NameOfAddress(*relocinfo.target_reference_address());
231 out.AddFormatted(" ;; external reference (%s)", reference_name);
232 } else if (RelocInfo::IsCodeTarget(rmode)) {
233 out.AddFormatted(" ;; code:");
234 if (rmode == RelocInfo::CONSTRUCT_CALL) {
235 out.AddFormatted(" constructor,");
236 }
237 Code* code = Code::GetCodeFromTargetAddress(relocinfo.target_address());
238 Code::Kind kind = code->kind();
239 if (code->is_inline_cache_stub()) {
240 if (rmode == RelocInfo::CODE_TARGET_CONTEXT) {
241 out.AddFormatted(" contextual,");
242 }
243 InlineCacheState ic_state = code->ic_state();
244 out.AddFormatted(" %s, %s", Code::Kind2String(kind),
245 Code::ICState2String(ic_state));
246 if (ic_state == MONOMORPHIC) {
247 PropertyType type = code->type();
248 out.AddFormatted(", %s", Code::PropertyType2String(type));
249 }
250 if (code->ic_in_loop() == IN_LOOP) {
251 out.AddFormatted(", in_loop");
252 }
Ben Murdoch7f4d5bd2010-06-15 11:15:29 +0100253 if (kind == Code::CALL_IC || kind == Code::KEYED_CALL_IC) {
Steve Blocka7e24c12009-10-30 11:49:00 +0000254 out.AddFormatted(", argc = %d", code->arguments_count());
255 }
256 } else if (kind == Code::STUB) {
257 // Reverse lookup required as the minor key cannot be retrieved
258 // from the code object.
Steve Block44f0eee2011-05-26 01:26:41 +0100259 Object* obj = heap->code_stubs()->SlowReverseLookup(code);
260 if (obj != heap->undefined_value()) {
Steve Blocka7e24c12009-10-30 11:49:00 +0000261 ASSERT(obj->IsSmi());
262 // Get the STUB key and extract major and minor key.
263 uint32_t key = Smi::cast(obj)->value();
264 uint32_t minor_key = CodeStub::MinorKeyFromKey(key);
Kristian Monsen80d68ea2010-09-08 11:05:35 +0100265 CodeStub::Major major_key = CodeStub::GetMajorKey(code);
266 ASSERT(major_key == CodeStub::MajorKeyFromKey(key));
Steve Blocka7e24c12009-10-30 11:49:00 +0000267 out.AddFormatted(" %s, %s, ",
268 Code::Kind2String(kind),
Kristian Monsen80d68ea2010-09-08 11:05:35 +0100269 CodeStub::MajorName(major_key, false));
270 switch (major_key) {
Ben Murdoch086aeea2011-05-13 15:57:08 +0100271 case CodeStub::CallFunction: {
272 int argc =
273 CallFunctionStub::ExtractArgcFromMinorKey(minor_key);
274 out.AddFormatted("argc = %d", argc);
Steve Blocka7e24c12009-10-30 11:49:00 +0000275 break;
Ben Murdoch086aeea2011-05-13 15:57:08 +0100276 }
277 default:
Steve Blocka7e24c12009-10-30 11:49:00 +0000278 out.AddFormatted("minor: %d", minor_key);
279 }
280 }
281 } else {
282 out.AddFormatted(" %s", Code::Kind2String(kind));
283 }
Ben Murdoch257744e2011-11-30 15:57:28 +0000284 if (rmode == RelocInfo::CODE_TARGET_WITH_ID) {
285 out.AddFormatted(" (id = %d)", static_cast<int>(relocinfo.data()));
286 }
Ben Murdoch8b112d22011-06-08 16:22:53 +0100287 } else if (rmode == RelocInfo::RUNTIME_ENTRY &&
288 Isolate::Current()->deoptimizer_data() != NULL) {
Ben Murdochb0fe1622011-05-05 13:52:32 +0100289 // A runtime entry reloinfo might be a deoptimization bailout.
290 Address addr = relocinfo.target_address();
291 int id = Deoptimizer::GetDeoptimizationId(addr, Deoptimizer::EAGER);
292 if (id == Deoptimizer::kNotDeoptimizationEntry) {
293 out.AddFormatted(" ;; %s", RelocInfo::RelocModeName(rmode));
294 } else {
295 out.AddFormatted(" ;; deoptimization bailout %d", id);
296 }
Steve Blocka7e24c12009-10-30 11:49:00 +0000297 } else {
298 out.AddFormatted(" ;; %s", RelocInfo::RelocModeName(rmode));
299 }
300 }
Ben Murdoch69a99ed2011-11-30 16:03:39 +0000301 DumpBuffer(f, &out);
302 }
303
304 // Emit comments following the last instruction (if any).
305 if (it != NULL) {
306 for ( ; !it->done(); it->next()) {
307 if (RelocInfo::IsComment(it->rinfo()->rmode())) {
308 out.AddFormatted(" %s",
309 reinterpret_cast<const char*>(it->rinfo()->data()));
310 DumpBuffer(f, &out);
311 }
312 }
Steve Blocka7e24c12009-10-30 11:49:00 +0000313 }
314
315 delete it;
Steve Blockd0582a62009-12-15 09:54:21 +0000316 return static_cast<int>(pc - begin);
Steve Blocka7e24c12009-10-30 11:49:00 +0000317}
318
319
320int Disassembler::Decode(FILE* f, byte* begin, byte* end) {
321 V8NameConverter defaultConverter(NULL);
322 return DecodeIt(f, defaultConverter, begin, end);
323}
324
325
326// Called by Code::CodePrint.
327void Disassembler::Decode(FILE* f, Code* code) {
Ben Murdochb0fe1622011-05-05 13:52:32 +0100328 int decode_size = (code->kind() == Code::OPTIMIZED_FUNCTION)
Steve Block1e0659c2011-05-24 12:43:12 +0100329 ? static_cast<int>(code->safepoint_table_offset())
Ben Murdochb0fe1622011-05-05 13:52:32 +0100330 : code->instruction_size();
331 // If there might be a stack check table, stop before reaching it.
332 if (code->kind() == Code::FUNCTION) {
333 decode_size =
Steve Block1e0659c2011-05-24 12:43:12 +0100334 Min(decode_size, static_cast<int>(code->stack_check_table_offset()));
Ben Murdochb0fe1622011-05-05 13:52:32 +0100335 }
336
337 byte* begin = code->instruction_start();
338 byte* end = begin + decode_size;
Steve Blocka7e24c12009-10-30 11:49:00 +0000339 V8NameConverter v8NameConverter(code);
340 DecodeIt(f, v8NameConverter, begin, end);
341}
342
343#else // ENABLE_DISASSEMBLER
344
345void Disassembler::Dump(FILE* f, byte* begin, byte* end) {}
346int Disassembler::Decode(FILE* f, byte* begin, byte* end) { return 0; }
347void Disassembler::Decode(FILE* f, Code* code) {}
348
349#endif // ENABLE_DISASSEMBLER
350
351} } // namespace v8::internal