6cba572d9e
This patch sets up `DICompileUnit` to support the DWARFv6 `DW_AT_language_name` and `DW_AT_language_version` attributes (which are set to replace `DW_AT_language`). This patch changes the `DICompileUnit::SourceLanguage` field type to a `DISourceLanguageName` that encapsulates the notion of "versioned vs. unversioned name". A "versioned" name is one that has an associated version stored separately in `DISourceLanguageName::Version`. This patch just changes all the clients of the `getSourceLanguage` API to the expect a `DISourceLanguageName`. Currently they all just `assert` (via `DISourceLanguageName::getUnversionedName`) that we're dealing with "unversioned names" (i.e., the pre-DWARFv6 language codes). In follow-up patches (e.g., draft is at https://github.com/llvm/llvm-project/pull/162261), when we start emitting versioned language codes, the `getUnversionedName` calls can then be adjusted to `getName`. **Implementation considerations** * We could have added a new member to `DICompileUnit` alongside the existing `SourceLanguage` field. I don't think this would have made the transition any simpler (clients would still need to be aware of "versioned" vs. "unversioned" language names). I felt that encapsulating this inside a `DISourceLanguageName` was easier to reason about for maintainers. * Currently DISourceLanguageName is a `12` byte structure. We could probably pack all the info inside a `uint64_t` (16-bits for the name, 32-bits for the version, 1-bit for answering the `hasVersionedName`). Just to keep the prototype simple I used a `std::optional`. But since the guts of the structure are hidden, we can always change the layout to a more compact representation instead. **How to review** * The new `DISourceLanguageName` structure is defined in `DebugInfoMetadata.h`. All the other changes fall out from changing the `DICompileUnit::SourceLanguage` from `unsigned` to `DISourceLanguageName`.
109 lines
4.1 KiB
C++
109 lines
4.1 KiB
C++
//===- MachineBasicBlockTest.cpp ------------------------------------------===//
|
|
//
|
|
// Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions.
|
|
// See https://llvm.org/LICENSE.txt for license information.
|
|
// SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
|
|
//
|
|
//===----------------------------------------------------------------------===//
|
|
|
|
#include "llvm/CodeGen/MachineBasicBlock.h"
|
|
#include "llvm/CodeGen/CodeGenTargetMachineImpl.h"
|
|
#include "llvm/CodeGen/MachineFunction.h"
|
|
#include "llvm/CodeGen/MachineInstr.h"
|
|
#include "llvm/CodeGen/MachineInstrBuilder.h"
|
|
#include "llvm/CodeGen/MachineModuleInfo.h"
|
|
#include "llvm/CodeGen/TargetFrameLowering.h"
|
|
#include "llvm/CodeGen/TargetInstrInfo.h"
|
|
#include "llvm/CodeGen/TargetLowering.h"
|
|
#include "llvm/CodeGen/TargetSubtargetInfo.h"
|
|
#include "llvm/IR/DIBuilder.h"
|
|
#include "llvm/IR/DebugInfoMetadata.h"
|
|
#include "llvm/IR/IRBuilder.h"
|
|
#include "llvm/IR/Module.h"
|
|
#include "llvm/MC/TargetRegistry.h"
|
|
#include "gmock/gmock.h"
|
|
#include "gtest/gtest.h"
|
|
|
|
using namespace llvm;
|
|
|
|
namespace {
|
|
// Include helper functions to ease the manipulation of MachineFunctions.
|
|
#include "MFCommon.inc"
|
|
|
|
TEST(FindDebugLocTest, DifferentIterators) {
|
|
LLVMContext Ctx;
|
|
Module Mod("Module", Ctx);
|
|
auto MF = createMachineFunction(Ctx, Mod);
|
|
auto &MBB = *MF->CreateMachineBasicBlock();
|
|
|
|
// Create metadata: CU, subprogram, some blocks and an inline function
|
|
// scope.
|
|
DIBuilder DIB(Mod);
|
|
DIFile *OurFile = DIB.createFile("foo.c", "/bar");
|
|
DICompileUnit *OurCU = DIB.createCompileUnit(
|
|
DISourceLanguageName(dwarf::DW_LANG_C99), OurFile, "", false, "", 0);
|
|
auto OurSubT = DIB.createSubroutineType(DIB.getOrCreateTypeArray({}));
|
|
DISubprogram *OurFunc =
|
|
DIB.createFunction(OurCU, "bees", "", OurFile, 1, OurSubT, 1,
|
|
DINode::FlagZero, DISubprogram::SPFlagDefinition);
|
|
|
|
DebugLoc DL0;
|
|
DebugLoc DL1 = DILocation::get(Ctx, 1, 0, OurFunc);
|
|
DebugLoc DL2 = DILocation::get(Ctx, 2, 0, OurFunc);
|
|
DebugLoc DL3 = DILocation::get(Ctx, 3, 0, OurFunc);
|
|
|
|
// Test using and empty MBB.
|
|
EXPECT_EQ(DL0, MBB.findDebugLoc(MBB.instr_begin()));
|
|
EXPECT_EQ(DL0, MBB.findDebugLoc(MBB.instr_end()));
|
|
|
|
EXPECT_EQ(DL0, MBB.rfindDebugLoc(MBB.instr_rbegin()));
|
|
EXPECT_EQ(DL0, MBB.rfindDebugLoc(MBB.instr_rend()));
|
|
|
|
EXPECT_EQ(DL0, MBB.findPrevDebugLoc(MBB.instr_begin()));
|
|
EXPECT_EQ(DL0, MBB.findPrevDebugLoc(MBB.instr_end()));
|
|
|
|
EXPECT_EQ(DL0, MBB.rfindPrevDebugLoc(MBB.instr_rbegin()));
|
|
EXPECT_EQ(DL0, MBB.rfindPrevDebugLoc(MBB.instr_rend()));
|
|
|
|
// Insert two MIs with DebugLoc DL1 and DL3.
|
|
// Also add a DBG_VALUE with a different DebugLoc in between.
|
|
MCInstrDesc COPY = {TargetOpcode::COPY, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0};
|
|
MCInstrDesc DBG = {TargetOpcode::DBG_VALUE, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0};
|
|
auto MI3 = MF->CreateMachineInstr(COPY, DL3);
|
|
MBB.insert(MBB.begin(), MI3);
|
|
auto MI2 = MF->CreateMachineInstr(DBG, DL2);
|
|
MBB.insert(MBB.begin(), MI2);
|
|
auto MI1 = MF->CreateMachineInstr(COPY, DL1);
|
|
MBB.insert(MBB.begin(), MI1);
|
|
|
|
// Test using two MIs with a debug instruction in between.
|
|
EXPECT_EQ(DL1, MBB.findDebugLoc(MBB.instr_begin()));
|
|
EXPECT_EQ(DL1, MBB.findDebugLoc(MI1));
|
|
EXPECT_EQ(DL3, MBB.findDebugLoc(MI2));
|
|
EXPECT_EQ(DL3, MBB.findDebugLoc(MI3));
|
|
EXPECT_EQ(DL0, MBB.findDebugLoc(MBB.instr_end()));
|
|
|
|
EXPECT_EQ(DL1, MBB.rfindDebugLoc(MBB.instr_rend()));
|
|
EXPECT_EQ(DL1, MBB.rfindDebugLoc(MI1));
|
|
EXPECT_EQ(DL3, MBB.rfindDebugLoc(MI2));
|
|
EXPECT_EQ(DL3, MBB.rfindDebugLoc(MI3));
|
|
EXPECT_EQ(DL3, MBB.rfindDebugLoc(MBB.instr_rbegin()));
|
|
|
|
EXPECT_EQ(DL0, MBB.findPrevDebugLoc(MBB.instr_begin()));
|
|
EXPECT_EQ(DL0, MBB.findPrevDebugLoc(MI1));
|
|
EXPECT_EQ(DL1, MBB.findPrevDebugLoc(MI2));
|
|
EXPECT_EQ(DL1, MBB.findPrevDebugLoc(MI3));
|
|
EXPECT_EQ(DL3, MBB.findPrevDebugLoc(MBB.instr_end()));
|
|
|
|
EXPECT_EQ(DL0, MBB.rfindPrevDebugLoc(MBB.instr_rend()));
|
|
EXPECT_EQ(DL0, MBB.rfindPrevDebugLoc(MI1));
|
|
EXPECT_EQ(DL1, MBB.rfindPrevDebugLoc(MI2));
|
|
EXPECT_EQ(DL1, MBB.rfindPrevDebugLoc(MI3));
|
|
EXPECT_EQ(DL1, MBB.rfindPrevDebugLoc(MBB.instr_rbegin()));
|
|
|
|
// Finalize DIBuilder to avoid memory leaks.
|
|
DIB.finalize();
|
|
}
|
|
|
|
} // end namespace
|