1e5dd7070Spatrick //===- LangOptions.cpp - C Language Family Language Options ---------------===//
2e5dd7070Spatrick //
3e5dd7070Spatrick // Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions.
4e5dd7070Spatrick // See https://llvm.org/LICENSE.txt for license information.
5e5dd7070Spatrick // SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
6e5dd7070Spatrick //
7e5dd7070Spatrick //===----------------------------------------------------------------------===//
8e5dd7070Spatrick //
9e5dd7070Spatrick // This file defines the LangOptions class.
10e5dd7070Spatrick //
11e5dd7070Spatrick //===----------------------------------------------------------------------===//
12e5dd7070Spatrick
13e5dd7070Spatrick #include "clang/Basic/LangOptions.h"
14a9ac8606Spatrick #include "llvm/ADT/SmallString.h"
15a9ac8606Spatrick #include "llvm/Support/Path.h"
16e5dd7070Spatrick
17e5dd7070Spatrick using namespace clang;
18e5dd7070Spatrick
LangOptions()19a9ac8606Spatrick LangOptions::LangOptions() : LangStd(LangStandard::lang_unspecified) {
20e5dd7070Spatrick #define LANGOPT(Name, Bits, Default, Description) Name = Default;
21e5dd7070Spatrick #define ENUM_LANGOPT(Name, Type, Bits, Default, Description) set##Name(Default);
22e5dd7070Spatrick #include "clang/Basic/LangOptions.def"
23e5dd7070Spatrick }
24e5dd7070Spatrick
resetNonModularOptions()25e5dd7070Spatrick void LangOptions::resetNonModularOptions() {
26e5dd7070Spatrick #define LANGOPT(Name, Bits, Default, Description)
27e5dd7070Spatrick #define BENIGN_LANGOPT(Name, Bits, Default, Description) Name = Default;
28e5dd7070Spatrick #define BENIGN_ENUM_LANGOPT(Name, Type, Bits, Default, Description) \
29ec727ea7Spatrick Name = static_cast<unsigned>(Default);
30e5dd7070Spatrick #include "clang/Basic/LangOptions.def"
31e5dd7070Spatrick
32e5dd7070Spatrick // These options do not affect AST generation.
33a9ac8606Spatrick NoSanitizeFiles.clear();
34e5dd7070Spatrick XRayAlwaysInstrumentFiles.clear();
35e5dd7070Spatrick XRayNeverInstrumentFiles.clear();
36e5dd7070Spatrick
37e5dd7070Spatrick CurrentModule.clear();
38e5dd7070Spatrick IsHeaderFile = false;
39e5dd7070Spatrick }
40e5dd7070Spatrick
isNoBuiltinFunc(StringRef FuncName) const41e5dd7070Spatrick bool LangOptions::isNoBuiltinFunc(StringRef FuncName) const {
42e5dd7070Spatrick for (unsigned i = 0, e = NoBuiltinFuncs.size(); i != e; ++i)
43e5dd7070Spatrick if (FuncName.equals(NoBuiltinFuncs[i]))
44e5dd7070Spatrick return true;
45e5dd7070Spatrick return false;
46e5dd7070Spatrick }
47e5dd7070Spatrick
getOpenCLVersionTuple() const48e5dd7070Spatrick VersionTuple LangOptions::getOpenCLVersionTuple() const {
49e5dd7070Spatrick const int Ver = OpenCLCPlusPlus ? OpenCLCPlusPlusVersion : OpenCLVersion;
50*12c85518Srobert if (OpenCLCPlusPlus && Ver != 100)
51*12c85518Srobert return VersionTuple(Ver / 100);
52e5dd7070Spatrick return VersionTuple(Ver / 100, (Ver % 100) / 10);
53e5dd7070Spatrick }
54ec727ea7Spatrick
getOpenCLCompatibleVersion() const55*12c85518Srobert unsigned LangOptions::getOpenCLCompatibleVersion() const {
56*12c85518Srobert if (!OpenCLCPlusPlus)
57*12c85518Srobert return OpenCLVersion;
58*12c85518Srobert if (OpenCLCPlusPlusVersion == 100)
59*12c85518Srobert return 200;
60*12c85518Srobert if (OpenCLCPlusPlusVersion == 202100)
61*12c85518Srobert return 300;
62*12c85518Srobert llvm_unreachable("Unknown OpenCL version");
63*12c85518Srobert }
64*12c85518Srobert
remapPathPrefix(SmallVectorImpl<char> & Path) const65*12c85518Srobert void LangOptions::remapPathPrefix(SmallVectorImpl<char> &Path) const {
66a9ac8606Spatrick for (const auto &Entry : MacroPrefixMap)
67a9ac8606Spatrick if (llvm::sys::path::replace_path_prefix(Path, Entry.first, Entry.second))
68a9ac8606Spatrick break;
69a9ac8606Spatrick }
70a9ac8606Spatrick
getOpenCLVersionString() const71*12c85518Srobert std::string LangOptions::getOpenCLVersionString() const {
72*12c85518Srobert std::string Result;
73*12c85518Srobert {
74*12c85518Srobert llvm::raw_string_ostream Out(Result);
75*12c85518Srobert Out << (OpenCLCPlusPlus ? "C++ for OpenCL" : "OpenCL C") << " version "
76*12c85518Srobert << getOpenCLVersionTuple().getAsString();
77*12c85518Srobert }
78*12c85518Srobert return Result;
79*12c85518Srobert }
80*12c85518Srobert
setLangDefaults(LangOptions & Opts,Language Lang,const llvm::Triple & T,std::vector<std::string> & Includes,LangStandard::Kind LangStd)81*12c85518Srobert void LangOptions::setLangDefaults(LangOptions &Opts, Language Lang,
82*12c85518Srobert const llvm::Triple &T,
83*12c85518Srobert std::vector<std::string> &Includes,
84*12c85518Srobert LangStandard::Kind LangStd) {
85*12c85518Srobert // Set some properties which depend solely on the input kind; it would be nice
86*12c85518Srobert // to move these to the language standard, and have the driver resolve the
87*12c85518Srobert // input kind + language standard.
88*12c85518Srobert //
89*12c85518Srobert // FIXME: Perhaps a better model would be for a single source file to have
90*12c85518Srobert // multiple language standards (C / C++ std, ObjC std, OpenCL std, OpenMP std)
91*12c85518Srobert // simultaneously active?
92*12c85518Srobert if (Lang == Language::Asm) {
93*12c85518Srobert Opts.AsmPreprocessor = 1;
94*12c85518Srobert } else if (Lang == Language::ObjC || Lang == Language::ObjCXX) {
95*12c85518Srobert Opts.ObjC = 1;
96*12c85518Srobert }
97*12c85518Srobert
98*12c85518Srobert if (LangStd == LangStandard::lang_unspecified)
99*12c85518Srobert LangStd = getDefaultLanguageStandard(Lang, T);
100*12c85518Srobert const LangStandard &Std = LangStandard::getLangStandardForKind(LangStd);
101*12c85518Srobert Opts.LangStd = LangStd;
102*12c85518Srobert Opts.LineComment = Std.hasLineComments();
103*12c85518Srobert Opts.C99 = Std.isC99();
104*12c85518Srobert Opts.C11 = Std.isC11();
105*12c85518Srobert Opts.C17 = Std.isC17();
106*12c85518Srobert Opts.C2x = Std.isC2x();
107*12c85518Srobert Opts.CPlusPlus = Std.isCPlusPlus();
108*12c85518Srobert Opts.CPlusPlus11 = Std.isCPlusPlus11();
109*12c85518Srobert Opts.CPlusPlus14 = Std.isCPlusPlus14();
110*12c85518Srobert Opts.CPlusPlus17 = Std.isCPlusPlus17();
111*12c85518Srobert Opts.CPlusPlus20 = Std.isCPlusPlus20();
112*12c85518Srobert Opts.CPlusPlus2b = Std.isCPlusPlus2b();
113*12c85518Srobert Opts.GNUMode = Std.isGNUMode();
114*12c85518Srobert Opts.GNUCVersion = 0;
115*12c85518Srobert Opts.HexFloats = Std.hasHexFloats();
116*12c85518Srobert Opts.WChar = Std.isCPlusPlus();
117*12c85518Srobert Opts.Digraphs = Std.hasDigraphs();
118*12c85518Srobert
119*12c85518Srobert Opts.HLSL = Lang == Language::HLSL;
120*12c85518Srobert if (Opts.HLSL && Opts.IncludeDefaultHeader)
121*12c85518Srobert Includes.push_back("hlsl.h");
122*12c85518Srobert
123*12c85518Srobert // Set OpenCL Version.
124*12c85518Srobert Opts.OpenCL = Std.isOpenCL();
125*12c85518Srobert if (LangStd == LangStandard::lang_opencl10)
126*12c85518Srobert Opts.OpenCLVersion = 100;
127*12c85518Srobert else if (LangStd == LangStandard::lang_opencl11)
128*12c85518Srobert Opts.OpenCLVersion = 110;
129*12c85518Srobert else if (LangStd == LangStandard::lang_opencl12)
130*12c85518Srobert Opts.OpenCLVersion = 120;
131*12c85518Srobert else if (LangStd == LangStandard::lang_opencl20)
132*12c85518Srobert Opts.OpenCLVersion = 200;
133*12c85518Srobert else if (LangStd == LangStandard::lang_opencl30)
134*12c85518Srobert Opts.OpenCLVersion = 300;
135*12c85518Srobert else if (LangStd == LangStandard::lang_openclcpp10)
136*12c85518Srobert Opts.OpenCLCPlusPlusVersion = 100;
137*12c85518Srobert else if (LangStd == LangStandard::lang_openclcpp2021)
138*12c85518Srobert Opts.OpenCLCPlusPlusVersion = 202100;
139*12c85518Srobert else if (LangStd == LangStandard::lang_hlsl2015)
140*12c85518Srobert Opts.HLSLVersion = (unsigned)LangOptions::HLSL_2015;
141*12c85518Srobert else if (LangStd == LangStandard::lang_hlsl2016)
142*12c85518Srobert Opts.HLSLVersion = (unsigned)LangOptions::HLSL_2016;
143*12c85518Srobert else if (LangStd == LangStandard::lang_hlsl2017)
144*12c85518Srobert Opts.HLSLVersion = (unsigned)LangOptions::HLSL_2017;
145*12c85518Srobert else if (LangStd == LangStandard::lang_hlsl2018)
146*12c85518Srobert Opts.HLSLVersion = (unsigned)LangOptions::HLSL_2018;
147*12c85518Srobert else if (LangStd == LangStandard::lang_hlsl2021)
148*12c85518Srobert Opts.HLSLVersion = (unsigned)LangOptions::HLSL_2021;
149*12c85518Srobert else if (LangStd == LangStandard::lang_hlsl202x)
150*12c85518Srobert Opts.HLSLVersion = (unsigned)LangOptions::HLSL_202x;
151*12c85518Srobert
152*12c85518Srobert // OpenCL has some additional defaults.
153*12c85518Srobert if (Opts.OpenCL) {
154*12c85518Srobert Opts.AltiVec = 0;
155*12c85518Srobert Opts.ZVector = 0;
156*12c85518Srobert Opts.setDefaultFPContractMode(LangOptions::FPM_On);
157*12c85518Srobert Opts.OpenCLCPlusPlus = Opts.CPlusPlus;
158*12c85518Srobert Opts.OpenCLPipes = Opts.getOpenCLCompatibleVersion() == 200;
159*12c85518Srobert Opts.OpenCLGenericAddressSpace = Opts.getOpenCLCompatibleVersion() == 200;
160*12c85518Srobert
161*12c85518Srobert // Include default header file for OpenCL.
162*12c85518Srobert if (Opts.IncludeDefaultHeader) {
163*12c85518Srobert if (Opts.DeclareOpenCLBuiltins) {
164*12c85518Srobert // Only include base header file for builtin types and constants.
165*12c85518Srobert Includes.push_back("opencl-c-base.h");
166*12c85518Srobert } else {
167*12c85518Srobert Includes.push_back("opencl-c.h");
168*12c85518Srobert }
169*12c85518Srobert }
170*12c85518Srobert }
171*12c85518Srobert
172*12c85518Srobert Opts.HIP = Lang == Language::HIP;
173*12c85518Srobert Opts.CUDA = Lang == Language::CUDA || Opts.HIP;
174*12c85518Srobert if (Opts.HIP) {
175*12c85518Srobert // HIP toolchain does not support 'Fast' FPOpFusion in backends since it
176*12c85518Srobert // fuses multiplication/addition instructions without contract flag from
177*12c85518Srobert // device library functions in LLVM bitcode, which causes accuracy loss in
178*12c85518Srobert // certain math functions, e.g. tan(-1e20) becomes -0.933 instead of 0.8446.
179*12c85518Srobert // For device library functions in bitcode to work, 'Strict' or 'Standard'
180*12c85518Srobert // FPOpFusion options in backends is needed. Therefore 'fast-honor-pragmas'
181*12c85518Srobert // FP contract option is used to allow fuse across statements in frontend
182*12c85518Srobert // whereas respecting contract flag in backend.
183*12c85518Srobert Opts.setDefaultFPContractMode(LangOptions::FPM_FastHonorPragmas);
184*12c85518Srobert } else if (Opts.CUDA) {
185*12c85518Srobert if (T.isSPIRV()) {
186*12c85518Srobert // Emit OpenCL version metadata in LLVM IR when targeting SPIR-V.
187*12c85518Srobert Opts.OpenCLVersion = 200;
188*12c85518Srobert }
189*12c85518Srobert // Allow fuse across statements disregarding pragmas.
190*12c85518Srobert Opts.setDefaultFPContractMode(LangOptions::FPM_Fast);
191*12c85518Srobert }
192*12c85518Srobert
193*12c85518Srobert Opts.RenderScript = Lang == Language::RenderScript;
194*12c85518Srobert
195*12c85518Srobert // OpenCL, C++ and C2x have bool, true, false keywords.
196*12c85518Srobert Opts.Bool = Opts.OpenCL || Opts.CPlusPlus || Opts.C2x;
197*12c85518Srobert
198*12c85518Srobert // OpenCL and HLSL have half keyword
199*12c85518Srobert Opts.Half = Opts.OpenCL || Opts.HLSL;
200*12c85518Srobert }
201*12c85518Srobert
defaultWithoutTrailingStorage(const LangOptions & LO)202ec727ea7Spatrick FPOptions FPOptions::defaultWithoutTrailingStorage(const LangOptions &LO) {
203ec727ea7Spatrick FPOptions result(LO);
204ec727ea7Spatrick return result;
205ec727ea7Spatrick }
206ec727ea7Spatrick
getChangesSlow(const FPOptions & Base) const207*12c85518Srobert FPOptionsOverride FPOptions::getChangesSlow(const FPOptions &Base) const {
208*12c85518Srobert FPOptions::storage_type OverrideMask = 0;
209*12c85518Srobert #define OPTION(NAME, TYPE, WIDTH, PREVIOUS) \
210*12c85518Srobert if (get##NAME() != Base.get##NAME()) \
211*12c85518Srobert OverrideMask |= NAME##Mask;
212*12c85518Srobert #include "clang/Basic/FPOptions.def"
213*12c85518Srobert return FPOptionsOverride(*this, OverrideMask);
214*12c85518Srobert }
215*12c85518Srobert
dump()216ec727ea7Spatrick LLVM_DUMP_METHOD void FPOptions::dump() {
217ec727ea7Spatrick #define OPTION(NAME, TYPE, WIDTH, PREVIOUS) \
218ec727ea7Spatrick llvm::errs() << "\n " #NAME " " << get##NAME();
219ec727ea7Spatrick #include "clang/Basic/FPOptions.def"
220ec727ea7Spatrick llvm::errs() << "\n";
221ec727ea7Spatrick }
222ec727ea7Spatrick
dump()223ec727ea7Spatrick LLVM_DUMP_METHOD void FPOptionsOverride::dump() {
224ec727ea7Spatrick #define OPTION(NAME, TYPE, WIDTH, PREVIOUS) \
225ec727ea7Spatrick if (has##NAME##Override()) \
226ec727ea7Spatrick llvm::errs() << "\n " #NAME " Override is " << get##NAME##Override();
227ec727ea7Spatrick #include "clang/Basic/FPOptions.def"
228ec727ea7Spatrick llvm::errs() << "\n";
229ec727ea7Spatrick }
230