1d88c1a5aSDimitry Andric //===-- RISCVTargetMachine.cpp - Define TargetMachine for RISCV -----------===//
2d88c1a5aSDimitry Andric //
3d88c1a5aSDimitry Andric // The LLVM Compiler Infrastructure
4d88c1a5aSDimitry Andric //
5d88c1a5aSDimitry Andric // This file is distributed under the University of Illinois Open Source
6d88c1a5aSDimitry Andric // License. See LICENSE.TXT for details.
7d88c1a5aSDimitry Andric //
8d88c1a5aSDimitry Andric //===----------------------------------------------------------------------===//
9d88c1a5aSDimitry Andric //
10d88c1a5aSDimitry Andric // Implements the info about RISCV target spec.
11d88c1a5aSDimitry Andric //
12d88c1a5aSDimitry Andric //===----------------------------------------------------------------------===//
13d88c1a5aSDimitry Andric
142cab237bSDimitry Andric #include "RISCV.h"
15d88c1a5aSDimitry Andric #include "RISCVTargetMachine.h"
164ba319b5SDimitry Andric #include "RISCVTargetObjectFile.h"
17d88c1a5aSDimitry Andric #include "llvm/ADT/STLExtras.h"
18db17bf38SDimitry Andric #include "llvm/CodeGen/Passes.h"
19d88c1a5aSDimitry Andric #include "llvm/CodeGen/TargetLoweringObjectFileImpl.h"
20d88c1a5aSDimitry Andric #include "llvm/CodeGen/TargetPassConfig.h"
21d88c1a5aSDimitry Andric #include "llvm/IR/LegacyPassManager.h"
22d88c1a5aSDimitry Andric #include "llvm/Support/FormattedStream.h"
23d88c1a5aSDimitry Andric #include "llvm/Support/TargetRegistry.h"
24d88c1a5aSDimitry Andric #include "llvm/Target/TargetOptions.h"
25d88c1a5aSDimitry Andric using namespace llvm;
26d88c1a5aSDimitry Andric
LLVMInitializeRISCVTarget()27d88c1a5aSDimitry Andric extern "C" void LLVMInitializeRISCVTarget() {
28d88c1a5aSDimitry Andric RegisterTargetMachine<RISCVTargetMachine> X(getTheRISCV32Target());
29d88c1a5aSDimitry Andric RegisterTargetMachine<RISCVTargetMachine> Y(getTheRISCV64Target());
30*b5893f02SDimitry Andric auto PR = PassRegistry::getPassRegistry();
31*b5893f02SDimitry Andric initializeRISCVExpandPseudoPass(*PR);
32d88c1a5aSDimitry Andric }
33d88c1a5aSDimitry Andric
computeDataLayout(const Triple & TT)34d88c1a5aSDimitry Andric static std::string computeDataLayout(const Triple &TT) {
35d88c1a5aSDimitry Andric if (TT.isArch64Bit()) {
362cab237bSDimitry Andric return "e-m:e-p:64:64-i64:64-i128:128-n64-S128";
37d88c1a5aSDimitry Andric } else {
38d88c1a5aSDimitry Andric assert(TT.isArch32Bit() && "only RV32 and RV64 are currently supported");
397a7e6055SDimitry Andric return "e-m:e-p:32:32-i64:64-n32-S128";
40d88c1a5aSDimitry Andric }
41d88c1a5aSDimitry Andric }
42d88c1a5aSDimitry Andric
getEffectiveRelocModel(const Triple & TT,Optional<Reloc::Model> RM)43d88c1a5aSDimitry Andric static Reloc::Model getEffectiveRelocModel(const Triple &TT,
44d88c1a5aSDimitry Andric Optional<Reloc::Model> RM) {
45d88c1a5aSDimitry Andric if (!RM.hasValue())
46d88c1a5aSDimitry Andric return Reloc::Static;
47d88c1a5aSDimitry Andric return *RM;
48d88c1a5aSDimitry Andric }
49d88c1a5aSDimitry Andric
RISCVTargetMachine(const Target & T,const Triple & TT,StringRef CPU,StringRef FS,const TargetOptions & Options,Optional<Reloc::Model> RM,Optional<CodeModel::Model> CM,CodeGenOpt::Level OL,bool JIT)50d88c1a5aSDimitry Andric RISCVTargetMachine::RISCVTargetMachine(const Target &T, const Triple &TT,
51d88c1a5aSDimitry Andric StringRef CPU, StringRef FS,
52d88c1a5aSDimitry Andric const TargetOptions &Options,
53d88c1a5aSDimitry Andric Optional<Reloc::Model> RM,
542cab237bSDimitry Andric Optional<CodeModel::Model> CM,
552cab237bSDimitry Andric CodeGenOpt::Level OL, bool JIT)
56d88c1a5aSDimitry Andric : LLVMTargetMachine(T, computeDataLayout(TT), TT, CPU, FS, Options,
572cab237bSDimitry Andric getEffectiveRelocModel(TT, RM),
58*b5893f02SDimitry Andric getEffectiveCodeModel(CM, CodeModel::Small), OL),
594ba319b5SDimitry Andric TLOF(make_unique<RISCVELFTargetObjectFile>()),
602cab237bSDimitry Andric Subtarget(TT, CPU, FS, *this) {
617a7e6055SDimitry Andric initAsmInfo();
627a7e6055SDimitry Andric }
63d88c1a5aSDimitry Andric
642cab237bSDimitry Andric namespace {
652cab237bSDimitry Andric class RISCVPassConfig : public TargetPassConfig {
662cab237bSDimitry Andric public:
RISCVPassConfig(RISCVTargetMachine & TM,PassManagerBase & PM)672cab237bSDimitry Andric RISCVPassConfig(RISCVTargetMachine &TM, PassManagerBase &PM)
682cab237bSDimitry Andric : TargetPassConfig(TM, PM) {}
692cab237bSDimitry Andric
getRISCVTargetMachine() const702cab237bSDimitry Andric RISCVTargetMachine &getRISCVTargetMachine() const {
712cab237bSDimitry Andric return getTM<RISCVTargetMachine>();
722cab237bSDimitry Andric }
732cab237bSDimitry Andric
744ba319b5SDimitry Andric void addIRPasses() override;
752cab237bSDimitry Andric bool addInstSelector() override;
764ba319b5SDimitry Andric void addPreEmitPass() override;
77*b5893f02SDimitry Andric void addPreEmitPass2() override;
784ba319b5SDimitry Andric void addPreRegAlloc() override;
792cab237bSDimitry Andric };
802cab237bSDimitry Andric }
812cab237bSDimitry Andric
createPassConfig(PassManagerBase & PM)82d88c1a5aSDimitry Andric TargetPassConfig *RISCVTargetMachine::createPassConfig(PassManagerBase &PM) {
832cab237bSDimitry Andric return new RISCVPassConfig(*this, PM);
842cab237bSDimitry Andric }
852cab237bSDimitry Andric
addIRPasses()864ba319b5SDimitry Andric void RISCVPassConfig::addIRPasses() {
874ba319b5SDimitry Andric addPass(createAtomicExpandPass());
884ba319b5SDimitry Andric TargetPassConfig::addIRPasses();
894ba319b5SDimitry Andric }
904ba319b5SDimitry Andric
addInstSelector()912cab237bSDimitry Andric bool RISCVPassConfig::addInstSelector() {
922cab237bSDimitry Andric addPass(createRISCVISelDag(getRISCVTargetMachine()));
932cab237bSDimitry Andric
942cab237bSDimitry Andric return false;
95d88c1a5aSDimitry Andric }
964ba319b5SDimitry Andric
addPreEmitPass()974ba319b5SDimitry Andric void RISCVPassConfig::addPreEmitPass() { addPass(&BranchRelaxationPassID); }
984ba319b5SDimitry Andric
addPreEmitPass2()99*b5893f02SDimitry Andric void RISCVPassConfig::addPreEmitPass2() {
100*b5893f02SDimitry Andric // Schedule the expansion of AMOs at the last possible moment, avoiding the
101*b5893f02SDimitry Andric // possibility for other passes to break the requirements for forward
102*b5893f02SDimitry Andric // progress in the LR/SC block.
103*b5893f02SDimitry Andric addPass(createRISCVExpandPseudoPass());
104*b5893f02SDimitry Andric }
105*b5893f02SDimitry Andric
addPreRegAlloc()1064ba319b5SDimitry Andric void RISCVPassConfig::addPreRegAlloc() {
1074ba319b5SDimitry Andric addPass(createRISCVMergeBaseOffsetOptPass());
1084ba319b5SDimitry Andric }
109