mirror of
				https://github.com/c64scene-ar/llvm-6502.git
				synced 2025-10-31 08:16:47 +00:00 
			
		
		
		
	Summary: When I initially introduced -pass-remarks, I thought it would be a neat idea to make it additive. So, if one used it as: $ llc -pass-remarks=inliner --pass-remarks=loop.* the compiler would build the regular expression '(inliner)|(loop.*)'. The more I think about it, the more I regret it. This is not how other flags work. The standard semantics are right-to-left overrides. This is how clang interprets -Rpass. And I think the two should be compatible in this respect. Reviewers: qcolombet Subscribers: llvm-commits Differential Revision: http://reviews.llvm.org/D3614 git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@208122 91177308-0d34-0410-b5e6-96231b3b80d8
		
			
				
	
	
		
			229 lines
		
	
	
		
			7.5 KiB
		
	
	
	
		
			C++
		
	
	
	
	
	
			
		
		
	
	
			229 lines
		
	
	
		
			7.5 KiB
		
	
	
	
		
			C++
		
	
	
	
	
	
| //===-- LLVMContextImpl.cpp - Implement LLVMContextImpl -------------------===//
 | |
| //
 | |
| //                     The LLVM Compiler Infrastructure
 | |
| //
 | |
| // This file is distributed under the University of Illinois Open Source
 | |
| // License. See LICENSE.TXT for details.
 | |
| //
 | |
| //===----------------------------------------------------------------------===//
 | |
| //
 | |
| //  This file implements the opaque LLVMContextImpl.
 | |
| //
 | |
| //===----------------------------------------------------------------------===//
 | |
| 
 | |
| #include "LLVMContextImpl.h"
 | |
| #include "llvm/ADT/STLExtras.h"
 | |
| #include "llvm/IR/Attributes.h"
 | |
| #include "llvm/IR/Module.h"
 | |
| #include "llvm/PassSupport.h"
 | |
| #include "llvm/Support/CommandLine.h"
 | |
| #include "llvm/Support/Regex.h"
 | |
| #include <algorithm>
 | |
| using namespace llvm;
 | |
| 
 | |
| /// Notify that we finished running a pass.
 | |
| void LLVMContextImpl::notifyPassRun(LLVMContext *C, Pass *P, Module *M,
 | |
|                                     Function *F, BasicBlock *BB) {
 | |
|   for (auto const &L : RunListeners)
 | |
|     L->passRun(C, P, M, F, BB);
 | |
| }
 | |
| /// Register the given PassRunListener to receive notifyPassRun()
 | |
| /// callbacks whenever a pass ran.
 | |
| void LLVMContextImpl::addRunListener(PassRunListener *L) {
 | |
|   RunListeners.push_back(L);
 | |
| }
 | |
| /// Unregister a PassRunListener so that it no longer receives
 | |
| /// notifyPassRun() callbacks.
 | |
| void LLVMContextImpl::removeRunListener(PassRunListener *L) {
 | |
|   auto I = std::find(RunListeners.begin(), RunListeners.end(), L);
 | |
|   assert(I != RunListeners.end() && "RunListener not registered!");
 | |
|   delete *I;
 | |
|   RunListeners.erase(I);
 | |
| }
 | |
| 
 | |
| LLVMContextImpl::LLVMContextImpl(LLVMContext &C)
 | |
|   : TheTrueVal(nullptr), TheFalseVal(nullptr),
 | |
|     VoidTy(C, Type::VoidTyID),
 | |
|     LabelTy(C, Type::LabelTyID),
 | |
|     HalfTy(C, Type::HalfTyID),
 | |
|     FloatTy(C, Type::FloatTyID),
 | |
|     DoubleTy(C, Type::DoubleTyID),
 | |
|     MetadataTy(C, Type::MetadataTyID),
 | |
|     X86_FP80Ty(C, Type::X86_FP80TyID),
 | |
|     FP128Ty(C, Type::FP128TyID),
 | |
|     PPC_FP128Ty(C, Type::PPC_FP128TyID),
 | |
|     X86_MMXTy(C, Type::X86_MMXTyID),
 | |
|     Int1Ty(C, 1),
 | |
|     Int8Ty(C, 8),
 | |
|     Int16Ty(C, 16),
 | |
|     Int32Ty(C, 32),
 | |
|     Int64Ty(C, 64) {
 | |
|   InlineAsmDiagHandler = nullptr;
 | |
|   InlineAsmDiagContext = nullptr;
 | |
|   DiagnosticHandler = nullptr;
 | |
|   DiagnosticContext = nullptr;
 | |
|   NamedStructTypesUniqueID = 0;
 | |
| }
 | |
| 
 | |
| namespace {
 | |
| 
 | |
| /// \brief Regular expression corresponding to the value given in the
 | |
| /// command line flag -pass-remarks. Passes whose name matches this
 | |
| /// regexp will emit a diagnostic when calling
 | |
| /// LLVMContext::emitOptimizationRemark.
 | |
| static Regex *OptimizationRemarkPattern = nullptr;
 | |
| 
 | |
| struct PassRemarksOpt {
 | |
|   void operator=(const std::string &Val) const {
 | |
|     // Create a regexp object to match pass names for emitOptimizationRemark.
 | |
|     if (!Val.empty()) {
 | |
|       delete OptimizationRemarkPattern;
 | |
|       OptimizationRemarkPattern = new Regex(Val);
 | |
|       std::string RegexError;
 | |
|       if (!OptimizationRemarkPattern->isValid(RegexError))
 | |
|         report_fatal_error("Invalid regular expression '" + Val +
 | |
|                                "' in -pass-remarks: " + RegexError,
 | |
|                            false);
 | |
|     }
 | |
|   };
 | |
| };
 | |
| 
 | |
| static PassRemarksOpt PassRemarksOptLoc;
 | |
| 
 | |
| // -pass-remarks
 | |
| //    Command line flag to enable LLVMContext::emitOptimizationRemark()
 | |
| //    and LLVMContext::emitOptimizationNote() calls.
 | |
| static cl::opt<PassRemarksOpt, true, cl::parser<std::string>>
 | |
| PassRemarks("pass-remarks", cl::value_desc("pattern"),
 | |
|             cl::desc("Enable optimization remarks from passes whose name match "
 | |
|                      "the given regular expression"),
 | |
|             cl::Hidden, cl::location(PassRemarksOptLoc), cl::ValueRequired,
 | |
|             cl::ZeroOrMore);
 | |
| }
 | |
| 
 | |
| bool
 | |
| LLVMContextImpl::optimizationRemarksEnabledFor(const char *PassName) const {
 | |
|   return OptimizationRemarkPattern &&
 | |
|          OptimizationRemarkPattern->match(PassName);
 | |
| }
 | |
| 
 | |
| 
 | |
| namespace {
 | |
| struct DropReferences {
 | |
|   // Takes the value_type of a ConstantUniqueMap's internal map, whose 'second'
 | |
|   // is a Constant*.
 | |
|   template<typename PairT>
 | |
|   void operator()(const PairT &P) {
 | |
|     P.second->dropAllReferences();
 | |
|   }
 | |
| };
 | |
| 
 | |
| // Temporary - drops pair.first instead of second.
 | |
| struct DropFirst {
 | |
|   // Takes the value_type of a ConstantUniqueMap's internal map, whose 'second'
 | |
|   // is a Constant*.
 | |
|   template<typename PairT>
 | |
|   void operator()(const PairT &P) {
 | |
|     P.first->dropAllReferences();
 | |
|   }
 | |
| };
 | |
| }
 | |
| 
 | |
| LLVMContextImpl::~LLVMContextImpl() {
 | |
|   // NOTE: We need to delete the contents of OwnedModules, but Module's dtor
 | |
|   // will call LLVMContextImpl::removeModule, thus invalidating iterators into
 | |
|   // the container. Avoid iterators during this operation:
 | |
|   while (!OwnedModules.empty())
 | |
|     delete *OwnedModules.begin();
 | |
|   
 | |
|   // Free the constants.  This is important to do here to ensure that they are
 | |
|   // freed before the LeakDetector is torn down.
 | |
|   std::for_each(ExprConstants.map_begin(), ExprConstants.map_end(),
 | |
|                 DropReferences());
 | |
|   std::for_each(ArrayConstants.map_begin(), ArrayConstants.map_end(),
 | |
|                 DropFirst());
 | |
|   std::for_each(StructConstants.map_begin(), StructConstants.map_end(),
 | |
|                 DropFirst());
 | |
|   std::for_each(VectorConstants.map_begin(), VectorConstants.map_end(),
 | |
|                 DropFirst());
 | |
|   ExprConstants.freeConstants();
 | |
|   ArrayConstants.freeConstants();
 | |
|   StructConstants.freeConstants();
 | |
|   VectorConstants.freeConstants();
 | |
|   DeleteContainerSeconds(CAZConstants);
 | |
|   DeleteContainerSeconds(CPNConstants);
 | |
|   DeleteContainerSeconds(UVConstants);
 | |
|   InlineAsms.freeConstants();
 | |
|   DeleteContainerSeconds(IntConstants);
 | |
|   DeleteContainerSeconds(FPConstants);
 | |
|   
 | |
|   for (StringMap<ConstantDataSequential*>::iterator I = CDSConstants.begin(),
 | |
|        E = CDSConstants.end(); I != E; ++I)
 | |
|     delete I->second;
 | |
|   CDSConstants.clear();
 | |
| 
 | |
|   // Destroy attributes.
 | |
|   for (FoldingSetIterator<AttributeImpl> I = AttrsSet.begin(),
 | |
|          E = AttrsSet.end(); I != E; ) {
 | |
|     FoldingSetIterator<AttributeImpl> Elem = I++;
 | |
|     delete &*Elem;
 | |
|   }
 | |
| 
 | |
|   // Destroy attribute lists.
 | |
|   for (FoldingSetIterator<AttributeSetImpl> I = AttrsLists.begin(),
 | |
|          E = AttrsLists.end(); I != E; ) {
 | |
|     FoldingSetIterator<AttributeSetImpl> Elem = I++;
 | |
|     delete &*Elem;
 | |
|   }
 | |
| 
 | |
|   // Destroy attribute node lists.
 | |
|   for (FoldingSetIterator<AttributeSetNode> I = AttrsSetNodes.begin(),
 | |
|          E = AttrsSetNodes.end(); I != E; ) {
 | |
|     FoldingSetIterator<AttributeSetNode> Elem = I++;
 | |
|     delete &*Elem;
 | |
|   }
 | |
| 
 | |
|   // Destroy MDNodes.  ~MDNode can move and remove nodes between the MDNodeSet
 | |
|   // and the NonUniquedMDNodes sets, so copy the values out first.
 | |
|   SmallVector<MDNode*, 8> MDNodes;
 | |
|   MDNodes.reserve(MDNodeSet.size() + NonUniquedMDNodes.size());
 | |
|   for (FoldingSetIterator<MDNode> I = MDNodeSet.begin(), E = MDNodeSet.end();
 | |
|        I != E; ++I)
 | |
|     MDNodes.push_back(&*I);
 | |
|   MDNodes.append(NonUniquedMDNodes.begin(), NonUniquedMDNodes.end());
 | |
|   for (SmallVectorImpl<MDNode *>::iterator I = MDNodes.begin(),
 | |
|          E = MDNodes.end(); I != E; ++I)
 | |
|     (*I)->destroy();
 | |
|   assert(MDNodeSet.empty() && NonUniquedMDNodes.empty() &&
 | |
|          "Destroying all MDNodes didn't empty the Context's sets.");
 | |
| 
 | |
|   // Destroy MDStrings.
 | |
|   DeleteContainerSeconds(MDStringCache);
 | |
| 
 | |
|   // Destroy all run listeners.
 | |
|   for (auto &L : RunListeners)
 | |
|     delete L;
 | |
|   RunListeners.clear();
 | |
| }
 | |
| 
 | |
| // ConstantsContext anchors
 | |
| void UnaryConstantExpr::anchor() { }
 | |
| 
 | |
| void BinaryConstantExpr::anchor() { }
 | |
| 
 | |
| void SelectConstantExpr::anchor() { }
 | |
| 
 | |
| void ExtractElementConstantExpr::anchor() { }
 | |
| 
 | |
| void InsertElementConstantExpr::anchor() { }
 | |
| 
 | |
| void ShuffleVectorConstantExpr::anchor() { }
 | |
| 
 | |
| void ExtractValueConstantExpr::anchor() { }
 | |
| 
 | |
| void InsertValueConstantExpr::anchor() { }
 | |
| 
 | |
| void GetElementPtrConstantExpr::anchor() { }
 | |
| 
 | |
| void CompareConstantExpr::anchor() { }
 |