File Manager

003 File Manager

Current Path: /usr/src/contrib/llvm-project/llvm/lib/IR

usr / src / contrib / llvm-project / llvm / lib / IR /

📁 ..
📄 AbstractCallSite.cpp(5.14 KB)
📄 AsmWriter.cpp(152.8 KB)
📄 AttributeImpl.h(10.49 KB)
📄 Attributes.cpp(63.53 KB)
📄 AutoUpgrade.cpp(188.79 KB)
📄 BasicBlock.cpp(16.46 KB)
📄 Comdat.cpp(2.33 KB)
📄 ConstantFold.cpp(104.22 KB)
📄 ConstantFold.h(2.55 KB)
📄 ConstantRange.cpp(54.53 KB)
📄 Constants.cpp(117.17 KB)
📄 ConstantsContext.h(26.51 KB)
📄 Core.cpp(143.39 KB)
📄 DIBuilder.cpp(43.31 KB)
📄 DataLayout.cpp(31.11 KB)
📄 DebugInfo.cpp(54.5 KB)
📄 DebugInfoMetadata.cpp(52.5 KB)
📄 DebugLoc.cpp(4 KB)
📄 DiagnosticHandler.cpp(3.58 KB)
📄 DiagnosticInfo.cpp(13.72 KB)
📄 DiagnosticPrinter.cpp(2.93 KB)
📄 Dominators.cpp(14.38 KB)
📄 FPEnv.cpp(2.63 KB)
📄 Function.cpp(58.45 KB)
📄 GVMaterializer.cpp(640 B)
📄 Globals.cpp(19.65 KB)
📄 IRBuilder.cpp(44.38 KB)
📄 IRPrintingPasses.cpp(4.37 KB)
📄 InlineAsm.cpp(9.63 KB)
📄 Instruction.cpp(26.63 KB)
📄 Instructions.cpp(165.63 KB)
📄 IntrinsicInst.cpp(11.05 KB)
📄 LLVMContext.cpp(11.43 KB)
📄 LLVMContextImpl.cpp(7.66 KB)
📄 LLVMContextImpl.h(51.94 KB)
📄 LLVMRemarkStreamer.cpp(6.35 KB)
📄 LegacyPassManager.cpp(60.13 KB)
📄 MDBuilder.cpp(11.87 KB)
📄 Mangler.cpp(7.32 KB)
📄 Metadata.cpp(47.29 KB)
📄 MetadataImpl.h(1.43 KB)
📄 Module.cpp(24.01 KB)
📄 ModuleSummaryIndex.cpp(21.49 KB)
📄 Operator.cpp(4.97 KB)
📄 OptBisect.cpp(1.95 KB)
📄 Pass.cpp(8.33 KB)
📄 PassInstrumentation.cpp(701 B)
📄 PassManager.cpp(3.69 KB)
📄 PassRegistry.cpp(4.47 KB)
📄 PassTimingInfo.cpp(9.08 KB)
📄 ProfileSummary.cpp(10.8 KB)
📄 SafepointIRVerifier.cpp(34.4 KB)
📄 Statepoint.cpp(1.51 KB)
📄 SymbolTableListTraitsImpl.h(4.21 KB)
📄 Type.cpp(24.49 KB)
📄 TypeFinder.cpp(5.02 KB)
📄 Use.cpp(1.05 KB)
📄 User.cpp(7.17 KB)
📄 Value.cpp(36.33 KB)
📄 ValueSymbolTable.cpp(4.36 KB)
📄 Verifier.cpp(224.01 KB)

Editing: PassManager.cpp

//===- PassManager.cpp - Infrastructure for managing & running IR passes --===//
//
// Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions.
// See https://llvm.org/LICENSE.txt for license information.
// SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
//
//===----------------------------------------------------------------------===//

#include "llvm/IR/PassManager.h"
#include "llvm/ADT/STLExtras.h"
#include "llvm/IR/LLVMContext.h"
#include "llvm/IR/PassManagerImpl.h"

using namespace llvm;

// Explicit template instantiations and specialization defininitions for core
// template typedefs.
namespace llvm {
template class AllAnalysesOn<Module>;
template class AllAnalysesOn<Function>;
template class PassManager<Module>;
template class PassManager<Function>;
template class AnalysisManager<Module>;
template class AnalysisManager<Function>;
template class InnerAnalysisManagerProxy<FunctionAnalysisManager, Module>;
template class OuterAnalysisManagerProxy<ModuleAnalysisManager, Function>;

template <>
bool FunctionAnalysisManagerModuleProxy::Result::invalidate(
    Module &M, const PreservedAnalyses &PA,
    ModuleAnalysisManager::Invalidator &Inv) {
  // If literally everything is preserved, we're done.
  if (PA.areAllPreserved())
    return false; // This is still a valid proxy.

// If this proxy isn't marked as preserved, then even if the result remains
  // valid, the key itself may no longer be valid, so we clear everything.
  //
  // Note that in order to preserve this proxy, a module pass must ensure that
  // the FAM has been completely updated to handle the deletion of functions.
  // Specifically, any FAM-cached results for those functions need to have been
  // forcibly cleared. When preserved, this proxy will only invalidate results
  // cached on functions *still in the module* at the end of the module pass.
  auto PAC = PA.getChecker<FunctionAnalysisManagerModuleProxy>();
  if (!PAC.preserved() && !PAC.preservedSet<AllAnalysesOn<Module>>()) {
    InnerAM->clear();
    return true;
  }

// Directly check if the relevant set is preserved.
  bool AreFunctionAnalysesPreserved =
      PA.allAnalysesInSetPreserved<AllAnalysesOn<Function>>();

// Now walk all the functions to see if any inner analysis invalidation is
  // necessary.
  for (Function &F : M) {
    Optional<PreservedAnalyses> FunctionPA;

// Check to see whether the preserved set needs to be pruned based on
    // module-level analysis invalidation that triggers deferred invalidation
    // registered with the outer analysis manager proxy for this function.
    if (auto *OuterProxy =
            InnerAM->getCachedResult<ModuleAnalysisManagerFunctionProxy>(F))
      for (const auto &OuterInvalidationPair :
           OuterProxy->getOuterInvalidations()) {
        AnalysisKey *OuterAnalysisID = OuterInvalidationPair.first;
        const auto &InnerAnalysisIDs = OuterInvalidationPair.second;
        if (Inv.invalidate(OuterAnalysisID, M, PA)) {
          if (!FunctionPA)
            FunctionPA = PA;
          for (AnalysisKey *InnerAnalysisID : InnerAnalysisIDs)
            FunctionPA->abandon(InnerAnalysisID);
        }
      }

// Check if we needed a custom PA set, and if so we'll need to run the
    // inner invalidation.
    if (FunctionPA) {
      InnerAM->invalidate(F, *FunctionPA);
      continue;
    }

// Otherwise we only need to do invalidation if the original PA set didn't
    // preserve all function analyses.
    if (!AreFunctionAnalysesPreserved)
      InnerAM->invalidate(F, PA);
  }

// Return false to indicate that this result is still a valid proxy.
  return false;
}
} // namespace llvm

AnalysisSetKey CFGAnalyses::SetKey;

AnalysisSetKey PreservedAnalyses::AllAnalysesKey;

003 File Manager

Editing: PassManager.cpp

Upload File

Create Folder