1*e5dd7070Spatrick //===--- RISCV.cpp - Implement RISCV target feature support ---------------===// 2*e5dd7070Spatrick // 3*e5dd7070Spatrick // Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions. 4*e5dd7070Spatrick // See https://llvm.org/LICENSE.txt for license information. 5*e5dd7070Spatrick // SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception 6*e5dd7070Spatrick // 7*e5dd7070Spatrick //===----------------------------------------------------------------------===// 8*e5dd7070Spatrick // 9*e5dd7070Spatrick // This file implements RISCV TargetInfo objects. 10*e5dd7070Spatrick // 11*e5dd7070Spatrick //===----------------------------------------------------------------------===// 12*e5dd7070Spatrick 13*e5dd7070Spatrick #include "RISCV.h" 14*e5dd7070Spatrick #include "clang/Basic/MacroBuilder.h" 15*e5dd7070Spatrick #include "llvm/ADT/StringSwitch.h" 16*e5dd7070Spatrick 17*e5dd7070Spatrick using namespace clang; 18*e5dd7070Spatrick using namespace clang::targets; 19*e5dd7070Spatrick 20*e5dd7070Spatrick ArrayRef<const char *> RISCVTargetInfo::getGCCRegNames() const { 21*e5dd7070Spatrick static const char *const GCCRegNames[] = { 22*e5dd7070Spatrick // Integer registers 23*e5dd7070Spatrick "x0", "x1", "x2", "x3", "x4", "x5", "x6", "x7", 24*e5dd7070Spatrick "x8", "x9", "x10", "x11", "x12", "x13", "x14", "x15", 25*e5dd7070Spatrick "x16", "x17", "x18", "x19", "x20", "x21", "x22", "x23", 26*e5dd7070Spatrick "x24", "x25", "x26", "x27", "x28", "x29", "x30", "x31", 27*e5dd7070Spatrick 28*e5dd7070Spatrick // Floating point registers 29*e5dd7070Spatrick "f0", "f1", "f2", "f3", "f4", "f5", "f6", "f7", 30*e5dd7070Spatrick "f8", "f9", "f10", "f11", "f12", "f13", "f14", "f15", 31*e5dd7070Spatrick "f16", "f17", "f18", "f19", "f20", "f21", "f22", "f23", 32*e5dd7070Spatrick "f24", "f25", "f26", "f27", "f28", "f29", "f30", "f31"}; 33*e5dd7070Spatrick return llvm::makeArrayRef(GCCRegNames); 34*e5dd7070Spatrick } 35*e5dd7070Spatrick 36*e5dd7070Spatrick ArrayRef<TargetInfo::GCCRegAlias> RISCVTargetInfo::getGCCRegAliases() const { 37*e5dd7070Spatrick static const TargetInfo::GCCRegAlias GCCRegAliases[] = { 38*e5dd7070Spatrick {{"zero"}, "x0"}, {{"ra"}, "x1"}, {{"sp"}, "x2"}, {{"gp"}, "x3"}, 39*e5dd7070Spatrick {{"tp"}, "x4"}, {{"t0"}, "x5"}, {{"t1"}, "x6"}, {{"t2"}, "x7"}, 40*e5dd7070Spatrick {{"s0"}, "x8"}, {{"s1"}, "x9"}, {{"a0"}, "x10"}, {{"a1"}, "x11"}, 41*e5dd7070Spatrick {{"a2"}, "x12"}, {{"a3"}, "x13"}, {{"a4"}, "x14"}, {{"a5"}, "x15"}, 42*e5dd7070Spatrick {{"a6"}, "x16"}, {{"a7"}, "x17"}, {{"s2"}, "x18"}, {{"s3"}, "x19"}, 43*e5dd7070Spatrick {{"s4"}, "x20"}, {{"s5"}, "x21"}, {{"s6"}, "x22"}, {{"s7"}, "x23"}, 44*e5dd7070Spatrick {{"s8"}, "x24"}, {{"s9"}, "x25"}, {{"s10"}, "x26"}, {{"s11"}, "x27"}, 45*e5dd7070Spatrick {{"t3"}, "x28"}, {{"t4"}, "x29"}, {{"t5"}, "x30"}, {{"t6"}, "x31"}, 46*e5dd7070Spatrick {{"ft0"}, "f0"}, {{"ft1"}, "f1"}, {{"ft2"}, "f2"}, {{"ft3"}, "f3"}, 47*e5dd7070Spatrick {{"ft4"}, "f4"}, {{"ft5"}, "f5"}, {{"ft6"}, "f6"}, {{"ft7"}, "f7"}, 48*e5dd7070Spatrick {{"fs0"}, "f8"}, {{"fs1"}, "f9"}, {{"fa0"}, "f10"}, {{"fa1"}, "f11"}, 49*e5dd7070Spatrick {{"fa2"}, "f12"}, {{"fa3"}, "f13"}, {{"fa4"}, "f14"}, {{"fa5"}, "f15"}, 50*e5dd7070Spatrick {{"fa6"}, "f16"}, {{"fa7"}, "f17"}, {{"fs2"}, "f18"}, {{"fs3"}, "f19"}, 51*e5dd7070Spatrick {{"fs4"}, "f20"}, {{"fs5"}, "f21"}, {{"fs6"}, "f22"}, {{"fs7"}, "f23"}, 52*e5dd7070Spatrick {{"fs8"}, "f24"}, {{"fs9"}, "f25"}, {{"fs10"}, "f26"}, {{"fs11"}, "f27"}, 53*e5dd7070Spatrick {{"ft8"}, "f28"}, {{"ft9"}, "f29"}, {{"ft10"}, "f30"}, {{"ft11"}, "f31"}}; 54*e5dd7070Spatrick return llvm::makeArrayRef(GCCRegAliases); 55*e5dd7070Spatrick } 56*e5dd7070Spatrick 57*e5dd7070Spatrick bool RISCVTargetInfo::validateAsmConstraint( 58*e5dd7070Spatrick const char *&Name, TargetInfo::ConstraintInfo &Info) const { 59*e5dd7070Spatrick switch (*Name) { 60*e5dd7070Spatrick default: 61*e5dd7070Spatrick return false; 62*e5dd7070Spatrick case 'I': 63*e5dd7070Spatrick // A 12-bit signed immediate. 64*e5dd7070Spatrick Info.setRequiresImmediate(-2048, 2047); 65*e5dd7070Spatrick return true; 66*e5dd7070Spatrick case 'J': 67*e5dd7070Spatrick // Integer zero. 68*e5dd7070Spatrick Info.setRequiresImmediate(0); 69*e5dd7070Spatrick return true; 70*e5dd7070Spatrick case 'K': 71*e5dd7070Spatrick // A 5-bit unsigned immediate for CSR access instructions. 72*e5dd7070Spatrick Info.setRequiresImmediate(0, 31); 73*e5dd7070Spatrick return true; 74*e5dd7070Spatrick case 'f': 75*e5dd7070Spatrick // A floating-point register. 76*e5dd7070Spatrick Info.setAllowsRegister(); 77*e5dd7070Spatrick return true; 78*e5dd7070Spatrick case 'A': 79*e5dd7070Spatrick // An address that is held in a general-purpose register. 80*e5dd7070Spatrick Info.setAllowsMemory(); 81*e5dd7070Spatrick return true; 82*e5dd7070Spatrick } 83*e5dd7070Spatrick } 84*e5dd7070Spatrick 85*e5dd7070Spatrick void RISCVTargetInfo::getTargetDefines(const LangOptions &Opts, 86*e5dd7070Spatrick MacroBuilder &Builder) const { 87*e5dd7070Spatrick Builder.defineMacro("__ELF__"); 88*e5dd7070Spatrick Builder.defineMacro("__riscv"); 89*e5dd7070Spatrick bool Is64Bit = getTriple().getArch() == llvm::Triple::riscv64; 90*e5dd7070Spatrick Builder.defineMacro("__riscv_xlen", Is64Bit ? "64" : "32"); 91*e5dd7070Spatrick StringRef CodeModel = getTargetOpts().CodeModel; 92*e5dd7070Spatrick if (CodeModel == "default") 93*e5dd7070Spatrick CodeModel = "small"; 94*e5dd7070Spatrick 95*e5dd7070Spatrick if (CodeModel == "small") 96*e5dd7070Spatrick Builder.defineMacro("__riscv_cmodel_medlow"); 97*e5dd7070Spatrick else if (CodeModel == "medium") 98*e5dd7070Spatrick Builder.defineMacro("__riscv_cmodel_medany"); 99*e5dd7070Spatrick 100*e5dd7070Spatrick StringRef ABIName = getABI(); 101*e5dd7070Spatrick if (ABIName == "ilp32f" || ABIName == "lp64f") 102*e5dd7070Spatrick Builder.defineMacro("__riscv_float_abi_single"); 103*e5dd7070Spatrick else if (ABIName == "ilp32d" || ABIName == "lp64d") 104*e5dd7070Spatrick Builder.defineMacro("__riscv_float_abi_double"); 105*e5dd7070Spatrick else 106*e5dd7070Spatrick Builder.defineMacro("__riscv_float_abi_soft"); 107*e5dd7070Spatrick 108*e5dd7070Spatrick if (ABIName == "ilp32e") 109*e5dd7070Spatrick Builder.defineMacro("__riscv_abi_rve"); 110*e5dd7070Spatrick 111*e5dd7070Spatrick if (HasM) { 112*e5dd7070Spatrick Builder.defineMacro("__riscv_mul"); 113*e5dd7070Spatrick Builder.defineMacro("__riscv_div"); 114*e5dd7070Spatrick Builder.defineMacro("__riscv_muldiv"); 115*e5dd7070Spatrick } 116*e5dd7070Spatrick 117*e5dd7070Spatrick if (HasA) 118*e5dd7070Spatrick Builder.defineMacro("__riscv_atomic"); 119*e5dd7070Spatrick 120*e5dd7070Spatrick if (HasF || HasD) { 121*e5dd7070Spatrick Builder.defineMacro("__riscv_flen", HasD ? "64" : "32"); 122*e5dd7070Spatrick Builder.defineMacro("__riscv_fdiv"); 123*e5dd7070Spatrick Builder.defineMacro("__riscv_fsqrt"); 124*e5dd7070Spatrick } 125*e5dd7070Spatrick 126*e5dd7070Spatrick if (HasC) 127*e5dd7070Spatrick Builder.defineMacro("__riscv_compressed"); 128*e5dd7070Spatrick } 129*e5dd7070Spatrick 130*e5dd7070Spatrick /// Return true if has this feature, need to sync with handleTargetFeatures. 131*e5dd7070Spatrick bool RISCVTargetInfo::hasFeature(StringRef Feature) const { 132*e5dd7070Spatrick bool Is64Bit = getTriple().getArch() == llvm::Triple::riscv64; 133*e5dd7070Spatrick return llvm::StringSwitch<bool>(Feature) 134*e5dd7070Spatrick .Case("riscv", true) 135*e5dd7070Spatrick .Case("riscv32", !Is64Bit) 136*e5dd7070Spatrick .Case("riscv64", Is64Bit) 137*e5dd7070Spatrick .Case("m", HasM) 138*e5dd7070Spatrick .Case("a", HasA) 139*e5dd7070Spatrick .Case("f", HasF) 140*e5dd7070Spatrick .Case("d", HasD) 141*e5dd7070Spatrick .Case("c", HasC) 142*e5dd7070Spatrick .Default(false); 143*e5dd7070Spatrick } 144*e5dd7070Spatrick 145*e5dd7070Spatrick /// Perform initialization based on the user configured set of features. 146*e5dd7070Spatrick bool RISCVTargetInfo::handleTargetFeatures(std::vector<std::string> &Features, 147*e5dd7070Spatrick DiagnosticsEngine &Diags) { 148*e5dd7070Spatrick for (const auto &Feature : Features) { 149*e5dd7070Spatrick if (Feature == "+m") 150*e5dd7070Spatrick HasM = true; 151*e5dd7070Spatrick else if (Feature == "+a") 152*e5dd7070Spatrick HasA = true; 153*e5dd7070Spatrick else if (Feature == "+f") 154*e5dd7070Spatrick HasF = true; 155*e5dd7070Spatrick else if (Feature == "+d") 156*e5dd7070Spatrick HasD = true; 157*e5dd7070Spatrick else if (Feature == "+c") 158*e5dd7070Spatrick HasC = true; 159*e5dd7070Spatrick } 160*e5dd7070Spatrick 161*e5dd7070Spatrick return true; 162*e5dd7070Spatrick } 163