xref: /freebsd-src/contrib/llvm-project/llvm/lib/DebugInfo/DWARF/DWARFDebugAranges.cpp (revision 81ad626541db97eb356e2c1d4a20eb2a26a766ab)
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