xref: /openbsd-src/gnu/llvm/clang/lib/Basic/Targets/RISCV.cpp (revision e5dd70708596ae51455a0ffa086a00c5b29f8583)
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