1e5dd7070Spatrick //===--- OSTargets.cpp - Implement OS target feature support --------------===//
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 implements OS specific TargetInfo types.
10e5dd7070Spatrick //===----------------------------------------------------------------------===//
11e5dd7070Spatrick
12e5dd7070Spatrick #include "OSTargets.h"
13e5dd7070Spatrick #include "clang/Basic/MacroBuilder.h"
14e5dd7070Spatrick #include "llvm/ADT/StringRef.h"
15e5dd7070Spatrick
16e5dd7070Spatrick using namespace clang;
17e5dd7070Spatrick using namespace clang::targets;
18e5dd7070Spatrick
19e5dd7070Spatrick namespace clang {
20e5dd7070Spatrick namespace targets {
21e5dd7070Spatrick
getDarwinDefines(MacroBuilder & Builder,const LangOptions & Opts,const llvm::Triple & Triple,StringRef & PlatformName,VersionTuple & PlatformMinVersion)22e5dd7070Spatrick void getDarwinDefines(MacroBuilder &Builder, const LangOptions &Opts,
23e5dd7070Spatrick const llvm::Triple &Triple, StringRef &PlatformName,
24e5dd7070Spatrick VersionTuple &PlatformMinVersion) {
25e5dd7070Spatrick Builder.defineMacro("__APPLE_CC__", "6000");
26e5dd7070Spatrick Builder.defineMacro("__APPLE__");
27e5dd7070Spatrick Builder.defineMacro("__STDC_NO_THREADS__");
28ec727ea7Spatrick
29e5dd7070Spatrick // AddressSanitizer doesn't play well with source fortification, which is on
30e5dd7070Spatrick // by default on Darwin.
31e5dd7070Spatrick if (Opts.Sanitize.has(SanitizerKind::Address))
32e5dd7070Spatrick Builder.defineMacro("_FORTIFY_SOURCE", "0");
33e5dd7070Spatrick
34e5dd7070Spatrick // Darwin defines __weak, __strong, and __unsafe_unretained even in C mode.
35e5dd7070Spatrick if (!Opts.ObjC) {
36e5dd7070Spatrick // __weak is always defined, for use in blocks and with objc pointers.
37e5dd7070Spatrick Builder.defineMacro("__weak", "__attribute__((objc_gc(weak)))");
38e5dd7070Spatrick Builder.defineMacro("__strong", "");
39e5dd7070Spatrick Builder.defineMacro("__unsafe_unretained", "");
40e5dd7070Spatrick }
41e5dd7070Spatrick
42e5dd7070Spatrick if (Opts.Static)
43e5dd7070Spatrick Builder.defineMacro("__STATIC__");
44e5dd7070Spatrick else
45e5dd7070Spatrick Builder.defineMacro("__DYNAMIC__");
46e5dd7070Spatrick
47e5dd7070Spatrick if (Opts.POSIXThreads)
48e5dd7070Spatrick Builder.defineMacro("_REENTRANT");
49e5dd7070Spatrick
50e5dd7070Spatrick // Get the platform type and version number from the triple.
51*12c85518Srobert VersionTuple OsVersion;
52e5dd7070Spatrick if (Triple.isMacOSX()) {
53*12c85518Srobert Triple.getMacOSXVersion(OsVersion);
54e5dd7070Spatrick PlatformName = "macos";
55e5dd7070Spatrick } else {
56*12c85518Srobert OsVersion = Triple.getOSVersion();
57e5dd7070Spatrick PlatformName = llvm::Triple::getOSTypeName(Triple.getOS());
58a9ac8606Spatrick if (PlatformName == "ios" && Triple.isMacCatalystEnvironment())
59a9ac8606Spatrick PlatformName = "maccatalyst";
60e5dd7070Spatrick }
61e5dd7070Spatrick
62e5dd7070Spatrick // If -target arch-pc-win32-macho option specified, we're
63e5dd7070Spatrick // generating code for Win32 ABI. No need to emit
64e5dd7070Spatrick // __ENVIRONMENT_XX_OS_VERSION_MIN_REQUIRED__.
65e5dd7070Spatrick if (PlatformName == "win32") {
66*12c85518Srobert PlatformMinVersion = OsVersion;
67e5dd7070Spatrick return;
68e5dd7070Spatrick }
69e5dd7070Spatrick
70*12c85518Srobert assert(OsVersion < VersionTuple(100) && "Invalid version!");
71e5dd7070Spatrick char Str[7];
72*12c85518Srobert if (Triple.isMacOSX() && OsVersion < VersionTuple(10, 10)) {
73*12c85518Srobert Str[0] = '0' + (OsVersion.getMajor() / 10);
74*12c85518Srobert Str[1] = '0' + (OsVersion.getMajor() % 10);
75*12c85518Srobert Str[2] = '0' + std::min(OsVersion.getMinor().value_or(0), 9U);
76*12c85518Srobert Str[3] = '0' + std::min(OsVersion.getSubminor().value_or(0), 9U);
77*12c85518Srobert Str[4] = '\0';
78*12c85518Srobert } else if (!Triple.isMacOSX() && OsVersion.getMajor() < 10) {
79*12c85518Srobert Str[0] = '0' + OsVersion.getMajor();
80*12c85518Srobert Str[1] = '0' + (OsVersion.getMinor().value_or(0) / 10);
81*12c85518Srobert Str[2] = '0' + (OsVersion.getMinor().value_or(0) % 10);
82*12c85518Srobert Str[3] = '0' + (OsVersion.getSubminor().value_or(0) / 10);
83*12c85518Srobert Str[4] = '0' + (OsVersion.getSubminor().value_or(0) % 10);
84e5dd7070Spatrick Str[5] = '\0';
85e5dd7070Spatrick } else {
86e5dd7070Spatrick // Handle versions >= 10.
87*12c85518Srobert Str[0] = '0' + (OsVersion.getMajor() / 10);
88*12c85518Srobert Str[1] = '0' + (OsVersion.getMajor() % 10);
89*12c85518Srobert Str[2] = '0' + (OsVersion.getMinor().value_or(0) / 10);
90*12c85518Srobert Str[3] = '0' + (OsVersion.getMinor().value_or(0) % 10);
91*12c85518Srobert Str[4] = '0' + (OsVersion.getSubminor().value_or(0) / 10);
92*12c85518Srobert Str[5] = '0' + (OsVersion.getSubminor().value_or(0) % 10);
93e5dd7070Spatrick Str[6] = '\0';
94e5dd7070Spatrick }
95e5dd7070Spatrick
96*12c85518Srobert // Set the appropriate OS version define.
97*12c85518Srobert if (Triple.isTvOS()) {
98*12c85518Srobert Builder.defineMacro("__ENVIRONMENT_TV_OS_VERSION_MIN_REQUIRED__", Str);
99*12c85518Srobert } else if (Triple.isiOS()) {
100*12c85518Srobert Builder.defineMacro("__ENVIRONMENT_IPHONE_OS_VERSION_MIN_REQUIRED__", Str);
101e5dd7070Spatrick } else if (Triple.isWatchOS()) {
102e5dd7070Spatrick Builder.defineMacro("__ENVIRONMENT_WATCH_OS_VERSION_MIN_REQUIRED__", Str);
103*12c85518Srobert } else if (Triple.isDriverKit()) {
104*12c85518Srobert assert(OsVersion.getMinor().value_or(0) < 100 &&
105*12c85518Srobert OsVersion.getSubminor().value_or(0) < 100 && "Invalid version!");
106*12c85518Srobert Builder.defineMacro("__ENVIRONMENT_DRIVERKIT_VERSION_MIN_REQUIRED__", Str);
107e5dd7070Spatrick } else if (Triple.isMacOSX()) {
108e5dd7070Spatrick Builder.defineMacro("__ENVIRONMENT_MAC_OS_X_VERSION_MIN_REQUIRED__", Str);
109e5dd7070Spatrick }
110e5dd7070Spatrick
111e5dd7070Spatrick // Tell users about the kernel if there is one.
112e5dd7070Spatrick if (Triple.isOSDarwin())
113e5dd7070Spatrick Builder.defineMacro("__MACH__");
114e5dd7070Spatrick
115*12c85518Srobert PlatformMinVersion = OsVersion;
116e5dd7070Spatrick }
117e5dd7070Spatrick
addMinGWDefines(const llvm::Triple & Triple,const LangOptions & Opts,MacroBuilder & Builder)118e5dd7070Spatrick static void addMinGWDefines(const llvm::Triple &Triple, const LangOptions &Opts,
119e5dd7070Spatrick MacroBuilder &Builder) {
120e5dd7070Spatrick DefineStd(Builder, "WIN32", Opts);
121e5dd7070Spatrick DefineStd(Builder, "WINNT", Opts);
122e5dd7070Spatrick if (Triple.isArch64Bit()) {
123e5dd7070Spatrick DefineStd(Builder, "WIN64", Opts);
124e5dd7070Spatrick Builder.defineMacro("__MINGW64__");
125e5dd7070Spatrick }
126e5dd7070Spatrick Builder.defineMacro("__MSVCRT__");
127e5dd7070Spatrick Builder.defineMacro("__MINGW32__");
128e5dd7070Spatrick addCygMingDefines(Opts, Builder);
129e5dd7070Spatrick }
130e5dd7070Spatrick
addVisualCDefines(const LangOptions & Opts,MacroBuilder & Builder)131e5dd7070Spatrick static void addVisualCDefines(const LangOptions &Opts, MacroBuilder &Builder) {
132e5dd7070Spatrick if (Opts.CPlusPlus) {
133e5dd7070Spatrick if (Opts.RTTIData)
134e5dd7070Spatrick Builder.defineMacro("_CPPRTTI");
135e5dd7070Spatrick
136e5dd7070Spatrick if (Opts.CXXExceptions)
137e5dd7070Spatrick Builder.defineMacro("_CPPUNWIND");
138e5dd7070Spatrick }
139e5dd7070Spatrick
140e5dd7070Spatrick if (Opts.Bool)
141e5dd7070Spatrick Builder.defineMacro("__BOOL_DEFINED");
142e5dd7070Spatrick
143e5dd7070Spatrick if (!Opts.CharIsSigned)
144e5dd7070Spatrick Builder.defineMacro("_CHAR_UNSIGNED");
145e5dd7070Spatrick
146*12c85518Srobert // "The /fp:contract option allows the compiler to generate floating-point
147*12c85518Srobert // contractions [...]"
148*12c85518Srobert if (Opts.getDefaultFPContractMode() != LangOptions::FPModeKind::FPM_Off)
149*12c85518Srobert Builder.defineMacro("_M_FP_CONTRACT");
150*12c85518Srobert
151*12c85518Srobert // "The /fp:except option generates code to ensures that any unmasked
152*12c85518Srobert // floating-point exceptions are raised at the exact point at which they
153*12c85518Srobert // occur, and that no other floating-point exceptions are raised."
154*12c85518Srobert if (Opts.getDefaultExceptionMode() ==
155*12c85518Srobert LangOptions::FPExceptionModeKind::FPE_Strict)
156*12c85518Srobert Builder.defineMacro("_M_FP_EXCEPT");
157*12c85518Srobert
158*12c85518Srobert // "The /fp:fast option allows the compiler to reorder, combine, or simplify
159*12c85518Srobert // floating-point operations to optimize floating-point code for speed and
160*12c85518Srobert // space. The compiler may omit rounding at assignment statements,
161*12c85518Srobert // typecasts, or function calls. It may reorder operations or make algebraic
162*12c85518Srobert // transforms, for example, by use of associative and distributive laws. It
163*12c85518Srobert // may reorder code even if such transformations result in observably
164*12c85518Srobert // different rounding behavior."
165*12c85518Srobert //
166*12c85518Srobert // "Under /fp:precise and /fp:strict, the compiler doesn't do any mathematical
167*12c85518Srobert // transformation unless the transformation is guaranteed to produce a bitwise
168*12c85518Srobert // identical result."
169*12c85518Srobert const bool any_imprecise_flags =
170*12c85518Srobert Opts.FastMath || Opts.FiniteMathOnly || Opts.UnsafeFPMath ||
171*12c85518Srobert Opts.AllowFPReassoc || Opts.NoHonorNaNs || Opts.NoHonorInfs ||
172*12c85518Srobert Opts.NoSignedZero || Opts.AllowRecip || Opts.ApproxFunc;
173*12c85518Srobert
174*12c85518Srobert // "Under both /fp:precise and /fp:fast, the compiler generates code intended
175*12c85518Srobert // to run in the default floating-point environment."
176*12c85518Srobert //
177*12c85518Srobert // "[The] default floating point environment [...] sets the rounding mode
178*12c85518Srobert // to round to nearest."
179*12c85518Srobert if (Opts.getDefaultRoundingMode() ==
180*12c85518Srobert LangOptions::RoundingMode::NearestTiesToEven) {
181*12c85518Srobert if (any_imprecise_flags) {
182*12c85518Srobert Builder.defineMacro("_M_FP_FAST");
183*12c85518Srobert } else {
184*12c85518Srobert Builder.defineMacro("_M_FP_PRECISE");
185*12c85518Srobert }
186*12c85518Srobert } else if (!any_imprecise_flags && Opts.getDefaultRoundingMode() ==
187*12c85518Srobert LangOptions::RoundingMode::Dynamic) {
188*12c85518Srobert // "Under /fp:strict, the compiler generates code that allows the
189*12c85518Srobert // program to safely unmask floating-point exceptions, read or write
190*12c85518Srobert // floating-point status registers, or change rounding modes."
191*12c85518Srobert Builder.defineMacro("_M_FP_STRICT");
192*12c85518Srobert }
193*12c85518Srobert
194e5dd7070Spatrick // FIXME: POSIXThreads isn't exactly the option this should be defined for,
195e5dd7070Spatrick // but it works for now.
196e5dd7070Spatrick if (Opts.POSIXThreads)
197e5dd7070Spatrick Builder.defineMacro("_MT");
198e5dd7070Spatrick
199e5dd7070Spatrick if (Opts.MSCompatibilityVersion) {
200e5dd7070Spatrick Builder.defineMacro("_MSC_VER",
201e5dd7070Spatrick Twine(Opts.MSCompatibilityVersion / 100000));
202e5dd7070Spatrick Builder.defineMacro("_MSC_FULL_VER", Twine(Opts.MSCompatibilityVersion));
203e5dd7070Spatrick // FIXME We cannot encode the revision information into 32-bits
204e5dd7070Spatrick Builder.defineMacro("_MSC_BUILD", Twine(1));
205e5dd7070Spatrick
206e5dd7070Spatrick if (Opts.CPlusPlus11 && Opts.isCompatibleWithMSVC(LangOptions::MSVC2015))
207e5dd7070Spatrick Builder.defineMacro("_HAS_CHAR16_T_LANGUAGE_SUPPORT", Twine(1));
208e5dd7070Spatrick
209e5dd7070Spatrick if (Opts.isCompatibleWithMSVC(LangOptions::MSVC2015)) {
210*12c85518Srobert if (Opts.CPlusPlus2b)
211*12c85518Srobert Builder.defineMacro("_MSVC_LANG", "202004L");
212*12c85518Srobert else if (Opts.CPlusPlus20)
213*12c85518Srobert Builder.defineMacro("_MSVC_LANG", "202002L");
214e5dd7070Spatrick else if (Opts.CPlusPlus17)
215e5dd7070Spatrick Builder.defineMacro("_MSVC_LANG", "201703L");
216e5dd7070Spatrick else if (Opts.CPlusPlus14)
217e5dd7070Spatrick Builder.defineMacro("_MSVC_LANG", "201402L");
218e5dd7070Spatrick }
219e5dd7070Spatrick }
220e5dd7070Spatrick
221e5dd7070Spatrick if (Opts.MicrosoftExt) {
222e5dd7070Spatrick Builder.defineMacro("_MSC_EXTENSIONS");
223e5dd7070Spatrick
224e5dd7070Spatrick if (Opts.CPlusPlus11) {
225e5dd7070Spatrick Builder.defineMacro("_RVALUE_REFERENCES_V2_SUPPORTED");
226e5dd7070Spatrick Builder.defineMacro("_RVALUE_REFERENCES_SUPPORTED");
227e5dd7070Spatrick Builder.defineMacro("_NATIVE_NULLPTR_SUPPORTED");
228e5dd7070Spatrick }
229e5dd7070Spatrick }
230e5dd7070Spatrick
231*12c85518Srobert if (!Opts.MSVolatile)
232*12c85518Srobert Builder.defineMacro("_ISO_VOLATILE");
233*12c85518Srobert
234*12c85518Srobert if (Opts.Kernel)
235*12c85518Srobert Builder.defineMacro("_KERNEL_MODE");
236*12c85518Srobert
237e5dd7070Spatrick Builder.defineMacro("_INTEGRAL_MAX_BITS", "64");
238*12c85518Srobert Builder.defineMacro("__STDC_NO_THREADS__");
239*12c85518Srobert
240*12c85518Srobert // Starting with VS 2022 17.1, MSVC predefines the below macro to inform
241*12c85518Srobert // users of the execution character set defined at compile time.
242*12c85518Srobert // The value given is the Windows Code Page Identifier:
243*12c85518Srobert // https://docs.microsoft.com/en-us/windows/win32/intl/code-page-identifiers
244*12c85518Srobert //
245*12c85518Srobert // Clang currently only supports UTF-8, so we'll use 65001
246*12c85518Srobert Builder.defineMacro("_MSVC_EXECUTION_CHARACTER_SET", "65001");
247e5dd7070Spatrick }
248e5dd7070Spatrick
addWindowsDefines(const llvm::Triple & Triple,const LangOptions & Opts,MacroBuilder & Builder)249e5dd7070Spatrick void addWindowsDefines(const llvm::Triple &Triple, const LangOptions &Opts,
250e5dd7070Spatrick MacroBuilder &Builder) {
251e5dd7070Spatrick Builder.defineMacro("_WIN32");
252e5dd7070Spatrick if (Triple.isArch64Bit())
253e5dd7070Spatrick Builder.defineMacro("_WIN64");
254e5dd7070Spatrick if (Triple.isWindowsGNUEnvironment())
255e5dd7070Spatrick addMinGWDefines(Triple, Opts, Builder);
256e5dd7070Spatrick else if (Triple.isKnownWindowsMSVCEnvironment() ||
257e5dd7070Spatrick (Triple.isWindowsItaniumEnvironment() && Opts.MSVCCompat))
258e5dd7070Spatrick addVisualCDefines(Opts, Builder);
259e5dd7070Spatrick }
260e5dd7070Spatrick
261e5dd7070Spatrick } // namespace targets
262e5dd7070Spatrick } // namespace clang
263