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