blob: 9b577fd65a9666e894c2da48587d4c67ea3b370f [file] [log] [blame]
Clement Courbetd939f6d2018-09-13 07:40:53 +00001//===-- SnippetGenerator.cpp ------------------------------------*- C++ -*-===//
2//
3// The LLVM Compiler Infrastructure
4//
5// This file is distributed under the University of Illinois Open Source
6// License. See LICENSE.TXT for details.
7//
8//===----------------------------------------------------------------------===//
9
10#include <array>
11#include <string>
12
13#include "Assembler.h"
14#include "MCInstrDescView.h"
15#include "SnippetGenerator.h"
16#include "llvm/ADT/StringExtras.h"
17#include "llvm/ADT/StringRef.h"
18#include "llvm/ADT/Twine.h"
19#include "llvm/Support/FileSystem.h"
20#include "llvm/Support/FormatVariadic.h"
21#include "llvm/Support/Program.h"
22
23namespace exegesis {
24
Guillaume Chatelet296a8622018-10-15 09:09:19 +000025std::vector<CodeTemplate> getSingleton(CodeTemplate &CT) {
26 std::vector<CodeTemplate> Result;
27 Result.push_back(std::move(CT));
28 return Result;
29}
30
Clement Courbetd939f6d2018-09-13 07:40:53 +000031SnippetGeneratorFailure::SnippetGeneratorFailure(const llvm::Twine &S)
32 : llvm::StringError(S, llvm::inconvertibleErrorCode()) {}
33
Guillaume Chateletee9c2a172018-10-10 14:22:48 +000034SnippetGenerator::SnippetGenerator(const LLVMState &State) : State(State) {}
Clement Courbetd939f6d2018-09-13 07:40:53 +000035
36SnippetGenerator::~SnippetGenerator() = default;
37
38llvm::Expected<std::vector<BenchmarkCode>>
Guillaume Chatelet9b592382018-10-10 14:57:32 +000039SnippetGenerator::generateConfigurations(const Instruction &Instr) const {
Guillaume Chatelet296a8622018-10-15 09:09:19 +000040 if (auto E = generateCodeTemplates(Instr)) {
Guillaume Chateletee9c2a172018-10-10 14:22:48 +000041 const auto &RATC = State.getRATC();
Clement Courbetd939f6d2018-09-13 07:40:53 +000042 std::vector<BenchmarkCode> Output;
Guillaume Chatelet296a8622018-10-15 09:09:19 +000043 for (CodeTemplate &CT : E.get()) {
44 const llvm::BitVector &ForbiddenRegs =
45 CT.ScratchSpacePointerInReg
46 ? RATC.getRegister(CT.ScratchSpacePointerInReg).aliasedBits()
47 : RATC.emptyRegisters();
48 // TODO: Generate as many BenchmarkCode as needed.
49 {
50 BenchmarkCode BC;
51 BC.Info = CT.Info;
52 for (InstructionTemplate &IT : CT.Instructions) {
53 randomizeUnsetVariables(ForbiddenRegs, IT);
54 BC.Instructions.push_back(IT.build());
55 }
56 if (CT.ScratchSpacePointerInReg)
57 BC.LiveIns.push_back(CT.ScratchSpacePointerInReg);
58 BC.RegisterInitialValues =
59 computeRegisterInitialValues(CT.Instructions);
60 Output.push_back(std::move(BC));
Clement Courbetd939f6d2018-09-13 07:40:53 +000061 }
Clement Courbetd939f6d2018-09-13 07:40:53 +000062 }
63 return Output;
64 } else
65 return E.takeError();
66}
67
Guillaume Chateletc96a97b2018-09-20 12:22:18 +000068std::vector<RegisterValue> SnippetGenerator::computeRegisterInitialValues(
Guillaume Chatelet70ac0192018-09-27 09:23:04 +000069 const std::vector<InstructionTemplate> &Instructions) const {
Clement Courbetd939f6d2018-09-13 07:40:53 +000070 // Collect all register uses and create an assignment for each of them.
71 // Ignore memory operands which are handled separately.
72 // Loop invariant: DefinedRegs[i] is true iif it has been set at least once
73 // before the current instruction.
Guillaume Chateletee9c2a172018-10-10 14:22:48 +000074 llvm::BitVector DefinedRegs = State.getRATC().emptyRegisters();
Guillaume Chateletc96a97b2018-09-20 12:22:18 +000075 std::vector<RegisterValue> RIV;
Guillaume Chatelet70ac0192018-09-27 09:23:04 +000076 for (const InstructionTemplate &IT : Instructions) {
Clement Courbetd939f6d2018-09-13 07:40:53 +000077 // Returns the register that this Operand sets or uses, or 0 if this is not
78 // a register.
Guillaume Chatelet70ac0192018-09-27 09:23:04 +000079 const auto GetOpReg = [&IT](const Operand &Op) -> unsigned {
Guillaume Chatelet09c28392018-10-09 08:59:10 +000080 if (Op.isMemory())
Clement Courbetd939f6d2018-09-13 07:40:53 +000081 return 0;
Guillaume Chatelet09c28392018-10-09 08:59:10 +000082 if (Op.isImplicitReg())
83 return Op.getImplicitReg();
84 if (Op.isExplicit() && IT.getValueFor(Op).isReg())
Guillaume Chatelet70ac0192018-09-27 09:23:04 +000085 return IT.getValueFor(Op).getReg();
Clement Courbetd939f6d2018-09-13 07:40:53 +000086 return 0;
87 };
88 // Collect used registers that have never been def'ed.
Guillaume Chatelet70ac0192018-09-27 09:23:04 +000089 for (const Operand &Op : IT.Instr.Operands) {
Guillaume Chatelet09c28392018-10-09 08:59:10 +000090 if (Op.isUse()) {
Clement Courbetd939f6d2018-09-13 07:40:53 +000091 const unsigned Reg = GetOpReg(Op);
92 if (Reg > 0 && !DefinedRegs.test(Reg)) {
Guillaume Chateletc96a97b2018-09-20 12:22:18 +000093 RIV.push_back(RegisterValue{Reg, llvm::APInt()});
Clement Courbetd939f6d2018-09-13 07:40:53 +000094 DefinedRegs.set(Reg);
95 }
96 }
97 }
98 // Mark defs as having been def'ed.
Guillaume Chatelet70ac0192018-09-27 09:23:04 +000099 for (const Operand &Op : IT.Instr.Operands) {
Guillaume Chatelet09c28392018-10-09 08:59:10 +0000100 if (Op.isDef()) {
Clement Courbetd939f6d2018-09-13 07:40:53 +0000101 const unsigned Reg = GetOpReg(Op);
102 if (Reg > 0)
103 DefinedRegs.set(Reg);
104 }
105 }
106 }
Guillaume Chateletc96a97b2018-09-20 12:22:18 +0000107 return RIV;
Clement Courbetd939f6d2018-09-13 07:40:53 +0000108}
109
Guillaume Chatelet296a8622018-10-15 09:09:19 +0000110llvm::Expected<std::vector<CodeTemplate>>
111generateSelfAliasingCodeTemplates(const Instruction &Instr) {
Clement Courbetd939f6d2018-09-13 07:40:53 +0000112 const AliasingConfigurations SelfAliasing(Instr, Instr);
Guillaume Chatelet296a8622018-10-15 09:09:19 +0000113 if (SelfAliasing.empty())
Clement Courbetd939f6d2018-09-13 07:40:53 +0000114 return llvm::make_error<SnippetGeneratorFailure>("empty self aliasing");
Guillaume Chatelet296a8622018-10-15 09:09:19 +0000115 std::vector<CodeTemplate> Result;
116 Result.emplace_back();
117 CodeTemplate &CT = Result.back();
Guillaume Chatelet70ac0192018-09-27 09:23:04 +0000118 InstructionTemplate IT(Instr);
Clement Courbetd939f6d2018-09-13 07:40:53 +0000119 if (SelfAliasing.hasImplicitAliasing()) {
120 CT.Info = "implicit Self cycles, picking random values.";
121 } else {
122 CT.Info = "explicit self cycles, selecting one aliasing Conf.";
123 // This is a self aliasing instruction so defs and uses are from the same
Guillaume Chatelet70ac0192018-09-27 09:23:04 +0000124 // instance, hence twice IT in the following call.
125 setRandomAliasing(SelfAliasing, IT, IT);
Clement Courbetd939f6d2018-09-13 07:40:53 +0000126 }
Guillaume Chatelet70ac0192018-09-27 09:23:04 +0000127 CT.Instructions.push_back(std::move(IT));
Guillaume Chatelet296a8622018-10-15 09:09:19 +0000128 return Result;
Clement Courbetd939f6d2018-09-13 07:40:53 +0000129}
130
Guillaume Chatelet296a8622018-10-15 09:09:19 +0000131llvm::Expected<std::vector<CodeTemplate>>
132generateUnconstrainedCodeTemplates(const Instruction &Instr,
133 llvm::StringRef Msg) {
134 std::vector<CodeTemplate> Result;
135 Result.emplace_back();
136 CodeTemplate &CT = Result.back();
Clement Courbetd939f6d2018-09-13 07:40:53 +0000137 CT.Info = llvm::formatv("{0}, repeating an unconstrained assignment", Msg);
138 CT.Instructions.emplace_back(Instr);
Guillaume Chatelet296a8622018-10-15 09:09:19 +0000139 return Result;
Clement Courbetd939f6d2018-09-13 07:40:53 +0000140}
Guillaume Chatelet70ac0192018-09-27 09:23:04 +0000141
Guillaume Chatelet415b2fb2018-10-01 12:19:10 +0000142std::mt19937 &randomGenerator() {
143 static std::random_device RandomDevice;
144 static std::mt19937 RandomGenerator(RandomDevice());
145 return RandomGenerator;
146}
147
148static size_t randomIndex(size_t Size) {
149 assert(Size > 0);
150 std::uniform_int_distribution<> Distribution(0, Size - 1);
151 return Distribution(randomGenerator());
152}
153
154template <typename C>
155static auto randomElement(const C &Container) -> decltype(Container[0]) {
156 return Container[randomIndex(Container.size())];
157}
158
159static void randomize(const Instruction &Instr, const Variable &Var,
160 llvm::MCOperand &AssignedValue,
161 const llvm::BitVector &ForbiddenRegs) {
Guillaume Chatelet09c28392018-10-09 08:59:10 +0000162 const Operand &Op = Instr.getPrimaryOperand(Var);
163 switch (Op.getExplicitOperandInfo().OperandType) {
Guillaume Chatelet415b2fb2018-10-01 12:19:10 +0000164 case llvm::MCOI::OperandType::OPERAND_IMMEDIATE:
165 // FIXME: explore immediate values too.
166 AssignedValue = llvm::MCOperand::createImm(1);
167 break;
168 case llvm::MCOI::OperandType::OPERAND_REGISTER: {
Guillaume Chatelet09c28392018-10-09 08:59:10 +0000169 assert(Op.isReg());
170 auto AllowedRegs = Op.getRegisterAliasing().sourceBits();
Guillaume Chatelet415b2fb2018-10-01 12:19:10 +0000171 assert(AllowedRegs.size() == ForbiddenRegs.size());
172 for (auto I : ForbiddenRegs.set_bits())
173 AllowedRegs.reset(I);
174 AssignedValue = llvm::MCOperand::createReg(randomBit(AllowedRegs));
175 break;
176 }
177 default:
178 break;
179 }
180}
181
182static void setRegisterOperandValue(const RegisterOperandAssignment &ROV,
183 InstructionTemplate &IB) {
184 assert(ROV.Op);
Guillaume Chatelet09c28392018-10-09 08:59:10 +0000185 if (ROV.Op->isExplicit()) {
Guillaume Chatelet415b2fb2018-10-01 12:19:10 +0000186 auto &AssignedValue = IB.getValueFor(*ROV.Op);
187 if (AssignedValue.isValid()) {
188 assert(AssignedValue.isReg() && AssignedValue.getReg() == ROV.Reg);
189 return;
190 }
191 AssignedValue = llvm::MCOperand::createReg(ROV.Reg);
192 } else {
Guillaume Chatelet09c28392018-10-09 08:59:10 +0000193 assert(ROV.Op->isImplicitReg());
194 assert(ROV.Reg == ROV.Op->getImplicitReg());
Guillaume Chatelet415b2fb2018-10-01 12:19:10 +0000195 }
196}
197
198size_t randomBit(const llvm::BitVector &Vector) {
199 assert(Vector.any());
200 auto Itr = Vector.set_bits_begin();
201 for (size_t I = randomIndex(Vector.count()); I != 0; --I)
202 ++Itr;
203 return *Itr;
204}
205
206void setRandomAliasing(const AliasingConfigurations &AliasingConfigurations,
207 InstructionTemplate &DefIB, InstructionTemplate &UseIB) {
208 assert(!AliasingConfigurations.empty());
209 assert(!AliasingConfigurations.hasImplicitAliasing());
210 const auto &RandomConf = randomElement(AliasingConfigurations.Configurations);
211 setRegisterOperandValue(randomElement(RandomConf.Defs), DefIB);
212 setRegisterOperandValue(randomElement(RandomConf.Uses), UseIB);
213}
214
215void randomizeUnsetVariables(const llvm::BitVector &ForbiddenRegs,
216 InstructionTemplate &IT) {
217 for (const Variable &Var : IT.Instr.Variables) {
218 llvm::MCOperand &AssignedValue = IT.getValueFor(Var);
219 if (!AssignedValue.isValid())
220 randomize(IT.Instr, Var, AssignedValue, ForbiddenRegs);
221 }
222}
223
Clement Courbetd939f6d2018-09-13 07:40:53 +0000224} // namespace exegesis