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