LLVM 20.0.0git
|
#include "llvm/Transforms/Utils/CodeExtractor.h"
#include "llvm/ADT/ArrayRef.h"
#include "llvm/ADT/DenseMap.h"
#include "llvm/ADT/STLExtras.h"
#include "llvm/ADT/SetVector.h"
#include "llvm/ADT/SmallPtrSet.h"
#include "llvm/ADT/SmallVector.h"
#include "llvm/Analysis/AssumptionCache.h"
#include "llvm/Analysis/BlockFrequencyInfo.h"
#include "llvm/Analysis/BlockFrequencyInfoImpl.h"
#include "llvm/Analysis/BranchProbabilityInfo.h"
#include "llvm/IR/Argument.h"
#include "llvm/IR/Attributes.h"
#include "llvm/IR/BasicBlock.h"
#include "llvm/IR/CFG.h"
#include "llvm/IR/Constant.h"
#include "llvm/IR/Constants.h"
#include "llvm/IR/DIBuilder.h"
#include "llvm/IR/DataLayout.h"
#include "llvm/IR/DebugInfo.h"
#include "llvm/IR/DebugInfoMetadata.h"
#include "llvm/IR/DerivedTypes.h"
#include "llvm/IR/Dominators.h"
#include "llvm/IR/Function.h"
#include "llvm/IR/GlobalValue.h"
#include "llvm/IR/InstIterator.h"
#include "llvm/IR/InstrTypes.h"
#include "llvm/IR/Instruction.h"
#include "llvm/IR/Instructions.h"
#include "llvm/IR/IntrinsicInst.h"
#include "llvm/IR/Intrinsics.h"
#include "llvm/IR/LLVMContext.h"
#include "llvm/IR/MDBuilder.h"
#include "llvm/IR/Module.h"
#include "llvm/IR/PatternMatch.h"
#include "llvm/IR/Type.h"
#include "llvm/IR/User.h"
#include "llvm/IR/Value.h"
#include "llvm/IR/Verifier.h"
#include "llvm/Support/BlockFrequency.h"
#include "llvm/Support/BranchProbability.h"
#include "llvm/Support/Casting.h"
#include "llvm/Support/CommandLine.h"
#include "llvm/Support/Debug.h"
#include "llvm/Support/ErrorHandling.h"
#include "llvm/Support/raw_ostream.h"
#include "llvm/Transforms/Utils/BasicBlockUtils.h"
#include <cassert>
#include <cstdint>
#include <iterator>
#include <map>
#include <utility>
#include <vector>
Go to the source code of this file.
Macros | |
#define | DEBUG_TYPE "code-extractor" |
Typedefs | |
using | ProfileCount = Function::ProfileCount |
Functions | |
static bool | isBlockValidForExtraction (const BasicBlock &BB, const SetVector< BasicBlock * > &Result, bool AllowVarArgs, bool AllowAlloca) |
Test whether a block is valid for extraction. | |
static SetVector< BasicBlock * > | buildExtractionBlockSet (ArrayRef< BasicBlock * > BBs, DominatorTree *DT, bool AllowVarArgs, bool AllowAlloca) |
Build a set of blocks to extract if the input blocks are viable. | |
static bool | definedInRegion (const SetVector< BasicBlock * > &Blocks, Value *V) |
definedInRegion - Return true if the specified value is defined in the extracted region. | |
static bool | definedInCaller (const SetVector< BasicBlock * > &Blocks, Value *V) |
definedInCaller - Return true if the specified value is defined in the function being code extracted, but not in the region being extracted. | |
static BasicBlock * | getCommonExitBlock (const SetVector< BasicBlock * > &Blocks) |
static void | eraseLifetimeMarkersOnInputs (const SetVector< BasicBlock * > &Blocks, const SetVector< Value * > &SunkAllocas, SetVector< Value * > &LifetimesStart) |
Erase lifetime.start markers which reference inputs to the extraction region, and insert the referenced memory into LifetimesStart . | |
static void | insertLifetimeMarkersSurroundingCall (Module *M, ArrayRef< Value * > LifetimesStart, ArrayRef< Value * > LifetimesEnd, CallInst *TheCall) |
Insert lifetime start/end markers surrounding the call to the new function for objects defined in the caller. | |
static void | eraseDebugIntrinsicsWithNonLocalRefs (Function &F) |
Erase debug info intrinsics which refer to values in F but aren't in F . | |
static void | fixupDebugInfoPostExtraction (Function &OldFunc, Function &NewFunc, CallInst &TheCall) |
Fix up the debug info in the old and new functions by pointing line locations and debug intrinsics to the new subprogram scope, and by deleting intrinsics which point to values outside of the new function. | |
Variables | |
static cl::opt< bool > | AggregateArgsOpt ("aggregate-extracted-args", cl::Hidden, cl::desc("Aggregate arguments to code-extracted functions")) |
#define DEBUG_TYPE "code-extractor" |
Definition at line 73 of file CodeExtractor.cpp.
using ProfileCount = Function::ProfileCount |
Definition at line 71 of file CodeExtractor.cpp.
|
static |
Build a set of blocks to extract if the input blocks are viable.
Definition at line 195 of file CodeExtractor.cpp.
References assert(), llvm::dbgs(), llvm::ArrayRef< T >::empty(), isBlockValidForExtraction(), llvm::DominatorTree::isReachableFromEntry(), LLVM_DEBUG, llvm_unreachable, and llvm::predecessors().
|
static |
definedInCaller - Return true if the specified value is defined in the function being code extracted, but not in the region being extracted.
These values must be passed in as live-ins to the function.
Definition at line 267 of file CodeExtractor.cpp.
Referenced by llvm::CodeExtractor::findInputsOutputs().
|
static |
definedInRegion - Return true if the specified value is defined in the extracted region.
Definition at line 257 of file CodeExtractor.cpp.
Referenced by eraseLifetimeMarkersOnInputs(), llvm::CodeExtractor::findAllocas(), and llvm::CodeExtractor::findInputsOutputs().
|
static |
Erase debug info intrinsics which refer to values in F
but aren't in F
.
Definition at line 1516 of file CodeExtractor.cpp.
References F, llvm::findDbgUsers(), I, and instructions.
Referenced by fixupDebugInfoPostExtraction().
|
static |
Erase lifetime.start markers which reference inputs to the extraction region, and insert the referenced memory into LifetimesStart
.
The extraction region is defined by a set of blocks (Blocks
), and a set of allocas which will be moved from the caller function into the extracted function (SunkAllocas
).
Definition at line 1080 of file CodeExtractor.cpp.
References Blocks, llvm::SetVector< T, Vector, Set, N >::count(), definedInRegion(), I, II, llvm::SetVector< T, Vector, Set, N >::insert(), and llvm::make_early_inc_range().
Referenced by llvm::CodeExtractor::extractCodeRegion().
|
static |
Fix up the debug info in the old and new functions by pointing line locations and debug intrinsics to the new subprogram scope, and by deleting intrinsics which point to values outside of the new function.
Definition at line 1533 of file CodeExtractor.cpp.
References llvm::any_of(), assert(), llvm::DILocalScope::cloneScopeForSubprogram(), llvm::DIBuilder::createAutoVariable(), llvm::DIBuilder::createFunction(), llvm::DIBuilder::createSubroutineType(), DL, eraseDebugIntrinsicsWithNonLocalRefs(), llvm::DIBuilder::finalizeSubprogram(), llvm::MDNode::get(), llvm::DbgVariableRecord::getAddress(), llvm::Function::getContext(), llvm::DbgRecord::getDebugLoc(), llvm::Instruction::getDebugLoc(), llvm::DIScope::getFile(), llvm::DILabel::getFile(), llvm::Instruction::getFunction(), llvm::DebugLoc::getInlinedAt(), llvm::DILabel::getLine(), llvm::DIScope::getName(), llvm::DILabel::getName(), llvm::Value::getName(), llvm::DIBuilder::getOrCreateTypeArray(), llvm::GlobalValue::getParent(), llvm::DILabel::getScope(), llvm::Function::getSubprogram(), llvm::DbgVariableRecord::getVariable(), I, instructions, llvm::DbgVariableRecord::isDbgAssign(), llvm::DbgVariableRecord::location_ops(), llvm::SmallVectorTemplateBase< T, bool >::push_back(), llvm::at::remapAssignID(), llvm::DebugLoc::replaceInlinedAtSubprogram(), llvm::Instruction::setDebugLoc(), llvm::Function::setSubprogram(), llvm::DbgVariableRecord::setVariable(), llvm::stripDebugInfo(), and llvm::updateLoopMetadataDebugLocations().
Referenced by llvm::CodeExtractor::extractCodeRegion().
|
static |
Definition at line 275 of file CodeExtractor.cpp.
References llvm::any_of(), llvm::Block, Blocks, and llvm::successors().
Referenced by llvm::CodeExtractor::findAllocas().
|
static |
Insert lifetime start/end markers surrounding the call to the new function for objects defined in the caller.
Definition at line 1105 of file CodeExtractor.cpp.
References assert(), llvm::CallInst::Create(), llvm::ArrayRef< T >::empty(), llvm::Intrinsic::getDeclaration(), llvm::Instruction::getFunction(), getFunction(), llvm::Type::getInt64Ty(), llvm::ilist_detail::node_parent_access< NodeTy, ParentTy >::getParent(), llvm::ConstantInt::getSigned(), and llvm::Instruction::insertBefore().
Referenced by llvm::CodeExtractor::extractCodeRegion().
|
static |
Test whether a block is valid for extraction.
Definition at line 84 of file CodeExtractor.cpp.
References llvm::BasicBlock::begin(), llvm::SmallVectorBase< Size_T >::empty(), llvm::BasicBlock::end(), F, getParent(), llvm::BasicBlock::hasAddressTaken(), I, II, llvm::SmallPtrSetImpl< PtrType >::insert(), llvm::User::operands(), llvm::SmallVectorImpl< T >::pop_back_val(), and llvm::SmallVectorTemplateBase< T, bool >::push_back().
Referenced by buildExtractionBlockSet().