blob: 27a02c4c50d0eae7bee4a2343abbc1435f5bad81 [file] [log] [blame]
Benjamin Kramera6002fd2011-09-14 01:09:52 +00001//===-- DWARFDebugAranges.cpp -----------------------------------*- C++ -*-===//
2//
3// The LLVM Compiler Infrastructure
4//
5// This file is distributed under the University of Illinois Open Source
6// License. See LICENSE.TXT for details.
7//
8//===----------------------------------------------------------------------===//
9
Zachary Turner82af9432015-01-30 18:07:45 +000010#include "llvm/DebugInfo/DWARF/DWARFDebugAranges.h"
11#include "llvm/DebugInfo/DWARF/DWARFCompileUnit.h"
12#include "llvm/DebugInfo/DWARF/DWARFContext.h"
13#include "llvm/DebugInfo/DWARF/DWARFDebugArangeSet.h"
Benjamin Kramera6002fd2011-09-14 01:09:52 +000014#include "llvm/Support/Format.h"
15#include "llvm/Support/raw_ostream.h"
16#include <algorithm>
17#include <cassert>
Alexey Samsonov0670cfa2014-06-12 23:58:49 +000018#include <set>
Benjamin Kramera6002fd2011-09-14 01:09:52 +000019using namespace llvm;
20
Alexey Samsonov0c9b7252013-10-01 15:48:10 +000021void DWARFDebugAranges::extract(DataExtractor DebugArangesData) {
22 if (!DebugArangesData.isValidOffset(0))
23 return;
Alexey Samsonovad4bf3d2013-10-01 16:52:46 +000024 uint32_t Offset = 0;
Alexey Samsonovad4bf3d2013-10-01 16:52:46 +000025 DWARFDebugArangeSet Set;
Benjamin Kramera6002fd2011-09-14 01:09:52 +000026
Alexey Samsonovad4bf3d2013-10-01 16:52:46 +000027 while (Set.extract(DebugArangesData, &Offset)) {
Alexey Samsonovfee0ee22014-04-28 22:27:46 +000028 uint32_t CUOffset = Set.getCompileUnitDIEOffset();
29 for (const auto &Desc : Set.descriptors()) {
Alexey Samsonov1eabf982014-03-13 07:52:54 +000030 uint64_t LowPC = Desc.Address;
31 uint64_t HighPC = Desc.getEndAddress();
Alexey Samsonovad4bf3d2013-10-01 16:52:46 +000032 appendRange(CUOffset, LowPC, HighPC);
33 }
Alexey Samsonov0670cfa2014-06-12 23:58:49 +000034 ParsedCUOffsets.insert(CUOffset);
Alexey Samsonovad4bf3d2013-10-01 16:52:46 +000035 }
Benjamin Kramera6002fd2011-09-14 01:09:52 +000036}
37
Alexey Samsonov0c9b7252013-10-01 15:48:10 +000038void DWARFDebugAranges::generate(DWARFContext *CTX) {
Alexey Samsonov15a23352013-10-02 07:12:47 +000039 clear();
40 if (!CTX)
41 return;
42
43 // Extract aranges from .debug_aranges section.
44 DataExtractor ArangesData(CTX->getARangeSection(), CTX->isLittleEndian(), 0);
45 extract(ArangesData);
46
47 // Generate aranges from DIEs: even if .debug_aranges section is present,
48 // it may describe only a small subset of compilation units, so we need to
49 // manually build aranges for the rest of them.
Alexey Samsonov1eabf982014-03-13 07:52:54 +000050 for (const auto &CU : CTX->compile_units()) {
51 uint32_t CUOffset = CU->getOffset();
Alexey Samsonov762343d2014-04-18 17:25:46 +000052 if (ParsedCUOffsets.insert(CUOffset).second) {
53 DWARFAddressRangesVector CURanges;
54 CU->collectAddressRanges(CURanges);
55 for (const auto &R : CURanges) {
56 appendRange(CUOffset, R.first, R.second);
57 }
58 }
Benjamin Kramer32664932011-09-14 20:52:27 +000059 }
Alexey Samsonov15a23352013-10-02 07:12:47 +000060
Alexey Samsonov0670cfa2014-06-12 23:58:49 +000061 construct();
Benjamin Kramer32664932011-09-14 20:52:27 +000062}
63
Alexey Samsonov001ecd92014-04-25 21:30:03 +000064void DWARFDebugAranges::clear() {
Alexey Samsonov0670cfa2014-06-12 23:58:49 +000065 Endpoints.clear();
Alexey Samsonov001ecd92014-04-25 21:30:03 +000066 Aranges.clear();
67 ParsedCUOffsets.clear();
68}
69
Alexey Samsonov0c9b7252013-10-01 15:48:10 +000070void DWARFDebugAranges::appendRange(uint32_t CUOffset, uint64_t LowPC,
71 uint64_t HighPC) {
Alexey Samsonov0670cfa2014-06-12 23:58:49 +000072 if (LowPC >= HighPC)
73 return;
74 Endpoints.emplace_back(LowPC, CUOffset, true);
75 Endpoints.emplace_back(HighPC, CUOffset, false);
Benjamin Kramera6002fd2011-09-14 01:09:52 +000076}
77
Alexey Samsonov0670cfa2014-06-12 23:58:49 +000078void DWARFDebugAranges::construct() {
79 std::multiset<uint32_t> ValidCUs; // Maintain the set of CUs describing
80 // a current address range.
81 std::sort(Endpoints.begin(), Endpoints.end());
82 uint64_t PrevAddress = -1ULL;
83 for (const auto &E : Endpoints) {
84 if (PrevAddress < E.Address && ValidCUs.size() > 0) {
85 // If the address range between two endpoints is described by some
86 // CU, first try to extend the last range in Aranges. If we can't
87 // do it, start a new range.
88 if (!Aranges.empty() && Aranges.back().HighPC() == PrevAddress &&
89 ValidCUs.find(Aranges.back().CUOffset) != ValidCUs.end()) {
90 Aranges.back().setHighPC(E.Address);
91 } else {
92 Aranges.emplace_back(PrevAddress, E.Address, *ValidCUs.begin());
93 }
Benjamin Kramera6002fd2011-09-14 01:09:52 +000094 }
Alexey Samsonov0670cfa2014-06-12 23:58:49 +000095 // Update the set of valid CUs.
96 if (E.IsRangeStart) {
97 ValidCUs.insert(E.CUOffset);
98 } else {
99 auto CUPos = ValidCUs.find(E.CUOffset);
100 assert(CUPos != ValidCUs.end());
101 ValidCUs.erase(CUPos);
102 }
103 PrevAddress = E.Address;
Benjamin Kramera6002fd2011-09-14 01:09:52 +0000104 }
Alexey Samsonov0670cfa2014-06-12 23:58:49 +0000105 assert(ValidCUs.empty());
Benjamin Kramera6002fd2011-09-14 01:09:52 +0000106
Alexey Samsonov0670cfa2014-06-12 23:58:49 +0000107 // Endpoints are not needed now.
108 std::vector<RangeEndpoint> EmptyEndpoints;
109 EmptyEndpoints.swap(Endpoints);
Benjamin Kramera6002fd2011-09-14 01:09:52 +0000110}
111
Alexey Samsonov0c9b7252013-10-01 15:48:10 +0000112uint32_t DWARFDebugAranges::findAddress(uint64_t Address) const {
Benjamin Kramera6002fd2011-09-14 01:09:52 +0000113 if (!Aranges.empty()) {
Alexey Samsonov0c9b7252013-10-01 15:48:10 +0000114 Range range(Address);
Benjamin Kramera6002fd2011-09-14 01:09:52 +0000115 RangeCollIterator begin = Aranges.begin();
116 RangeCollIterator end = Aranges.end();
Alexey Samsonov97e8a872013-10-01 16:25:14 +0000117 RangeCollIterator pos =
118 std::lower_bound(begin, end, range);
Benjamin Kramera6002fd2011-09-14 01:09:52 +0000119
Alexey Samsonov97e8a872013-10-01 16:25:14 +0000120 if (pos != end && pos->containsAddress(Address)) {
121 return pos->CUOffset;
Benjamin Kramera6002fd2011-09-14 01:09:52 +0000122 } else if (pos != begin) {
123 --pos;
Alexey Samsonov97e8a872013-10-01 16:25:14 +0000124 if (pos->containsAddress(Address))
125 return pos->CUOffset;
Benjamin Kramera6002fd2011-09-14 01:09:52 +0000126 }
127 }
128 return -1U;
129}