20bool ReOptimizeLayer::ReOptMaterializationUnitState::tryStartReoptimize() {
21 std::unique_lock<std::mutex> Lock(
Mutex);
29void ReOptimizeLayer::ReOptMaterializationUnitState::reoptimizeSucceeded() {
30 std::unique_lock<std::mutex> Lock(
Mutex);
31 assert(Reoptimizing &&
"Tried to mark unstarted reoptimization as done");
36void ReOptimizeLayer::ReOptMaterializationUnitState::reoptimizeFailed() {
37 std::unique_lock<std::mutex> Lock(
Mutex);
38 assert(Reoptimizing &&
"Tried to mark unstarted reoptimization as done");
52 if (!SPSArgs::serialize(OB, MUID, CurVersion)) {
54 <<
"Reoptimization error: could not serialize reoptimization arguments";
58 JITDispatch(JITDispatchCtx, Tag, ArgBytes.data(), ArgBytes.size())};
61 errs() <<
"Reoptimization error: " << ErrMsg <<
"\naborting.\n";
68 auto Ctx = std::make_unique<LLVMContext>();
69 auto Mod = std::make_unique<Module>(
"orc-rt-lite-reoptimize.ll", *Ctx);
70 Mod->setDataLayout(
DL);
71 Mod->setTargetTriple(ES.getTargetTriple());
84 VoidTy, {VoidPtrTy, VoidPtrTy, VoidPtrTy, Int64Ty, Int32Ty},
false);
89 ConstantInt::get(Int8Ty, 0),
"__orc_rt_reoptimize_tag");
97 "__orc_rt_reoptimize",
Mod.get());
100 auto ArgIt = ReOptimizeFn->arg_begin();
101 Value *MUID = &*ArgIt++;
103 Value *CurVersion = &*ArgIt;
104 CurVersion->
setName(
"CurVersion");
108 Builder.SetInsertPoint(Entry);
113 {recordAddr(rt::DispatchName, &JITDispatchSym),
114 recordAddr(rt::DispatchCtxName, &JITDispatchCtxSym)}))
128 Value *ReoptimizeTagPtr = Builder.CreatePointerCast(ReoptimizeTag, VoidPtrTy);
132 HelperFnTy, HelperFnAddr,
133 {JITDispatchPtr, JITDispatchCtxPtr, ReoptimizeTagPtr, MUID, CurVersion});
136 Builder.CreateRetVoid();
138 return BaseLayer.add(PlatformJD,
143 return ES.registerCallControllerHandlers(
146 this, &ReOptimizeLayer::rt_reoptimize));
151 auto &JD = R->getTargetJITDylib();
153 bool HasNonCallable =
false;
154 for (
auto &KV : R->getSymbols()) {
155 auto &Flags = KV.second;
156 if (!Flags.isCallable())
157 HasNonCallable =
true;
160 if (HasNonCallable) {
161 BaseLayer.emit(std::move(R), std::move(TSM));
165 auto &MUState = createMaterializationUnitState(TSM);
168 registerMaterializationUnitResource(Key, MUState);
170 ES.reportError(std::move(Err));
171 R->failMaterialization();
176 ProfilerFunc(*
this, MUState.getID(), MUState.getCurVersion(), TSM)) {
177 ES.reportError(std::move(Err));
178 R->failMaterialization();
183 emitMUImplSymbols(MUState, MUState.getCurVersion(), JD, std::move(TSM));
185 ES.reportError(InitialDests.takeError());
186 R->failMaterialization();
190 RSManager.emitRedirectableSymbols(std::move(R), std::move(*InitialDests));
203 if (
F.isDeclaration())
205 auto &BB =
F.getEntryBlock();
206 auto *IP = &*BB.getFirstInsertionPt();
222ReOptimizeLayer::emitMUImplSymbols(ReOptMaterializationUnitState &MUState,
227 MangleAndInterner Mangle(ES, M.getDataLayout());
229 if (!F.isDeclaration()) {
230 std::string NewName =
231 (F.getName() +
".__def__." + Twine(Version)).str();
232 RenamedMap[Mangle(F.getName())] = Mangle(NewName);
238 auto RT = JD.createResourceTracker();
240 JD.define(std::make_unique<BasicIRLayerMaterializationUnit>(
244 MUState.setResourceTracker(RT);
247 for (
auto [
K, V] : RenamedMap)
248 LookupSymbols.
add(V);
253 if (
auto Err = ImplSymbols.takeError())
257 for (
auto [K,
V] : RenamedMap)
263void ReOptimizeLayer::rt_reoptimize(SendErrorFn SendResult,
265 uint32_t CurVersion) {
266 auto &MUState = getMaterializationUnitState(MUID);
267 if (CurVersion < MUState.getCurVersion() || !MUState.tryStartReoptimize()) {
273 auto OldRT = MUState.getResourceTracker();
274 auto &JD = OldRT->getJITDylib();
276 if (
auto Err = ReOptFunc(*
this, MUID, CurVersion + 1, OldRT, TSM)) {
277 ES.reportError(std::move(Err));
278 MUState.reoptimizeFailed();
284 emitMUImplSymbols(MUState, CurVersion + 1, JD, std::move(TSM));
286 ES.reportError(SymbolDests.takeError());
287 MUState.reoptimizeFailed();
292 if (
auto Err = RSManager.redirect(JD, std::move(*SymbolDests))) {
293 ES.reportError(std::move(Err));
294 MUState.reoptimizeFailed();
299 MUState.reoptimizeSucceeded();
309 if (!ReoptimizeFunc) {
310 std::vector<Type *> ArgTys = {MUIDTy, VersionTy};
314 "__orc_rt_reoptimize", &M);
316 Constant *MUIDArg = ConstantInt::get(MUIDTy, MUID,
false);
317 Constant *CurVersionArg = ConstantInt::get(VersionTy, CurVersion,
false);
319 (void)IRB.
CreateCall(ReoptimizeFunc, {MUIDArg, CurVersionArg});
322ReOptimizeLayer::ReOptMaterializationUnitState &
323ReOptimizeLayer::createMaterializationUnitState(
const ThreadSafeModule &TSM) {
324 std::unique_lock<std::mutex> Lock(
Mutex);
326 MUStates.emplace(MUID,
329 return MUStates.at(MUID);
332ReOptimizeLayer::ReOptMaterializationUnitState &
334 std::unique_lock<std::mutex> Lock(
Mutex);
335 return MUStates.at(MUID);
338void ReOptimizeLayer::registerMaterializationUnitResource(
340 std::unique_lock<std::mutex> Lock(
Mutex);
341 MUResources[
Key].insert(State.getID());
345 std::unique_lock<std::mutex> Lock(Mutex);
346 for (
auto MUID : MUResources[
K])
347 MUStates.erase(MUID);
349 MUResources.erase(
K);
355 std::unique_lock<std::mutex> Lock(Mutex);
356 MUResources[DstK].insert_range(MUResources[SrcK]);
357 MUResources.erase(SrcK);
assert(UImm &&(UImm !=~static_cast< T >(0)) &&"Invalid immediate!")
MachineBasicBlock MachineBasicBlock::iterator DebugLoc DL
static void orc_rt_lite_reoptimize_helper(shared::CWrapperFunctionBuffer(*JITDispatch)(void *Ctx, const void *Tag, const char *Data, size_t Size), void *JITDispatchCtx, const void *Tag, uint64_t MUID, uint32_t CurVersion)
LLVM Basic Block Representation.
static BasicBlock * Create(LLVMContext &Context, const Twine &Name="", Function *Parent=nullptr, BasicBlock *InsertBefore=nullptr)
Creates a new BasicBlock.
static LLVM_ABI Constant * getIntToPtr(Constant *C, Type *Ty, bool OnlyIfReduced=false)
This is an important base class in LLVM.
static LLVM_ABI Constant * getNullValue(Type *Ty)
Constructor to create a '0' constant of arbitrary type.
A parsed version of the target data layout string in and methods for querying it.
Lightweight error class with error context and mandatory checking.
static ErrorSuccess success()
Create a success value.
Tagged union holding either a T or a Error.
Class to represent function types.
static LLVM_ABI FunctionType * get(Type *Result, ArrayRef< Type * > Params, bool isVarArg)
This static method is the primary way of constructing a FunctionType.
static Function * Create(FunctionType *Ty, LinkageTypes Linkage, unsigned AddrSpace, const Twine &N="", Module *M=nullptr)
const Function & getFunction() const
@ InternalLinkage
Rename collisions when linking (static functions).
@ ExternalLinkage
Externally visible function.
Value * CreateICmpEQ(Value *LHS, Value *RHS, const Twine &Name="")
LoadInst * CreateLoad(Type *Ty, Value *Ptr, const char *Name)
Provided to resolve 'CreateLoad(Ty, Ptr, "...")' correctly, instead of converting the string to 'bool...
StoreInst * CreateStore(Value *Val, Value *Ptr, bool isVolatile=false)
Value * CreateAdd(Value *LHS, Value *RHS, const Twine &Name="", bool HasNUW=false, bool HasNSW=false)
CallInst * CreateCall(FunctionType *FTy, Value *Callee, ArrayRef< Value * > Args={}, const Twine &Name="", MDNode *FPMathTag=nullptr)
This provides a uniform API for creating instructions and inserting them into a basic block: either a...
static LLVM_ABI IntegerType * get(LLVMContext &C, unsigned NumBits)
This static method is the primary way of constructing an IntegerType.
A Module instance is used to store all the information related to an LLVM module.
static PointerType * getUnqual(LLVMContext &C)
This constructs an opaque pointer to an object in the default address space (address space zero).
The instances of the Type class are immutable: once they are created, they are never changed.
static LLVM_ABI IntegerType * getInt64Ty(LLVMContext &C)
static LLVM_ABI IntegerType * getInt32Ty(LLVMContext &C)
static LLVM_ABI Type * getVoidTy(LLVMContext &C)
static LLVM_ABI IntegerType * getInt8Ty(LLVMContext &C)
LLVM_ABI void setName(const Twine &Name)
Change the name of the value.
LLVM_ABI void lookup(LookupKind K, const JITDylibSearchOrder &SearchOrder, SymbolLookupSet Symbols, SymbolState RequiredState, SymbolsResolvedCallback NotifyComplete, RegisterDependenciesFunction RegisterDependencies)
Search the given JITDylibs for the given symbols.
Represents an address in the executor process.
uint64_t getValue() const
const IRSymbolMapper::ManglingOptions *& getManglingOptions() const
Get the mangling options for this layer.
Represents a JIT'd dynamic library.
Error registerRuntimeFunctions(JITDylib &PlatformJD)
Registers reoptimize runtime dispatch handlers to given PlatformJD.
ReOptimizeLayer(ExecutionSession &ES, DataLayout &DL, IRLayer &BaseLayer, RedirectableSymbolManager &RM)
void emit(std::unique_ptr< MaterializationResponsibility > R, ThreadSafeModule TSM) override
Emits the given module.
static void createReoptimizeCall(Module &M, Instruction &IP, ReOptMaterializationUnitID MUID, unsigned CurVersion)
uint64_t ReOptMaterializationUnitID
void handleTransferResources(JITDylib &JD, ResourceKey DstK, ResourceKey SrcK) override
This function will be called inside the session lock.
Error addOrcRTLiteSupport(JITDylib &PlatformJD, const DataLayout &DL)
Add ORC Runtime-lite support for reoptimization to PlatformJD.
static Error reoptimizeIfCallFrequent(ReOptimizeLayer &Parent, ReOptMaterializationUnitID MUID, unsigned CurVersion, ThreadSafeModule &TSM)
Basic AddProfilerFunc that reoptimizes the function when the call count exceeds CallCountThreshold.
Error handleRemoveResources(JITDylib &JD, ResourceKey K) override
This function will be called outside the session lock.
static const uint64_t CallCountThreshold
A set of symbols to look up, each associated with a SymbolLookupFlags value.
SymbolLookupSet & add(SymbolStringPtr Name, SymbolLookupFlags Flags=SymbolLookupFlags::RequiredSymbol)
Add an element to the set.
A symbol name together with the naming level (SymbolNameKind) it is expressed in, so that a Mangler /...
static constexpr SymbolNameSpec c(StringRef Name)
An LLVM Module together with a shared ThreadSafeContext.
decltype(auto) withModuleDo(Func &&F)
Locks the associated ThreadSafeContext and calls the given function on the contained Module.
A utility class for serializing to a blob from a variadic list.
Output char buffer with overflow check.
C++ wrapper function buffer: Same as CWrapperFunctionBuffer but auto-releases memory.
const char * getOutOfBandError() const
If this value is an out-of-band error then this returns the error message, otherwise returns nullptr.
static WrapperFunctionBuffer allocate(size_t Size)
Create a WrapperFunctionBuffer with the given size and return a pointer to the underlying memory.
Base class for specs that bind handlers for calls with the SPS signature SPSSigT.
ExecutionSession::CallControllerHandlerBinding bindCallControllerHandler(HandlerT &&H, SymbolLookupFlags LF=SymbolLookupFlags::RequiredSymbol)
Bind H, using the given spec, to the tag with the spec's default name.
LLVM_ABI void lookupAndApply(unique_function< void(Error)> OnApplied, LookupKind K, const JITDylibSearchOrder &SearchOrder, ArrayRef< LookupPrepareFn > PrepareFns)
Resolve the symbols contributed by every prepare function with a single lookup, then let each of thei...
DenseMap< SymbolStringPtr, ExecutorSymbolDef > SymbolMap
A map from symbol names (as SymbolStringPtrs) to JITSymbols (address/flags pairs).
LLVM_ABI ThreadSafeModule cloneToNewContext(const ThreadSafeModule &TSMW, GVPredicate ShouldCloneDef=GVPredicate(), GVModifier UpdateClonedDefSource=GVModifier())
Clones the given module on to a new context.
@ Resolved
Queried, materialization begun.
SmartMutex< false > Mutex
Mutex - A standard, always enforced mutex.
This is an optimization pass for GlobalISel generic memory operations.
LLVM_ATTRIBUTE_VISIBILITY_DEFAULT AnalysisKey InnerAnalysisManagerProxy< AnalysisManagerT, IRUnitT, ExtraArgTs... >::Key
LLVM_ABI raw_fd_ostream & errs()
This returns a reference to a raw_ostream for standard error.
@ Mod
The access may modify the value stored in memory.
void cantFail(Error Err, const char *Msg=nullptr)
Report a fatal error if Err is a failure value.
LLVM_ABI Instruction * SplitBlockAndInsertIfThen(Value *Cond, BasicBlock::iterator SplitBefore, bool Unreachable, MDNode *BranchWeights=nullptr, DomTreeUpdater *DTU=nullptr, LoopInfo *LI=nullptr, BasicBlock *ThenBlock=nullptr)
Split the containing block at the specified instruction - everything before SplitBefore stays in the ...
static constexpr SymbolNameSpec Name