1fa99cb64SMircea Trofin //===- MachineInstrTest.cpp -----------------------------------------------===//
2fa99cb64SMircea Trofin //
3fa99cb64SMircea Trofin // Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions.
4fa99cb64SMircea Trofin // See https://llvm.org/LICENSE.txt for license information.
5fa99cb64SMircea Trofin // SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
6fa99cb64SMircea Trofin //
7fa99cb64SMircea Trofin //===----------------------------------------------------------------------===//
8fa99cb64SMircea Trofin
9fa99cb64SMircea Trofin #include "../lib/CodeGen/RegAllocScore.h"
10fa99cb64SMircea Trofin #include "llvm/ADT/Triple.h"
11fa99cb64SMircea Trofin #include "llvm/CodeGen/MachineBasicBlock.h"
12fa99cb64SMircea Trofin #include "llvm/CodeGen/MachineFunction.h"
13fa99cb64SMircea Trofin #include "llvm/CodeGen/MachineInstr.h"
14fa99cb64SMircea Trofin #include "llvm/CodeGen/MachineMemOperand.h"
15fa99cb64SMircea Trofin #include "llvm/CodeGen/MachineModuleInfo.h"
16fa99cb64SMircea Trofin #include "llvm/CodeGen/TargetFrameLowering.h"
17fa99cb64SMircea Trofin #include "llvm/CodeGen/TargetInstrInfo.h"
18fa99cb64SMircea Trofin #include "llvm/CodeGen/TargetLowering.h"
19fa99cb64SMircea Trofin #include "llvm/CodeGen/TargetSubtargetInfo.h"
20fa99cb64SMircea Trofin #include "llvm/IR/DebugInfoMetadata.h"
21fa99cb64SMircea Trofin #include "llvm/IR/IRBuilder.h"
22fa99cb64SMircea Trofin #include "llvm/IR/ModuleSlotTracker.h"
23fa99cb64SMircea Trofin #include "llvm/MC/MCAsmInfo.h"
24fa99cb64SMircea Trofin #include "llvm/MC/MCSymbol.h"
25fa99cb64SMircea Trofin #include "llvm/MC/TargetRegistry.h"
26fa99cb64SMircea Trofin #include "llvm/Support/TargetSelect.h"
27fa99cb64SMircea Trofin #include "llvm/Target/TargetMachine.h"
28fa99cb64SMircea Trofin #include "llvm/Target/TargetOptions.h"
29fa99cb64SMircea Trofin #include "gtest/gtest.h"
30fa99cb64SMircea Trofin
31fa99cb64SMircea Trofin using namespace llvm;
32fa99cb64SMircea Trofin extern cl::opt<double> CopyWeight;
33fa99cb64SMircea Trofin extern cl::opt<double> LoadWeight;
34fa99cb64SMircea Trofin extern cl::opt<double> StoreWeight;
35fa99cb64SMircea Trofin extern cl::opt<double> CheapRematWeight;
36fa99cb64SMircea Trofin extern cl::opt<double> ExpensiveRematWeight;
37fa99cb64SMircea Trofin
38fa99cb64SMircea Trofin namespace {
39fa99cb64SMircea Trofin // Include helper functions to ease the manipulation of MachineFunctions.
40fa99cb64SMircea Trofin #include "MFCommon.inc"
41fa99cb64SMircea Trofin
42fa99cb64SMircea Trofin // MachineFunction::CreateMachineInstr doesn't copy the MCInstrDesc, it
43fa99cb64SMircea Trofin // takes its address. So we want a bunch of pre-allocated mock MCInstrDescs.
44fa99cb64SMircea Trofin #define MOCK_INSTR(MACRO) \
45fa99cb64SMircea Trofin MACRO(Copy, TargetOpcode::COPY, 0) \
46fa99cb64SMircea Trofin MACRO(Load, 0, 1ULL << MCID::MayLoad) \
47fa99cb64SMircea Trofin MACRO(Store, 0, 1ULL << MCID::MayStore) \
48fa99cb64SMircea Trofin MACRO(LoadStore, 0, (1ULL << MCID::MayLoad) | (1ULL << MCID::MayStore)) \
49fa99cb64SMircea Trofin MACRO(CheapRemat, 0, 1ULL << MCID::CheapAsAMove) \
50fa99cb64SMircea Trofin MACRO(ExpensiveRemat, 0, 0) \
51fa99cb64SMircea Trofin MACRO(Dbg, TargetOpcode::DBG_LABEL, \
52fa99cb64SMircea Trofin (1ULL << MCID::MayLoad) | (1ULL << MCID::MayStore)) \
53fa99cb64SMircea Trofin MACRO(InlAsm, TargetOpcode::INLINEASM, \
54fa99cb64SMircea Trofin (1ULL << MCID::MayLoad) | (1ULL << MCID::MayStore)) \
55fa99cb64SMircea Trofin MACRO(Kill, TargetOpcode::KILL, \
56fa99cb64SMircea Trofin (1ULL << MCID::MayLoad) | (1ULL << MCID::MayStore))
57fa99cb64SMircea Trofin
58fa99cb64SMircea Trofin enum MockInstrId {
59fa99cb64SMircea Trofin #define MOCK_INSTR_ID(ID, IGNORE, IGNORE2) ID,
60fa99cb64SMircea Trofin MOCK_INSTR(MOCK_INSTR_ID)
61fa99cb64SMircea Trofin #undef MOCK_INSTR_ID
62fa99cb64SMircea Trofin TotalMockInstrs
63fa99cb64SMircea Trofin };
64fa99cb64SMircea Trofin
65fa99cb64SMircea Trofin const std::array<MCInstrDesc, MockInstrId::TotalMockInstrs> MockInstrDescs{{
66fa99cb64SMircea Trofin #define MOCK_SPEC(IGNORE, OPCODE, FLAGS) \
67fa99cb64SMircea Trofin {OPCODE, 0, 0, 0, 0, FLAGS, 0, nullptr, nullptr, nullptr},
68fa99cb64SMircea Trofin MOCK_INSTR(MOCK_SPEC)
69fa99cb64SMircea Trofin #undef MOCK_SPEC
70fa99cb64SMircea Trofin }};
71fa99cb64SMircea Trofin
createMockCopy(MachineFunction & MF)72fa99cb64SMircea Trofin MachineInstr *createMockCopy(MachineFunction &MF) {
73fa99cb64SMircea Trofin return MF.CreateMachineInstr(MockInstrDescs[MockInstrId::Copy], DebugLoc());
74fa99cb64SMircea Trofin }
75fa99cb64SMircea Trofin
createMockLoad(MachineFunction & MF)76fa99cb64SMircea Trofin MachineInstr *createMockLoad(MachineFunction &MF) {
77fa99cb64SMircea Trofin return MF.CreateMachineInstr(MockInstrDescs[MockInstrId::Load], DebugLoc());
78fa99cb64SMircea Trofin }
79fa99cb64SMircea Trofin
createMockStore(MachineFunction & MF)80fa99cb64SMircea Trofin MachineInstr *createMockStore(MachineFunction &MF) {
81fa99cb64SMircea Trofin return MF.CreateMachineInstr(MockInstrDescs[MockInstrId::Store], DebugLoc());
82fa99cb64SMircea Trofin }
83fa99cb64SMircea Trofin
createMockLoadStore(MachineFunction & MF)84fa99cb64SMircea Trofin MachineInstr *createMockLoadStore(MachineFunction &MF) {
85fa99cb64SMircea Trofin return MF.CreateMachineInstr(MockInstrDescs[MockInstrId::LoadStore],
86fa99cb64SMircea Trofin DebugLoc());
87fa99cb64SMircea Trofin }
88fa99cb64SMircea Trofin
createMockCheapRemat(MachineFunction & MF)89fa99cb64SMircea Trofin MachineInstr *createMockCheapRemat(MachineFunction &MF) {
90fa99cb64SMircea Trofin return MF.CreateMachineInstr(MockInstrDescs[MockInstrId::CheapRemat],
91fa99cb64SMircea Trofin DebugLoc());
92fa99cb64SMircea Trofin }
93fa99cb64SMircea Trofin
createMockExpensiveRemat(MachineFunction & MF)94fa99cb64SMircea Trofin MachineInstr *createMockExpensiveRemat(MachineFunction &MF) {
95fa99cb64SMircea Trofin return MF.CreateMachineInstr(MockInstrDescs[MockInstrId::ExpensiveRemat],
96fa99cb64SMircea Trofin DebugLoc());
97fa99cb64SMircea Trofin }
98fa99cb64SMircea Trofin
createMockDebug(MachineFunction & MF)99fa99cb64SMircea Trofin MachineInstr *createMockDebug(MachineFunction &MF) {
100fa99cb64SMircea Trofin return MF.CreateMachineInstr(MockInstrDescs[MockInstrId::Dbg], DebugLoc());
101fa99cb64SMircea Trofin }
102fa99cb64SMircea Trofin
createMockKill(MachineFunction & MF)103fa99cb64SMircea Trofin MachineInstr *createMockKill(MachineFunction &MF) {
104fa99cb64SMircea Trofin return MF.CreateMachineInstr(MockInstrDescs[MockInstrId::Kill], DebugLoc());
105fa99cb64SMircea Trofin }
106fa99cb64SMircea Trofin
createMockInlineAsm(MachineFunction & MF)107fa99cb64SMircea Trofin MachineInstr *createMockInlineAsm(MachineFunction &MF) {
108fa99cb64SMircea Trofin return MF.CreateMachineInstr(MockInstrDescs[MockInstrId::InlAsm], DebugLoc());
109fa99cb64SMircea Trofin }
110fa99cb64SMircea Trofin
TEST(RegAllocScoreTest,SkipDebugKillInlineAsm)111fa99cb64SMircea Trofin TEST(RegAllocScoreTest, SkipDebugKillInlineAsm) {
112fa99cb64SMircea Trofin LLVMContext Ctx;
113fa99cb64SMircea Trofin Module Mod("Module", Ctx);
114fa99cb64SMircea Trofin auto MF = createMachineFunction(Ctx, Mod);
115fa99cb64SMircea Trofin
116fa99cb64SMircea Trofin auto *MBB = MF->CreateMachineBasicBlock();
117fa99cb64SMircea Trofin MF->insert(MF->end(), MBB);
118fa99cb64SMircea Trofin auto MBBFreqMock = [&](const MachineBasicBlock &_MBB) -> double {
119fa99cb64SMircea Trofin assert(&_MBB == MBB);
120fa99cb64SMircea Trofin return 0.5;
121fa99cb64SMircea Trofin };
122fa99cb64SMircea Trofin auto Next = MBB->end();
123fa99cb64SMircea Trofin Next = MBB->insertAfter(Next, createMockInlineAsm(*MF));
124fa99cb64SMircea Trofin Next = MBB->insertAfter(Next, createMockDebug(*MF));
125fa99cb64SMircea Trofin Next = MBB->insertAfter(Next, createMockKill(*MF));
126fa99cb64SMircea Trofin const auto Score = llvm::calculateRegAllocScore(
127fa99cb64SMircea Trofin *MF, MBBFreqMock, [](const MachineInstr &) { return false; });
128fa99cb64SMircea Trofin ASSERT_EQ(MF->size(), 1U);
129fa99cb64SMircea Trofin ASSERT_EQ(Score, RegAllocScore());
130fa99cb64SMircea Trofin }
131fa99cb64SMircea Trofin
TEST(RegAllocScoreTest,Counts)132fa99cb64SMircea Trofin TEST(RegAllocScoreTest, Counts) {
133fa99cb64SMircea Trofin LLVMContext Ctx;
134fa99cb64SMircea Trofin Module Mod("Module", Ctx);
135fa99cb64SMircea Trofin auto MF = createMachineFunction(Ctx, Mod);
136fa99cb64SMircea Trofin
137fa99cb64SMircea Trofin auto *MBB1 = MF->CreateMachineBasicBlock();
138fa99cb64SMircea Trofin auto *MBB2 = MF->CreateMachineBasicBlock();
139fa99cb64SMircea Trofin MF->insert(MF->end(), MBB1);
140fa99cb64SMircea Trofin MF->insert(MF->end(), MBB2);
141fa99cb64SMircea Trofin const double Freq1 = 0.5;
142fa99cb64SMircea Trofin const double Freq2 = 10.0;
143fa99cb64SMircea Trofin auto MBBFreqMock = [&](const MachineBasicBlock &MBB) -> double {
144fa99cb64SMircea Trofin if (&MBB == MBB1)
145fa99cb64SMircea Trofin return Freq1;
146fa99cb64SMircea Trofin if (&MBB == MBB2)
147fa99cb64SMircea Trofin return Freq2;
148*fd722c59SSimon Pilgrim llvm_unreachable("We only created 2 basic blocks");
149fa99cb64SMircea Trofin };
150fa99cb64SMircea Trofin auto Next = MBB1->end();
151fa99cb64SMircea Trofin Next = MBB1->insertAfter(Next, createMockCopy(*MF));
152fa99cb64SMircea Trofin Next = MBB1->insertAfter(Next, createMockLoad(*MF));
153fa99cb64SMircea Trofin Next = MBB1->insertAfter(Next, createMockLoad(*MF));
154fa99cb64SMircea Trofin Next = MBB1->insertAfter(Next, createMockStore(*MF));
155fa99cb64SMircea Trofin auto *CheapRemat = createMockCheapRemat(*MF);
156fa99cb64SMircea Trofin MBB1->insertAfter(Next, CheapRemat);
157fa99cb64SMircea Trofin Next = MBB2->end();
158fa99cb64SMircea Trofin Next = MBB2->insertAfter(Next, createMockLoad(*MF));
159fa99cb64SMircea Trofin Next = MBB2->insertAfter(Next, createMockStore(*MF));
160fa99cb64SMircea Trofin Next = MBB2->insertAfter(Next, createMockLoadStore(*MF));
161fa99cb64SMircea Trofin auto *ExpensiveRemat = createMockExpensiveRemat(*MF);
162fa99cb64SMircea Trofin MBB2->insertAfter(Next, ExpensiveRemat);
163fa99cb64SMircea Trofin auto IsRemat = [&](const MachineInstr &MI) {
164fa99cb64SMircea Trofin return &MI == CheapRemat || &MI == ExpensiveRemat;
165fa99cb64SMircea Trofin };
166fa99cb64SMircea Trofin ASSERT_EQ(MF->size(), 2U);
167fa99cb64SMircea Trofin const auto TotalScore =
168fa99cb64SMircea Trofin llvm::calculateRegAllocScore(*MF, MBBFreqMock, IsRemat);
169fa99cb64SMircea Trofin ASSERT_EQ(Freq1, TotalScore.copyCounts());
170fa99cb64SMircea Trofin ASSERT_EQ(2.0 * Freq1 + Freq2, TotalScore.loadCounts());
171fa99cb64SMircea Trofin ASSERT_EQ(Freq1 + Freq2, TotalScore.storeCounts());
172fa99cb64SMircea Trofin ASSERT_EQ(Freq2, TotalScore.loadStoreCounts());
173fa99cb64SMircea Trofin ASSERT_EQ(Freq1, TotalScore.cheapRematCounts());
174fa99cb64SMircea Trofin ASSERT_EQ(Freq2, TotalScore.expensiveRematCounts());
175fa99cb64SMircea Trofin ASSERT_EQ(TotalScore.getScore(),
176fa99cb64SMircea Trofin TotalScore.copyCounts() * CopyWeight +
177fa99cb64SMircea Trofin TotalScore.loadCounts() * LoadWeight +
178fa99cb64SMircea Trofin TotalScore.storeCounts() * StoreWeight +
179fa99cb64SMircea Trofin TotalScore.loadStoreCounts() * (LoadWeight + StoreWeight) +
180fa99cb64SMircea Trofin TotalScore.cheapRematCounts() * CheapRematWeight +
181fa99cb64SMircea Trofin TotalScore.expensiveRematCounts() * ExpensiveRematWeight
182fa99cb64SMircea Trofin
183fa99cb64SMircea Trofin );
184fa99cb64SMircea Trofin }
185fa99cb64SMircea Trofin } // end namespace
186