1efddda3dSPavel Labath //===-- TestObjectFileELF.cpp -----------------------------------*- C++ -*-===//
2efddda3dSPavel Labath //
3efddda3dSPavel Labath //
4efddda3dSPavel Labath //                     The LLVM Compiler Infrastructure
5efddda3dSPavel Labath //
6efddda3dSPavel Labath // This file is distributed under the University of Illinois Open Source
7efddda3dSPavel Labath // License. See LICENSE.TXT for details.
8efddda3dSPavel Labath //
9efddda3dSPavel Labath //===----------------------------------------------------------------------===//
10efddda3dSPavel Labath 
11efddda3dSPavel Labath #include "Plugins/ObjectFile/ELF/ObjectFileELF.h"
127ed3e22fSPavel Labath #include "Plugins/SymbolVendor/ELF/SymbolVendorELF.h"
13e2867bc4SPavel Labath #include "TestingSupport/TestUtilities.h"
14efddda3dSPavel Labath #include "lldb/Core/Module.h"
15efddda3dSPavel Labath #include "lldb/Core/ModuleSpec.h"
16efddda3dSPavel Labath #include "lldb/Core/Section.h"
1746376966SJonas Devlieghere #include "lldb/Host/FileSystem.h"
18efddda3dSPavel Labath #include "lldb/Host/HostInfo.h"
196868d2ddSNathan Lanza #include "lldb/Utility/DataBufferHeap.h"
20e7d85688SVedant Kumar #include "llvm/ADT/Optional.h"
21e2867bc4SPavel Labath #include "llvm/Support/Compression.h"
22efddda3dSPavel Labath #include "llvm/Support/FileUtilities.h"
23efddda3dSPavel Labath #include "llvm/Support/Path.h"
24efddda3dSPavel Labath #include "llvm/Support/Program.h"
25efddda3dSPavel Labath #include "llvm/Support/raw_ostream.h"
26efddda3dSPavel Labath #include "gtest/gtest.h"
27efddda3dSPavel Labath 
28efddda3dSPavel Labath using namespace lldb_private;
29efddda3dSPavel Labath using namespace lldb;
30efddda3dSPavel Labath 
31efddda3dSPavel Labath class ObjectFileELFTest : public testing::Test {
32efddda3dSPavel Labath public:
33efddda3dSPavel Labath   void SetUp() override {
3446376966SJonas Devlieghere     FileSystem::Initialize();
35efddda3dSPavel Labath     HostInfo::Initialize();
36efddda3dSPavel Labath     ObjectFileELF::Initialize();
37efddda3dSPavel Labath     SymbolVendorELF::Initialize();
38efddda3dSPavel Labath   }
39efddda3dSPavel Labath 
40efddda3dSPavel Labath   void TearDown() override {
41efddda3dSPavel Labath     SymbolVendorELF::Terminate();
42efddda3dSPavel Labath     ObjectFileELF::Terminate();
43efddda3dSPavel Labath     HostInfo::Terminate();
4446376966SJonas Devlieghere     FileSystem::Terminate();
45efddda3dSPavel Labath   }
46efddda3dSPavel Labath 
47efddda3dSPavel Labath protected:
48efddda3dSPavel Labath };
49efddda3dSPavel Labath 
50efddda3dSPavel Labath #define ASSERT_NO_ERROR(x)                                                     \
51efddda3dSPavel Labath   if (std::error_code ASSERT_NO_ERROR_ec = x) {                                \
52efddda3dSPavel Labath     llvm::SmallString<128> MessageStorage;                                     \
53efddda3dSPavel Labath     llvm::raw_svector_ostream Message(MessageStorage);                         \
54efddda3dSPavel Labath     Message << #x ": did not return errc::success.\n"                          \
55efddda3dSPavel Labath             << "error number: " << ASSERT_NO_ERROR_ec.value() << "\n"          \
56efddda3dSPavel Labath             << "error message: " << ASSERT_NO_ERROR_ec.message() << "\n";      \
57efddda3dSPavel Labath     GTEST_FATAL_FAILURE_(MessageStorage.c_str());                              \
58efddda3dSPavel Labath   } else {                                                                     \
59efddda3dSPavel Labath   }
60efddda3dSPavel Labath 
61efddda3dSPavel Labath TEST_F(ObjectFileELFTest, SectionsResolveConsistently) {
627ed3e22fSPavel Labath   std::string yaml = GetInputFilePath("sections-resolve-consistently.yaml");
637ed3e22fSPavel Labath   llvm::SmallString<128> obj;
64efddda3dSPavel Labath   ASSERT_NO_ERROR(llvm::sys::fs::createTemporaryFile(
65efddda3dSPavel Labath       "sections-resolve-consistently-%%%%%%", "obj", obj));
66efddda3dSPavel Labath 
67efddda3dSPavel Labath   llvm::FileRemover remover(obj);
6808426e1fSZachary Turner   llvm::StringRef args[] = {YAML2OBJ, yaml};
69efddda3dSPavel Labath   llvm::StringRef obj_ref = obj;
70e7d85688SVedant Kumar   const llvm::Optional<llvm::StringRef> redirects[] = {llvm::None, obj_ref,
71e7d85688SVedant Kumar                                                        llvm::None};
7208426e1fSZachary Turner   ASSERT_EQ(0,
7308426e1fSZachary Turner             llvm::sys::ExecuteAndWait(YAML2OBJ, args, llvm::None, redirects));
74efddda3dSPavel Labath   uint64_t size;
75efddda3dSPavel Labath   ASSERT_NO_ERROR(llvm::sys::fs::file_size(obj, size));
76efddda3dSPavel Labath   ASSERT_GT(size, 0u);
77efddda3dSPavel Labath 
788f3be7a3SJonas Devlieghere   ModuleSpec spec{FileSpec(obj)};
798f3be7a3SJonas Devlieghere   spec.GetSymbolFileSpec().SetFile(obj, FileSpec::Style::native);
80efddda3dSPavel Labath   auto module_sp = std::make_shared<Module>(spec);
81efddda3dSPavel Labath   SectionList *list = module_sp->GetSectionList();
82efddda3dSPavel Labath   ASSERT_NE(nullptr, list);
83efddda3dSPavel Labath 
84efddda3dSPavel Labath   auto bss_sp = list->FindSectionByName(ConstString(".bss"));
85efddda3dSPavel Labath   ASSERT_NE(nullptr, bss_sp);
86efddda3dSPavel Labath   auto data_sp = list->FindSectionByName(ConstString(".data"));
87efddda3dSPavel Labath   ASSERT_NE(nullptr, data_sp);
88efddda3dSPavel Labath   auto text_sp = list->FindSectionByName(ConstString(".text"));
89efddda3dSPavel Labath   ASSERT_NE(nullptr, text_sp);
90efddda3dSPavel Labath 
91efddda3dSPavel Labath   const Symbol *X = module_sp->FindFirstSymbolWithNameAndType(ConstString("X"),
92efddda3dSPavel Labath                                                               eSymbolTypeAny);
93efddda3dSPavel Labath   ASSERT_NE(nullptr, X);
94efddda3dSPavel Labath   EXPECT_EQ(bss_sp, X->GetAddress().GetSection());
95efddda3dSPavel Labath 
96efddda3dSPavel Labath   const Symbol *Y = module_sp->FindFirstSymbolWithNameAndType(ConstString("Y"),
97efddda3dSPavel Labath                                                               eSymbolTypeAny);
98efddda3dSPavel Labath   ASSERT_NE(nullptr, Y);
99efddda3dSPavel Labath   EXPECT_EQ(data_sp, Y->GetAddress().GetSection());
100efddda3dSPavel Labath 
101efddda3dSPavel Labath   const Symbol *start = module_sp->FindFirstSymbolWithNameAndType(
102efddda3dSPavel Labath       ConstString("_start"), eSymbolTypeAny);
103efddda3dSPavel Labath   ASSERT_NE(nullptr, start);
104efddda3dSPavel Labath   EXPECT_EQ(text_sp, start->GetAddress().GetSection());
105efddda3dSPavel Labath }
1064f033125SPavel Labath 
1074f033125SPavel Labath // Test that GetModuleSpecifications works on an "atypical" object file which
1084f033125SPavel Labath // has section headers right after the ELF header (instead of the more common
1094f033125SPavel Labath // layout where the section headers are at the very end of the object file).
110bca95f8aSPavel Labath //
111bca95f8aSPavel Labath // Test file generated with yaml2obj (@svn rev 324254) from the following input:
112bca95f8aSPavel Labath /*
113bca95f8aSPavel Labath --- !ELF
114bca95f8aSPavel Labath FileHeader:
115bca95f8aSPavel Labath   Class:           ELFCLASS64
116bca95f8aSPavel Labath   Data:            ELFDATA2LSB
117bca95f8aSPavel Labath   Type:            ET_EXEC
118bca95f8aSPavel Labath   Machine:         EM_X86_64
119bca95f8aSPavel Labath   Entry:           0x00000000004003D0
120bca95f8aSPavel Labath Sections:
121bca95f8aSPavel Labath   - Name:            .note.gnu.build-id
122bca95f8aSPavel Labath     Type:            SHT_NOTE
123bca95f8aSPavel Labath     Flags:           [ SHF_ALLOC ]
124bca95f8aSPavel Labath     Address:         0x0000000000400274
125bca95f8aSPavel Labath     AddressAlign:    0x0000000000000004
126bca95f8aSPavel Labath     Content:         040000001400000003000000474E55001B8A73AC238390E32A7FF4AC8EBE4D6A41ECF5C9
127bca95f8aSPavel Labath   - Name:            .text
128bca95f8aSPavel Labath     Type:            SHT_PROGBITS
129bca95f8aSPavel Labath     Flags:           [ SHF_ALLOC, SHF_EXECINSTR ]
130bca95f8aSPavel Labath     Address:         0x00000000004003D0
131bca95f8aSPavel Labath     AddressAlign:    0x0000000000000010
132bca95f8aSPavel Labath     Content:         DEADBEEFBAADF00D
133bca95f8aSPavel Labath ...
134bca95f8aSPavel Labath */
1354f033125SPavel Labath TEST_F(ObjectFileELFTest, GetModuleSpecifications_EarlySectionHeaders) {
1364f033125SPavel Labath   std::string SO = GetInputFilePath("early-section-headers.so");
1374f033125SPavel Labath   ModuleSpecList Specs;
1388f3be7a3SJonas Devlieghere   ASSERT_EQ(1u, ObjectFile::GetModuleSpecifications(FileSpec(SO), 0, 0, Specs));
1394f033125SPavel Labath   ModuleSpec Spec;
1404f033125SPavel Labath   ASSERT_TRUE(Specs.GetModuleSpecAtIndex(0, Spec)) ;
1414f033125SPavel Labath   UUID Uuid;
1424f033125SPavel Labath   Uuid.SetFromStringRef("1b8a73ac238390e32a7ff4ac8ebe4d6a41ecf5c9", 20);
1434f033125SPavel Labath   EXPECT_EQ(Spec.GetUUID(), Uuid);
1444f033125SPavel Labath }
1456868d2ddSNathan Lanza 
146b37f1ec8SDavide Italiano static void CHECK_ABS32(uint8_t *bytes, uint32_t offset, uint32_t addend) {
147b37f1ec8SDavide Italiano   uint32_t res;
148*05620d8eSDavide Italiano   memcpy(&res, reinterpret_cast<uint32_t *>(bytes + offset), sizeof(uint32_t));
149b37f1ec8SDavide Italiano   ASSERT_EQ(addend, res);
150b37f1ec8SDavide Italiano }
151b37f1ec8SDavide Italiano 
152b37f1ec8SDavide Italiano static void CHECK_ABS64(uint8_t *bytes, uint64_t offset, uint64_t addend) {
153b37f1ec8SDavide Italiano   uint64_t res;
154*05620d8eSDavide Italiano   memcpy(&res, reinterpret_cast<uint64_t *>(bytes + offset), sizeof(uint64_t));
155b37f1ec8SDavide Italiano   ASSERT_EQ(addend, res);
156b37f1ec8SDavide Italiano }
1576868d2ddSNathan Lanza 
1586868d2ddSNathan Lanza TEST_F(ObjectFileELFTest, TestAARCH64Relocations) {
1596868d2ddSNathan Lanza   std::string yaml = GetInputFilePath("debug-info-relocations.pcm.yaml");
1606868d2ddSNathan Lanza   llvm::SmallString<128> obj;
1616868d2ddSNathan Lanza   ASSERT_NO_ERROR(llvm::sys::fs::createTemporaryFile(
1626868d2ddSNathan Lanza       "debug-info-relocations-%%%%%%", "obj", obj));
1636868d2ddSNathan Lanza 
1646868d2ddSNathan Lanza   llvm::FileRemover remover(obj);
1656868d2ddSNathan Lanza   llvm::StringRef args[] = {YAML2OBJ, yaml};
1666868d2ddSNathan Lanza   llvm::StringRef obj_ref = obj;
1676868d2ddSNathan Lanza   const llvm::Optional<llvm::StringRef> redirects[] = {llvm::None, obj_ref,
1686868d2ddSNathan Lanza                                                        llvm::None};
1696868d2ddSNathan Lanza   ASSERT_EQ(0,
1706868d2ddSNathan Lanza             llvm::sys::ExecuteAndWait(YAML2OBJ, args, llvm::None, redirects));
1716868d2ddSNathan Lanza   uint64_t size;
1726868d2ddSNathan Lanza   ASSERT_NO_ERROR(llvm::sys::fs::file_size(obj, size));
1736868d2ddSNathan Lanza   ASSERT_GT(size, 0u);
1746868d2ddSNathan Lanza 
1756868d2ddSNathan Lanza   ModuleSpec spec{FileSpec(obj)};
1766868d2ddSNathan Lanza   spec.GetSymbolFileSpec().SetFile(obj, FileSpec::Style::native);
1776868d2ddSNathan Lanza   auto module_sp = std::make_shared<Module>(spec);
1786868d2ddSNathan Lanza 
1796868d2ddSNathan Lanza   auto objfile = static_cast<ObjectFileELF *>(module_sp->GetObjectFile());
1806868d2ddSNathan Lanza   SectionList *section_list = objfile->GetSectionList();
1816868d2ddSNathan Lanza   ASSERT_NE(nullptr, section_list);
1826868d2ddSNathan Lanza 
1836868d2ddSNathan Lanza   auto debug_info_sp =
1846868d2ddSNathan Lanza       section_list->FindSectionByName(ConstString(".debug_info"));
1856868d2ddSNathan Lanza   ASSERT_NE(nullptr, debug_info_sp);
1866868d2ddSNathan Lanza   objfile->RelocateSection(debug_info_sp.get());
1876868d2ddSNathan Lanza 
1886868d2ddSNathan Lanza   DataExtractor data;
1896868d2ddSNathan Lanza   // length of 0x10 is not needed but length 0x0 crashes
1906868d2ddSNathan Lanza   objfile->GetData(0x00, 0x10, data);
1916868d2ddSNathan Lanza   DataBufferSP &data_buffer_sp = data.GetSharedDataBuffer();
1926868d2ddSNathan Lanza   uint8_t *bytes = data_buffer_sp->GetBytes();
1936868d2ddSNathan Lanza 
1946868d2ddSNathan Lanza   addr_t debug_info_offset = debug_info_sp->GetFileOffset();
1956868d2ddSNathan Lanza   bytes += debug_info_offset;
1966868d2ddSNathan Lanza 
1976868d2ddSNathan Lanza   // Sanity check - The first byte from the yaml file is 0x47
1986868d2ddSNathan Lanza   ASSERT_EQ(0x47, *bytes);
1996868d2ddSNathan Lanza 
2006868d2ddSNathan Lanza   // .rela.debug_info contains 9 relocations:
2016868d2ddSNathan Lanza   // 7 R_AARCH64_ABS32 - 2 R_AARCH64_ABS64
2026868d2ddSNathan Lanza   // None have a value. Four have addends.
203b37f1ec8SDavide Italiano   CHECK_ABS32(bytes, 0x6, 0);
204b37f1ec8SDavide Italiano   CHECK_ABS32(bytes, 0xC, 0);
205b37f1ec8SDavide Italiano   CHECK_ABS32(bytes, 0x12, 45);
206b37f1ec8SDavide Italiano   CHECK_ABS32(bytes, 0x16, 0);
207b37f1ec8SDavide Italiano   CHECK_ABS32(bytes, 0x1A, 55);
208b37f1ec8SDavide Italiano   CHECK_ABS64(bytes, 0x1E, 0);
209b37f1ec8SDavide Italiano   CHECK_ABS64(bytes, 0x2B, 0);
210b37f1ec8SDavide Italiano   CHECK_ABS32(bytes, 0x39, 73);
211b37f1ec8SDavide Italiano   CHECK_ABS32(bytes, 0x44, 75);
2126868d2ddSNathan Lanza }
213