1 //===- DirectXTargetMachine.cpp - DirectX Target Implementation -*- C++ -*-===// 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 /// \file 10 /// This file contains DirectX target initializer. 11 /// 12 //===----------------------------------------------------------------------===// 13 14 #include "DirectXTargetMachine.h" 15 #include "DXILResourceAnalysis.h" 16 #include "DXILShaderFlags.h" 17 #include "DXILWriter/DXILWriterPass.h" 18 #include "DirectX.h" 19 #include "DirectXSubtarget.h" 20 #include "DirectXTargetTransformInfo.h" 21 #include "TargetInfo/DirectXTargetInfo.h" 22 #include "llvm/CodeGen/MachineModuleInfo.h" 23 #include "llvm/CodeGen/Passes.h" 24 #include "llvm/CodeGen/TargetPassConfig.h" 25 #include "llvm/IR/IRPrintingPasses.h" 26 #include "llvm/IR/LegacyPassManager.h" 27 #include "llvm/MC/MCSectionDXContainer.h" 28 #include "llvm/MC/SectionKind.h" 29 #include "llvm/MC/TargetRegistry.h" 30 #include "llvm/Passes/PassBuilder.h" 31 #include "llvm/Support/CodeGen.h" 32 #include "llvm/Support/Compiler.h" 33 #include "llvm/Support/ErrorHandling.h" 34 #include "llvm/Target/TargetLoweringObjectFile.h" 35 36 using namespace llvm; 37 38 extern "C" LLVM_EXTERNAL_VISIBILITY void LLVMInitializeDirectXTarget() { 39 RegisterTargetMachine<DirectXTargetMachine> X(getTheDirectXTarget()); 40 auto *PR = PassRegistry::getPassRegistry(); 41 initializeDXILPrepareModulePass(*PR); 42 initializeEmbedDXILPassPass(*PR); 43 initializeDXILOpLoweringLegacyPass(*PR); 44 initializeDXILTranslateMetadataPass(*PR); 45 initializeDXILResourceWrapperPass(*PR); 46 initializeShaderFlagsAnalysisWrapperPass(*PR); 47 } 48 49 class DXILTargetObjectFile : public TargetLoweringObjectFile { 50 public: 51 DXILTargetObjectFile() = default; 52 53 MCSection *getExplicitSectionGlobal(const GlobalObject *GO, SectionKind Kind, 54 const TargetMachine &TM) const override { 55 return getContext().getDXContainerSection(GO->getSection(), Kind); 56 } 57 58 protected: 59 MCSection *SelectSectionForGlobal(const GlobalObject *GO, SectionKind Kind, 60 const TargetMachine &TM) const override { 61 llvm_unreachable("Not supported!"); 62 } 63 }; 64 65 class DirectXPassConfig : public TargetPassConfig { 66 public: 67 DirectXPassConfig(DirectXTargetMachine &TM, PassManagerBase &PM) 68 : TargetPassConfig(TM, PM) {} 69 70 DirectXTargetMachine &getDirectXTargetMachine() const { 71 return getTM<DirectXTargetMachine>(); 72 } 73 74 FunctionPass *createTargetRegisterAllocator(bool) override { return nullptr; } 75 void addCodeGenPrepare() override { 76 addPass(createDXILOpLoweringLegacyPass()); 77 addPass(createDXILPrepareModulePass()); 78 addPass(createDXILTranslateMetadataPass()); 79 } 80 }; 81 82 DirectXTargetMachine::DirectXTargetMachine(const Target &T, const Triple &TT, 83 StringRef CPU, StringRef FS, 84 const TargetOptions &Options, 85 Optional<Reloc::Model> RM, 86 Optional<CodeModel::Model> CM, 87 CodeGenOpt::Level OL, bool JIT) 88 : LLVMTargetMachine(T, 89 "e-m:e-p:32:32-i1:32-i8:8-i16:16-i32:32-i64:64-f16:16-" 90 "f32:32-f64:64-n8:16:32:64", 91 TT, CPU, FS, Options, Reloc::Static, CodeModel::Small, 92 OL), 93 TLOF(std::make_unique<DXILTargetObjectFile>()), 94 Subtarget(std::make_unique<DirectXSubtarget>(TT, CPU, FS, *this)) { 95 initAsmInfo(); 96 } 97 98 DirectXTargetMachine::~DirectXTargetMachine() {} 99 100 void DirectXTargetMachine::registerPassBuilderCallbacks(PassBuilder &PB) { 101 PB.registerPipelineParsingCallback( 102 [](StringRef PassName, ModulePassManager &PM, 103 ArrayRef<PassBuilder::PipelineElement>) { 104 if (PassName == "print-dxil-resource") { 105 PM.addPass(DXILResourcePrinterPass(dbgs())); 106 return true; 107 } 108 if (PassName == "print-dx-shader-flags") { 109 PM.addPass(dxil::ShaderFlagsAnalysisPrinter(dbgs())); 110 return true; 111 } 112 return false; 113 }); 114 115 PB.registerAnalysisRegistrationCallback([](ModuleAnalysisManager &MAM) { 116 MAM.registerPass([&] { return DXILResourceAnalysis(); }); 117 MAM.registerPass([&] { return dxil::ShaderFlagsAnalysis(); }); 118 }); 119 } 120 121 bool DirectXTargetMachine::addPassesToEmitFile( 122 PassManagerBase &PM, raw_pwrite_stream &Out, raw_pwrite_stream *DwoOut, 123 CodeGenFileType FileType, bool DisableVerify, 124 MachineModuleInfoWrapperPass *MMIWP) { 125 TargetPassConfig *PassConfig = createPassConfig(PM); 126 PassConfig->addCodeGenPrepare(); 127 128 if (TargetPassConfig::willCompleteCodeGenPipeline()) { 129 PM.add(createDXILEmbedderPass()); 130 // We embed the other DXContainer globals after embedding DXIL so that the 131 // globals don't pollute the DXIL. 132 PM.add(createDXContainerGlobalsPass()); 133 } 134 switch (FileType) { 135 case CGFT_AssemblyFile: 136 PM.add(createDXILPrettyPrinterPass(Out)); 137 PM.add(createPrintModulePass(Out, "", true)); 138 break; 139 case CGFT_ObjectFile: 140 if (TargetPassConfig::willCompleteCodeGenPipeline()) { 141 if (!MMIWP) 142 MMIWP = new MachineModuleInfoWrapperPass(this); 143 PM.add(MMIWP); 144 if (addAsmPrinter(PM, Out, DwoOut, FileType, 145 MMIWP->getMMI().getContext())) 146 return true; 147 } else 148 PM.add(createDXILWriterPass(Out)); 149 break; 150 case CGFT_Null: 151 break; 152 } 153 return false; 154 } 155 156 bool DirectXTargetMachine::addPassesToEmitMC(PassManagerBase &PM, 157 MCContext *&Ctx, 158 raw_pwrite_stream &Out, 159 bool DisableVerify) { 160 return true; 161 } 162 163 TargetPassConfig *DirectXTargetMachine::createPassConfig(PassManagerBase &PM) { 164 return new DirectXPassConfig(*this, PM); 165 } 166 167 const DirectXSubtarget * 168 DirectXTargetMachine::getSubtargetImpl(const Function &) const { 169 return Subtarget.get(); 170 } 171 172 TargetTransformInfo 173 DirectXTargetMachine::getTargetTransformInfo(const Function &F) const { 174 return TargetTransformInfo(DirectXTTIImpl(this, F)); 175 } 176 177 DirectXTargetLowering::DirectXTargetLowering(const DirectXTargetMachine &TM, 178 const DirectXSubtarget &STI) 179 : TargetLowering(TM) {} 180