Chromium Code Reviews
chromiumcodereview-hr@appspot.gserviceaccount.com (chromiumcodereview-hr) | Please choose your nickname with Settings | Help | Chromium Project | Gerrit Changes | Sign out
(80)

Issues Search
    My Issues | Starred     Open | Closed | All

Unified Diff: runtime/vm/snapshot.cc

Issue 2723213002: DWARF and unwind support for AOT assembly output. (Closed)
Patch Set: . Created 3 years, 9 months ago
Use n/p to move between diff chunks; N/P to move between comments. Draft comments are only viewable by you.
Jump to:
View side-by-side diff with in-line comments
Download patch
« no previous file with comments | « runtime/vm/snapshot.h ('k') | runtime/vm/vm_sources.gypi » ('j') | no next file with comments »
Expand Comments ('e') | Collapse Comments ('c') | Show Comments Hide Comments ('s')
Index: runtime/vm/snapshot.cc
diff --git a/runtime/vm/snapshot.cc b/runtime/vm/snapshot.cc
index 738461e77bc548cf9418a12c84c9bf54a016eaf5..09f3cb8e81942938bde534f90f78cc100e83c13c 100644
--- a/runtime/vm/snapshot.cc
+++ b/runtime/vm/snapshot.cc
@@ -9,6 +9,7 @@
#include "vm/class_finalizer.h"
#include "vm/dart.h"
#include "vm/dart_entry.h"
+#include "vm/dwarf.h"
#include "vm/exceptions.h"
#include "vm/heap.h"
#include "vm/lockers.h"
@@ -767,6 +768,27 @@ void ImageWriter::WriteROData(WriteStream* stream) {
}
+AssemblyImageWriter::AssemblyImageWriter(uint8_t** assembly_buffer,
+ ReAlloc alloc,
+ intptr_t initial_size)
+ : ImageWriter(),
+ assembly_stream_(assembly_buffer, alloc, initial_size),
+ text_size_(0),
+ dwarf_(NULL) {
+#if defined(DART_PRECOMPILER)
+ Zone* zone = Thread::Current()->zone();
+ dwarf_ = new (zone) Dwarf(zone, &assembly_stream_);
+#endif
+}
+
+
+void AssemblyImageWriter::Finalize() {
+#ifdef DART_PRECOMPILER
+ dwarf_->Write();
+#endif
+}
+
+
static void EnsureIdentifier(char* label) {
for (char c = *label; c != '\0'; c = *++label) {
if (((c >= 'a') && (c <= 'z')) || ((c >= 'A') && (c <= 'Z')) ||
@@ -785,6 +807,7 @@ void AssemblyImageWriter::WriteText(WriteStream* clustered_stream, bool vm) {
vm ? "_kDartVmSnapshotInstructions" : "_kDartIsolateSnapshotInstructions";
assembly_stream_.Print(".text\n");
assembly_stream_.Print(".globl %s\n", instructions_symbol);
+
// Start snapshot at page boundary.
ASSERT(VirtualMemory::PageSize() >= OS::kMaxPreferredCodeAlignment);
assembly_stream_.Print(".balign %" Pd ", 0\n", VirtualMemory::PageSize());
@@ -799,6 +822,8 @@ void AssemblyImageWriter::WriteText(WriteStream* clustered_stream, bool vm) {
WriteWordLiteralText(0);
}
+ FrameUnwindPrologue();
+
Object& owner = Object::Handle(zone);
String& str = String::Handle(zone);
@@ -815,9 +840,6 @@ void AssemblyImageWriter::WriteText(WriteStream* clustered_stream, bool vm) {
uword beginning = reinterpret_cast<uword>(insns.raw_ptr());
uword entry = beginning + Instructions::HeaderSize();
- ASSERT(Utils::IsAligned(beginning, sizeof(uint64_t)));
- ASSERT(Utils::IsAligned(entry, sizeof(uint64_t)));
-
// Write Instructions with the mark and VM heap bits set.
uword marked_tags = insns.raw_ptr()->tags_;
marked_tags = RawObject::VMHeapObjectTag::update(true, marked_tags);
@@ -826,13 +848,11 @@ void AssemblyImageWriter::WriteText(WriteStream* clustered_stream, bool vm) {
WriteWordLiteralText(marked_tags);
beginning += sizeof(uword);
- for (uword* cursor = reinterpret_cast<uword*>(beginning);
- cursor < reinterpret_cast<uword*>(entry); cursor++) {
- WriteWordLiteralText(*cursor);
- }
+ WriteByteSequence(beginning, entry);
}
// 2. Write a label at the entry point.
+ // Linux's perf uses these labels.
owner = code.owner();
if (owner.IsNull()) {
const char* name = StubCode::NameOfStub(insns.UncheckedEntryPoint());
@@ -851,6 +871,12 @@ void AssemblyImageWriter::WriteText(WriteStream* clustered_stream, bool vm) {
UNREACHABLE();
}
+#ifdef DART_PRECOMPILER
+ // Create a label for use by DWARF.
+ intptr_t dwarf_index = dwarf_->AddCode(code);
+ assembly_stream_.Print(".Lcode%" Pd ":\n", dwarf_index);
+#endif
+
{
// 3. Write from the entry point to the end.
NoSafepointScope no_safepoint;
@@ -860,17 +886,15 @@ void AssemblyImageWriter::WriteText(WriteStream* clustered_stream, bool vm) {
payload_size = Utils::RoundUp(payload_size, OS::PreferredCodeAlignment());
uword end = entry + payload_size;
- ASSERT(Utils::IsAligned(beginning, sizeof(uint64_t)));
- ASSERT(Utils::IsAligned(entry, sizeof(uint64_t)));
- ASSERT(Utils::IsAligned(end, sizeof(uint64_t)));
+ ASSERT(Utils::IsAligned(beginning, sizeof(uword)));
+ ASSERT(Utils::IsAligned(entry, sizeof(uword)));
+ ASSERT(Utils::IsAligned(end, sizeof(uword)));
- for (uword* cursor = reinterpret_cast<uword*>(entry);
- cursor < reinterpret_cast<uword*>(end); cursor++) {
- WriteWordLiteralText(*cursor);
- }
+ WriteByteSequence(entry, end);
}
}
+ FrameUnwindEpilogue();
#if defined(HOST_OS_LINUX)
assembly_stream_.Print(".section .rodata\n");
@@ -887,10 +911,113 @@ void AssemblyImageWriter::WriteText(WriteStream* clustered_stream, bool vm) {
assembly_stream_.Print(".balign %" Pd ", 0\n",
OS::kMaxPreferredCodeAlignment);
assembly_stream_.Print("%s:\n", data_symbol);
- uint8_t* buffer = clustered_stream->buffer();
+ uword buffer = reinterpret_cast<uword>(clustered_stream->buffer());
intptr_t length = clustered_stream->bytes_written();
- for (intptr_t i = 0; i < length; i++) {
- assembly_stream_.Print(".byte %" Pd "\n", buffer[i]);
+ WriteByteSequence(buffer, buffer + length);
+}
+
+
+void AssemblyImageWriter::FrameUnwindPrologue() {
+ // Creates DWARF's .debug_frame
+ // CFI = Call frame information
+ // CFA = Canonical frame address
+ assembly_stream_.Print(".cfi_startproc\n");
+
+#if defined(TARGET_ARCH_X64)
+ assembly_stream_.Print(".cfi_def_cfa rbp, 0\n"); // CFA is fp+0
+ assembly_stream_.Print(".cfi_offset rbp, 0\n"); // saved fp is *(CFA+0)
+ assembly_stream_.Print(".cfi_offset rip, 8\n"); // saved pc is *(CFA+8)
+ // saved sp is CFA+16
+ // Should be ".cfi_value_offset rsp, 16", but requires gcc newer than late
+ // 2016 and not supported by Android's libunwind.
+ // DW_CFA_expression 0x10
+ // uleb128 register (rsp) 7 (DWARF register number)
+ // uleb128 size of operation 2
+ // DW_OP_plus_uconst 0x23
+ // uleb128 addend 16
+ assembly_stream_.Print(".cfi_escape 0x10, 31, 2, 0x23, 16\n");
+
+#elif defined(TARGET_ARCH_ARM64)
+ COMPILE_ASSERT(FP == R29);
+ COMPILE_ASSERT(LR == R30);
+ assembly_stream_.Print(".cfi_def_cfa x29, 0\n"); // CFA is fp+0
+ assembly_stream_.Print(".cfi_offset x29, 0\n"); // saved fp is *(CFA+0)
+ assembly_stream_.Print(".cfi_offset x30, 8\n"); // saved pc is *(CFA+8)
+ // saved sp is CFA+16
+ // Should be ".cfi_value_offset sp, 16", but requires gcc newer than late
+ // 2016 and not supported by Android's libunwind.
+ // DW_CFA_expression 0x10
+ // uleb128 register (x31) 31
+ // uleb128 size of operation 2
+ // DW_OP_plus_uconst 0x23
+ // uleb128 addend 16
+ assembly_stream_.Print(".cfi_escape 0x10, 31, 2, 0x23, 16\n");
+
+#elif defined(TARGET_ARCH_ARM)
+#if defined(TARGET_ABI_EABI)
+ COMPILE_ASSERT(FP == R11);
+ assembly_stream_.Print(".cfi_def_cfa r11, 0\n"); // CFA is fp+0
+ assembly_stream_.Print(".cfi_offset r11, 0\n"); // saved fp is *(CFA+0)
+#elif defined(TARGET_ABI_IOS)
+ COMPILE_ASSERT(FP == R7);
+ assembly_stream_.Print(".cfi_def_cfa r7, 0\n"); // CFA is fp+0
+ assembly_stream_.Print(".cfi_offset r7, 0\n"); // saved fp is *(CFA+0)
+#endif
+ assembly_stream_.Print(".cfi_offset lr, 4\n"); // saved pc is *(CFA+4)
+ // saved sp is CFA+8
+ // Should be ".cfi_value_offset sp, 8", but requires gcc newer than late
+ // 2016 and not supported by Android's libunwind.
+ // DW_CFA_expression 0x10
+ // uleb128 register (sp) 13
+ // uleb128 size of operation 2
+ // DW_OP_plus_uconst 0x23
+ // uleb128 addend 8
+ assembly_stream_.Print(".cfi_escape 0x10, 13, 2, 0x23, 8\n");
+
+// libunwind on ARM may use .ARM.exidx instead of .debug_frame
+#if defined(TARGET_ABI_EABI)
+ COMPILE_ASSERT(FP == R11);
+ assembly_stream_.Print(".fnstart\n");
+ assembly_stream_.Print(".save {r11, lr}\n");
+ assembly_stream_.Print(".setfp r11, sp, #0\n");
+#elif defined(TARGET_ABI_IOS)
+ COMPILE_ASSERT(FP == R7);
+ assembly_stream_.Print(".fnstart\n");
+ assembly_stream_.Print(".save {r7, lr}\n");
+ assembly_stream_.Print(".setfp r7, sp, #0\n");
+#endif
+
+#elif defined(TARGET_ARCH_MIPS)
+ COMPILE_ASSERT(FP == R30);
+ COMPILE_ASSERT(RA == R31);
+ assembly_stream_.Print(".cfi_def_cfa r30, 0\n"); // CFA is fp+0
+ assembly_stream_.Print(".cfi_offset r30, 0\n"); // saved fp is *(CFA+0)
+ assembly_stream_.Print(".cfi_offset r31, 4\n"); // saved pc is *(CFA+4)
+ // saved sp is CFA+16
+ // Should be ".cfi_value_offset sp, 8", but requires gcc newer than late
+ // 2016 and not supported by Android's libunwind.
+ // DW_CFA_expression 0x10
+ // uleb128 register (sp) 29
+ // uleb128 size of operation 2
+ // DW_OP_plus_uconst 0x23
+ // uleb128 addend 8
+ assembly_stream_.Print(".cfi_escape 0x10, 29, 2, 0x23, 8\n");
+#endif
+}
+
+
+void AssemblyImageWriter::FrameUnwindEpilogue() {
+#if defined(TARGET_ARCH_ARM)
+ assembly_stream_.Print(".fnend\n");
+#endif
+ assembly_stream_.Print(".cfi_endproc\n");
+}
+
+
+void AssemblyImageWriter::WriteByteSequence(uword start, uword end) {
+ for (uword* cursor = reinterpret_cast<uword*>(start);
+ cursor < reinterpret_cast<uword*>(end); cursor++) {
+ WriteWordLiteralText(*cursor);
}
}
@@ -905,50 +1032,30 @@ void BlobImageWriter::WriteText(WriteStream* clustered_stream, bool vm) {
instructions_blob_stream_.WriteWord(0);
}
+ NoSafepointScope no_safepoint;
for (intptr_t i = 0; i < instructions_.length(); i++) {
const Instructions& insns = *instructions_[i].insns_;
- // 1. Write from the header to the entry point.
- {
- NoSafepointScope no_safepoint;
-
- uword beginning = reinterpret_cast<uword>(insns.raw_ptr());
- uword entry = beginning + Instructions::HeaderSize();
-
- ASSERT(Utils::IsAligned(beginning, sizeof(uint64_t)));
- ASSERT(Utils::IsAligned(entry, sizeof(uint64_t)));
-
- // Write Instructions with the mark and VM heap bits set.
- uword marked_tags = insns.raw_ptr()->tags_;
- marked_tags = RawObject::VMHeapObjectTag::update(true, marked_tags);
- marked_tags = RawObject::MarkBit::update(true, marked_tags);
-
- instructions_blob_stream_.WriteWord(marked_tags);
- beginning += sizeof(uword);
+ uword beginning = reinterpret_cast<uword>(insns.raw_ptr());
+ uword entry = beginning + Instructions::HeaderSize();
+ uword payload_size = insns.Size();
+ payload_size = Utils::RoundUp(payload_size, OS::PreferredCodeAlignment());
+ uword end = entry + payload_size;
- for (uword* cursor = reinterpret_cast<uword*>(beginning);
- cursor < reinterpret_cast<uword*>(entry); cursor++) {
- instructions_blob_stream_.WriteWord(*cursor);
- }
- }
+ ASSERT(Utils::IsAligned(beginning, sizeof(uword)));
+ ASSERT(Utils::IsAligned(entry, sizeof(uword)));
- // 2. Write from the entry point to the end.
- {
- NoSafepointScope no_safepoint;
- uword beginning = reinterpret_cast<uword>(insns.raw()) - kHeapObjectTag;
- uword entry = beginning + Instructions::HeaderSize();
- uword payload_size = insns.Size();
- payload_size = Utils::RoundUp(payload_size, OS::PreferredCodeAlignment());
- uword end = entry + payload_size;
+ // Write Instructions with the mark and VM heap bits set.
+ uword marked_tags = insns.raw_ptr()->tags_;
+ marked_tags = RawObject::VMHeapObjectTag::update(true, marked_tags);
+ marked_tags = RawObject::MarkBit::update(true, marked_tags);
- ASSERT(Utils::IsAligned(beginning, sizeof(uint64_t)));
- ASSERT(Utils::IsAligned(entry, sizeof(uint64_t)));
- ASSERT(Utils::IsAligned(end, sizeof(uint64_t)));
+ instructions_blob_stream_.WriteWord(marked_tags);
+ beginning += sizeof(uword);
- for (uword* cursor = reinterpret_cast<uword*>(entry);
- cursor < reinterpret_cast<uword*>(end); cursor++) {
- instructions_blob_stream_.WriteWord(*cursor);
- }
+ for (uword* cursor = reinterpret_cast<uword*>(beginning);
+ cursor < reinterpret_cast<uword*>(end); cursor++) {
+ instructions_blob_stream_.WriteWord(*cursor);
}
}
}
« no previous file with comments | « runtime/vm/snapshot.h ('k') | runtime/vm/vm_sources.gypi » ('j') | no next file with comments »

Powered by Google App Engine
This is Rietveld 408576698