Clement Courbet | d939f6d | 2018-09-13 07:40:53 +0000 | [diff] [blame] | 1 | //===-- SnippetGenerator.cpp ------------------------------------*- C++ -*-===// |
| 2 | // |
Chandler Carruth | 2946cd7 | 2019-01-19 08:50:56 +0000 | [diff] [blame] | 3 | // Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions. |
| 4 | // See https://llvm.org/LICENSE.txt for license information. |
| 5 | // SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception |
Clement Courbet | d939f6d | 2018-09-13 07:40:53 +0000 | [diff] [blame] | 6 | // |
| 7 | //===----------------------------------------------------------------------===// |
| 8 | |
| 9 | #include <array> |
| 10 | #include <string> |
| 11 | |
| 12 | #include "Assembler.h" |
Clement Courbet | 03a3d29 | 2019-09-30 13:53:50 +0000 | [diff] [blame] | 13 | #include "Error.h" |
Clement Courbet | d939f6d | 2018-09-13 07:40:53 +0000 | [diff] [blame] | 14 | #include "MCInstrDescView.h" |
| 15 | #include "SnippetGenerator.h" |
Roman Lebedev | 404bdb1 | 2019-04-06 14:16:26 +0000 | [diff] [blame] | 16 | #include "Target.h" |
Clement Courbet | d939f6d | 2018-09-13 07:40:53 +0000 | [diff] [blame] | 17 | #include "llvm/ADT/StringExtras.h" |
| 18 | #include "llvm/ADT/StringRef.h" |
| 19 | #include "llvm/ADT/Twine.h" |
| 20 | #include "llvm/Support/FileSystem.h" |
| 21 | #include "llvm/Support/FormatVariadic.h" |
| 22 | #include "llvm/Support/Program.h" |
| 23 | |
Fangrui Song | 32401af | 2018-10-22 17:10:47 +0000 | [diff] [blame] | 24 | namespace llvm { |
Clement Courbet | d939f6d | 2018-09-13 07:40:53 +0000 | [diff] [blame] | 25 | namespace exegesis { |
| 26 | |
Guillaume Chatelet | fcbb6f3 | 2018-10-17 11:37:28 +0000 | [diff] [blame] | 27 | std::vector<CodeTemplate> getSingleton(CodeTemplate &&CT) { |
Guillaume Chatelet | 296a862 | 2018-10-15 09:09:19 +0000 | [diff] [blame] | 28 | std::vector<CodeTemplate> Result; |
| 29 | Result.push_back(std::move(CT)); |
| 30 | return Result; |
| 31 | } |
| 32 | |
Clement Courbet | 50cdd56 | 2019-10-09 11:58:42 +0000 | [diff] [blame] | 33 | SnippetGeneratorFailure::SnippetGeneratorFailure(const Twine &S) |
| 34 | : StringError(S, inconvertibleErrorCode()) {} |
Clement Courbet | d939f6d | 2018-09-13 07:40:53 +0000 | [diff] [blame] | 35 | |
Clement Courbet | 2cd0f28 | 2019-10-08 14:30:24 +0000 | [diff] [blame] | 36 | SnippetGenerator::SnippetGenerator(const LLVMState &State, const Options &Opts) |
| 37 | : State(State), Opts(Opts) {} |
Clement Courbet | d939f6d | 2018-09-13 07:40:53 +0000 | [diff] [blame] | 38 | |
| 39 | SnippetGenerator::~SnippetGenerator() = default; |
| 40 | |
Clement Courbet | 50cdd56 | 2019-10-09 11:58:42 +0000 | [diff] [blame] | 41 | Expected<std::vector<BenchmarkCode>> SnippetGenerator::generateConfigurations( |
| 42 | const Instruction &Instr, const BitVector &ExtraForbiddenRegs) const { |
| 43 | BitVector ForbiddenRegs = State.getRATC().reservedRegisters(); |
Clement Courbet | 9431b72 | 2019-09-27 12:56:24 +0000 | [diff] [blame] | 44 | ForbiddenRegs |= ExtraForbiddenRegs; |
Clement Courbet | 8ef97e1 | 2019-09-27 08:04:10 +0000 | [diff] [blame] | 45 | // If the instruction has memory registers, prevent the generator from |
| 46 | // using the scratch register and its aliasing registers. |
| 47 | if (Instr.hasMemoryOperands()) { |
| 48 | const auto &ET = State.getExegesisTarget(); |
| 49 | unsigned ScratchSpacePointerInReg = |
| 50 | ET.getScratchMemoryRegister(State.getTargetMachine().getTargetTriple()); |
| 51 | if (ScratchSpacePointerInReg == 0) |
Clement Courbet | 03a3d29 | 2019-09-30 13:53:50 +0000 | [diff] [blame] | 52 | return make_error<Failure>( |
Clement Courbet | 8ef97e1 | 2019-09-27 08:04:10 +0000 | [diff] [blame] | 53 | "Infeasible : target does not support memory instructions"); |
| 54 | const auto &ScratchRegAliases = |
| 55 | State.getRATC().getRegister(ScratchSpacePointerInReg).aliasedBits(); |
| 56 | // If the instruction implicitly writes to ScratchSpacePointerInReg , abort. |
| 57 | // FIXME: We could make a copy of the scratch register. |
| 58 | for (const auto &Op : Instr.Operands) { |
| 59 | if (Op.isDef() && Op.isImplicitReg() && |
| 60 | ScratchRegAliases.test(Op.getImplicitReg())) |
Clement Courbet | 03a3d29 | 2019-09-30 13:53:50 +0000 | [diff] [blame] | 61 | return make_error<Failure>( |
Clement Courbet | 8ef97e1 | 2019-09-27 08:04:10 +0000 | [diff] [blame] | 62 | "Infeasible : memory instruction uses scratch memory register"); |
| 63 | } |
| 64 | ForbiddenRegs |= ScratchRegAliases; |
| 65 | } |
| 66 | |
| 67 | if (auto E = generateCodeTemplates(Instr, ForbiddenRegs)) { |
Clement Courbet | d939f6d | 2018-09-13 07:40:53 +0000 | [diff] [blame] | 68 | std::vector<BenchmarkCode> Output; |
Guillaume Chatelet | 296a862 | 2018-10-15 09:09:19 +0000 | [diff] [blame] | 69 | for (CodeTemplate &CT : E.get()) { |
Guillaume Chatelet | 296a862 | 2018-10-15 09:09:19 +0000 | [diff] [blame] | 70 | // TODO: Generate as many BenchmarkCode as needed. |
| 71 | { |
| 72 | BenchmarkCode BC; |
| 73 | BC.Info = CT.Info; |
| 74 | for (InstructionTemplate &IT : CT.Instructions) { |
Roman Lebedev | 404bdb1 | 2019-04-06 14:16:26 +0000 | [diff] [blame] | 75 | randomizeUnsetVariables(State.getExegesisTarget(), ForbiddenRegs, IT); |
Clement Courbet | 4919534 | 2019-10-08 09:06:48 +0000 | [diff] [blame] | 76 | BC.Key.Instructions.push_back(IT.build()); |
Guillaume Chatelet | 296a862 | 2018-10-15 09:09:19 +0000 | [diff] [blame] | 77 | } |
| 78 | if (CT.ScratchSpacePointerInReg) |
| 79 | BC.LiveIns.push_back(CT.ScratchSpacePointerInReg); |
Clement Courbet | 4919534 | 2019-10-08 09:06:48 +0000 | [diff] [blame] | 80 | BC.Key.RegisterInitialValues = |
Clement Courbet | 0d79aaf | 2018-11-08 12:09:45 +0000 | [diff] [blame] | 81 | computeRegisterInitialValues(CT.Instructions); |
Clement Courbet | 4919534 | 2019-10-08 09:06:48 +0000 | [diff] [blame] | 82 | BC.Key.Config = CT.Config; |
Guillaume Chatelet | 296a862 | 2018-10-15 09:09:19 +0000 | [diff] [blame] | 83 | Output.push_back(std::move(BC)); |
Clement Courbet | 2cd0f28 | 2019-10-08 14:30:24 +0000 | [diff] [blame] | 84 | if (Output.size() >= Opts.MaxConfigsPerOpcode) |
| 85 | return Output; // Early exit if we exceeded the number of allowed |
| 86 | // configs. |
Clement Courbet | d939f6d | 2018-09-13 07:40:53 +0000 | [diff] [blame] | 87 | } |
Clement Courbet | d939f6d | 2018-09-13 07:40:53 +0000 | [diff] [blame] | 88 | } |
| 89 | return Output; |
| 90 | } else |
| 91 | return E.takeError(); |
| 92 | } |
| 93 | |
Guillaume Chatelet | c96a97b | 2018-09-20 12:22:18 +0000 | [diff] [blame] | 94 | std::vector<RegisterValue> SnippetGenerator::computeRegisterInitialValues( |
Guillaume Chatelet | 70ac019 | 2018-09-27 09:23:04 +0000 | [diff] [blame] | 95 | const std::vector<InstructionTemplate> &Instructions) const { |
Clement Courbet | d939f6d | 2018-09-13 07:40:53 +0000 | [diff] [blame] | 96 | // Collect all register uses and create an assignment for each of them. |
| 97 | // Ignore memory operands which are handled separately. |
| 98 | // Loop invariant: DefinedRegs[i] is true iif it has been set at least once |
| 99 | // before the current instruction. |
Clement Courbet | 50cdd56 | 2019-10-09 11:58:42 +0000 | [diff] [blame] | 100 | BitVector DefinedRegs = State.getRATC().emptyRegisters(); |
Guillaume Chatelet | c96a97b | 2018-09-20 12:22:18 +0000 | [diff] [blame] | 101 | std::vector<RegisterValue> RIV; |
Guillaume Chatelet | 70ac019 | 2018-09-27 09:23:04 +0000 | [diff] [blame] | 102 | for (const InstructionTemplate &IT : Instructions) { |
Clement Courbet | d939f6d | 2018-09-13 07:40:53 +0000 | [diff] [blame] | 103 | // Returns the register that this Operand sets or uses, or 0 if this is not |
| 104 | // a register. |
Guillaume Chatelet | 70ac019 | 2018-09-27 09:23:04 +0000 | [diff] [blame] | 105 | const auto GetOpReg = [&IT](const Operand &Op) -> unsigned { |
Guillaume Chatelet | 09c2839 | 2018-10-09 08:59:10 +0000 | [diff] [blame] | 106 | if (Op.isMemory()) |
Clement Courbet | d939f6d | 2018-09-13 07:40:53 +0000 | [diff] [blame] | 107 | return 0; |
Guillaume Chatelet | 09c2839 | 2018-10-09 08:59:10 +0000 | [diff] [blame] | 108 | if (Op.isImplicitReg()) |
| 109 | return Op.getImplicitReg(); |
| 110 | if (Op.isExplicit() && IT.getValueFor(Op).isReg()) |
Guillaume Chatelet | 70ac019 | 2018-09-27 09:23:04 +0000 | [diff] [blame] | 111 | return IT.getValueFor(Op).getReg(); |
Clement Courbet | d939f6d | 2018-09-13 07:40:53 +0000 | [diff] [blame] | 112 | return 0; |
| 113 | }; |
| 114 | // Collect used registers that have never been def'ed. |
Guillaume Chatelet | 32d384c | 2019-12-18 12:08:38 +0100 | [diff] [blame^] | 115 | for (const Operand &Op : IT.getInstr().Operands) { |
Guillaume Chatelet | 09c2839 | 2018-10-09 08:59:10 +0000 | [diff] [blame] | 116 | if (Op.isUse()) { |
Clement Courbet | d939f6d | 2018-09-13 07:40:53 +0000 | [diff] [blame] | 117 | const unsigned Reg = GetOpReg(Op); |
| 118 | if (Reg > 0 && !DefinedRegs.test(Reg)) { |
Clement Courbet | 54c2fa1 | 2018-11-08 12:37:56 +0000 | [diff] [blame] | 119 | RIV.push_back(RegisterValue::zero(Reg)); |
Clement Courbet | d939f6d | 2018-09-13 07:40:53 +0000 | [diff] [blame] | 120 | DefinedRegs.set(Reg); |
| 121 | } |
| 122 | } |
| 123 | } |
| 124 | // Mark defs as having been def'ed. |
Guillaume Chatelet | 32d384c | 2019-12-18 12:08:38 +0100 | [diff] [blame^] | 125 | for (const Operand &Op : IT.getInstr().Operands) { |
Guillaume Chatelet | 09c2839 | 2018-10-09 08:59:10 +0000 | [diff] [blame] | 126 | if (Op.isDef()) { |
Clement Courbet | d939f6d | 2018-09-13 07:40:53 +0000 | [diff] [blame] | 127 | const unsigned Reg = GetOpReg(Op); |
| 128 | if (Reg > 0) |
| 129 | DefinedRegs.set(Reg); |
| 130 | } |
| 131 | } |
| 132 | } |
Guillaume Chatelet | c96a97b | 2018-09-20 12:22:18 +0000 | [diff] [blame] | 133 | return RIV; |
Clement Courbet | d939f6d | 2018-09-13 07:40:53 +0000 | [diff] [blame] | 134 | } |
| 135 | |
Clement Courbet | 50cdd56 | 2019-10-09 11:58:42 +0000 | [diff] [blame] | 136 | Expected<std::vector<CodeTemplate>> |
Guillaume Chatelet | 296a862 | 2018-10-15 09:09:19 +0000 | [diff] [blame] | 137 | generateSelfAliasingCodeTemplates(const Instruction &Instr) { |
Clement Courbet | d939f6d | 2018-09-13 07:40:53 +0000 | [diff] [blame] | 138 | const AliasingConfigurations SelfAliasing(Instr, Instr); |
Guillaume Chatelet | 296a862 | 2018-10-15 09:09:19 +0000 | [diff] [blame] | 139 | if (SelfAliasing.empty()) |
Clement Courbet | 50cdd56 | 2019-10-09 11:58:42 +0000 | [diff] [blame] | 140 | return make_error<SnippetGeneratorFailure>("empty self aliasing"); |
Guillaume Chatelet | 296a862 | 2018-10-15 09:09:19 +0000 | [diff] [blame] | 141 | std::vector<CodeTemplate> Result; |
| 142 | Result.emplace_back(); |
| 143 | CodeTemplate &CT = Result.back(); |
Guillaume Chatelet | 32d384c | 2019-12-18 12:08:38 +0100 | [diff] [blame^] | 144 | InstructionTemplate IT(&Instr); |
Clement Courbet | d939f6d | 2018-09-13 07:40:53 +0000 | [diff] [blame] | 145 | if (SelfAliasing.hasImplicitAliasing()) { |
| 146 | CT.Info = "implicit Self cycles, picking random values."; |
| 147 | } else { |
| 148 | CT.Info = "explicit self cycles, selecting one aliasing Conf."; |
| 149 | // This is a self aliasing instruction so defs and uses are from the same |
Guillaume Chatelet | 70ac019 | 2018-09-27 09:23:04 +0000 | [diff] [blame] | 150 | // instance, hence twice IT in the following call. |
| 151 | setRandomAliasing(SelfAliasing, IT, IT); |
Clement Courbet | d939f6d | 2018-09-13 07:40:53 +0000 | [diff] [blame] | 152 | } |
Guillaume Chatelet | 70ac019 | 2018-09-27 09:23:04 +0000 | [diff] [blame] | 153 | CT.Instructions.push_back(std::move(IT)); |
Guillaume Chatelet | a384949 | 2018-10-15 09:21:21 +0000 | [diff] [blame] | 154 | return std::move(Result); |
Clement Courbet | d939f6d | 2018-09-13 07:40:53 +0000 | [diff] [blame] | 155 | } |
| 156 | |
Clement Courbet | 50cdd56 | 2019-10-09 11:58:42 +0000 | [diff] [blame] | 157 | Expected<std::vector<CodeTemplate>> |
| 158 | generateUnconstrainedCodeTemplates(const Instruction &Instr, StringRef Msg) { |
Guillaume Chatelet | 296a862 | 2018-10-15 09:09:19 +0000 | [diff] [blame] | 159 | std::vector<CodeTemplate> Result; |
| 160 | Result.emplace_back(); |
| 161 | CodeTemplate &CT = Result.back(); |
Clement Courbet | 50cdd56 | 2019-10-09 11:58:42 +0000 | [diff] [blame] | 162 | CT.Info = formatv("{0}, repeating an unconstrained assignment", Msg); |
Guillaume Chatelet | 32d384c | 2019-12-18 12:08:38 +0100 | [diff] [blame^] | 163 | CT.Instructions.emplace_back(&Instr); |
Guillaume Chatelet | a384949 | 2018-10-15 09:21:21 +0000 | [diff] [blame] | 164 | return std::move(Result); |
Clement Courbet | d939f6d | 2018-09-13 07:40:53 +0000 | [diff] [blame] | 165 | } |
Guillaume Chatelet | 70ac019 | 2018-09-27 09:23:04 +0000 | [diff] [blame] | 166 | |
Guillaume Chatelet | 415b2fb | 2018-10-01 12:19:10 +0000 | [diff] [blame] | 167 | std::mt19937 &randomGenerator() { |
| 168 | static std::random_device RandomDevice; |
| 169 | static std::mt19937 RandomGenerator(RandomDevice()); |
| 170 | return RandomGenerator; |
| 171 | } |
| 172 | |
Roman Lebedev | a822358 | 2019-04-08 10:11:00 +0000 | [diff] [blame] | 173 | size_t randomIndex(size_t Max) { |
| 174 | std::uniform_int_distribution<> Distribution(0, Max); |
Guillaume Chatelet | 415b2fb | 2018-10-01 12:19:10 +0000 | [diff] [blame] | 175 | return Distribution(randomGenerator()); |
| 176 | } |
| 177 | |
| 178 | template <typename C> |
| 179 | static auto randomElement(const C &Container) -> decltype(Container[0]) { |
Roman Lebedev | a822358 | 2019-04-08 10:11:00 +0000 | [diff] [blame] | 180 | assert(!Container.empty() && |
| 181 | "Can't pick a random element from an empty container)"); |
| 182 | return Container[randomIndex(Container.size() - 1)]; |
Guillaume Chatelet | 415b2fb | 2018-10-01 12:19:10 +0000 | [diff] [blame] | 183 | } |
| 184 | |
Guillaume Chatelet | 415b2fb | 2018-10-01 12:19:10 +0000 | [diff] [blame] | 185 | static void setRegisterOperandValue(const RegisterOperandAssignment &ROV, |
| 186 | InstructionTemplate &IB) { |
| 187 | assert(ROV.Op); |
Guillaume Chatelet | 09c2839 | 2018-10-09 08:59:10 +0000 | [diff] [blame] | 188 | if (ROV.Op->isExplicit()) { |
Guillaume Chatelet | 415b2fb | 2018-10-01 12:19:10 +0000 | [diff] [blame] | 189 | auto &AssignedValue = IB.getValueFor(*ROV.Op); |
| 190 | if (AssignedValue.isValid()) { |
| 191 | assert(AssignedValue.isReg() && AssignedValue.getReg() == ROV.Reg); |
| 192 | return; |
| 193 | } |
Clement Courbet | 50cdd56 | 2019-10-09 11:58:42 +0000 | [diff] [blame] | 194 | AssignedValue = MCOperand::createReg(ROV.Reg); |
Guillaume Chatelet | 415b2fb | 2018-10-01 12:19:10 +0000 | [diff] [blame] | 195 | } else { |
Guillaume Chatelet | 09c2839 | 2018-10-09 08:59:10 +0000 | [diff] [blame] | 196 | assert(ROV.Op->isImplicitReg()); |
| 197 | assert(ROV.Reg == ROV.Op->getImplicitReg()); |
Guillaume Chatelet | 415b2fb | 2018-10-01 12:19:10 +0000 | [diff] [blame] | 198 | } |
| 199 | } |
| 200 | |
Clement Courbet | 50cdd56 | 2019-10-09 11:58:42 +0000 | [diff] [blame] | 201 | size_t randomBit(const BitVector &Vector) { |
Guillaume Chatelet | 415b2fb | 2018-10-01 12:19:10 +0000 | [diff] [blame] | 202 | assert(Vector.any()); |
| 203 | auto Itr = Vector.set_bits_begin(); |
Roman Lebedev | a822358 | 2019-04-08 10:11:00 +0000 | [diff] [blame] | 204 | for (size_t I = randomIndex(Vector.count() - 1); I != 0; --I) |
Guillaume Chatelet | 415b2fb | 2018-10-01 12:19:10 +0000 | [diff] [blame] | 205 | ++Itr; |
| 206 | return *Itr; |
| 207 | } |
| 208 | |
| 209 | void setRandomAliasing(const AliasingConfigurations &AliasingConfigurations, |
| 210 | InstructionTemplate &DefIB, InstructionTemplate &UseIB) { |
| 211 | assert(!AliasingConfigurations.empty()); |
| 212 | assert(!AliasingConfigurations.hasImplicitAliasing()); |
| 213 | const auto &RandomConf = randomElement(AliasingConfigurations.Configurations); |
| 214 | setRegisterOperandValue(randomElement(RandomConf.Defs), DefIB); |
| 215 | setRegisterOperandValue(randomElement(RandomConf.Uses), UseIB); |
| 216 | } |
| 217 | |
Roman Lebedev | 404bdb1 | 2019-04-06 14:16:26 +0000 | [diff] [blame] | 218 | void randomizeUnsetVariables(const ExegesisTarget &Target, |
Clement Courbet | 50cdd56 | 2019-10-09 11:58:42 +0000 | [diff] [blame] | 219 | const BitVector &ForbiddenRegs, |
Guillaume Chatelet | 415b2fb | 2018-10-01 12:19:10 +0000 | [diff] [blame] | 220 | InstructionTemplate &IT) { |
Guillaume Chatelet | 32d384c | 2019-12-18 12:08:38 +0100 | [diff] [blame^] | 221 | for (const Variable &Var : IT.getInstr().Variables) { |
Clement Courbet | 50cdd56 | 2019-10-09 11:58:42 +0000 | [diff] [blame] | 222 | MCOperand &AssignedValue = IT.getValueFor(Var); |
Guillaume Chatelet | 415b2fb | 2018-10-01 12:19:10 +0000 | [diff] [blame] | 223 | if (!AssignedValue.isValid()) |
Guillaume Chatelet | 32d384c | 2019-12-18 12:08:38 +0100 | [diff] [blame^] | 224 | Target.randomizeMCOperand(IT.getInstr(), Var, AssignedValue, |
| 225 | ForbiddenRegs); |
Guillaume Chatelet | 415b2fb | 2018-10-01 12:19:10 +0000 | [diff] [blame] | 226 | } |
| 227 | } |
| 228 | |
Clement Courbet | d939f6d | 2018-09-13 07:40:53 +0000 | [diff] [blame] | 229 | } // namespace exegesis |
Fangrui Song | 32401af | 2018-10-22 17:10:47 +0000 | [diff] [blame] | 230 | } // namespace llvm |