LLVM 23.0.0git
MIR2Vec.cpp
Go to the documentation of this file.
1//===- MIR2Vec.cpp - Implementation of MIR2Vec ---------------------------===//
2//
3// Part of the LLVM Project, under the Apache License v2.0 with LLVM
4// Exceptions. See the LICENSE file for license information.
5// SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
6//
7//===----------------------------------------------------------------------===//
8///
9/// \file
10/// This file implements the MIR2Vec algorithm for Machine IR embeddings.
11///
12//===----------------------------------------------------------------------===//
13
16#include "llvm/ADT/Statistic.h"
18#include "llvm/IR/Module.h"
20#include "llvm/Pass.h"
21#include "llvm/Support/Errc.h"
23#include "llvm/Support/Regex.h"
24
25using namespace llvm;
26using namespace mir2vec;
27
28#define DEBUG_TYPE "mir2vec"
29
30STATISTIC(MIRVocabMissCounter,
31 "Number of lookups to MIR entities not present in the vocabulary");
32
33namespace llvm {
34namespace mir2vec {
36
37// FIXME: Use a default vocab when not specified
39 VocabFile("mir2vec-vocab-path", cl::Optional,
40 cl::desc("Path to the vocabulary file for MIR2Vec"), cl::init(""),
42cl::opt<float> OpcWeight("mir2vec-opc-weight", cl::Optional, cl::init(1.0),
43 cl::desc("Weight for machine opcode embeddings"),
46 "mir2vec-common-operand-weight", cl::Optional, cl::init(1.0),
47 cl::desc("Weight for common operand embeddings"), cl::cat(MIR2VecCategory));
49 RegOperandWeight("mir2vec-reg-operand-weight", cl::Optional, cl::init(1.0),
50 cl::desc("Weight for register operand embeddings"),
53 "mir2vec-kind", cl::Optional,
55 "Generate symbolic embeddings for MIR")),
56 cl::init(MIR2VecKind::Symbolic), cl::desc("MIR2Vec embedding kind"),
58
60 "mir2vec-print-all-vocab-entries", cl::Optional, cl::init(false),
61 cl::desc("Print all vocabulary entries including zero embeddings"),
63
64} // namespace mir2vec
65} // namespace llvm
66
67//===----------------------------------------------------------------------===//
68// Vocabulary
69//===----------------------------------------------------------------------===//
70
71MIRVocabulary::MIRVocabulary(VocabMap &&OpcodeMap, VocabMap &&CommonOperandMap,
72 VocabMap &&PhysicalRegisterMap,
73 VocabMap &&VirtualRegisterMap,
74 const TargetInstrInfo &TII,
77 : TII(TII), TRI(TRI), MRI(MRI) {
78 buildCanonicalOpcodeMapping();
79 unsigned CanonicalOpcodeCount = UniqueBaseOpcodeNames.size();
80 assert(CanonicalOpcodeCount > 0 &&
81 "No canonical opcodes found for target - invalid vocabulary");
82
83 buildRegisterOperandMapping();
84
85 // Define layout of vocabulary sections
86 Layout.OpcodeBase = 0;
87 Layout.CommonOperandBase = CanonicalOpcodeCount;
88 // We expect same classes for physical and virtual registers
89 Layout.PhyRegBase = Layout.CommonOperandBase + std::size(CommonOperandNames);
90 Layout.VirtRegBase = Layout.PhyRegBase + RegisterOperandNames.size();
91
92 generateStorage(OpcodeMap, CommonOperandMap, PhysicalRegisterMap,
93 VirtualRegisterMap);
94 Layout.TotalEntries = Storage.size();
95}
96
98MIRVocabulary::create(VocabMap &&OpcodeMap, VocabMap &&CommonOperandMap,
99 VocabMap &&PhyRegMap, VocabMap &&VirtRegMap,
100 const TargetInstrInfo &TII, const TargetRegisterInfo &TRI,
101 const MachineRegisterInfo &MRI) {
102 if (OpcodeMap.empty() || CommonOperandMap.empty() || PhyRegMap.empty() ||
103 VirtRegMap.empty())
105 "Empty vocabulary entries provided");
106
107 MIRVocabulary Vocab(std::move(OpcodeMap), std::move(CommonOperandMap),
108 std::move(PhyRegMap), std::move(VirtRegMap), TII, TRI,
109 MRI);
110
111 // Validate Storage after construction
112 if (!Vocab.Storage.isValid())
114 "Failed to create valid vocabulary storage");
115 Vocab.ZeroEmbedding = Embedding(Vocab.Storage.getDimension(), 0.0);
116 return std::move(Vocab);
117}
118
120 // Extract base instruction name using regex to capture letters and
121 // underscores Examples: "ADD32rr" -> "ADD", "ARITH_FENCE" -> "ARITH_FENCE"
122 //
123 // TODO: Consider more sophisticated extraction:
124 // - Handle complex prefixes like "AVX1_SETALLONES" correctly (Currently, it
125 // would naively map to "AVX")
126 // - Extract width suffixes (8,16,32,64) as separate features
127 // - Capture addressing mode suffixes (r,i,m,ri,etc.) for better analysis
128 // (Currently, instances like "MOV32mi" map to "MOV", but "ADDPDrr" would map
129 // to "ADDPDrr")
130
131 assert(!InstrName.empty() && "Instruction name should not be empty");
132
133 // Use regex to extract initial sequence of letters and underscores
134 static const Regex BaseOpcodeRegex("([a-zA-Z_]+)");
136
137 if (BaseOpcodeRegex.match(InstrName, &Matches) && Matches.size() > 1) {
138 StringRef Match = Matches[1];
139 // Trim trailing underscores
140 while (!Match.empty() && Match.back() == '_')
141 Match = Match.drop_back();
142 return Match.str();
143 }
144
145 // Fallback to original name if no pattern matches
146 return InstrName.str();
147}
148
150 assert(!UniqueBaseOpcodeNames.empty() && "Canonical mapping not built");
151 auto It = std::find(UniqueBaseOpcodeNames.begin(),
152 UniqueBaseOpcodeNames.end(), BaseName.str());
153 assert(It != UniqueBaseOpcodeNames.end() &&
154 "Base name not found in unique opcodes");
155 return std::distance(UniqueBaseOpcodeNames.begin(), It);
156}
157
158unsigned MIRVocabulary::getCanonicalOpcodeIndex(unsigned Opcode) const {
159 auto BaseOpcode = extractBaseOpcodeName(TII.getName(Opcode));
160 return getCanonicalIndexForBaseName(BaseOpcode);
161}
162
163unsigned
165 auto It = std::find(std::begin(CommonOperandNames),
166 std::end(CommonOperandNames), OperandName);
167 assert(It != std::end(CommonOperandNames) &&
168 "Operand name not found in common operands");
169 return Layout.CommonOperandBase +
170 std::distance(std::begin(CommonOperandNames), It);
171}
172
173unsigned
175 bool IsPhysical) const {
176 auto It = std::find(RegisterOperandNames.begin(), RegisterOperandNames.end(),
177 RegName);
178 assert(It != RegisterOperandNames.end() &&
179 "Register name not found in register operands");
180 unsigned LocalIndex = std::distance(RegisterOperandNames.begin(), It);
181 return (IsPhysical ? Layout.PhyRegBase : Layout.VirtRegBase) + LocalIndex;
182}
183
184std::string MIRVocabulary::getStringKey(unsigned Pos) const {
185 assert(Pos < Layout.TotalEntries && "Position out of bounds in vocabulary");
186
187 // Handle opcodes section
188 if (Pos < Layout.CommonOperandBase) {
189 // Convert canonical index back to base opcode name
190 auto It = UniqueBaseOpcodeNames.begin();
191 std::advance(It, Pos);
192 assert(It != UniqueBaseOpcodeNames.end() &&
193 "Canonical index out of bounds in opcode section");
194 return *It;
195 }
196
197 auto getLocalIndex = [](unsigned Pos, size_t BaseOffset, size_t Bound,
198 const char *Msg) {
199 unsigned LocalIndex = Pos - BaseOffset;
200 assert(LocalIndex < Bound && Msg);
201 return LocalIndex;
202 };
203
204 // Handle common operands section
205 if (Pos < Layout.PhyRegBase) {
206 unsigned LocalIndex = getLocalIndex(
207 Pos, Layout.CommonOperandBase, std::size(CommonOperandNames),
208 "Local index out of bounds in common operands");
209 return CommonOperandNames[LocalIndex].str();
210 }
211
212 // Handle physical registers section
213 if (Pos < Layout.VirtRegBase) {
214 unsigned LocalIndex =
215 getLocalIndex(Pos, Layout.PhyRegBase, RegisterOperandNames.size(),
216 "Local index out of bounds in physical registers");
217 return "PhyReg_" + RegisterOperandNames[LocalIndex];
218 }
219
220 // Handle virtual registers section
221 unsigned LocalIndex =
222 getLocalIndex(Pos, Layout.VirtRegBase, RegisterOperandNames.size(),
223 "Local index out of bounds in virtual registers");
224 return "VirtReg_" + RegisterOperandNames[LocalIndex];
225}
226
227void MIRVocabulary::generateStorage(const VocabMap &OpcodeMap,
228 const VocabMap &CommonOperandsMap,
229 const VocabMap &PhyRegMap,
230 const VocabMap &VirtRegMap) {
231
232 // Helper for handling missing entities in the vocabulary.
233 // Currently, we use a zero vector. In the future, we will throw an error to
234 // ensure that *all* known entities are present in the vocabulary.
235 auto handleMissingEntity = [](StringRef Key) {
236 LLVM_DEBUG(errs() << "MIR2Vec: Missing vocabulary entry for " << Key
237 << "; using zero vector. This will result in an error "
238 "in the future.\n");
239 ++MIRVocabMissCounter;
240 };
241
242 // Initialize opcode embeddings section
243 unsigned EmbeddingDim = OpcodeMap.begin()->second.size();
244 std::vector<Embedding> OpcodeEmbeddings(Layout.CommonOperandBase,
245 Embedding(EmbeddingDim));
246
247 // Populate opcode embeddings using canonical mapping
248 for (auto COpcodeName : UniqueBaseOpcodeNames) {
249 if (auto It = OpcodeMap.find(COpcodeName); It != OpcodeMap.end()) {
250 auto COpcodeIndex = getCanonicalIndexForBaseName(COpcodeName);
251 assert(COpcodeIndex < Layout.CommonOperandBase &&
252 "Canonical index out of bounds");
253 OpcodeEmbeddings[COpcodeIndex] = It->second;
254 } else {
255 handleMissingEntity(COpcodeName);
256 }
257 }
258
259 // Initialize common operand embeddings section
260 std::vector<Embedding> CommonOperandEmbeddings(std::size(CommonOperandNames),
261 Embedding(EmbeddingDim));
262 unsigned OperandIndex = 0;
263 for (const auto &CommonOperandName : CommonOperandNames) {
264 if (auto It = CommonOperandsMap.find(CommonOperandName.str());
265 It != CommonOperandsMap.end()) {
266 CommonOperandEmbeddings[OperandIndex] = It->second;
267 } else {
268 handleMissingEntity(CommonOperandName);
269 }
270 ++OperandIndex;
271 }
272
273 // Helper lambda for creating register operand embeddings
274 auto createRegisterEmbeddings = [&](const VocabMap &RegMap) {
275 std::vector<Embedding> RegEmbeddings(TRI.getNumRegClasses(),
276 Embedding(EmbeddingDim));
277 unsigned RegOperandIndex = 0;
278 for (const auto &RegOperandName : RegisterOperandNames) {
279 if (auto It = RegMap.find(RegOperandName); It != RegMap.end())
280 RegEmbeddings[RegOperandIndex] = It->second;
281 else
282 handleMissingEntity(RegOperandName);
283 ++RegOperandIndex;
284 }
285 return RegEmbeddings;
286 };
287
288 // Initialize register operand embeddings sections
289 std::vector<Embedding> PhyRegEmbeddings = createRegisterEmbeddings(PhyRegMap);
290 std::vector<Embedding> VirtRegEmbeddings =
291 createRegisterEmbeddings(VirtRegMap);
292
293 // Scale the vocabulary sections based on the provided weights
294 auto scaleVocabSection = [](std::vector<Embedding> &Embeddings,
295 double Weight) {
296 for (auto &Embedding : Embeddings)
297 Embedding *= Weight;
298 };
299 scaleVocabSection(OpcodeEmbeddings, OpcWeight);
300 scaleVocabSection(CommonOperandEmbeddings, CommonOperandWeight);
301 scaleVocabSection(PhyRegEmbeddings, RegOperandWeight);
302 scaleVocabSection(VirtRegEmbeddings, RegOperandWeight);
303
304 std::vector<std::vector<Embedding>> Sections(
305 static_cast<unsigned>(Section::MaxSections));
306 Sections[static_cast<unsigned>(Section::Opcodes)] =
307 std::move(OpcodeEmbeddings);
308 Sections[static_cast<unsigned>(Section::CommonOperands)] =
309 std::move(CommonOperandEmbeddings);
310 Sections[static_cast<unsigned>(Section::PhyRegisters)] =
311 std::move(PhyRegEmbeddings);
312 Sections[static_cast<unsigned>(Section::VirtRegisters)] =
313 std::move(VirtRegEmbeddings);
314
315 Storage = ir2vec::VocabStorage(std::move(Sections));
316}
317
318void MIRVocabulary::buildCanonicalOpcodeMapping() {
319 // Check if already built
320 if (!UniqueBaseOpcodeNames.empty())
321 return;
322
323 // Build mapping from opcodes to canonical base opcode indices
324 for (unsigned Opcode = 0; Opcode < TII.getNumOpcodes(); ++Opcode) {
325 std::string BaseOpcode = extractBaseOpcodeName(TII.getName(Opcode));
326 UniqueBaseOpcodeNames.insert(BaseOpcode);
327 }
328
329 LLVM_DEBUG(dbgs() << "MIR2Vec: Built canonical mapping for target with "
330 << UniqueBaseOpcodeNames.size()
331 << " unique base opcodes\n");
332}
333
334void MIRVocabulary::buildRegisterOperandMapping() {
335 // Check if already built
336 if (!RegisterOperandNames.empty())
337 return;
338
339 for (unsigned RC = 0; RC < TRI.getNumRegClasses(); ++RC) {
340 const TargetRegisterClass *RegClass = TRI.getRegClass(RC);
341 if (!RegClass)
342 continue;
343
344 // Get the register class name
345 StringRef ClassName = TRI.getRegClassName(RegClass);
346 RegisterOperandNames.push_back(ClassName.str());
347 }
348}
349
350unsigned MIRVocabulary::getCommonOperandIndex(
351 MachineOperand::MachineOperandType OperandType) const {
352 assert(OperandType != MachineOperand::MO_Register &&
353 "Expected non-register operand type");
354 assert(OperandType > MachineOperand::MO_Register &&
355 OperandType < MachineOperand::MO_Last && "Operand type out of bounds");
356 return static_cast<unsigned>(OperandType) - 1;
357}
358
359unsigned MIRVocabulary::getRegisterOperandIndex(Register Reg) const {
360 assert(!RegisterOperandNames.empty() && "Register operand mapping not built");
361 assert(Reg.isValid() && "Invalid register; not expected here");
362 assert((Reg.isPhysical() || Reg.isVirtual()) &&
363 "Expected a physical or virtual register");
364
365 const TargetRegisterClass *RegClass = nullptr;
366
367 // For physical registers, use TRI to get minimal register class as a
368 // physical register can belong to multiple classes. For virtual
369 // registers, use MRI to uniquely identify the assigned register class.
370 if (Reg.isPhysical())
371 RegClass = TRI.getMinimalPhysRegClass(Reg);
372 else
373 RegClass = MRI.getRegClass(Reg);
374
375 if (RegClass)
376 return RegClass->getID();
377 // Fallback for registers without a class (shouldn't happen)
378 llvm_unreachable("Register operand without a valid register class");
379 return 0;
380}
381
383 const TargetInstrInfo &TII, const TargetRegisterInfo &TRI,
384 const MachineRegisterInfo &MRI, unsigned Dim) {
385 assert(Dim > 0 && "Dimension must be greater than zero");
386
387 float DummyVal = 0.1f;
388
389 VocabMap DummyOpcMap, DummyOperandMap, DummyPhyRegMap, DummyVirtRegMap;
390
391 // Process opcodes directly without creating temporary vocabulary
392 for (unsigned Opcode = 0; Opcode < TII.getNumOpcodes(); ++Opcode) {
393 std::string BaseOpcode = extractBaseOpcodeName(TII.getName(Opcode));
394 if (DummyOpcMap.count(BaseOpcode) == 0) { // Only add if not already present
395 DummyOpcMap[BaseOpcode] = Embedding(Dim, DummyVal);
396 DummyVal += 0.1f;
397 }
398 }
399
400 // Add common operands
401 for (const auto &CommonOperandName : CommonOperandNames) {
402 DummyOperandMap[CommonOperandName.str()] = Embedding(Dim, DummyVal);
403 DummyVal += 0.1f;
404 }
405
406 // Process register classes directly
407 for (unsigned RC = 0; RC < TRI.getNumRegClasses(); ++RC) {
408 const TargetRegisterClass *RegClass = TRI.getRegClass(RC);
409 if (!RegClass)
410 continue;
411
412 std::string ClassName = TRI.getRegClassName(RegClass);
413 DummyPhyRegMap[ClassName] = Embedding(Dim, DummyVal);
414 DummyVirtRegMap[ClassName] = Embedding(Dim, DummyVal);
415 DummyVal += 0.1f;
416 }
417
418 // Create vocabulary directly without temporary instance
420 std::move(DummyOpcMap), std::move(DummyOperandMap),
421 std::move(DummyPhyRegMap), std::move(DummyVirtRegMap), TII, TRI, MRI);
422}
423
424//===----------------------------------------------------------------------===//
425// MIR2VecVocabProvider and MIR2VecVocabLegacyAnalysis
426//===----------------------------------------------------------------------===//
427
430 VocabMap OpcVocab, CommonOperandVocab, PhyRegVocabMap, VirtRegVocabMap;
431
432 if (Error Err = readVocabulary(OpcVocab, CommonOperandVocab, PhyRegVocabMap,
433 VirtRegVocabMap))
434 return std::move(Err);
435
436 for (const auto &F : M) {
437 if (F.isDeclaration())
438 continue;
439
440 if (auto *MF = MMI.getMachineFunction(F)) {
441 auto &Subtarget = MF->getSubtarget();
442 if (const auto *TII = Subtarget.getInstrInfo())
443 if (const auto *TRI = Subtarget.getRegisterInfo())
445 std::move(OpcVocab), std::move(CommonOperandVocab),
446 std::move(PhyRegVocabMap), std::move(VirtRegVocabMap), *TII, *TRI,
447 MF->getRegInfo());
448 }
449 }
451 "No machine functions found in module");
452}
453
454Error MIR2VecVocabProvider::readVocabulary(VocabMap &OpcodeVocab,
455 VocabMap &CommonOperandVocab,
456 VocabMap &PhyRegVocabMap,
457 VocabMap &VirtRegVocabMap) {
458 if (VocabFile.empty())
459 return createStringError(
461 "MIR2Vec vocabulary file path not specified; set it "
462 "using --mir2vec-vocab-path");
463
464 auto BufOrError = MemoryBuffer::getFileOrSTDIN(VocabFile, /*IsText=*/true);
465 if (!BufOrError)
466 return createFileError(VocabFile, BufOrError.getError());
467
468 auto Content = BufOrError.get()->getBuffer();
469
470 Expected<json::Value> ParsedVocabValue = json::parse(Content);
471 if (!ParsedVocabValue)
472 return ParsedVocabValue.takeError();
473
474 unsigned OpcodeDim = 0, CommonOperandDim = 0, PhyRegOperandDim = 0,
475 VirtRegOperandDim = 0;
477 "Opcodes", *ParsedVocabValue, OpcodeVocab, OpcodeDim))
478 return Err;
479
481 "CommonOperands", *ParsedVocabValue, CommonOperandVocab,
482 CommonOperandDim))
483 return Err;
484
486 "PhysicalRegisters", *ParsedVocabValue, PhyRegVocabMap,
487 PhyRegOperandDim))
488 return Err;
489
491 "VirtualRegisters", *ParsedVocabValue, VirtRegVocabMap,
492 VirtRegOperandDim))
493 return Err;
494
495 // All sections must have the same embedding dimension
496 if (!(OpcodeDim == CommonOperandDim && CommonOperandDim == PhyRegOperandDim &&
497 PhyRegOperandDim == VirtRegOperandDim)) {
498 return createStringError(
500 "MIR2Vec vocabulary sections have different dimensions");
501 }
502
503 return Error::success();
504}
505
508 "MIR2Vec Vocabulary Analysis", false, true)
511 "MIR2Vec Vocabulary Analysis", false, true)
512
513StringRef MIR2VecVocabLegacyAnalysis::getPassName() const {
514 return "MIR2Vec Vocabulary Analysis";
515}
516
517//===----------------------------------------------------------------------===//
518// MIREmbedder and its subclasses
519//===----------------------------------------------------------------------===//
520
521std::unique_ptr<MIREmbedder> MIREmbedder::create(MIR2VecKind Mode,
522 const MachineFunction &MF,
523 const MIRVocabulary &Vocab) {
524 switch (Mode) {
526 return std::make_unique<SymbolicMIREmbedder>(MF, Vocab);
527 }
528 return nullptr;
529}
530
533
534 // Get instruction info for opcode name resolution
535 const auto &Subtarget = MF.getSubtarget();
536 const auto *TII = Subtarget.getInstrInfo();
537 if (!TII) {
538 MF.getFunction().getContext().emitError(
539 "MIR2Vec: No TargetInstrInfo available; cannot compute embeddings");
540 return MBBVector;
541 }
542
543 // Process each machine instruction in the basic block
544 for (const auto &MI : MBB) {
545 // Skip debug instructions and other metadata
546 if (MI.isDebugInstr())
547 continue;
549 }
550
551 return MBBVector;
552}
553
555 Embedding MFuncVector(Dimension, 0);
556
557 // Consider all reachable machine basic blocks in the function
558 for (const auto *MBB : depth_first(&MF))
559 MFuncVector += computeEmbeddings(*MBB);
560 return MFuncVector;
561}
562
566
567std::unique_ptr<SymbolicMIREmbedder>
569 const MIRVocabulary &Vocab) {
570 return std::make_unique<SymbolicMIREmbedder>(MF, Vocab);
571}
572
574 // Skip debug instructions and other metadata
575 if (MI.isDebugInstr())
576 return Embedding(Dimension, 0);
577
578 // Opcode embedding
579 Embedding InstructionEmbedding = Vocab[MI.getOpcode()];
580
581 // Add operand contributions
582 for (const MachineOperand &MO : MI.operands())
583 InstructionEmbedding += Vocab[MO];
584
585 return InstructionEmbedding;
586}
587
588//===----------------------------------------------------------------------===//
589// Printer Passes
590//===----------------------------------------------------------------------===//
591
594 "MIR2Vec Vocabulary Printer Pass", false, true)
598 "MIR2Vec Vocabulary Printer Pass", false, true)
599
603
606 auto MIR2VecVocabOrErr = Analysis.getMIR2VecVocabulary(M);
607
608 if (!MIR2VecVocabOrErr) {
609 OS << "MIR2Vec Vocabulary Printer: Failed to get vocabulary - "
610 << toString(MIR2VecVocabOrErr.takeError()) << "\n";
611 return false;
612 }
613
614 auto &MIR2VecVocab = *MIR2VecVocabOrErr;
615 unsigned Pos = 0;
616 for (const auto &Entry : MIR2VecVocab) {
617 // Skip zero embeddings to avoid printing entries not in the vocabulary.
618 // This makes the output stable across changes to the opcode list.
619 if (PrintAllVocabEntries || !Entry.isZero()) {
620 OS << "Key: " << MIR2VecVocab.getStringKey(Pos) << ": ";
621 Entry.print(OS);
622 }
623 ++Pos;
624 }
625
626 return false;
627}
628
633
636 "MIR2Vec Embedder Printer Pass", false, true)
640 "MIR2Vec Embedder Printer Pass", false, true)
641
644 auto VocabOrErr =
645 Analysis.getMIR2VecVocabulary(*MF.getFunction().getParent());
646 assert(VocabOrErr && "Failed to get MIR2Vec vocabulary");
647 auto &MIRVocab = *VocabOrErr;
648
649 auto Emb = mir2vec::MIREmbedder::create(MIR2VecEmbeddingKind, MF, MIRVocab);
650 if (!Emb) {
651 OS << "Error creating MIR2Vec embeddings for function " << MF.getName()
652 << "\n";
653 return false;
654 }
655
656 OS << "MIR2Vec embeddings for machine function " << MF.getName() << ":\n";
657 OS << "Machine Function vector: ";
658 Emb->getMFunctionVector().print(OS);
659
660 OS << "Machine basic block vectors:\n";
661 for (const MachineBasicBlock &MBB : MF) {
662 OS << "Machine basic block: " << MBB.getFullName() << ":\n";
663 Emb->getMBBVector(MBB).print(OS);
664 }
665
666 OS << "Machine instruction vectors:\n";
667 for (const MachineBasicBlock &MBB : MF) {
668 for (const MachineInstr &MI : MBB) {
669 // Skip debug instructions as they are not
670 // embedded
671 if (MI.isDebugInstr())
672 continue;
673
674 OS << "Machine instruction: ";
675 MI.print(OS);
676 Emb->getMInstVector(MI).print(OS);
677 }
678 }
679
680 return false;
681}
682
unsigned const MachineRegisterInfo * MRI
assert(UImm &&(UImm !=~static_cast< T >(0)) &&"Invalid immediate!")
MachineBasicBlock & MBB
block Block Frequency Analysis
#define clEnumValN(ENUMVAL, FLAGNAME, DESC)
This file builds on the ADT/GraphTraits.h file to build generic depth first graph iterator.
const HexagonInstrInfo * TII
IRTranslator LLVM IR MI
Module.h This file contains the declarations for the Module class.
#define RegName(no)
#define F(x, y, z)
Definition MD5.cpp:54
This file defines the MIR2Vec framework for generating Machine IR embeddings.
Register Reg
Register const TargetRegisterInfo * TRI
#define INITIALIZE_PASS_DEPENDENCY(depName)
Definition PassSupport.h:42
#define INITIALIZE_PASS_END(passName, arg, name, cfg, analysis)
Definition PassSupport.h:44
#define INITIALIZE_PASS_BEGIN(passName, arg, name, cfg, analysis)
Definition PassSupport.h:39
SmallVector< MachineBasicBlock *, 4 > MBBVector
This file defines the 'Statistic' class, which is designed to be an easy way to expose various metric...
#define STATISTIC(VARNAME, DESC)
Definition Statistic.h:171
#define LLVM_DEBUG(...)
Definition Debug.h:114
Lightweight error class with error context and mandatory checking.
Definition Error.h:159
static ErrorSuccess success()
Create a success value.
Definition Error.h:336
Tagged union holding either a T or a Error.
Definition Error.h:485
Error takeError()
Take ownership of the stored error.
Definition Error.h:612
This pass prints the MIR2Vec embeddings for machine functions, basic blocks, and instructions.
Definition MIR2Vec.h:440
MIR2VecPrinterLegacyPass(raw_ostream &OS)
Definition MIR2Vec.h:445
bool runOnMachineFunction(MachineFunction &MF) override
runOnMachineFunction - This method must be overloaded to perform the desired machine code transformat...
Definition MIR2Vec.cpp:642
Pass to analyze and populate MIR2Vec vocabulary from a module.
Definition MIR2Vec.h:385
This pass prints the embeddings in the MIR2Vec vocabulary.
Definition MIR2Vec.h:417
bool doFinalization(Module &M) override
doFinalization - Virtual method overriden by subclasses to do any necessary clean up after all passes...
Definition MIR2Vec.cpp:604
bool runOnMachineFunction(MachineFunction &MF) override
runOnMachineFunction - This method must be overloaded to perform the desired machine code transformat...
Definition MIR2Vec.cpp:600
MIR2VecVocabPrinterLegacyPass(raw_ostream &OS)
Definition MIR2Vec.h:422
LLVM_ABI Expected< mir2vec::MIRVocabulary > getVocabulary(const Module &M)
Definition MIR2Vec.cpp:429
MachineFunctionPass - This class adapts the FunctionPass interface to allow convenient creation of pa...
Representation of each machine instruction.
MachineOperand class - Representation of each machine instruction operand.
@ MO_Register
Register operand.
MachineRegisterInfo - Keep track of information for virtual and physical registers,...
static ErrorOr< std::unique_ptr< MemoryBuffer > > getFileOrSTDIN(const Twine &Filename, bool IsText=false, bool RequiresNullTerminator=true, std::optional< Align > Alignment=std::nullopt)
Open the specified file as a MemoryBuffer, or open stdin if the Filename is "-".
A Module instance is used to store all the information related to an LLVM module.
Definition Module.h:67
AnalysisType & getAnalysis() const
getAnalysis<AnalysisType>() - This function is used by subclasses to get to the analysis information ...
LLVM_ABI bool match(StringRef String, SmallVectorImpl< StringRef > *Matches=nullptr, std::string *Error=nullptr) const
matches - Match the regex against a given String.
Definition Regex.cpp:83
Wrapper class representing virtual and physical registers.
Definition Register.h:20
constexpr bool isValid() const
Definition Register.h:112
constexpr bool isVirtual() const
Return true if the specified register number is in the virtual register namespace.
Definition Register.h:79
constexpr bool isPhysical() const
Return true if the specified register number is in the physical register namespace.
Definition Register.h:83
This is a 'vector' (really, a variable-sized array), optimized for the case when the array is small.
StringRef - Represent a constant reference to a string, i.e.
Definition StringRef.h:55
std::string str() const
str - Get the contents as an std::string.
Definition StringRef.h:225
constexpr bool empty() const
empty - Check if the string is empty.
Definition StringRef.h:143
char back() const
back - Get the last character in the string.
Definition StringRef.h:155
StringRef drop_back(size_t N=1) const
Return a StringRef equal to 'this' but with the last N elements dropped.
Definition StringRef.h:618
TargetInstrInfo - Interface to description of machine instruction set.
unsigned getID() const
Return the register class ID number.
TargetRegisterInfo base class - We assume that the target defines a static array of TargetRegisterDes...
Generic storage class for section-based vocabularies.
Definition IR2Vec.h:157
static Error parseVocabSection(StringRef Key, const json::Value &ParsedVocabValue, VocabMap &TargetVocab, unsigned &Dim)
Parse a vocabulary section from JSON and populate the target vocabulary map.
Definition IR2Vec.cpp:316
unsigned getDimension() const
Get vocabulary dimension.
Definition IR2Vec.h:196
bool isValid() const
Check if vocabulary is valid (has data)
Definition IR2Vec.h:199
const unsigned Dimension
Dimension of the embeddings; Captured from the vocabulary.
Definition MIR2Vec.h:297
const MIRVocabulary & Vocab
Definition MIR2Vec.h:294
MIREmbedder(const MachineFunction &MF, const MIRVocabulary &Vocab)
Definition MIR2Vec.h:302
LLVM_ABI Embedding computeEmbeddings() const
Function to compute embeddings.
Definition MIR2Vec.cpp:554
const MachineFunction & MF
Definition MIR2Vec.h:293
static LLVM_ABI std::unique_ptr< MIREmbedder > create(MIR2VecKind Mode, const MachineFunction &MF, const MIRVocabulary &Vocab)
Factory method to create an Embedder object of the specified kind Returns nullptr if the requested ki...
Definition MIR2Vec.cpp:521
Class for storing and accessing the MIR2Vec vocabulary.
Definition MIR2Vec.h:86
LLVM_ABI_FOR_TEST unsigned getCanonicalIndexForOperandName(StringRef OperandName) const
Definition MIR2Vec.cpp:164
LLVM_ABI_FOR_TEST unsigned getCanonicalIndexForRegisterClass(StringRef RegName, bool IsPhysical=true) const
Definition MIR2Vec.cpp:174
static LLVM_ABI_FOR_TEST Expected< MIRVocabulary > create(VocabMap &&OpcMap, VocabMap &&CommonOperandsMap, VocabMap &&PhyRegMap, VocabMap &&VirtRegMap, const TargetInstrInfo &TII, const TargetRegisterInfo &TRI, const MachineRegisterInfo &MRI)
Factory method to create MIRVocabulary from vocabulary map.
Definition MIR2Vec.cpp:98
static LLVM_ABI_FOR_TEST std::string extractBaseOpcodeName(StringRef InstrName)
Static method for extracting base opcode names (public for testing)
Definition MIR2Vec.cpp:119
static LLVM_ABI Expected< MIRVocabulary > createDummyVocabForTest(const TargetInstrInfo &TII, const TargetRegisterInfo &TRI, const MachineRegisterInfo &MRI, unsigned Dim=1)
Create a dummy vocabulary for testing purposes.
Definition MIR2Vec.cpp:382
LLVM_ABI std::string getStringKey(unsigned Pos) const
Get the string key for a vocabulary entry at the given position.
Definition MIR2Vec.cpp:184
LLVM_ABI_FOR_TEST unsigned getCanonicalIndexForBaseName(StringRef BaseName) const
Get indices from opcode or operand names.
Definition MIR2Vec.cpp:149
static LLVM_ABI_FOR_TEST std::unique_ptr< SymbolicMIREmbedder > create(const MachineFunction &MF, const MIRVocabulary &Vocab)
Definition MIR2Vec.cpp:568
SymbolicMIREmbedder(const MachineFunction &F, const MIRVocabulary &Vocab)
Definition MIR2Vec.cpp:563
This class implements an extremely fast bulk output stream that can only output to a stream.
Definition raw_ostream.h:53
#define llvm_unreachable(msg)
Marks that the current location is not supposed to be reachable.
OperandType
Operands are tagged with one of the values of this enum.
Definition MCInstrDesc.h:59
ValuesClass values(OptsTy... Options)
Helper to build a ValuesClass by forwarding a variable number of arguments as an initializer list to ...
initializer< Ty > init(const Ty &Val)
LLVM_ABI llvm::Expected< Value > parse(llvm::StringRef JSON)
Parses the provided JSON source, or returns a ParseError.
Definition JSON.cpp:682
LLVM_ABI llvm::cl::OptionCategory MIR2VecCategory
LLVM_ABI cl::opt< float > OpcWeight
static cl::opt< std::string > VocabFile("mir2vec-vocab-path", cl::Optional, cl::desc("Path to the vocabulary file for MIR2Vec"), cl::init(""), cl::cat(MIR2VecCategory))
LLVM_ABI cl::opt< float > RegOperandWeight
Definition MIR2Vec.h:77
static cl::opt< bool > PrintAllVocabEntries("mir2vec-print-all-vocab-entries", cl::Optional, cl::init(false), cl::desc("Print all vocabulary entries including zero embeddings"), cl::cat(MIR2VecCategory))
ir2vec::Embedding Embedding
Definition MIR2Vec.h:79
LLVM_ABI cl::opt< float > CommonOperandWeight
Definition MIR2Vec.h:77
cl::opt< MIR2VecKind > MIR2VecEmbeddingKind("mir2vec-kind", cl::Optional, cl::values(clEnumValN(MIR2VecKind::Symbolic, "symbolic", "Generate symbolic embeddings for MIR")), cl::init(MIR2VecKind::Symbolic), cl::desc("MIR2Vec embedding kind"), cl::cat(MIR2VecCategory))
This is an optimization pass for GlobalISel generic memory operations.
Definition Types.h:26
Error createFileError(const Twine &F, Error E)
Concatenate a source file path and/or name with an Error.
Definition Error.h:1399
Error createStringError(std::error_code EC, char const *Fmt, const Ts &... Vals)
Create formatted StringError object.
Definition Error.h:1305
@ illegal_byte_sequence
Definition Errc.h:52
@ invalid_argument
Definition Errc.h:56
LLVM_ABI MachineFunctionPass * createMIR2VecPrinterLegacyPass(raw_ostream &OS)
Create a machine pass that prints MIR2Vec embeddings.
Definition MIR2Vec.cpp:683
LLVM_ABI raw_ostream & dbgs()
dbgs() - This returns a reference to a raw_ostream for debugging messages.
Definition Debug.cpp:207
LLVM_ATTRIBUTE_VISIBILITY_DEFAULT AnalysisKey InnerAnalysisManagerProxy< AnalysisManagerT, IRUnitT, ExtraArgTs... >::Key
LLVM_ABI raw_fd_ostream & errs()
This returns a reference to a raw_ostream for standard error.
LLVM_ABI MachineFunctionPass * createMIR2VecVocabPrinterLegacyPass(raw_ostream &OS)
MIR2VecVocabPrinter pass - This pass prints out the MIR2Vec vocabulary contents to the given stream a...
Definition MIR2Vec.cpp:630
MIR2VecKind
Definition MIR2Vec.h:68
std::string toString(const APInt &I, unsigned Radix, bool Signed, bool formatAsCLiteral=false, bool UpperCase=true, bool InsertSeparators=false)
iterator_range< df_iterator< T > > depth_first(const T &G)