blob: 72db70d85d0f66d356db35ae3414261b8673faec [file] [log] [blame]
Eugene Zelenkoe94042c2017-02-27 23:43:14 +00001//===- DWARFDebugAranges.cpp ----------------------------------------------===//
Benjamin Kramera6002fd2011-09-14 01:09:52 +00002//
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"
Eugene Zelenkoe94042c2017-02-27 23:43:14 +000014#include "llvm/Support/DataExtractor.h"
Benjamin Kramera6002fd2011-09-14 01:09:52 +000015#include <algorithm>
16#include <cassert>
Eugene Zelenkoe94042c2017-02-27 23:43:14 +000017#include <cstdint>
Alexey Samsonov0670cfa2014-06-12 23:58:49 +000018#include <set>
Eugene Zelenkoe94042c2017-02-27 23:43:14 +000019#include <vector>
20
Benjamin Kramera6002fd2011-09-14 01:09:52 +000021using namespace llvm;
22
Alexey Samsonov0c9b7252013-10-01 15:48:10 +000023void DWARFDebugAranges::extract(DataExtractor DebugArangesData) {
24 if (!DebugArangesData.isValidOffset(0))
25 return;
Alexey Samsonovad4bf3d2013-10-01 16:52:46 +000026 uint32_t Offset = 0;
Alexey Samsonovad4bf3d2013-10-01 16:52:46 +000027 DWARFDebugArangeSet Set;
Benjamin Kramera6002fd2011-09-14 01:09:52 +000028
Alexey Samsonovad4bf3d2013-10-01 16:52:46 +000029 while (Set.extract(DebugArangesData, &Offset)) {
Alexey Samsonovfee0ee22014-04-28 22:27:46 +000030 uint32_t CUOffset = Set.getCompileUnitDIEOffset();
31 for (const auto &Desc : Set.descriptors()) {
Alexey Samsonov1eabf982014-03-13 07:52:54 +000032 uint64_t LowPC = Desc.Address;
33 uint64_t HighPC = Desc.getEndAddress();
Alexey Samsonovad4bf3d2013-10-01 16:52:46 +000034 appendRange(CUOffset, LowPC, HighPC);
35 }
Alexey Samsonov0670cfa2014-06-12 23:58:49 +000036 ParsedCUOffsets.insert(CUOffset);
Alexey Samsonovad4bf3d2013-10-01 16:52:46 +000037 }
Benjamin Kramera6002fd2011-09-14 01:09:52 +000038}
39
Alexey Samsonov0c9b7252013-10-01 15:48:10 +000040void DWARFDebugAranges::generate(DWARFContext *CTX) {
Alexey Samsonov15a23352013-10-02 07:12:47 +000041 clear();
42 if (!CTX)
43 return;
44
45 // Extract aranges from .debug_aranges section.
46 DataExtractor ArangesData(CTX->getARangeSection(), CTX->isLittleEndian(), 0);
47 extract(ArangesData);
48
49 // Generate aranges from DIEs: even if .debug_aranges section is present,
50 // it may describe only a small subset of compilation units, so we need to
51 // manually build aranges for the rest of them.
Alexey Samsonov1eabf982014-03-13 07:52:54 +000052 for (const auto &CU : CTX->compile_units()) {
53 uint32_t CUOffset = CU->getOffset();
Alexey Samsonov762343d2014-04-18 17:25:46 +000054 if (ParsedCUOffsets.insert(CUOffset).second) {
55 DWARFAddressRangesVector CURanges;
56 CU->collectAddressRanges(CURanges);
George Rimar8680b6e2017-05-16 11:54:19 +000057 for (const auto &R : CURanges)
58 appendRange(CUOffset, R.LowPC, R.HighPC);
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) {
Eugene Zelenkoe94042c2017-02-27 23:43:14 +000084 if (PrevAddress < E.Address && !ValidCUs.empty()) {
Alexey Samsonov0670cfa2014-06-12 23:58:49 +000085 // 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}