1*5f7ddb14SDimitry Andric //===-- llvm/CodeGen/MachineModuleInfo.cpp ----------------------*- C++ -*-===//
2*5f7ddb14SDimitry Andric //
3*5f7ddb14SDimitry Andric // Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions.
4*5f7ddb14SDimitry Andric // See https://llvm.org/LICENSE.txt for license information.
5*5f7ddb14SDimitry Andric // SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
6*5f7ddb14SDimitry Andric //
7*5f7ddb14SDimitry Andric //===----------------------------------------------------------------------===//
8*5f7ddb14SDimitry Andric 
9*5f7ddb14SDimitry Andric #include "llvm/CodeGen/MachineModuleSlotTracker.h"
10*5f7ddb14SDimitry Andric #include "llvm/CodeGen/MachineFunction.h"
11*5f7ddb14SDimitry Andric #include "llvm/CodeGen/MachineModuleInfo.h"
12*5f7ddb14SDimitry Andric 
13*5f7ddb14SDimitry Andric using namespace llvm;
14*5f7ddb14SDimitry Andric 
processMachineFunctionMetadata(AbstractSlotTrackerStorage * AST,const MachineFunction & MF)15*5f7ddb14SDimitry Andric void MachineModuleSlotTracker::processMachineFunctionMetadata(
16*5f7ddb14SDimitry Andric     AbstractSlotTrackerStorage *AST, const MachineFunction &MF) {
17*5f7ddb14SDimitry Andric   // Create metadata created within the backend.
18*5f7ddb14SDimitry Andric   for (const MachineBasicBlock &MBB : MF)
19*5f7ddb14SDimitry Andric     for (const MachineInstr &MI : MBB.instrs())
20*5f7ddb14SDimitry Andric       for (const MachineMemOperand *MMO : MI.memoperands()) {
21*5f7ddb14SDimitry Andric         AAMDNodes AAInfo = MMO->getAAInfo();
22*5f7ddb14SDimitry Andric         if (AAInfo.TBAA)
23*5f7ddb14SDimitry Andric           AST->createMetadataSlot(AAInfo.TBAA);
24*5f7ddb14SDimitry Andric         if (AAInfo.TBAAStruct)
25*5f7ddb14SDimitry Andric           AST->createMetadataSlot(AAInfo.TBAAStruct);
26*5f7ddb14SDimitry Andric         if (AAInfo.Scope)
27*5f7ddb14SDimitry Andric           AST->createMetadataSlot(AAInfo.Scope);
28*5f7ddb14SDimitry Andric         if (AAInfo.NoAlias)
29*5f7ddb14SDimitry Andric           AST->createMetadataSlot(AAInfo.NoAlias);
30*5f7ddb14SDimitry Andric       }
31*5f7ddb14SDimitry Andric }
32*5f7ddb14SDimitry Andric 
processMachineModule(AbstractSlotTrackerStorage * AST,const Module * M,bool ShouldInitializeAllMetadata)33*5f7ddb14SDimitry Andric void MachineModuleSlotTracker::processMachineModule(
34*5f7ddb14SDimitry Andric     AbstractSlotTrackerStorage *AST, const Module *M,
35*5f7ddb14SDimitry Andric     bool ShouldInitializeAllMetadata) {
36*5f7ddb14SDimitry Andric   if (ShouldInitializeAllMetadata) {
37*5f7ddb14SDimitry Andric     for (const Function &F : *M) {
38*5f7ddb14SDimitry Andric       if (&F != &TheFunction)
39*5f7ddb14SDimitry Andric         continue;
40*5f7ddb14SDimitry Andric       MDNStartSlot = AST->getNextMetadataSlot();
41*5f7ddb14SDimitry Andric       if (auto *MF = TheMMI.getMachineFunction(F))
42*5f7ddb14SDimitry Andric         processMachineFunctionMetadata(AST, *MF);
43*5f7ddb14SDimitry Andric       MDNEndSlot = AST->getNextMetadataSlot();
44*5f7ddb14SDimitry Andric       break;
45*5f7ddb14SDimitry Andric     }
46*5f7ddb14SDimitry Andric   }
47*5f7ddb14SDimitry Andric }
48*5f7ddb14SDimitry Andric 
processMachineFunction(AbstractSlotTrackerStorage * AST,const Function * F,bool ShouldInitializeAllMetadata)49*5f7ddb14SDimitry Andric void MachineModuleSlotTracker::processMachineFunction(
50*5f7ddb14SDimitry Andric     AbstractSlotTrackerStorage *AST, const Function *F,
51*5f7ddb14SDimitry Andric     bool ShouldInitializeAllMetadata) {
52*5f7ddb14SDimitry Andric   if (!ShouldInitializeAllMetadata && F == &TheFunction) {
53*5f7ddb14SDimitry Andric     MDNStartSlot = AST->getNextMetadataSlot();
54*5f7ddb14SDimitry Andric     if (auto *MF = TheMMI.getMachineFunction(*F))
55*5f7ddb14SDimitry Andric       processMachineFunctionMetadata(AST, *MF);
56*5f7ddb14SDimitry Andric     MDNEndSlot = AST->getNextMetadataSlot();
57*5f7ddb14SDimitry Andric   }
58*5f7ddb14SDimitry Andric }
59*5f7ddb14SDimitry Andric 
collectMachineMDNodes(MachineMDNodeListType & L) const60*5f7ddb14SDimitry Andric void MachineModuleSlotTracker::collectMachineMDNodes(
61*5f7ddb14SDimitry Andric     MachineMDNodeListType &L) const {
62*5f7ddb14SDimitry Andric   collectMDNodes(L, MDNStartSlot, MDNEndSlot);
63*5f7ddb14SDimitry Andric }
64*5f7ddb14SDimitry Andric 
MachineModuleSlotTracker(const MachineFunction * MF,bool ShouldInitializeAllMetadata)65*5f7ddb14SDimitry Andric MachineModuleSlotTracker::MachineModuleSlotTracker(
66*5f7ddb14SDimitry Andric     const MachineFunction *MF, bool ShouldInitializeAllMetadata)
67*5f7ddb14SDimitry Andric     : ModuleSlotTracker(MF->getFunction().getParent(),
68*5f7ddb14SDimitry Andric                         ShouldInitializeAllMetadata),
69*5f7ddb14SDimitry Andric       TheFunction(MF->getFunction()), TheMMI(MF->getMMI()), MDNStartSlot(0),
70*5f7ddb14SDimitry Andric       MDNEndSlot(0) {
71*5f7ddb14SDimitry Andric   setProcessHook([this](AbstractSlotTrackerStorage *AST, const Module *M,
72*5f7ddb14SDimitry Andric                         bool ShouldInitializeAllMetadata) {
73*5f7ddb14SDimitry Andric     this->processMachineModule(AST, M, ShouldInitializeAllMetadata);
74*5f7ddb14SDimitry Andric   });
75*5f7ddb14SDimitry Andric   setProcessHook([this](AbstractSlotTrackerStorage *AST, const Function *F,
76*5f7ddb14SDimitry Andric                         bool ShouldInitializeAllMetadata) {
77*5f7ddb14SDimitry Andric     this->processMachineFunction(AST, F, ShouldInitializeAllMetadata);
78*5f7ddb14SDimitry Andric   });
79*5f7ddb14SDimitry Andric }
80*5f7ddb14SDimitry Andric 
81*5f7ddb14SDimitry Andric MachineModuleSlotTracker::~MachineModuleSlotTracker() = default;
82