17d523365SDimitry Andric //===-- ParallelCG.cpp ----------------------------------------------------===//
27d523365SDimitry Andric //
37d523365SDimitry Andric //                     The LLVM Compiler Infrastructure
47d523365SDimitry Andric //
57d523365SDimitry Andric // This file is distributed under the University of Illinois Open Source
67d523365SDimitry Andric // License. See LICENSE.TXT for details.
77d523365SDimitry Andric //
87d523365SDimitry Andric //===----------------------------------------------------------------------===//
97d523365SDimitry Andric //
107d523365SDimitry Andric // This file defines functions that can be used for parallel code generation.
117d523365SDimitry Andric //
127d523365SDimitry Andric //===----------------------------------------------------------------------===//
137d523365SDimitry Andric 
147d523365SDimitry Andric #include "llvm/CodeGen/ParallelCG.h"
15d88c1a5aSDimitry Andric #include "llvm/Bitcode/BitcodeReader.h"
16d88c1a5aSDimitry Andric #include "llvm/Bitcode/BitcodeWriter.h"
177d523365SDimitry Andric #include "llvm/IR/LLVMContext.h"
187d523365SDimitry Andric #include "llvm/IR/LegacyPassManager.h"
197d523365SDimitry Andric #include "llvm/IR/Module.h"
207d523365SDimitry Andric #include "llvm/Support/ErrorOr.h"
217d523365SDimitry Andric #include "llvm/Support/MemoryBuffer.h"
223ca95b02SDimitry Andric #include "llvm/Support/ThreadPool.h"
237d523365SDimitry Andric #include "llvm/Target/TargetMachine.h"
247d523365SDimitry Andric #include "llvm/Transforms/Utils/SplitModule.h"
257d523365SDimitry Andric 
267d523365SDimitry Andric using namespace llvm;
277d523365SDimitry Andric 
codegen(Module * M,llvm::raw_pwrite_stream & OS,function_ref<std::unique_ptr<TargetMachine> ()> TMFactory,TargetMachine::CodeGenFileType FileType)287d523365SDimitry Andric static void codegen(Module *M, llvm::raw_pwrite_stream &OS,
293ca95b02SDimitry Andric                     function_ref<std::unique_ptr<TargetMachine>()> TMFactory,
307d523365SDimitry Andric                     TargetMachine::CodeGenFileType FileType) {
313ca95b02SDimitry Andric   std::unique_ptr<TargetMachine> TM = TMFactory();
327d523365SDimitry Andric   legacy::PassManager CodeGenPasses;
33*4ba319b5SDimitry Andric   if (TM->addPassesToEmitFile(CodeGenPasses, OS, nullptr, FileType))
347d523365SDimitry Andric     report_fatal_error("Failed to setup codegen");
357d523365SDimitry Andric   CodeGenPasses.run(*M);
367d523365SDimitry Andric }
377d523365SDimitry Andric 
splitCodeGen(std::unique_ptr<Module> M,ArrayRef<llvm::raw_pwrite_stream * > OSs,ArrayRef<llvm::raw_pwrite_stream * > BCOSs,const std::function<std::unique_ptr<TargetMachine> ()> & TMFactory,TargetMachine::CodeGenFileType FileType,bool PreserveLocals)383ca95b02SDimitry Andric std::unique_ptr<Module> llvm::splitCodeGen(
393ca95b02SDimitry Andric     std::unique_ptr<Module> M, ArrayRef<llvm::raw_pwrite_stream *> OSs,
403ca95b02SDimitry Andric     ArrayRef<llvm::raw_pwrite_stream *> BCOSs,
413ca95b02SDimitry Andric     const std::function<std::unique_ptr<TargetMachine>()> &TMFactory,
423ca95b02SDimitry Andric     TargetMachine::CodeGenFileType FileType, bool PreserveLocals) {
433ca95b02SDimitry Andric   assert(BCOSs.empty() || BCOSs.size() == OSs.size());
447d523365SDimitry Andric 
457d523365SDimitry Andric   if (OSs.size() == 1) {
463ca95b02SDimitry Andric     if (!BCOSs.empty())
47*4ba319b5SDimitry Andric       WriteBitcodeToFile(*M, *BCOSs[0]);
483ca95b02SDimitry Andric     codegen(M.get(), *OSs[0], TMFactory, FileType);
497d523365SDimitry Andric     return M;
507d523365SDimitry Andric   }
517d523365SDimitry Andric 
523ca95b02SDimitry Andric   // Create ThreadPool in nested scope so that threads will be joined
533ca95b02SDimitry Andric   // on destruction.
543ca95b02SDimitry Andric   {
553ca95b02SDimitry Andric     ThreadPool CodegenThreadPool(OSs.size());
563ca95b02SDimitry Andric     int ThreadCount = 0;
573ca95b02SDimitry Andric 
583ca95b02SDimitry Andric     SplitModule(
593ca95b02SDimitry Andric         std::move(M), OSs.size(),
603ca95b02SDimitry Andric         [&](std::unique_ptr<Module> MPart) {
613ca95b02SDimitry Andric           // We want to clone the module in a new context to multi-thread the
623ca95b02SDimitry Andric           // codegen. We do it by serializing partition modules to bitcode
633ca95b02SDimitry Andric           // (while still on the main thread, in order to avoid data races) and
643ca95b02SDimitry Andric           // spinning up new threads which deserialize the partitions into
653ca95b02SDimitry Andric           // separate contexts.
667d523365SDimitry Andric           // FIXME: Provide a more direct way to do this in LLVM.
673ca95b02SDimitry Andric           SmallString<0> BC;
687d523365SDimitry Andric           raw_svector_ostream BCOS(BC);
69*4ba319b5SDimitry Andric           WriteBitcodeToFile(*MPart, BCOS);
707d523365SDimitry Andric 
713ca95b02SDimitry Andric           if (!BCOSs.empty()) {
723ca95b02SDimitry Andric             BCOSs[ThreadCount]->write(BC.begin(), BC.size());
733ca95b02SDimitry Andric             BCOSs[ThreadCount]->flush();
743ca95b02SDimitry Andric           }
753ca95b02SDimitry Andric 
763ca95b02SDimitry Andric           llvm::raw_pwrite_stream *ThreadOS = OSs[ThreadCount++];
773ca95b02SDimitry Andric           // Enqueue the task
783ca95b02SDimitry Andric           CodegenThreadPool.async(
793ca95b02SDimitry Andric               [TMFactory, FileType, ThreadOS](const SmallString<0> &BC) {
807d523365SDimitry Andric                 LLVMContext Ctx;
81d88c1a5aSDimitry Andric                 Expected<std::unique_ptr<Module>> MOrErr = parseBitcodeFile(
823ca95b02SDimitry Andric                     MemoryBufferRef(StringRef(BC.data(), BC.size()),
837d523365SDimitry Andric                                     "<split-module>"),
847d523365SDimitry Andric                     Ctx);
857d523365SDimitry Andric                 if (!MOrErr)
867d523365SDimitry Andric                   report_fatal_error("Failed to read bitcode");
877d523365SDimitry Andric                 std::unique_ptr<Module> MPartInCtx = std::move(MOrErr.get());
887d523365SDimitry Andric 
893ca95b02SDimitry Andric                 codegen(MPartInCtx.get(), *ThreadOS, TMFactory, FileType);
907d523365SDimitry Andric               },
917d523365SDimitry Andric               // Pass BC using std::move to ensure that it get moved rather than
927d523365SDimitry Andric               // copied into the thread's context.
937d523365SDimitry Andric               std::move(BC));
943ca95b02SDimitry Andric         },
953ca95b02SDimitry Andric         PreserveLocals);
963ca95b02SDimitry Andric   }
977d523365SDimitry Andric 
987d523365SDimitry Andric   return {};
997d523365SDimitry Andric }
100