xref: /src/contrib/llvm-project/llvm/lib/CodeGen/MachineModuleSlotTracker.cpp (revision 0fca6ea1d4eea4c934cfff25ac9ee8ad6fe95583)
1344a3780SDimitry Andric //===-- llvm/CodeGen/MachineModuleInfo.cpp ----------------------*- C++ -*-===//
2344a3780SDimitry Andric //
3344a3780SDimitry Andric // Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions.
4344a3780SDimitry Andric // See https://llvm.org/LICENSE.txt for license information.
5344a3780SDimitry Andric // SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
6344a3780SDimitry Andric //
7344a3780SDimitry Andric //===----------------------------------------------------------------------===//
8344a3780SDimitry Andric 
9344a3780SDimitry Andric #include "llvm/CodeGen/MachineModuleSlotTracker.h"
10344a3780SDimitry Andric #include "llvm/CodeGen/MachineFunction.h"
11344a3780SDimitry Andric #include "llvm/CodeGen/MachineModuleInfo.h"
12ac9a064cSDimitry Andric #include "llvm/IR/Module.h"
13344a3780SDimitry Andric 
14344a3780SDimitry Andric using namespace llvm;
15344a3780SDimitry Andric 
processMachineFunctionMetadata(AbstractSlotTrackerStorage * AST,const MachineFunction & MF)16344a3780SDimitry Andric void MachineModuleSlotTracker::processMachineFunctionMetadata(
17344a3780SDimitry Andric     AbstractSlotTrackerStorage *AST, const MachineFunction &MF) {
18344a3780SDimitry Andric   // Create metadata created within the backend.
19344a3780SDimitry Andric   for (const MachineBasicBlock &MBB : MF)
20344a3780SDimitry Andric     for (const MachineInstr &MI : MBB.instrs())
21344a3780SDimitry Andric       for (const MachineMemOperand *MMO : MI.memoperands()) {
22344a3780SDimitry Andric         AAMDNodes AAInfo = MMO->getAAInfo();
23344a3780SDimitry Andric         if (AAInfo.TBAA)
24344a3780SDimitry Andric           AST->createMetadataSlot(AAInfo.TBAA);
25344a3780SDimitry Andric         if (AAInfo.TBAAStruct)
26344a3780SDimitry Andric           AST->createMetadataSlot(AAInfo.TBAAStruct);
27344a3780SDimitry Andric         if (AAInfo.Scope)
28344a3780SDimitry Andric           AST->createMetadataSlot(AAInfo.Scope);
29344a3780SDimitry Andric         if (AAInfo.NoAlias)
30344a3780SDimitry Andric           AST->createMetadataSlot(AAInfo.NoAlias);
31344a3780SDimitry Andric       }
32344a3780SDimitry Andric }
33344a3780SDimitry Andric 
processMachineModule(AbstractSlotTrackerStorage * AST,const Module * M,bool ShouldInitializeAllMetadata)34344a3780SDimitry Andric void MachineModuleSlotTracker::processMachineModule(
35344a3780SDimitry Andric     AbstractSlotTrackerStorage *AST, const Module *M,
36344a3780SDimitry Andric     bool ShouldInitializeAllMetadata) {
37344a3780SDimitry Andric   if (ShouldInitializeAllMetadata) {
38344a3780SDimitry Andric     for (const Function &F : *M) {
39344a3780SDimitry Andric       if (&F != &TheFunction)
40344a3780SDimitry Andric         continue;
41344a3780SDimitry Andric       MDNStartSlot = AST->getNextMetadataSlot();
42344a3780SDimitry Andric       if (auto *MF = TheMMI.getMachineFunction(F))
43344a3780SDimitry Andric         processMachineFunctionMetadata(AST, *MF);
44344a3780SDimitry Andric       MDNEndSlot = AST->getNextMetadataSlot();
45344a3780SDimitry Andric       break;
46344a3780SDimitry Andric     }
47344a3780SDimitry Andric   }
48344a3780SDimitry Andric }
49344a3780SDimitry Andric 
processMachineFunction(AbstractSlotTrackerStorage * AST,const Function * F,bool ShouldInitializeAllMetadata)50344a3780SDimitry Andric void MachineModuleSlotTracker::processMachineFunction(
51344a3780SDimitry Andric     AbstractSlotTrackerStorage *AST, const Function *F,
52344a3780SDimitry Andric     bool ShouldInitializeAllMetadata) {
53344a3780SDimitry Andric   if (!ShouldInitializeAllMetadata && F == &TheFunction) {
54344a3780SDimitry Andric     MDNStartSlot = AST->getNextMetadataSlot();
55344a3780SDimitry Andric     if (auto *MF = TheMMI.getMachineFunction(*F))
56344a3780SDimitry Andric       processMachineFunctionMetadata(AST, *MF);
57344a3780SDimitry Andric     MDNEndSlot = AST->getNextMetadataSlot();
58344a3780SDimitry Andric   }
59344a3780SDimitry Andric }
60344a3780SDimitry Andric 
collectMachineMDNodes(MachineMDNodeListType & L) const61344a3780SDimitry Andric void MachineModuleSlotTracker::collectMachineMDNodes(
62344a3780SDimitry Andric     MachineMDNodeListType &L) const {
63344a3780SDimitry Andric   collectMDNodes(L, MDNStartSlot, MDNEndSlot);
64344a3780SDimitry Andric }
65344a3780SDimitry Andric 
MachineModuleSlotTracker(const MachineFunction * MF,bool ShouldInitializeAllMetadata)66344a3780SDimitry Andric MachineModuleSlotTracker::MachineModuleSlotTracker(
67344a3780SDimitry Andric     const MachineFunction *MF, bool ShouldInitializeAllMetadata)
68344a3780SDimitry Andric     : ModuleSlotTracker(MF->getFunction().getParent(),
69344a3780SDimitry Andric                         ShouldInitializeAllMetadata),
70ecbca9f5SDimitry Andric       TheFunction(MF->getFunction()), TheMMI(MF->getMMI()) {
71344a3780SDimitry Andric   setProcessHook([this](AbstractSlotTrackerStorage *AST, const Module *M,
72344a3780SDimitry Andric                         bool ShouldInitializeAllMetadata) {
73344a3780SDimitry Andric     this->processMachineModule(AST, M, ShouldInitializeAllMetadata);
74344a3780SDimitry Andric   });
75344a3780SDimitry Andric   setProcessHook([this](AbstractSlotTrackerStorage *AST, const Function *F,
76344a3780SDimitry Andric                         bool ShouldInitializeAllMetadata) {
77344a3780SDimitry Andric     this->processMachineFunction(AST, F, ShouldInitializeAllMetadata);
78344a3780SDimitry Andric   });
79344a3780SDimitry Andric }
80344a3780SDimitry Andric 
81344a3780SDimitry Andric MachineModuleSlotTracker::~MachineModuleSlotTracker() = default;
82