10b57cec5SDimitry Andric //===- DWARFDebugAranges.cpp ----------------------------------------------===//
20b57cec5SDimitry Andric //
30b57cec5SDimitry Andric // Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions.
40b57cec5SDimitry Andric // See https://llvm.org/LICENSE.txt for license information.
50b57cec5SDimitry Andric // SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
60b57cec5SDimitry Andric //
70b57cec5SDimitry Andric //===----------------------------------------------------------------------===//
80b57cec5SDimitry Andric
90b57cec5SDimitry Andric #include "llvm/DebugInfo/DWARF/DWARFDebugAranges.h"
10*81ad6265SDimitry Andric #include "llvm/DebugInfo/DWARF/DWARFAddressRange.h"
110b57cec5SDimitry Andric #include "llvm/DebugInfo/DWARF/DWARFContext.h"
12*81ad6265SDimitry Andric #include "llvm/DebugInfo/DWARF/DWARFDataExtractor.h"
130b57cec5SDimitry Andric #include "llvm/DebugInfo/DWARF/DWARFDebugArangeSet.h"
14*81ad6265SDimitry Andric #include "llvm/DebugInfo/DWARF/DWARFObject.h"
15*81ad6265SDimitry Andric #include "llvm/DebugInfo/DWARF/DWARFUnit.h"
160b57cec5SDimitry Andric #include <algorithm>
170b57cec5SDimitry Andric #include <cassert>
180b57cec5SDimitry Andric #include <cstdint>
190b57cec5SDimitry Andric #include <set>
200b57cec5SDimitry Andric
210b57cec5SDimitry Andric using namespace llvm;
220b57cec5SDimitry Andric
extract(DWARFDataExtractor DebugArangesData,function_ref<void (Error)> RecoverableErrorHandler,function_ref<void (Error)> WarningHandler)235ffd83dbSDimitry Andric void DWARFDebugAranges::extract(
245ffd83dbSDimitry Andric DWARFDataExtractor DebugArangesData,
25*81ad6265SDimitry Andric function_ref<void(Error)> RecoverableErrorHandler,
26*81ad6265SDimitry Andric function_ref<void(Error)> WarningHandler) {
270b57cec5SDimitry Andric if (!DebugArangesData.isValidOffset(0))
280b57cec5SDimitry Andric return;
298bcb0991SDimitry Andric uint64_t Offset = 0;
300b57cec5SDimitry Andric DWARFDebugArangeSet Set;
310b57cec5SDimitry Andric
325ffd83dbSDimitry Andric while (DebugArangesData.isValidOffset(Offset)) {
33*81ad6265SDimitry Andric if (Error E = Set.extract(DebugArangesData, &Offset, WarningHandler)) {
345ffd83dbSDimitry Andric RecoverableErrorHandler(std::move(E));
355ffd83dbSDimitry Andric return;
365ffd83dbSDimitry Andric }
378bcb0991SDimitry Andric uint64_t CUOffset = Set.getCompileUnitDIEOffset();
380b57cec5SDimitry Andric for (const auto &Desc : Set.descriptors()) {
390b57cec5SDimitry Andric uint64_t LowPC = Desc.Address;
400b57cec5SDimitry Andric uint64_t HighPC = Desc.getEndAddress();
410b57cec5SDimitry Andric appendRange(CUOffset, LowPC, HighPC);
420b57cec5SDimitry Andric }
430b57cec5SDimitry Andric ParsedCUOffsets.insert(CUOffset);
440b57cec5SDimitry Andric }
450b57cec5SDimitry Andric }
460b57cec5SDimitry Andric
generate(DWARFContext * CTX)470b57cec5SDimitry Andric void DWARFDebugAranges::generate(DWARFContext *CTX) {
480b57cec5SDimitry Andric clear();
490b57cec5SDimitry Andric if (!CTX)
500b57cec5SDimitry Andric return;
510b57cec5SDimitry Andric
520b57cec5SDimitry Andric // Extract aranges from .debug_aranges section.
535ffd83dbSDimitry Andric DWARFDataExtractor ArangesData(CTX->getDWARFObj().getArangesSection(),
540b57cec5SDimitry Andric CTX->isLittleEndian(), 0);
55*81ad6265SDimitry Andric extract(ArangesData, CTX->getRecoverableErrorHandler(),
56*81ad6265SDimitry Andric CTX->getWarningHandler());
570b57cec5SDimitry Andric
580b57cec5SDimitry Andric // Generate aranges from DIEs: even if .debug_aranges section is present,
590b57cec5SDimitry Andric // it may describe only a small subset of compilation units, so we need to
600b57cec5SDimitry Andric // manually build aranges for the rest of them.
610b57cec5SDimitry Andric for (const auto &CU : CTX->compile_units()) {
628bcb0991SDimitry Andric uint64_t CUOffset = CU->getOffset();
630b57cec5SDimitry Andric if (ParsedCUOffsets.insert(CUOffset).second) {
640b57cec5SDimitry Andric Expected<DWARFAddressRangesVector> CURanges = CU->collectAddressRanges();
650b57cec5SDimitry Andric if (!CURanges)
665ffd83dbSDimitry Andric CTX->getRecoverableErrorHandler()(CURanges.takeError());
670b57cec5SDimitry Andric else
680b57cec5SDimitry Andric for (const auto &R : *CURanges)
690b57cec5SDimitry Andric appendRange(CUOffset, R.LowPC, R.HighPC);
700b57cec5SDimitry Andric }
710b57cec5SDimitry Andric }
720b57cec5SDimitry Andric
730b57cec5SDimitry Andric construct();
740b57cec5SDimitry Andric }
750b57cec5SDimitry Andric
clear()760b57cec5SDimitry Andric void DWARFDebugAranges::clear() {
770b57cec5SDimitry Andric Endpoints.clear();
780b57cec5SDimitry Andric Aranges.clear();
790b57cec5SDimitry Andric ParsedCUOffsets.clear();
800b57cec5SDimitry Andric }
810b57cec5SDimitry Andric
appendRange(uint64_t CUOffset,uint64_t LowPC,uint64_t HighPC)828bcb0991SDimitry Andric void DWARFDebugAranges::appendRange(uint64_t CUOffset, uint64_t LowPC,
830b57cec5SDimitry Andric uint64_t HighPC) {
840b57cec5SDimitry Andric if (LowPC >= HighPC)
850b57cec5SDimitry Andric return;
860b57cec5SDimitry Andric Endpoints.emplace_back(LowPC, CUOffset, true);
870b57cec5SDimitry Andric Endpoints.emplace_back(HighPC, CUOffset, false);
880b57cec5SDimitry Andric }
890b57cec5SDimitry Andric
construct()900b57cec5SDimitry Andric void DWARFDebugAranges::construct() {
918bcb0991SDimitry Andric std::multiset<uint64_t> ValidCUs; // Maintain the set of CUs describing
920b57cec5SDimitry Andric // a current address range.
930b57cec5SDimitry Andric llvm::sort(Endpoints);
940b57cec5SDimitry Andric uint64_t PrevAddress = -1ULL;
950b57cec5SDimitry Andric for (const auto &E : Endpoints) {
960b57cec5SDimitry Andric if (PrevAddress < E.Address && !ValidCUs.empty()) {
970b57cec5SDimitry Andric // If the address range between two endpoints is described by some
980b57cec5SDimitry Andric // CU, first try to extend the last range in Aranges. If we can't
990b57cec5SDimitry Andric // do it, start a new range.
1000b57cec5SDimitry Andric if (!Aranges.empty() && Aranges.back().HighPC() == PrevAddress &&
1010b57cec5SDimitry Andric ValidCUs.find(Aranges.back().CUOffset) != ValidCUs.end()) {
1020b57cec5SDimitry Andric Aranges.back().setHighPC(E.Address);
1030b57cec5SDimitry Andric } else {
1040b57cec5SDimitry Andric Aranges.emplace_back(PrevAddress, E.Address, *ValidCUs.begin());
1050b57cec5SDimitry Andric }
1060b57cec5SDimitry Andric }
1070b57cec5SDimitry Andric // Update the set of valid CUs.
1080b57cec5SDimitry Andric if (E.IsRangeStart) {
1090b57cec5SDimitry Andric ValidCUs.insert(E.CUOffset);
1100b57cec5SDimitry Andric } else {
1110b57cec5SDimitry Andric auto CUPos = ValidCUs.find(E.CUOffset);
1120b57cec5SDimitry Andric assert(CUPos != ValidCUs.end());
1130b57cec5SDimitry Andric ValidCUs.erase(CUPos);
1140b57cec5SDimitry Andric }
1150b57cec5SDimitry Andric PrevAddress = E.Address;
1160b57cec5SDimitry Andric }
1170b57cec5SDimitry Andric assert(ValidCUs.empty());
1180b57cec5SDimitry Andric
1190b57cec5SDimitry Andric // Endpoints are not needed now.
1200b57cec5SDimitry Andric Endpoints.clear();
1210b57cec5SDimitry Andric Endpoints.shrink_to_fit();
1220b57cec5SDimitry Andric }
1230b57cec5SDimitry Andric
findAddress(uint64_t Address) const124480093f4SDimitry Andric uint64_t DWARFDebugAranges::findAddress(uint64_t Address) const {
1250b57cec5SDimitry Andric RangeCollIterator It =
1260b57cec5SDimitry Andric partition_point(Aranges, [=](Range R) { return R.HighPC() <= Address; });
1270b57cec5SDimitry Andric if (It != Aranges.end() && It->LowPC <= Address)
1280b57cec5SDimitry Andric return It->CUOffset;
129480093f4SDimitry Andric return -1ULL;
1300b57cec5SDimitry Andric }
131