1 //===----- CompileOnDemandLayer.cpp - Lazily emit IR on first call --------===// 2 // 3 // Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions. 4 // See https://llvm.org/LICENSE.txt for license information. 5 // SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception 6 // 7 //===----------------------------------------------------------------------===// 8 9 #include "llvm/ExecutionEngine/Orc/CompileOnDemandLayer.h" 10 11 #include "llvm/ADT/Hashing.h" 12 #include "llvm/ExecutionEngine/Orc/ExecutionUtils.h" 13 #include "llvm/IR/Mangler.h" 14 #include "llvm/IR/Module.h" 15 #include "llvm/Support/FormatVariadic.h" 16 17 using namespace llvm; 18 using namespace llvm::orc; 19 20 static ThreadSafeModule extractSubModule(ThreadSafeModule &TSM, 21 StringRef Suffix, 22 GVPredicate ShouldExtract) { 23 24 auto DeleteExtractedDefs = [](GlobalValue &GV) { 25 // Bump the linkage: this global will be provided by the external module. 26 GV.setLinkage(GlobalValue::ExternalLinkage); 27 28 // Delete the definition in the source module. 29 if (isa<Function>(GV)) { 30 auto &F = cast<Function>(GV); 31 F.deleteBody(); 32 F.setPersonalityFn(nullptr); 33 } else if (isa<GlobalVariable>(GV)) { 34 cast<GlobalVariable>(GV).setInitializer(nullptr); 35 } else if (isa<GlobalAlias>(GV)) { 36 // We need to turn deleted aliases into function or variable decls based 37 // on the type of their aliasee. 38 auto &A = cast<GlobalAlias>(GV); 39 Constant *Aliasee = A.getAliasee(); 40 assert(A.hasName() && "Anonymous alias?"); 41 assert(Aliasee->hasName() && "Anonymous aliasee"); 42 std::string AliasName = std::string(A.getName()); 43 44 if (isa<Function>(Aliasee)) { 45 auto *F = cloneFunctionDecl(*A.getParent(), *cast<Function>(Aliasee)); 46 A.replaceAllUsesWith(F); 47 A.eraseFromParent(); 48 F->setName(AliasName); 49 } else if (isa<GlobalVariable>(Aliasee)) { 50 auto *G = cloneGlobalVariableDecl(*A.getParent(), 51 *cast<GlobalVariable>(Aliasee)); 52 A.replaceAllUsesWith(G); 53 A.eraseFromParent(); 54 G->setName(AliasName); 55 } else 56 llvm_unreachable("Alias to unsupported type"); 57 } else 58 llvm_unreachable("Unsupported global type"); 59 }; 60 61 auto NewTSM = cloneToNewContext(TSM, ShouldExtract, DeleteExtractedDefs); 62 NewTSM.withModuleDo([&](Module &M) { 63 M.setModuleIdentifier((M.getModuleIdentifier() + Suffix).str()); 64 }); 65 66 return NewTSM; 67 } 68 69 namespace llvm { 70 namespace orc { 71 72 class PartitioningIRMaterializationUnit : public IRMaterializationUnit { 73 public: 74 PartitioningIRMaterializationUnit(ExecutionSession &ES, 75 const IRSymbolMapper::ManglingOptions &MO, 76 ThreadSafeModule TSM, VModuleKey K, 77 CompileOnDemandLayer &Parent) 78 : IRMaterializationUnit(ES, MO, std::move(TSM), std::move(K)), 79 Parent(Parent) {} 80 81 PartitioningIRMaterializationUnit( 82 ThreadSafeModule TSM, VModuleKey K, SymbolFlagsMap SymbolFlags, 83 SymbolStringPtr InitSymbol, SymbolNameToDefinitionMap SymbolToDefinition, 84 CompileOnDemandLayer &Parent) 85 : IRMaterializationUnit(std::move(TSM), std::move(K), 86 std::move(SymbolFlags), std::move(InitSymbol), 87 std::move(SymbolToDefinition)), 88 Parent(Parent) {} 89 90 private: 91 void materialize(MaterializationResponsibility R) override { 92 Parent.emitPartition(std::move(R), std::move(TSM), 93 std::move(SymbolToDefinition)); 94 } 95 96 void discard(const JITDylib &V, const SymbolStringPtr &Name) override { 97 // All original symbols were materialized by the CODLayer and should be 98 // final. The function bodies provided by M should never be overridden. 99 llvm_unreachable("Discard should never be called on an " 100 "ExtractingIRMaterializationUnit"); 101 } 102 103 mutable std::mutex SourceModuleMutex; 104 CompileOnDemandLayer &Parent; 105 }; 106 107 Optional<CompileOnDemandLayer::GlobalValueSet> 108 CompileOnDemandLayer::compileRequested(GlobalValueSet Requested) { 109 return std::move(Requested); 110 } 111 112 Optional<CompileOnDemandLayer::GlobalValueSet> 113 CompileOnDemandLayer::compileWholeModule(GlobalValueSet Requested) { 114 return None; 115 } 116 117 CompileOnDemandLayer::CompileOnDemandLayer( 118 ExecutionSession &ES, IRLayer &BaseLayer, LazyCallThroughManager &LCTMgr, 119 IndirectStubsManagerBuilder BuildIndirectStubsManager) 120 : IRLayer(ES, BaseLayer.getManglingOptions()), BaseLayer(BaseLayer), 121 LCTMgr(LCTMgr), 122 BuildIndirectStubsManager(std::move(BuildIndirectStubsManager)) {} 123 124 void CompileOnDemandLayer::setPartitionFunction(PartitionFunction Partition) { 125 this->Partition = std::move(Partition); 126 } 127 128 void CompileOnDemandLayer::setImplMap(ImplSymbolMap *Imp) { 129 this->AliaseeImpls = Imp; 130 } 131 void CompileOnDemandLayer::emit(MaterializationResponsibility R, 132 ThreadSafeModule TSM) { 133 assert(TSM && "Null module"); 134 135 auto &ES = getExecutionSession(); 136 137 // Sort the callables and non-callables, build re-exports and lodge the 138 // actual module with the implementation dylib. 139 auto &PDR = getPerDylibResources(R.getTargetJITDylib()); 140 141 SymbolAliasMap NonCallables; 142 SymbolAliasMap Callables; 143 TSM.withModuleDo([&](Module &M) { 144 // First, do some cleanup on the module: 145 cleanUpModule(M); 146 }); 147 148 for (auto &KV : R.getSymbols()) { 149 auto &Name = KV.first; 150 auto &Flags = KV.second; 151 if (Flags.isCallable()) 152 Callables[Name] = SymbolAliasMapEntry(Name, Flags); 153 else 154 NonCallables[Name] = SymbolAliasMapEntry(Name, Flags); 155 } 156 157 // Create a partitioning materialization unit and lodge it with the 158 // implementation dylib. 159 if (auto Err = PDR.getImplDylib().define( 160 std::make_unique<PartitioningIRMaterializationUnit>( 161 ES, *getManglingOptions(), std::move(TSM), R.getVModuleKey(), 162 *this))) { 163 ES.reportError(std::move(Err)); 164 R.failMaterialization(); 165 return; 166 } 167 168 if (!NonCallables.empty()) 169 R.replace(reexports(PDR.getImplDylib(), std::move(NonCallables), 170 JITDylibLookupFlags::MatchAllSymbols)); 171 if (!Callables.empty()) 172 R.replace(lazyReexports(LCTMgr, PDR.getISManager(), PDR.getImplDylib(), 173 std::move(Callables), AliaseeImpls)); 174 } 175 176 CompileOnDemandLayer::PerDylibResources & 177 CompileOnDemandLayer::getPerDylibResources(JITDylib &TargetD) { 178 auto I = DylibResources.find(&TargetD); 179 if (I == DylibResources.end()) { 180 auto &ImplD = 181 getExecutionSession().createBareJITDylib(TargetD.getName() + ".impl"); 182 JITDylibSearchOrder NewLinkOrder; 183 TargetD.withLinkOrderDo([&](const JITDylibSearchOrder &TargetLinkOrder) { 184 NewLinkOrder = TargetLinkOrder; 185 }); 186 187 assert(!NewLinkOrder.empty() && NewLinkOrder.front().first == &TargetD && 188 NewLinkOrder.front().second == 189 JITDylibLookupFlags::MatchAllSymbols && 190 "TargetD must be at the front of its own search order and match " 191 "non-exported symbol"); 192 NewLinkOrder.insert(std::next(NewLinkOrder.begin()), 193 {&ImplD, JITDylibLookupFlags::MatchAllSymbols}); 194 ImplD.setLinkOrder(NewLinkOrder, false); 195 TargetD.setLinkOrder(std::move(NewLinkOrder), false); 196 197 PerDylibResources PDR(ImplD, BuildIndirectStubsManager()); 198 I = DylibResources.insert(std::make_pair(&TargetD, std::move(PDR))).first; 199 } 200 201 return I->second; 202 } 203 204 void CompileOnDemandLayer::cleanUpModule(Module &M) { 205 for (auto &F : M.functions()) { 206 if (F.isDeclaration()) 207 continue; 208 209 if (F.hasAvailableExternallyLinkage()) { 210 F.deleteBody(); 211 F.setPersonalityFn(nullptr); 212 continue; 213 } 214 } 215 } 216 217 void CompileOnDemandLayer::expandPartition(GlobalValueSet &Partition) { 218 // Expands the partition to ensure the following rules hold: 219 // (1) If any alias is in the partition, its aliasee is also in the partition. 220 // (2) If any aliasee is in the partition, its aliases are also in the 221 // partiton. 222 // (3) If any global variable is in the partition then all global variables 223 // are in the partition. 224 assert(!Partition.empty() && "Unexpected empty partition"); 225 226 const Module &M = *(*Partition.begin())->getParent(); 227 bool ContainsGlobalVariables = false; 228 std::vector<const GlobalValue *> GVsToAdd; 229 230 for (auto *GV : Partition) 231 if (isa<GlobalAlias>(GV)) 232 GVsToAdd.push_back( 233 cast<GlobalValue>(cast<GlobalAlias>(GV)->getAliasee())); 234 else if (isa<GlobalVariable>(GV)) 235 ContainsGlobalVariables = true; 236 237 for (auto &A : M.aliases()) 238 if (Partition.count(cast<GlobalValue>(A.getAliasee()))) 239 GVsToAdd.push_back(&A); 240 241 if (ContainsGlobalVariables) 242 for (auto &G : M.globals()) 243 GVsToAdd.push_back(&G); 244 245 for (auto *GV : GVsToAdd) 246 Partition.insert(GV); 247 } 248 249 void CompileOnDemandLayer::emitPartition( 250 MaterializationResponsibility R, ThreadSafeModule TSM, 251 IRMaterializationUnit::SymbolNameToDefinitionMap Defs) { 252 253 // FIXME: Need a 'notify lazy-extracting/emitting' callback to tie the 254 // extracted module key, extracted module, and source module key 255 // together. This could be used, for example, to provide a specific 256 // memory manager instance to the linking layer. 257 258 auto &ES = getExecutionSession(); 259 GlobalValueSet RequestedGVs; 260 for (auto &Name : R.getRequestedSymbols()) { 261 if (Name == R.getInitializerSymbol()) 262 TSM.withModuleDo([&](Module &M) { 263 for (auto &GV : getStaticInitGVs(M)) 264 RequestedGVs.insert(&GV); 265 }); 266 else { 267 assert(Defs.count(Name) && "No definition for symbol"); 268 RequestedGVs.insert(Defs[Name]); 269 } 270 } 271 272 /// Perform partitioning with the context lock held, since the partition 273 /// function is allowed to access the globals to compute the partition. 274 auto GVsToExtract = 275 TSM.withModuleDo([&](Module &M) { return Partition(RequestedGVs); }); 276 277 // Take a 'None' partition to mean the whole module (as opposed to an empty 278 // partition, which means "materialize nothing"). Emit the whole module 279 // unmodified to the base layer. 280 if (GVsToExtract == None) { 281 Defs.clear(); 282 BaseLayer.emit(std::move(R), std::move(TSM)); 283 return; 284 } 285 286 // If the partition is empty, return the whole module to the symbol table. 287 if (GVsToExtract->empty()) { 288 R.replace(std::make_unique<PartitioningIRMaterializationUnit>( 289 std::move(TSM), R.getVModuleKey(), R.getSymbols(), 290 R.getInitializerSymbol(), std::move(Defs), *this)); 291 return; 292 } 293 294 // Ok -- we actually need to partition the symbols. Promote the symbol 295 // linkages/names, expand the partition to include any required symbols 296 // (i.e. symbols that can't be separated from our partition), and 297 // then extract the partition. 298 // 299 // FIXME: We apply this promotion once per partitioning. It's safe, but 300 // overkill. 301 auto ExtractedTSM = 302 TSM.withModuleDo([&](Module &M) -> Expected<ThreadSafeModule> { 303 auto PromotedGlobals = PromoteSymbols(M); 304 if (!PromotedGlobals.empty()) { 305 306 MangleAndInterner Mangle(ES, M.getDataLayout()); 307 SymbolFlagsMap SymbolFlags; 308 IRSymbolMapper::add(ES, *getManglingOptions(), 309 PromotedGlobals, SymbolFlags); 310 311 if (auto Err = R.defineMaterializing(SymbolFlags)) 312 return std::move(Err); 313 } 314 315 expandPartition(*GVsToExtract); 316 317 // Submodule name is given by hashing the names of the globals. 318 std::string SubModuleName; 319 { 320 std::vector<const GlobalValue*> HashGVs; 321 HashGVs.reserve(GVsToExtract->size()); 322 for (auto *GV : *GVsToExtract) 323 HashGVs.push_back(GV); 324 llvm::sort(HashGVs, [](const GlobalValue *LHS, const GlobalValue *RHS) { 325 return LHS->getName() < RHS->getName(); 326 }); 327 hash_code HC(0); 328 for (auto *GV : HashGVs) { 329 assert(GV->hasName() && "All GVs to extract should be named by now"); 330 auto GVName = GV->getName(); 331 HC = hash_combine(HC, hash_combine_range(GVName.begin(), GVName.end())); 332 } 333 raw_string_ostream(SubModuleName) 334 << ".submodule." 335 << formatv(sizeof(size_t) == 8 ? "{0:x16}" : "{0:x8}", 336 static_cast<size_t>(HC)) 337 << ".ll"; 338 } 339 340 // Extract the requested partiton (plus any necessary aliases) and 341 // put the rest back into the impl dylib. 342 auto ShouldExtract = [&](const GlobalValue &GV) -> bool { 343 return GVsToExtract->count(&GV); 344 }; 345 346 return extractSubModule(TSM, SubModuleName , ShouldExtract); 347 }); 348 349 if (!ExtractedTSM) { 350 ES.reportError(ExtractedTSM.takeError()); 351 R.failMaterialization(); 352 return; 353 } 354 355 R.replace(std::make_unique<PartitioningIRMaterializationUnit>( 356 ES, *getManglingOptions(), std::move(TSM), R.getVModuleKey(), *this)); 357 BaseLayer.emit(std::move(R), std::move(*ExtractedTSM)); 358 } 359 360 } // end namespace orc 361 } // end namespace llvm 362