xref: /llvm-project/clang/lib/Frontend/InitPreprocessor.cpp (revision d394f9f8970d758cb39151328dd3040ba7f414ae)
1 //===--- InitPreprocessor.cpp - PP initialization code. ---------*- C++ -*-===//
2 //
3 // Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions.
4 // See https://llvm.org/LICENSE.txt for license information.
5 // SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
6 //
7 //===----------------------------------------------------------------------===//
8 //
9 // This file implements the clang::InitializePreprocessor function.
10 //
11 //===----------------------------------------------------------------------===//
12 
13 #include "clang/Basic/FileManager.h"
14 #include "clang/Basic/MacroBuilder.h"
15 #include "clang/Basic/SourceManager.h"
16 #include "clang/Basic/SyncScope.h"
17 #include "clang/Basic/TargetInfo.h"
18 #include "clang/Basic/Version.h"
19 #include "clang/Frontend/FrontendDiagnostic.h"
20 #include "clang/Frontend/FrontendOptions.h"
21 #include "clang/Frontend/Utils.h"
22 #include "clang/Lex/HeaderSearch.h"
23 #include "clang/Lex/Preprocessor.h"
24 #include "clang/Lex/PreprocessorOptions.h"
25 #include "clang/Serialization/ASTReader.h"
26 #include "llvm/ADT/APFloat.h"
27 #include "llvm/IR/DataLayout.h"
28 #include "llvm/IR/DerivedTypes.h"
29 using namespace clang;
30 
31 static bool MacroBodyEndsInBackslash(StringRef MacroBody) {
32   while (!MacroBody.empty() && isWhitespace(MacroBody.back()))
33     MacroBody = MacroBody.drop_back();
34   return !MacroBody.empty() && MacroBody.back() == '\\';
35 }
36 
37 // Append a #define line to Buf for Macro.  Macro should be of the form XXX,
38 // in which case we emit "#define XXX 1" or "XXX=Y z W" in which case we emit
39 // "#define XXX Y z W".  To get a #define with no value, use "XXX=".
40 static void DefineBuiltinMacro(MacroBuilder &Builder, StringRef Macro,
41                                DiagnosticsEngine &Diags) {
42   std::pair<StringRef, StringRef> MacroPair = Macro.split('=');
43   StringRef MacroName = MacroPair.first;
44   StringRef MacroBody = MacroPair.second;
45   if (MacroName.size() != Macro.size()) {
46     // Per GCC -D semantics, the macro ends at \n if it exists.
47     StringRef::size_type End = MacroBody.find_first_of("\n\r");
48     if (End != StringRef::npos)
49       Diags.Report(diag::warn_fe_macro_contains_embedded_newline)
50         << MacroName;
51     MacroBody = MacroBody.substr(0, End);
52     // We handle macro bodies which end in a backslash by appending an extra
53     // backslash+newline.  This makes sure we don't accidentally treat the
54     // backslash as a line continuation marker.
55     if (MacroBodyEndsInBackslash(MacroBody))
56       Builder.defineMacro(MacroName, Twine(MacroBody) + "\\\n");
57     else
58       Builder.defineMacro(MacroName, MacroBody);
59   } else {
60     // Push "macroname 1".
61     Builder.defineMacro(Macro);
62   }
63 }
64 
65 /// AddImplicitInclude - Add an implicit \#include of the specified file to the
66 /// predefines buffer.
67 /// As these includes are generated by -include arguments the header search
68 /// logic is going to search relatively to the current working directory.
69 static void AddImplicitInclude(MacroBuilder &Builder, StringRef File) {
70   Builder.append(Twine("#include \"") + File + "\"");
71 }
72 
73 static void AddImplicitIncludeMacros(MacroBuilder &Builder, StringRef File) {
74   Builder.append(Twine("#__include_macros \"") + File + "\"");
75   // Marker token to stop the __include_macros fetch loop.
76   Builder.append("##"); // ##?
77 }
78 
79 /// Add an implicit \#include using the original file used to generate
80 /// a PCH file.
81 static void AddImplicitIncludePCH(MacroBuilder &Builder, Preprocessor &PP,
82                                   const PCHContainerReader &PCHContainerRdr,
83                                   StringRef ImplicitIncludePCH) {
84   std::string OriginalFile = ASTReader::getOriginalSourceFile(
85       std::string(ImplicitIncludePCH), PP.getFileManager(), PCHContainerRdr,
86       PP.getDiagnostics());
87   if (OriginalFile.empty())
88     return;
89 
90   AddImplicitInclude(Builder, OriginalFile);
91 }
92 
93 /// PickFP - This is used to pick a value based on the FP semantics of the
94 /// specified FP model.
95 template <typename T>
96 static T PickFP(const llvm::fltSemantics *Sem, T IEEEHalfVal, T IEEESingleVal,
97                 T IEEEDoubleVal, T X87DoubleExtendedVal, T PPCDoubleDoubleVal,
98                 T IEEEQuadVal) {
99   if (Sem == (const llvm::fltSemantics*)&llvm::APFloat::IEEEhalf())
100     return IEEEHalfVal;
101   if (Sem == (const llvm::fltSemantics*)&llvm::APFloat::IEEEsingle())
102     return IEEESingleVal;
103   if (Sem == (const llvm::fltSemantics*)&llvm::APFloat::IEEEdouble())
104     return IEEEDoubleVal;
105   if (Sem == (const llvm::fltSemantics*)&llvm::APFloat::x87DoubleExtended())
106     return X87DoubleExtendedVal;
107   if (Sem == (const llvm::fltSemantics*)&llvm::APFloat::PPCDoubleDouble())
108     return PPCDoubleDoubleVal;
109   assert(Sem == (const llvm::fltSemantics*)&llvm::APFloat::IEEEquad());
110   return IEEEQuadVal;
111 }
112 
113 static void DefineFloatMacros(MacroBuilder &Builder, StringRef Prefix,
114                               const llvm::fltSemantics *Sem, StringRef Ext) {
115   const char *DenormMin, *Epsilon, *Max, *Min;
116   DenormMin = PickFP(Sem, "5.9604644775390625e-8", "1.40129846e-45",
117                      "4.9406564584124654e-324", "3.64519953188247460253e-4951",
118                      "4.94065645841246544176568792868221e-324",
119                      "6.47517511943802511092443895822764655e-4966");
120   int Digits = PickFP(Sem, 3, 6, 15, 18, 31, 33);
121   int DecimalDigits = PickFP(Sem, 5, 9, 17, 21, 33, 36);
122   Epsilon = PickFP(Sem, "9.765625e-4", "1.19209290e-7",
123                    "2.2204460492503131e-16", "1.08420217248550443401e-19",
124                    "4.94065645841246544176568792868221e-324",
125                    "1.92592994438723585305597794258492732e-34");
126   int MantissaDigits = PickFP(Sem, 11, 24, 53, 64, 106, 113);
127   int Min10Exp = PickFP(Sem, -4, -37, -307, -4931, -291, -4931);
128   int Max10Exp = PickFP(Sem, 4, 38, 308, 4932, 308, 4932);
129   int MinExp = PickFP(Sem, -13, -125, -1021, -16381, -968, -16381);
130   int MaxExp = PickFP(Sem, 16, 128, 1024, 16384, 1024, 16384);
131   Min = PickFP(Sem, "6.103515625e-5", "1.17549435e-38", "2.2250738585072014e-308",
132                "3.36210314311209350626e-4932",
133                "2.00416836000897277799610805135016e-292",
134                "3.36210314311209350626267781732175260e-4932");
135   Max = PickFP(Sem, "6.5504e+4", "3.40282347e+38", "1.7976931348623157e+308",
136                "1.18973149535723176502e+4932",
137                "1.79769313486231580793728971405301e+308",
138                "1.18973149535723176508575932662800702e+4932");
139 
140   SmallString<32> DefPrefix;
141   DefPrefix = "__";
142   DefPrefix += Prefix;
143   DefPrefix += "_";
144 
145   Builder.defineMacro(DefPrefix + "DENORM_MIN__", Twine(DenormMin)+Ext);
146   Builder.defineMacro(DefPrefix + "HAS_DENORM__");
147   Builder.defineMacro(DefPrefix + "DIG__", Twine(Digits));
148   Builder.defineMacro(DefPrefix + "DECIMAL_DIG__", Twine(DecimalDigits));
149   Builder.defineMacro(DefPrefix + "EPSILON__", Twine(Epsilon)+Ext);
150   Builder.defineMacro(DefPrefix + "HAS_INFINITY__");
151   Builder.defineMacro(DefPrefix + "HAS_QUIET_NAN__");
152   Builder.defineMacro(DefPrefix + "MANT_DIG__", Twine(MantissaDigits));
153 
154   Builder.defineMacro(DefPrefix + "MAX_10_EXP__", Twine(Max10Exp));
155   Builder.defineMacro(DefPrefix + "MAX_EXP__", Twine(MaxExp));
156   Builder.defineMacro(DefPrefix + "MAX__", Twine(Max)+Ext);
157 
158   Builder.defineMacro(DefPrefix + "MIN_10_EXP__","("+Twine(Min10Exp)+")");
159   Builder.defineMacro(DefPrefix + "MIN_EXP__", "("+Twine(MinExp)+")");
160   Builder.defineMacro(DefPrefix + "MIN__", Twine(Min)+Ext);
161 }
162 
163 
164 /// DefineTypeSize - Emit a macro to the predefines buffer that declares a macro
165 /// named MacroName with the max value for a type with width 'TypeWidth' a
166 /// signedness of 'isSigned' and with a value suffix of 'ValSuffix' (e.g. LL).
167 static void DefineTypeSize(const Twine &MacroName, unsigned TypeWidth,
168                            StringRef ValSuffix, bool isSigned,
169                            MacroBuilder &Builder) {
170   llvm::APInt MaxVal = isSigned ? llvm::APInt::getSignedMaxValue(TypeWidth)
171                                 : llvm::APInt::getMaxValue(TypeWidth);
172   Builder.defineMacro(MacroName, toString(MaxVal, 10, isSigned) + ValSuffix);
173 }
174 
175 /// DefineTypeSize - An overloaded helper that uses TargetInfo to determine
176 /// the width, suffix, and signedness of the given type
177 static void DefineTypeSize(const Twine &MacroName, TargetInfo::IntType Ty,
178                            const TargetInfo &TI, MacroBuilder &Builder) {
179   DefineTypeSize(MacroName, TI.getTypeWidth(Ty), TI.getTypeConstantSuffix(Ty),
180                  TI.isTypeSigned(Ty), Builder);
181 }
182 
183 static void DefineFmt(const Twine &Prefix, TargetInfo::IntType Ty,
184                       const TargetInfo &TI, MacroBuilder &Builder) {
185   bool IsSigned = TI.isTypeSigned(Ty);
186   StringRef FmtModifier = TI.getTypeFormatModifier(Ty);
187   for (const char *Fmt = IsSigned ? "di" : "ouxX"; *Fmt; ++Fmt) {
188     Builder.defineMacro(Prefix + "_FMT" + Twine(*Fmt) + "__",
189                         Twine("\"") + FmtModifier + Twine(*Fmt) + "\"");
190   }
191 }
192 
193 static void DefineType(const Twine &MacroName, TargetInfo::IntType Ty,
194                        MacroBuilder &Builder) {
195   Builder.defineMacro(MacroName, TargetInfo::getTypeName(Ty));
196 }
197 
198 static void DefineTypeWidth(const Twine &MacroName, TargetInfo::IntType Ty,
199                             const TargetInfo &TI, MacroBuilder &Builder) {
200   Builder.defineMacro(MacroName, Twine(TI.getTypeWidth(Ty)));
201 }
202 
203 static void DefineTypeSizeof(StringRef MacroName, unsigned BitWidth,
204                              const TargetInfo &TI, MacroBuilder &Builder) {
205   Builder.defineMacro(MacroName,
206                       Twine(BitWidth / TI.getCharWidth()));
207 }
208 
209 // This will generate a macro based on the prefix with `_MAX__` as the suffix
210 // for the max value representable for the type, and a macro with a `_WIDTH__`
211 // suffix for the width of the type.
212 static void DefineTypeSizeAndWidth(const Twine &Prefix, TargetInfo::IntType Ty,
213                                    const TargetInfo &TI,
214                                    MacroBuilder &Builder) {
215   DefineTypeSize(Prefix + "_MAX__", Ty, TI, Builder);
216   DefineTypeWidth(Prefix + "_WIDTH__", Ty, TI, Builder);
217 }
218 
219 static void DefineExactWidthIntType(TargetInfo::IntType Ty,
220                                     const TargetInfo &TI,
221                                     MacroBuilder &Builder) {
222   int TypeWidth = TI.getTypeWidth(Ty);
223   bool IsSigned = TI.isTypeSigned(Ty);
224 
225   // Use the target specified int64 type, when appropriate, so that [u]int64_t
226   // ends up being defined in terms of the correct type.
227   if (TypeWidth == 64)
228     Ty = IsSigned ? TI.getInt64Type() : TI.getUInt64Type();
229 
230   // Use the target specified int16 type when appropriate. Some MCU targets
231   // (such as AVR) have definition of [u]int16_t to [un]signed int.
232   if (TypeWidth == 16)
233     Ty = IsSigned ? TI.getInt16Type() : TI.getUInt16Type();
234 
235   const char *Prefix = IsSigned ? "__INT" : "__UINT";
236 
237   DefineType(Prefix + Twine(TypeWidth) + "_TYPE__", Ty, Builder);
238   DefineFmt(Prefix + Twine(TypeWidth), Ty, TI, Builder);
239 
240   StringRef ConstSuffix(TI.getTypeConstantSuffix(Ty));
241   Builder.defineMacro(Prefix + Twine(TypeWidth) + "_C_SUFFIX__", ConstSuffix);
242 }
243 
244 static void DefineExactWidthIntTypeSize(TargetInfo::IntType Ty,
245                                         const TargetInfo &TI,
246                                         MacroBuilder &Builder) {
247   int TypeWidth = TI.getTypeWidth(Ty);
248   bool IsSigned = TI.isTypeSigned(Ty);
249 
250   // Use the target specified int64 type, when appropriate, so that [u]int64_t
251   // ends up being defined in terms of the correct type.
252   if (TypeWidth == 64)
253     Ty = IsSigned ? TI.getInt64Type() : TI.getUInt64Type();
254 
255   // We don't need to define a _WIDTH macro for the exact-width types because
256   // we already know the width.
257   const char *Prefix = IsSigned ? "__INT" : "__UINT";
258   DefineTypeSize(Prefix + Twine(TypeWidth) + "_MAX__", Ty, TI, Builder);
259 }
260 
261 static void DefineLeastWidthIntType(unsigned TypeWidth, bool IsSigned,
262                                     const TargetInfo &TI,
263                                     MacroBuilder &Builder) {
264   TargetInfo::IntType Ty = TI.getLeastIntTypeByWidth(TypeWidth, IsSigned);
265   if (Ty == TargetInfo::NoInt)
266     return;
267 
268   const char *Prefix = IsSigned ? "__INT_LEAST" : "__UINT_LEAST";
269   DefineType(Prefix + Twine(TypeWidth) + "_TYPE__", Ty, Builder);
270   // We only want the *_WIDTH macro for the signed types to avoid too many
271   // predefined macros (the unsigned width and the signed width are identical.)
272   if (IsSigned)
273     DefineTypeSizeAndWidth(Prefix + Twine(TypeWidth), Ty, TI, Builder);
274   else
275     DefineTypeSize(Prefix + Twine(TypeWidth) + "_MAX__", Ty, TI, Builder);
276   DefineFmt(Prefix + Twine(TypeWidth), Ty, TI, Builder);
277 }
278 
279 static void DefineFastIntType(unsigned TypeWidth, bool IsSigned,
280                               const TargetInfo &TI, MacroBuilder &Builder) {
281   // stdint.h currently defines the fast int types as equivalent to the least
282   // types.
283   TargetInfo::IntType Ty = TI.getLeastIntTypeByWidth(TypeWidth, IsSigned);
284   if (Ty == TargetInfo::NoInt)
285     return;
286 
287   const char *Prefix = IsSigned ? "__INT_FAST" : "__UINT_FAST";
288   DefineType(Prefix + Twine(TypeWidth) + "_TYPE__", Ty, Builder);
289   // We only want the *_WIDTH macro for the signed types to avoid too many
290   // predefined macros (the unsigned width and the signed width are identical.)
291   if (IsSigned)
292     DefineTypeSizeAndWidth(Prefix + Twine(TypeWidth), Ty, TI, Builder);
293   else
294     DefineTypeSize(Prefix + Twine(TypeWidth) + "_MAX__", Ty, TI, Builder);
295   DefineFmt(Prefix + Twine(TypeWidth), Ty, TI, Builder);
296 }
297 
298 
299 /// Get the value the ATOMIC_*_LOCK_FREE macro should have for a type with
300 /// the specified properties.
301 static const char *getLockFreeValue(unsigned TypeWidth, unsigned TypeAlign,
302                                     unsigned InlineWidth) {
303   // Fully-aligned, power-of-2 sizes no larger than the inline
304   // width will be inlined as lock-free operations.
305   if (TypeWidth == TypeAlign && (TypeWidth & (TypeWidth - 1)) == 0 &&
306       TypeWidth <= InlineWidth)
307     return "2"; // "always lock free"
308   // We cannot be certain what operations the lib calls might be
309   // able to implement as lock-free on future processors.
310   return "1"; // "sometimes lock free"
311 }
312 
313 /// Add definitions required for a smooth interaction between
314 /// Objective-C++ automated reference counting and libstdc++ (4.2).
315 static void AddObjCXXARCLibstdcxxDefines(const LangOptions &LangOpts,
316                                          MacroBuilder &Builder) {
317   Builder.defineMacro("_GLIBCXX_PREDEFINED_OBJC_ARC_IS_SCALAR");
318 
319   std::string Result;
320   {
321     // Provide specializations for the __is_scalar type trait so that
322     // lifetime-qualified objects are not considered "scalar" types, which
323     // libstdc++ uses as an indicator of the presence of trivial copy, assign,
324     // default-construct, and destruct semantics (none of which hold for
325     // lifetime-qualified objects in ARC).
326     llvm::raw_string_ostream Out(Result);
327 
328     Out << "namespace std {\n"
329         << "\n"
330         << "struct __true_type;\n"
331         << "struct __false_type;\n"
332         << "\n";
333 
334     Out << "template<typename _Tp> struct __is_scalar;\n"
335         << "\n";
336 
337     if (LangOpts.ObjCAutoRefCount) {
338       Out << "template<typename _Tp>\n"
339           << "struct __is_scalar<__attribute__((objc_ownership(strong))) _Tp> {\n"
340           << "  enum { __value = 0 };\n"
341           << "  typedef __false_type __type;\n"
342           << "};\n"
343           << "\n";
344     }
345 
346     if (LangOpts.ObjCWeak) {
347       Out << "template<typename _Tp>\n"
348           << "struct __is_scalar<__attribute__((objc_ownership(weak))) _Tp> {\n"
349           << "  enum { __value = 0 };\n"
350           << "  typedef __false_type __type;\n"
351           << "};\n"
352           << "\n";
353     }
354 
355     if (LangOpts.ObjCAutoRefCount) {
356       Out << "template<typename _Tp>\n"
357           << "struct __is_scalar<__attribute__((objc_ownership(autoreleasing)))"
358           << " _Tp> {\n"
359           << "  enum { __value = 0 };\n"
360           << "  typedef __false_type __type;\n"
361           << "};\n"
362           << "\n";
363     }
364 
365     Out << "}\n";
366   }
367   Builder.append(Result);
368 }
369 
370 static void InitializeStandardPredefinedMacros(const TargetInfo &TI,
371                                                const LangOptions &LangOpts,
372                                                const FrontendOptions &FEOpts,
373                                                MacroBuilder &Builder) {
374   if (LangOpts.HLSL) {
375     Builder.defineMacro("__hlsl_clang");
376     // HLSL Version
377     Builder.defineMacro("__HLSL_VERSION",
378                         Twine((unsigned)LangOpts.getHLSLVersion()));
379 
380     // Shader target information
381     // "enums" for shader stages
382     Builder.defineMacro("__SHADER_STAGE_VERTEX",
383                         Twine((uint32_t)ShaderStage::Vertex));
384     Builder.defineMacro("__SHADER_STAGE_PIXEL",
385                         Twine((uint32_t)ShaderStage::Pixel));
386     Builder.defineMacro("__SHADER_STAGE_GEOMETRY",
387                         Twine((uint32_t)ShaderStage::Geometry));
388     Builder.defineMacro("__SHADER_STAGE_HULL",
389                         Twine((uint32_t)ShaderStage::Hull));
390     Builder.defineMacro("__SHADER_STAGE_DOMAIN",
391                         Twine((uint32_t)ShaderStage::Domain));
392     Builder.defineMacro("__SHADER_STAGE_COMPUTE",
393                         Twine((uint32_t)ShaderStage::Compute));
394     Builder.defineMacro("__SHADER_STAGE_AMPLIFICATION",
395                         Twine((uint32_t)ShaderStage::Amplification));
396     Builder.defineMacro("__SHADER_STAGE_MESH",
397                         Twine((uint32_t)ShaderStage::Mesh));
398     Builder.defineMacro("__SHADER_STAGE_LIBRARY",
399                         Twine((uint32_t)ShaderStage::Library));
400     // The current shader stage itself
401     uint32_t StageInteger = StageInteger =
402         (uint32_t)TI.getTriple().getEnvironment() -
403         (uint32_t)llvm::Triple::Pixel;
404     // TODO: When we add raytracing support we can clean this up
405     if (TI.getTriple().getEnvironment() == llvm::Triple::Mesh)
406       StageInteger = (uint32_t)ShaderStage::Mesh;
407     else if (TI.getTriple().getEnvironment() == llvm::Triple::Amplification)
408       StageInteger = (uint32_t)ShaderStage::Amplification;
409 
410     Builder.defineMacro("__SHADER_TARGET_STAGE", Twine(StageInteger));
411     // Add target versions
412     if (TI.getTriple().getOS() == llvm::Triple::ShaderModel) {
413       VersionTuple Version = TI.getTriple().getOSVersion();
414       Builder.defineMacro("__SHADER_TARGET_MAJOR", Twine(Version.getMajor()));
415       unsigned Minor = Version.getMinor() ? *Version.getMinor() : 0;
416       Builder.defineMacro("__SHADER_TARGET_MINOR", Twine(Minor));
417     }
418     return;
419   }
420   // C++ [cpp.predefined]p1:
421   //   The following macro names shall be defined by the implementation:
422 
423   //   -- __STDC__
424   //      [C++] Whether __STDC__ is predefined and if so, what its value is,
425   //      are implementation-defined.
426   // (Removed in C++20.)
427   if (!LangOpts.MSVCCompat && !LangOpts.TraditionalCPP)
428     Builder.defineMacro("__STDC__");
429   //   -- __STDC_HOSTED__
430   //      The integer literal 1 if the implementation is a hosted
431   //      implementation or the integer literal 0 if it is not.
432   if (LangOpts.Freestanding)
433     Builder.defineMacro("__STDC_HOSTED__", "0");
434   else
435     Builder.defineMacro("__STDC_HOSTED__");
436 
437   //   -- __STDC_VERSION__
438   //      [C++] Whether __STDC_VERSION__ is predefined and if so, what its
439   //      value is, are implementation-defined.
440   // (Removed in C++20.)
441   if (!LangOpts.CPlusPlus) {
442     // FIXME: Use correct value for C23.
443     if (LangOpts.C2x)
444       Builder.defineMacro("__STDC_VERSION__", "202000L");
445     else if (LangOpts.C17)
446       Builder.defineMacro("__STDC_VERSION__", "201710L");
447     else if (LangOpts.C11)
448       Builder.defineMacro("__STDC_VERSION__", "201112L");
449     else if (LangOpts.C99)
450       Builder.defineMacro("__STDC_VERSION__", "199901L");
451     else if (!LangOpts.GNUMode && LangOpts.Digraphs)
452       Builder.defineMacro("__STDC_VERSION__", "199409L");
453   } else {
454     //   -- __cplusplus
455     // FIXME: Use correct value for C++23.
456     if (LangOpts.CPlusPlus2b)
457       Builder.defineMacro("__cplusplus", "202101L");
458     //      [C++20] The integer literal 202002L.
459     else if (LangOpts.CPlusPlus20)
460       Builder.defineMacro("__cplusplus", "202002L");
461     //      [C++17] The integer literal 201703L.
462     else if (LangOpts.CPlusPlus17)
463       Builder.defineMacro("__cplusplus", "201703L");
464     //      [C++14] The name __cplusplus is defined to the value 201402L when
465     //      compiling a C++ translation unit.
466     else if (LangOpts.CPlusPlus14)
467       Builder.defineMacro("__cplusplus", "201402L");
468     //      [C++11] The name __cplusplus is defined to the value 201103L when
469     //      compiling a C++ translation unit.
470     else if (LangOpts.CPlusPlus11)
471       Builder.defineMacro("__cplusplus", "201103L");
472     //      [C++03] The name __cplusplus is defined to the value 199711L when
473     //      compiling a C++ translation unit.
474     else
475       Builder.defineMacro("__cplusplus", "199711L");
476 
477     //   -- __STDCPP_DEFAULT_NEW_ALIGNMENT__
478     //      [C++17] An integer literal of type std::size_t whose value is the
479     //      alignment guaranteed by a call to operator new(std::size_t)
480     //
481     // We provide this in all language modes, since it seems generally useful.
482     Builder.defineMacro("__STDCPP_DEFAULT_NEW_ALIGNMENT__",
483                         Twine(TI.getNewAlign() / TI.getCharWidth()) +
484                             TI.getTypeConstantSuffix(TI.getSizeType()));
485 
486     //   -- __STDCPP_­THREADS__
487     //      Defined, and has the value integer literal 1, if and only if a
488     //      program can have more than one thread of execution.
489     if (LangOpts.getThreadModel() == LangOptions::ThreadModelKind::POSIX)
490       Builder.defineMacro("__STDCPP_THREADS__", "1");
491   }
492 
493   // In C11 these are environment macros. In C++11 they are only defined
494   // as part of <cuchar>. To prevent breakage when mixing C and C++
495   // code, define these macros unconditionally. We can define them
496   // unconditionally, as Clang always uses UTF-16 and UTF-32 for 16-bit
497   // and 32-bit character literals.
498   Builder.defineMacro("__STDC_UTF_16__", "1");
499   Builder.defineMacro("__STDC_UTF_32__", "1");
500 
501   if (LangOpts.ObjC)
502     Builder.defineMacro("__OBJC__");
503 
504   // OpenCL v1.0/1.1 s6.9, v1.2/2.0 s6.10: Preprocessor Directives and Macros.
505   if (LangOpts.OpenCL) {
506     if (LangOpts.CPlusPlus) {
507       switch (LangOpts.OpenCLCPlusPlusVersion) {
508       case 100:
509         Builder.defineMacro("__OPENCL_CPP_VERSION__", "100");
510         break;
511       case 202100:
512         Builder.defineMacro("__OPENCL_CPP_VERSION__", "202100");
513         break;
514       default:
515         llvm_unreachable("Unsupported C++ version for OpenCL");
516       }
517       Builder.defineMacro("__CL_CPP_VERSION_1_0__", "100");
518       Builder.defineMacro("__CL_CPP_VERSION_2021__", "202100");
519     } else {
520       // OpenCL v1.0 and v1.1 do not have a predefined macro to indicate the
521       // language standard with which the program is compiled. __OPENCL_VERSION__
522       // is for the OpenCL version supported by the OpenCL device, which is not
523       // necessarily the language standard with which the program is compiled.
524       // A shared OpenCL header file requires a macro to indicate the language
525       // standard. As a workaround, __OPENCL_C_VERSION__ is defined for
526       // OpenCL v1.0 and v1.1.
527       switch (LangOpts.OpenCLVersion) {
528       case 100:
529         Builder.defineMacro("__OPENCL_C_VERSION__", "100");
530         break;
531       case 110:
532         Builder.defineMacro("__OPENCL_C_VERSION__", "110");
533         break;
534       case 120:
535         Builder.defineMacro("__OPENCL_C_VERSION__", "120");
536         break;
537       case 200:
538         Builder.defineMacro("__OPENCL_C_VERSION__", "200");
539         break;
540       case 300:
541         Builder.defineMacro("__OPENCL_C_VERSION__", "300");
542         break;
543       default:
544         llvm_unreachable("Unsupported OpenCL version");
545       }
546     }
547     Builder.defineMacro("CL_VERSION_1_0", "100");
548     Builder.defineMacro("CL_VERSION_1_1", "110");
549     Builder.defineMacro("CL_VERSION_1_2", "120");
550     Builder.defineMacro("CL_VERSION_2_0", "200");
551     Builder.defineMacro("CL_VERSION_3_0", "300");
552 
553     if (TI.isLittleEndian())
554       Builder.defineMacro("__ENDIAN_LITTLE__");
555 
556     if (LangOpts.FastRelaxedMath)
557       Builder.defineMacro("__FAST_RELAXED_MATH__");
558   }
559 
560   if (LangOpts.SYCLIsDevice || LangOpts.SYCLIsHost) {
561     // SYCL Version is set to a value when building SYCL applications
562     if (LangOpts.getSYCLVersion() == LangOptions::SYCL_2017)
563       Builder.defineMacro("CL_SYCL_LANGUAGE_VERSION", "121");
564     else if (LangOpts.getSYCLVersion() == LangOptions::SYCL_2020)
565       Builder.defineMacro("SYCL_LANGUAGE_VERSION", "202001");
566   }
567 
568   // Not "standard" per se, but available even with the -undef flag.
569   if (LangOpts.AsmPreprocessor)
570     Builder.defineMacro("__ASSEMBLER__");
571   if (LangOpts.CUDA) {
572     if (LangOpts.GPURelocatableDeviceCode)
573       Builder.defineMacro("__CLANG_RDC__");
574     if (!LangOpts.HIP)
575       Builder.defineMacro("__CUDA__");
576   }
577   if (LangOpts.HIP) {
578     Builder.defineMacro("__HIP__");
579     Builder.defineMacro("__HIPCC__");
580     Builder.defineMacro("__HIP_MEMORY_SCOPE_SINGLETHREAD", "1");
581     Builder.defineMacro("__HIP_MEMORY_SCOPE_WAVEFRONT", "2");
582     Builder.defineMacro("__HIP_MEMORY_SCOPE_WORKGROUP", "3");
583     Builder.defineMacro("__HIP_MEMORY_SCOPE_AGENT", "4");
584     Builder.defineMacro("__HIP_MEMORY_SCOPE_SYSTEM", "5");
585     if (LangOpts.CUDAIsDevice)
586       Builder.defineMacro("__HIP_DEVICE_COMPILE__");
587     if (LangOpts.GPUDefaultStream ==
588         LangOptions::GPUDefaultStreamKind::PerThread)
589       Builder.defineMacro("HIP_API_PER_THREAD_DEFAULT_STREAM");
590   }
591 }
592 
593 /// Initialize the predefined C++ language feature test macros defined in
594 /// ISO/IEC JTC1/SC22/WG21 (C++) SD-6: "SG10 Feature Test Recommendations".
595 static void InitializeCPlusPlusFeatureTestMacros(const LangOptions &LangOpts,
596                                                  MacroBuilder &Builder) {
597   // C++98 features.
598   if (LangOpts.RTTI)
599     Builder.defineMacro("__cpp_rtti", "199711L");
600   if (LangOpts.CXXExceptions)
601     Builder.defineMacro("__cpp_exceptions", "199711L");
602 
603   // C++11 features.
604   if (LangOpts.CPlusPlus11) {
605     Builder.defineMacro("__cpp_unicode_characters", "200704L");
606     Builder.defineMacro("__cpp_raw_strings", "200710L");
607     Builder.defineMacro("__cpp_unicode_literals", "200710L");
608     Builder.defineMacro("__cpp_user_defined_literals", "200809L");
609     Builder.defineMacro("__cpp_lambdas", "200907L");
610     Builder.defineMacro("__cpp_constexpr", LangOpts.CPlusPlus2b   ? "202110L"
611                                            : LangOpts.CPlusPlus20 ? "201907L"
612                                            : LangOpts.CPlusPlus17 ? "201603L"
613                                            : LangOpts.CPlusPlus14 ? "201304L"
614                                                                   : "200704");
615     Builder.defineMacro("__cpp_constexpr_in_decltype", "201711L");
616     Builder.defineMacro("__cpp_range_based_for",
617                         LangOpts.CPlusPlus17 ? "201603L" : "200907");
618     Builder.defineMacro("__cpp_static_assert",
619                         LangOpts.CPlusPlus17 ? "201411L" : "200410");
620     Builder.defineMacro("__cpp_decltype", "200707L");
621     Builder.defineMacro("__cpp_attributes", "200809L");
622     Builder.defineMacro("__cpp_rvalue_references", "200610L");
623     Builder.defineMacro("__cpp_variadic_templates", "200704L");
624     Builder.defineMacro("__cpp_initializer_lists", "200806L");
625     Builder.defineMacro("__cpp_delegating_constructors", "200604L");
626     Builder.defineMacro("__cpp_nsdmi", "200809L");
627     Builder.defineMacro("__cpp_inheriting_constructors", "201511L");
628     Builder.defineMacro("__cpp_ref_qualifiers", "200710L");
629     Builder.defineMacro("__cpp_alias_templates", "200704L");
630   }
631   if (LangOpts.ThreadsafeStatics)
632     Builder.defineMacro("__cpp_threadsafe_static_init", "200806L");
633 
634   // C++14 features.
635   if (LangOpts.CPlusPlus14) {
636     Builder.defineMacro("__cpp_binary_literals", "201304L");
637     Builder.defineMacro("__cpp_digit_separators", "201309L");
638     Builder.defineMacro("__cpp_init_captures",
639                         LangOpts.CPlusPlus20 ? "201803L" : "201304L");
640     Builder.defineMacro("__cpp_generic_lambdas",
641                         LangOpts.CPlusPlus20 ? "201707L" : "201304L");
642     Builder.defineMacro("__cpp_decltype_auto", "201304L");
643     Builder.defineMacro("__cpp_return_type_deduction", "201304L");
644     Builder.defineMacro("__cpp_aggregate_nsdmi", "201304L");
645     Builder.defineMacro("__cpp_variable_templates", "201304L");
646   }
647   if (LangOpts.SizedDeallocation)
648     Builder.defineMacro("__cpp_sized_deallocation", "201309L");
649 
650   // C++17 features.
651   if (LangOpts.CPlusPlus17) {
652     Builder.defineMacro("__cpp_hex_float", "201603L");
653     Builder.defineMacro("__cpp_inline_variables", "201606L");
654     Builder.defineMacro("__cpp_noexcept_function_type", "201510L");
655     Builder.defineMacro("__cpp_capture_star_this", "201603L");
656     Builder.defineMacro("__cpp_if_constexpr", "201606L");
657     Builder.defineMacro("__cpp_deduction_guides", "201703L"); // (not latest)
658     Builder.defineMacro("__cpp_template_auto", "201606L"); // (old name)
659     Builder.defineMacro("__cpp_namespace_attributes", "201411L");
660     Builder.defineMacro("__cpp_enumerator_attributes", "201411L");
661     Builder.defineMacro("__cpp_nested_namespace_definitions", "201411L");
662     Builder.defineMacro("__cpp_variadic_using", "201611L");
663     Builder.defineMacro("__cpp_aggregate_bases", "201603L");
664     Builder.defineMacro("__cpp_structured_bindings", "201606L");
665     Builder.defineMacro("__cpp_nontype_template_args",
666                         "201411L"); // (not latest)
667     Builder.defineMacro("__cpp_fold_expressions", "201603L");
668     Builder.defineMacro("__cpp_guaranteed_copy_elision", "201606L");
669     Builder.defineMacro("__cpp_nontype_template_parameter_auto", "201606L");
670   }
671   if (LangOpts.AlignedAllocation && !LangOpts.AlignedAllocationUnavailable)
672     Builder.defineMacro("__cpp_aligned_new", "201606L");
673   if (LangOpts.RelaxedTemplateTemplateArgs)
674     Builder.defineMacro("__cpp_template_template_args", "201611L");
675 
676   // C++20 features.
677   if (LangOpts.CPlusPlus20) {
678     //Builder.defineMacro("__cpp_aggregate_paren_init", "201902L");
679     Builder.defineMacro("__cpp_concepts", "201907L");
680     Builder.defineMacro("__cpp_conditional_explicit", "201806L");
681     //Builder.defineMacro("__cpp_consteval", "201811L");
682     Builder.defineMacro("__cpp_constexpr_dynamic_alloc", "201907L");
683     Builder.defineMacro("__cpp_constinit", "201907L");
684     Builder.defineMacro("__cpp_impl_coroutine", "201902L");
685     Builder.defineMacro("__cpp_designated_initializers", "201707L");
686     Builder.defineMacro("__cpp_impl_three_way_comparison", "201907L");
687     //Builder.defineMacro("__cpp_modules", "201907L");
688     Builder.defineMacro("__cpp_using_enum", "201907L");
689   }
690   // C++2b features.
691   if (LangOpts.CPlusPlus2b) {
692     Builder.defineMacro("__cpp_implicit_move", "202011L");
693     Builder.defineMacro("__cpp_size_t_suffix", "202011L");
694     Builder.defineMacro("__cpp_if_consteval", "202106L");
695     Builder.defineMacro("__cpp_­multidimensional_­subscript", "202110L");
696   }
697   if (LangOpts.Char8)
698     Builder.defineMacro("__cpp_char8_t", "201811L");
699   Builder.defineMacro("__cpp_impl_destroying_delete", "201806L");
700 
701   // TS features.
702   if (LangOpts.Coroutines)
703     Builder.defineMacro("__cpp_coroutines", "201703L");
704 }
705 
706 /// InitializeOpenCLFeatureTestMacros - Define OpenCL macros based on target
707 /// settings and language version
708 void InitializeOpenCLFeatureTestMacros(const TargetInfo &TI,
709                                        const LangOptions &Opts,
710                                        MacroBuilder &Builder) {
711   const llvm::StringMap<bool> &OpenCLFeaturesMap = TI.getSupportedOpenCLOpts();
712   // FIXME: OpenCL options which affect language semantics/syntax
713   // should be moved into LangOptions.
714   auto defineOpenCLExtMacro = [&](llvm::StringRef Name, auto... OptArgs) {
715     // Check if extension is supported by target and is available in this
716     // OpenCL version
717     if (TI.hasFeatureEnabled(OpenCLFeaturesMap, Name) &&
718         OpenCLOptions::isOpenCLOptionAvailableIn(Opts, OptArgs...))
719       Builder.defineMacro(Name);
720   };
721 #define OPENCL_GENERIC_EXTENSION(Ext, ...)                                     \
722   defineOpenCLExtMacro(#Ext, __VA_ARGS__);
723 #include "clang/Basic/OpenCLExtensions.def"
724 
725   // Assume compiling for FULL profile
726   Builder.defineMacro("__opencl_c_int64");
727 }
728 
729 static void InitializePredefinedMacros(const TargetInfo &TI,
730                                        const LangOptions &LangOpts,
731                                        const FrontendOptions &FEOpts,
732                                        const PreprocessorOptions &PPOpts,
733                                        MacroBuilder &Builder) {
734   // Compiler version introspection macros.
735   Builder.defineMacro("__llvm__");  // LLVM Backend
736   Builder.defineMacro("__clang__"); // Clang Frontend
737 #define TOSTR2(X) #X
738 #define TOSTR(X) TOSTR2(X)
739   Builder.defineMacro("__clang_major__", TOSTR(CLANG_VERSION_MAJOR));
740   Builder.defineMacro("__clang_minor__", TOSTR(CLANG_VERSION_MINOR));
741   Builder.defineMacro("__clang_patchlevel__", TOSTR(CLANG_VERSION_PATCHLEVEL));
742 #undef TOSTR
743 #undef TOSTR2
744   Builder.defineMacro("__clang_version__",
745                       "\"" CLANG_VERSION_STRING " "
746                       + getClangFullRepositoryVersion() + "\"");
747 
748   if (LangOpts.GNUCVersion != 0) {
749     // Major, minor, patch, are given two decimal places each, so 4.2.1 becomes
750     // 40201.
751     unsigned GNUCMajor = LangOpts.GNUCVersion / 100 / 100;
752     unsigned GNUCMinor = LangOpts.GNUCVersion / 100 % 100;
753     unsigned GNUCPatch = LangOpts.GNUCVersion % 100;
754     Builder.defineMacro("__GNUC__", Twine(GNUCMajor));
755     Builder.defineMacro("__GNUC_MINOR__", Twine(GNUCMinor));
756     Builder.defineMacro("__GNUC_PATCHLEVEL__", Twine(GNUCPatch));
757     Builder.defineMacro("__GXX_ABI_VERSION", "1002");
758 
759     if (LangOpts.CPlusPlus) {
760       Builder.defineMacro("__GNUG__", Twine(GNUCMajor));
761       Builder.defineMacro("__GXX_WEAK__");
762     }
763   }
764 
765   // Define macros for the C11 / C++11 memory orderings
766   Builder.defineMacro("__ATOMIC_RELAXED", "0");
767   Builder.defineMacro("__ATOMIC_CONSUME", "1");
768   Builder.defineMacro("__ATOMIC_ACQUIRE", "2");
769   Builder.defineMacro("__ATOMIC_RELEASE", "3");
770   Builder.defineMacro("__ATOMIC_ACQ_REL", "4");
771   Builder.defineMacro("__ATOMIC_SEQ_CST", "5");
772 
773   // Define macros for the OpenCL memory scope.
774   // The values should match AtomicScopeOpenCLModel::ID enum.
775   static_assert(
776       static_cast<unsigned>(AtomicScopeOpenCLModel::WorkGroup) == 1 &&
777           static_cast<unsigned>(AtomicScopeOpenCLModel::Device) == 2 &&
778           static_cast<unsigned>(AtomicScopeOpenCLModel::AllSVMDevices) == 3 &&
779           static_cast<unsigned>(AtomicScopeOpenCLModel::SubGroup) == 4,
780       "Invalid OpenCL memory scope enum definition");
781   Builder.defineMacro("__OPENCL_MEMORY_SCOPE_WORK_ITEM", "0");
782   Builder.defineMacro("__OPENCL_MEMORY_SCOPE_WORK_GROUP", "1");
783   Builder.defineMacro("__OPENCL_MEMORY_SCOPE_DEVICE", "2");
784   Builder.defineMacro("__OPENCL_MEMORY_SCOPE_ALL_SVM_DEVICES", "3");
785   Builder.defineMacro("__OPENCL_MEMORY_SCOPE_SUB_GROUP", "4");
786 
787   // Support for #pragma redefine_extname (Sun compatibility)
788   Builder.defineMacro("__PRAGMA_REDEFINE_EXTNAME", "1");
789 
790   // Previously this macro was set to a string aiming to achieve compatibility
791   // with GCC 4.2.1. Now, just return the full Clang version
792   Builder.defineMacro("__VERSION__", "\"" +
793                       Twine(getClangFullCPPVersion()) + "\"");
794 
795   // Initialize language-specific preprocessor defines.
796 
797   // Standard conforming mode?
798   if (!LangOpts.GNUMode && !LangOpts.MSVCCompat)
799     Builder.defineMacro("__STRICT_ANSI__");
800 
801   if (LangOpts.GNUCVersion && LangOpts.CPlusPlus11)
802     Builder.defineMacro("__GXX_EXPERIMENTAL_CXX0X__");
803 
804   if (LangOpts.ObjC) {
805     if (LangOpts.ObjCRuntime.isNonFragile()) {
806       Builder.defineMacro("__OBJC2__");
807 
808       if (LangOpts.ObjCExceptions)
809         Builder.defineMacro("OBJC_ZEROCOST_EXCEPTIONS");
810     }
811 
812     if (LangOpts.getGC() != LangOptions::NonGC)
813       Builder.defineMacro("__OBJC_GC__");
814 
815     if (LangOpts.ObjCRuntime.isNeXTFamily())
816       Builder.defineMacro("__NEXT_RUNTIME__");
817 
818     if (LangOpts.ObjCRuntime.getKind() == ObjCRuntime::GNUstep) {
819       auto version = LangOpts.ObjCRuntime.getVersion();
820       std::string versionString = "1";
821       // Don't rely on the tuple argument, because we can be asked to target
822       // later ABIs than we actually support, so clamp these values to those
823       // currently supported
824       if (version >= VersionTuple(2, 0))
825         Builder.defineMacro("__OBJC_GNUSTEP_RUNTIME_ABI__", "20");
826       else
827         Builder.defineMacro("__OBJC_GNUSTEP_RUNTIME_ABI__",
828             "1" + Twine(std::min(8U, version.getMinor().getValueOr(0))));
829     }
830 
831     if (LangOpts.ObjCRuntime.getKind() == ObjCRuntime::ObjFW) {
832       VersionTuple tuple = LangOpts.ObjCRuntime.getVersion();
833 
834       unsigned minor = 0;
835       if (tuple.getMinor().hasValue())
836         minor = tuple.getMinor().getValue();
837 
838       unsigned subminor = 0;
839       if (tuple.getSubminor().hasValue())
840         subminor = tuple.getSubminor().getValue();
841 
842       Builder.defineMacro("__OBJFW_RUNTIME_ABI__",
843                           Twine(tuple.getMajor() * 10000 + minor * 100 +
844                                 subminor));
845     }
846 
847     Builder.defineMacro("IBOutlet", "__attribute__((iboutlet))");
848     Builder.defineMacro("IBOutletCollection(ClassName)",
849                         "__attribute__((iboutletcollection(ClassName)))");
850     Builder.defineMacro("IBAction", "void)__attribute__((ibaction)");
851     Builder.defineMacro("IBInspectable", "");
852     Builder.defineMacro("IB_DESIGNABLE", "");
853   }
854 
855   // Define a macro that describes the Objective-C boolean type even for C
856   // and C++ since BOOL can be used from non Objective-C code.
857   Builder.defineMacro("__OBJC_BOOL_IS_BOOL",
858                       Twine(TI.useSignedCharForObjCBool() ? "0" : "1"));
859 
860   if (LangOpts.CPlusPlus)
861     InitializeCPlusPlusFeatureTestMacros(LangOpts, Builder);
862 
863   // darwin_constant_cfstrings controls this. This is also dependent
864   // on other things like the runtime I believe.  This is set even for C code.
865   if (!LangOpts.NoConstantCFStrings)
866       Builder.defineMacro("__CONSTANT_CFSTRINGS__");
867 
868   if (LangOpts.ObjC)
869     Builder.defineMacro("OBJC_NEW_PROPERTIES");
870 
871   if (LangOpts.PascalStrings)
872     Builder.defineMacro("__PASCAL_STRINGS__");
873 
874   if (LangOpts.Blocks) {
875     Builder.defineMacro("__block", "__attribute__((__blocks__(byref)))");
876     Builder.defineMacro("__BLOCKS__");
877   }
878 
879   if (!LangOpts.MSVCCompat && LangOpts.Exceptions)
880     Builder.defineMacro("__EXCEPTIONS");
881   if (LangOpts.GNUCVersion && LangOpts.RTTI)
882     Builder.defineMacro("__GXX_RTTI");
883 
884   if (LangOpts.hasSjLjExceptions())
885     Builder.defineMacro("__USING_SJLJ_EXCEPTIONS__");
886   else if (LangOpts.hasSEHExceptions())
887     Builder.defineMacro("__SEH__");
888   else if (LangOpts.hasDWARFExceptions() &&
889            (TI.getTriple().isThumb() || TI.getTriple().isARM()))
890     Builder.defineMacro("__ARM_DWARF_EH__");
891 
892   if (LangOpts.Deprecated)
893     Builder.defineMacro("__DEPRECATED");
894 
895   if (!LangOpts.MSVCCompat && LangOpts.CPlusPlus)
896     Builder.defineMacro("__private_extern__", "extern");
897 
898   if (LangOpts.MicrosoftExt) {
899     if (LangOpts.WChar) {
900       // wchar_t supported as a keyword.
901       Builder.defineMacro("_WCHAR_T_DEFINED");
902       Builder.defineMacro("_NATIVE_WCHAR_T_DEFINED");
903     }
904   }
905 
906   // Macros to help identify the narrow and wide character sets
907   // FIXME: clang currently ignores -fexec-charset=. If this changes,
908   // then this may need to be updated.
909   Builder.defineMacro("__clang_literal_encoding__", "\"UTF-8\"");
910   if (TI.getTypeWidth(TI.getWCharType()) >= 32) {
911     // FIXME: 32-bit wchar_t signals UTF-32. This may change
912     // if -fwide-exec-charset= is ever supported.
913     Builder.defineMacro("__clang_wide_literal_encoding__", "\"UTF-32\"");
914   } else {
915     // FIXME: Less-than 32-bit wchar_t generally means UTF-16
916     // (e.g., Windows, 32-bit IBM). This may need to be
917     // updated if -fwide-exec-charset= is ever supported.
918     Builder.defineMacro("__clang_wide_literal_encoding__", "\"UTF-16\"");
919   }
920 
921   if (LangOpts.Optimize)
922     Builder.defineMacro("__OPTIMIZE__");
923   if (LangOpts.OptimizeSize)
924     Builder.defineMacro("__OPTIMIZE_SIZE__");
925 
926   if (LangOpts.FastMath)
927     Builder.defineMacro("__FAST_MATH__");
928 
929   // Initialize target-specific preprocessor defines.
930 
931   // __BYTE_ORDER__ was added in GCC 4.6. It's analogous
932   // to the macro __BYTE_ORDER (no trailing underscores)
933   // from glibc's <endian.h> header.
934   // We don't support the PDP-11 as a target, but include
935   // the define so it can still be compared against.
936   Builder.defineMacro("__ORDER_LITTLE_ENDIAN__", "1234");
937   Builder.defineMacro("__ORDER_BIG_ENDIAN__",    "4321");
938   Builder.defineMacro("__ORDER_PDP_ENDIAN__",    "3412");
939   if (TI.isBigEndian()) {
940     Builder.defineMacro("__BYTE_ORDER__", "__ORDER_BIG_ENDIAN__");
941     Builder.defineMacro("__BIG_ENDIAN__");
942   } else {
943     Builder.defineMacro("__BYTE_ORDER__", "__ORDER_LITTLE_ENDIAN__");
944     Builder.defineMacro("__LITTLE_ENDIAN__");
945   }
946 
947   if (TI.getPointerWidth(0) == 64 && TI.getLongWidth() == 64
948       && TI.getIntWidth() == 32) {
949     Builder.defineMacro("_LP64");
950     Builder.defineMacro("__LP64__");
951   }
952 
953   if (TI.getPointerWidth(0) == 32 && TI.getLongWidth() == 32
954       && TI.getIntWidth() == 32) {
955     Builder.defineMacro("_ILP32");
956     Builder.defineMacro("__ILP32__");
957   }
958 
959   // Define type sizing macros based on the target properties.
960   assert(TI.getCharWidth() == 8 && "Only support 8-bit char so far");
961   Builder.defineMacro("__CHAR_BIT__", Twine(TI.getCharWidth()));
962 
963   Builder.defineMacro("__BOOL_WIDTH__", Twine(TI.getBoolWidth()));
964   Builder.defineMacro("__SHRT_WIDTH__", Twine(TI.getShortWidth()));
965   Builder.defineMacro("__INT_WIDTH__", Twine(TI.getIntWidth()));
966   Builder.defineMacro("__LONG_WIDTH__", Twine(TI.getLongWidth()));
967   Builder.defineMacro("__LLONG_WIDTH__", Twine(TI.getLongLongWidth()));
968 
969   size_t BitIntMaxWidth = TI.getMaxBitIntWidth();
970   assert(BitIntMaxWidth <= llvm::IntegerType::MAX_INT_BITS &&
971          "Target defined a max bit width larger than LLVM can support!");
972   assert(BitIntMaxWidth >= TI.getLongLongWidth() &&
973          "Target defined a max bit width smaller than the C standard allows!");
974   Builder.defineMacro("__BITINT_MAXWIDTH__", Twine(BitIntMaxWidth));
975 
976   DefineTypeSize("__SCHAR_MAX__", TargetInfo::SignedChar, TI, Builder);
977   DefineTypeSize("__SHRT_MAX__", TargetInfo::SignedShort, TI, Builder);
978   DefineTypeSize("__INT_MAX__", TargetInfo::SignedInt, TI, Builder);
979   DefineTypeSize("__LONG_MAX__", TargetInfo::SignedLong, TI, Builder);
980   DefineTypeSize("__LONG_LONG_MAX__", TargetInfo::SignedLongLong, TI, Builder);
981   DefineTypeSizeAndWidth("__WCHAR", TI.getWCharType(), TI, Builder);
982   DefineTypeSizeAndWidth("__WINT", TI.getWIntType(), TI, Builder);
983   DefineTypeSizeAndWidth("__INTMAX", TI.getIntMaxType(), TI, Builder);
984   DefineTypeSizeAndWidth("__SIZE", TI.getSizeType(), TI, Builder);
985 
986   DefineTypeSizeAndWidth("__UINTMAX", TI.getUIntMaxType(), TI, Builder);
987   DefineTypeSizeAndWidth("__PTRDIFF", TI.getPtrDiffType(0), TI, Builder);
988   DefineTypeSizeAndWidth("__INTPTR", TI.getIntPtrType(), TI, Builder);
989   DefineTypeSizeAndWidth("__UINTPTR", TI.getUIntPtrType(), TI, Builder);
990 
991   DefineTypeSizeof("__SIZEOF_DOUBLE__", TI.getDoubleWidth(), TI, Builder);
992   DefineTypeSizeof("__SIZEOF_FLOAT__", TI.getFloatWidth(), TI, Builder);
993   DefineTypeSizeof("__SIZEOF_INT__", TI.getIntWidth(), TI, Builder);
994   DefineTypeSizeof("__SIZEOF_LONG__", TI.getLongWidth(), TI, Builder);
995   DefineTypeSizeof("__SIZEOF_LONG_DOUBLE__",TI.getLongDoubleWidth(),TI,Builder);
996   DefineTypeSizeof("__SIZEOF_LONG_LONG__", TI.getLongLongWidth(), TI, Builder);
997   DefineTypeSizeof("__SIZEOF_POINTER__", TI.getPointerWidth(0), TI, Builder);
998   DefineTypeSizeof("__SIZEOF_SHORT__", TI.getShortWidth(), TI, Builder);
999   DefineTypeSizeof("__SIZEOF_PTRDIFF_T__",
1000                    TI.getTypeWidth(TI.getPtrDiffType(0)), TI, Builder);
1001   DefineTypeSizeof("__SIZEOF_SIZE_T__",
1002                    TI.getTypeWidth(TI.getSizeType()), TI, Builder);
1003   DefineTypeSizeof("__SIZEOF_WCHAR_T__",
1004                    TI.getTypeWidth(TI.getWCharType()), TI, Builder);
1005   DefineTypeSizeof("__SIZEOF_WINT_T__",
1006                    TI.getTypeWidth(TI.getWIntType()), TI, Builder);
1007   if (TI.hasInt128Type())
1008     DefineTypeSizeof("__SIZEOF_INT128__", 128, TI, Builder);
1009 
1010   DefineType("__INTMAX_TYPE__", TI.getIntMaxType(), Builder);
1011   DefineFmt("__INTMAX", TI.getIntMaxType(), TI, Builder);
1012   Builder.defineMacro("__INTMAX_C_SUFFIX__",
1013                       TI.getTypeConstantSuffix(TI.getIntMaxType()));
1014   DefineType("__UINTMAX_TYPE__", TI.getUIntMaxType(), Builder);
1015   DefineFmt("__UINTMAX", TI.getUIntMaxType(), TI, Builder);
1016   Builder.defineMacro("__UINTMAX_C_SUFFIX__",
1017                       TI.getTypeConstantSuffix(TI.getUIntMaxType()));
1018   DefineType("__PTRDIFF_TYPE__", TI.getPtrDiffType(0), Builder);
1019   DefineFmt("__PTRDIFF", TI.getPtrDiffType(0), TI, Builder);
1020   DefineType("__INTPTR_TYPE__", TI.getIntPtrType(), Builder);
1021   DefineFmt("__INTPTR", TI.getIntPtrType(), TI, Builder);
1022   DefineType("__SIZE_TYPE__", TI.getSizeType(), Builder);
1023   DefineFmt("__SIZE", TI.getSizeType(), TI, Builder);
1024   DefineType("__WCHAR_TYPE__", TI.getWCharType(), Builder);
1025   DefineType("__WINT_TYPE__", TI.getWIntType(), Builder);
1026   DefineTypeSizeAndWidth("__SIG_ATOMIC", TI.getSigAtomicType(), TI, Builder);
1027   DefineType("__CHAR16_TYPE__", TI.getChar16Type(), Builder);
1028   DefineType("__CHAR32_TYPE__", TI.getChar32Type(), Builder);
1029 
1030   DefineType("__UINTPTR_TYPE__", TI.getUIntPtrType(), Builder);
1031   DefineFmt("__UINTPTR", TI.getUIntPtrType(), TI, Builder);
1032 
1033   // The C standard requires the width of uintptr_t and intptr_t to be the same,
1034   // per 7.20.2.4p1. Same for intmax_t and uintmax_t, per 7.20.2.5p1.
1035   assert(TI.getTypeWidth(TI.getUIntPtrType()) ==
1036              TI.getTypeWidth(TI.getIntPtrType()) &&
1037          "uintptr_t and intptr_t have different widths?");
1038   assert(TI.getTypeWidth(TI.getUIntMaxType()) ==
1039              TI.getTypeWidth(TI.getIntMaxType()) &&
1040          "uintmax_t and intmax_t have different widths?");
1041 
1042   if (TI.hasFloat16Type())
1043     DefineFloatMacros(Builder, "FLT16", &TI.getHalfFormat(), "F16");
1044   DefineFloatMacros(Builder, "FLT", &TI.getFloatFormat(), "F");
1045   DefineFloatMacros(Builder, "DBL", &TI.getDoubleFormat(), "");
1046   DefineFloatMacros(Builder, "LDBL", &TI.getLongDoubleFormat(), "L");
1047 
1048   // Define a __POINTER_WIDTH__ macro for stdint.h.
1049   Builder.defineMacro("__POINTER_WIDTH__",
1050                       Twine((int)TI.getPointerWidth(0)));
1051 
1052   // Define __BIGGEST_ALIGNMENT__ to be compatible with gcc.
1053   Builder.defineMacro("__BIGGEST_ALIGNMENT__",
1054                       Twine(TI.getSuitableAlign() / TI.getCharWidth()) );
1055 
1056   if (!LangOpts.CharIsSigned)
1057     Builder.defineMacro("__CHAR_UNSIGNED__");
1058 
1059   if (!TargetInfo::isTypeSigned(TI.getWCharType()))
1060     Builder.defineMacro("__WCHAR_UNSIGNED__");
1061 
1062   if (!TargetInfo::isTypeSigned(TI.getWIntType()))
1063     Builder.defineMacro("__WINT_UNSIGNED__");
1064 
1065   // Define exact-width integer types for stdint.h
1066   DefineExactWidthIntType(TargetInfo::SignedChar, TI, Builder);
1067 
1068   if (TI.getShortWidth() > TI.getCharWidth())
1069     DefineExactWidthIntType(TargetInfo::SignedShort, TI, Builder);
1070 
1071   if (TI.getIntWidth() > TI.getShortWidth())
1072     DefineExactWidthIntType(TargetInfo::SignedInt, TI, Builder);
1073 
1074   if (TI.getLongWidth() > TI.getIntWidth())
1075     DefineExactWidthIntType(TargetInfo::SignedLong, TI, Builder);
1076 
1077   if (TI.getLongLongWidth() > TI.getLongWidth())
1078     DefineExactWidthIntType(TargetInfo::SignedLongLong, TI, Builder);
1079 
1080   DefineExactWidthIntType(TargetInfo::UnsignedChar, TI, Builder);
1081   DefineExactWidthIntTypeSize(TargetInfo::UnsignedChar, TI, Builder);
1082   DefineExactWidthIntTypeSize(TargetInfo::SignedChar, TI, Builder);
1083 
1084   if (TI.getShortWidth() > TI.getCharWidth()) {
1085     DefineExactWidthIntType(TargetInfo::UnsignedShort, TI, Builder);
1086     DefineExactWidthIntTypeSize(TargetInfo::UnsignedShort, TI, Builder);
1087     DefineExactWidthIntTypeSize(TargetInfo::SignedShort, TI, Builder);
1088   }
1089 
1090   if (TI.getIntWidth() > TI.getShortWidth()) {
1091     DefineExactWidthIntType(TargetInfo::UnsignedInt, TI, Builder);
1092     DefineExactWidthIntTypeSize(TargetInfo::UnsignedInt, TI, Builder);
1093     DefineExactWidthIntTypeSize(TargetInfo::SignedInt, TI, Builder);
1094   }
1095 
1096   if (TI.getLongWidth() > TI.getIntWidth()) {
1097     DefineExactWidthIntType(TargetInfo::UnsignedLong, TI, Builder);
1098     DefineExactWidthIntTypeSize(TargetInfo::UnsignedLong, TI, Builder);
1099     DefineExactWidthIntTypeSize(TargetInfo::SignedLong, TI, Builder);
1100   }
1101 
1102   if (TI.getLongLongWidth() > TI.getLongWidth()) {
1103     DefineExactWidthIntType(TargetInfo::UnsignedLongLong, TI, Builder);
1104     DefineExactWidthIntTypeSize(TargetInfo::UnsignedLongLong, TI, Builder);
1105     DefineExactWidthIntTypeSize(TargetInfo::SignedLongLong, TI, Builder);
1106   }
1107 
1108   DefineLeastWidthIntType(8, true, TI, Builder);
1109   DefineLeastWidthIntType(8, false, TI, Builder);
1110   DefineLeastWidthIntType(16, true, TI, Builder);
1111   DefineLeastWidthIntType(16, false, TI, Builder);
1112   DefineLeastWidthIntType(32, true, TI, Builder);
1113   DefineLeastWidthIntType(32, false, TI, Builder);
1114   DefineLeastWidthIntType(64, true, TI, Builder);
1115   DefineLeastWidthIntType(64, false, TI, Builder);
1116 
1117   DefineFastIntType(8, true, TI, Builder);
1118   DefineFastIntType(8, false, TI, Builder);
1119   DefineFastIntType(16, true, TI, Builder);
1120   DefineFastIntType(16, false, TI, Builder);
1121   DefineFastIntType(32, true, TI, Builder);
1122   DefineFastIntType(32, false, TI, Builder);
1123   DefineFastIntType(64, true, TI, Builder);
1124   DefineFastIntType(64, false, TI, Builder);
1125 
1126   Builder.defineMacro("__USER_LABEL_PREFIX__", TI.getUserLabelPrefix());
1127 
1128   if (!LangOpts.MathErrno)
1129     Builder.defineMacro("__NO_MATH_ERRNO__");
1130 
1131   if (LangOpts.FastMath || LangOpts.FiniteMathOnly)
1132     Builder.defineMacro("__FINITE_MATH_ONLY__", "1");
1133   else
1134     Builder.defineMacro("__FINITE_MATH_ONLY__", "0");
1135 
1136   if (LangOpts.GNUCVersion) {
1137     if (LangOpts.GNUInline || LangOpts.CPlusPlus)
1138       Builder.defineMacro("__GNUC_GNU_INLINE__");
1139     else
1140       Builder.defineMacro("__GNUC_STDC_INLINE__");
1141 
1142     // The value written by __atomic_test_and_set.
1143     // FIXME: This is target-dependent.
1144     Builder.defineMacro("__GCC_ATOMIC_TEST_AND_SET_TRUEVAL", "1");
1145   }
1146 
1147   auto addLockFreeMacros = [&](const llvm::Twine &Prefix) {
1148     // Used by libc++ and libstdc++ to implement ATOMIC_<foo>_LOCK_FREE.
1149     unsigned InlineWidthBits = TI.getMaxAtomicInlineWidth();
1150 #define DEFINE_LOCK_FREE_MACRO(TYPE, Type)                                     \
1151   Builder.defineMacro(Prefix + #TYPE "_LOCK_FREE",                             \
1152                       getLockFreeValue(TI.get##Type##Width(),                  \
1153                                        TI.get##Type##Align(),                  \
1154                                        InlineWidthBits));
1155     DEFINE_LOCK_FREE_MACRO(BOOL, Bool);
1156     DEFINE_LOCK_FREE_MACRO(CHAR, Char);
1157     if (LangOpts.Char8)
1158       DEFINE_LOCK_FREE_MACRO(CHAR8_T, Char); // Treat char8_t like char.
1159     DEFINE_LOCK_FREE_MACRO(CHAR16_T, Char16);
1160     DEFINE_LOCK_FREE_MACRO(CHAR32_T, Char32);
1161     DEFINE_LOCK_FREE_MACRO(WCHAR_T, WChar);
1162     DEFINE_LOCK_FREE_MACRO(SHORT, Short);
1163     DEFINE_LOCK_FREE_MACRO(INT, Int);
1164     DEFINE_LOCK_FREE_MACRO(LONG, Long);
1165     DEFINE_LOCK_FREE_MACRO(LLONG, LongLong);
1166     Builder.defineMacro(Prefix + "POINTER_LOCK_FREE",
1167                         getLockFreeValue(TI.getPointerWidth(0),
1168                                          TI.getPointerAlign(0),
1169                                          InlineWidthBits));
1170 #undef DEFINE_LOCK_FREE_MACRO
1171   };
1172   addLockFreeMacros("__CLANG_ATOMIC_");
1173   if (LangOpts.GNUCVersion)
1174     addLockFreeMacros("__GCC_ATOMIC_");
1175 
1176   if (LangOpts.NoInlineDefine)
1177     Builder.defineMacro("__NO_INLINE__");
1178 
1179   if (unsigned PICLevel = LangOpts.PICLevel) {
1180     Builder.defineMacro("__PIC__", Twine(PICLevel));
1181     Builder.defineMacro("__pic__", Twine(PICLevel));
1182     if (LangOpts.PIE) {
1183       Builder.defineMacro("__PIE__", Twine(PICLevel));
1184       Builder.defineMacro("__pie__", Twine(PICLevel));
1185     }
1186   }
1187 
1188   // Macros to control C99 numerics and <float.h>
1189   Builder.defineMacro("__FLT_RADIX__", "2");
1190   Builder.defineMacro("__DECIMAL_DIG__", "__LDBL_DECIMAL_DIG__");
1191 
1192   if (LangOpts.getStackProtector() == LangOptions::SSPOn)
1193     Builder.defineMacro("__SSP__");
1194   else if (LangOpts.getStackProtector() == LangOptions::SSPStrong)
1195     Builder.defineMacro("__SSP_STRONG__", "2");
1196   else if (LangOpts.getStackProtector() == LangOptions::SSPReq)
1197     Builder.defineMacro("__SSP_ALL__", "3");
1198 
1199   if (PPOpts.SetUpStaticAnalyzer)
1200     Builder.defineMacro("__clang_analyzer__");
1201 
1202   if (LangOpts.FastRelaxedMath)
1203     Builder.defineMacro("__FAST_RELAXED_MATH__");
1204 
1205   if (FEOpts.ProgramAction == frontend::RewriteObjC ||
1206       LangOpts.getGC() != LangOptions::NonGC) {
1207     Builder.defineMacro("__weak", "__attribute__((objc_gc(weak)))");
1208     Builder.defineMacro("__strong", "__attribute__((objc_gc(strong)))");
1209     Builder.defineMacro("__autoreleasing", "");
1210     Builder.defineMacro("__unsafe_unretained", "");
1211   } else if (LangOpts.ObjC) {
1212     Builder.defineMacro("__weak", "__attribute__((objc_ownership(weak)))");
1213     Builder.defineMacro("__strong", "__attribute__((objc_ownership(strong)))");
1214     Builder.defineMacro("__autoreleasing",
1215                         "__attribute__((objc_ownership(autoreleasing)))");
1216     Builder.defineMacro("__unsafe_unretained",
1217                         "__attribute__((objc_ownership(none)))");
1218   }
1219 
1220   // On Darwin, there are __double_underscored variants of the type
1221   // nullability qualifiers.
1222   if (TI.getTriple().isOSDarwin()) {
1223     Builder.defineMacro("__nonnull", "_Nonnull");
1224     Builder.defineMacro("__null_unspecified", "_Null_unspecified");
1225     Builder.defineMacro("__nullable", "_Nullable");
1226   }
1227 
1228   // Add a macro to differentiate between regular iOS/tvOS/watchOS targets and
1229   // the corresponding simulator targets.
1230   if (TI.getTriple().isOSDarwin() && TI.getTriple().isSimulatorEnvironment())
1231     Builder.defineMacro("__APPLE_EMBEDDED_SIMULATOR__", "1");
1232 
1233   // OpenMP definition
1234   // OpenMP 2.2:
1235   //   In implementations that support a preprocessor, the _OPENMP
1236   //   macro name is defined to have the decimal value yyyymm where
1237   //   yyyy and mm are the year and the month designations of the
1238   //   version of the OpenMP API that the implementation support.
1239   if (!LangOpts.OpenMPSimd) {
1240     switch (LangOpts.OpenMP) {
1241     case 0:
1242       break;
1243     case 31:
1244       Builder.defineMacro("_OPENMP", "201107");
1245       break;
1246     case 40:
1247       Builder.defineMacro("_OPENMP", "201307");
1248       break;
1249     case 45:
1250       Builder.defineMacro("_OPENMP", "201511");
1251       break;
1252     case 51:
1253       Builder.defineMacro("_OPENMP", "202011");
1254       break;
1255     case 52:
1256       Builder.defineMacro("_OPENMP", "202111");
1257       break;
1258     default:
1259       // Default version is OpenMP 5.0
1260       Builder.defineMacro("_OPENMP", "201811");
1261       break;
1262     }
1263   }
1264 
1265   // CUDA device path compilaton
1266   if (LangOpts.CUDAIsDevice && !LangOpts.HIP) {
1267     // The CUDA_ARCH value is set for the GPU target specified in the NVPTX
1268     // backend's target defines.
1269     Builder.defineMacro("__CUDA_ARCH__");
1270   }
1271 
1272   // We need to communicate this to our CUDA header wrapper, which in turn
1273   // informs the proper CUDA headers of this choice.
1274   if (LangOpts.CUDADeviceApproxTranscendentals || LangOpts.FastMath) {
1275     Builder.defineMacro("__CLANG_CUDA_APPROX_TRANSCENDENTALS__");
1276   }
1277 
1278   // Define a macro indicating that the source file is being compiled with a
1279   // SYCL device compiler which doesn't produce host binary.
1280   if (LangOpts.SYCLIsDevice) {
1281     Builder.defineMacro("__SYCL_DEVICE_ONLY__", "1");
1282   }
1283 
1284   // OpenCL definitions.
1285   if (LangOpts.OpenCL) {
1286     InitializeOpenCLFeatureTestMacros(TI, LangOpts, Builder);
1287 
1288     if (TI.getTriple().isSPIR() || TI.getTriple().isSPIRV())
1289       Builder.defineMacro("__IMAGE_SUPPORT__");
1290   }
1291 
1292   if (TI.hasInt128Type() && LangOpts.CPlusPlus && LangOpts.GNUMode) {
1293     // For each extended integer type, g++ defines a macro mapping the
1294     // index of the type (0 in this case) in some list of extended types
1295     // to the type.
1296     Builder.defineMacro("__GLIBCXX_TYPE_INT_N_0", "__int128");
1297     Builder.defineMacro("__GLIBCXX_BITSIZE_INT_N_0", "128");
1298   }
1299 
1300   // Get other target #defines.
1301   TI.getTargetDefines(LangOpts, Builder);
1302 }
1303 
1304 /// InitializePreprocessor - Initialize the preprocessor getting it and the
1305 /// environment ready to process a single file. This returns true on error.
1306 ///
1307 void clang::InitializePreprocessor(
1308     Preprocessor &PP, const PreprocessorOptions &InitOpts,
1309     const PCHContainerReader &PCHContainerRdr,
1310     const FrontendOptions &FEOpts) {
1311   const LangOptions &LangOpts = PP.getLangOpts();
1312   std::string PredefineBuffer;
1313   PredefineBuffer.reserve(4080);
1314   llvm::raw_string_ostream Predefines(PredefineBuffer);
1315   MacroBuilder Builder(Predefines);
1316 
1317   // Emit line markers for various builtin sections of the file.  We don't do
1318   // this in asm preprocessor mode, because "# 4" is not a line marker directive
1319   // in this mode.
1320   if (!PP.getLangOpts().AsmPreprocessor)
1321     Builder.append("# 1 \"<built-in>\" 3");
1322 
1323   // Install things like __POWERPC__, __GNUC__, etc into the macro table.
1324   if (InitOpts.UsePredefines) {
1325     // FIXME: This will create multiple definitions for most of the predefined
1326     // macros. This is not the right way to handle this.
1327     if ((LangOpts.CUDA || LangOpts.OpenMPIsDevice || LangOpts.SYCLIsDevice) &&
1328         PP.getAuxTargetInfo())
1329       InitializePredefinedMacros(*PP.getAuxTargetInfo(), LangOpts, FEOpts,
1330                                  PP.getPreprocessorOpts(), Builder);
1331 
1332     InitializePredefinedMacros(PP.getTargetInfo(), LangOpts, FEOpts,
1333                                PP.getPreprocessorOpts(), Builder);
1334 
1335     // Install definitions to make Objective-C++ ARC work well with various
1336     // C++ Standard Library implementations.
1337     if (LangOpts.ObjC && LangOpts.CPlusPlus &&
1338         (LangOpts.ObjCAutoRefCount || LangOpts.ObjCWeak)) {
1339       switch (InitOpts.ObjCXXARCStandardLibrary) {
1340       case ARCXX_nolib:
1341       case ARCXX_libcxx:
1342         break;
1343 
1344       case ARCXX_libstdcxx:
1345         AddObjCXXARCLibstdcxxDefines(LangOpts, Builder);
1346         break;
1347       }
1348     }
1349   }
1350 
1351   // Even with predefines off, some macros are still predefined.
1352   // These should all be defined in the preprocessor according to the
1353   // current language configuration.
1354   InitializeStandardPredefinedMacros(PP.getTargetInfo(), PP.getLangOpts(),
1355                                      FEOpts, Builder);
1356 
1357   // Add on the predefines from the driver.  Wrap in a #line directive to report
1358   // that they come from the command line.
1359   if (!PP.getLangOpts().AsmPreprocessor)
1360     Builder.append("# 1 \"<command line>\" 1");
1361 
1362   // Process #define's and #undef's in the order they are given.
1363   for (unsigned i = 0, e = InitOpts.Macros.size(); i != e; ++i) {
1364     if (InitOpts.Macros[i].second)  // isUndef
1365       Builder.undefineMacro(InitOpts.Macros[i].first);
1366     else
1367       DefineBuiltinMacro(Builder, InitOpts.Macros[i].first,
1368                          PP.getDiagnostics());
1369   }
1370 
1371   // Exit the command line and go back to <built-in> (2 is LC_LEAVE).
1372   if (!PP.getLangOpts().AsmPreprocessor)
1373     Builder.append("# 1 \"<built-in>\" 2");
1374 
1375   // If -imacros are specified, include them now.  These are processed before
1376   // any -include directives.
1377   for (unsigned i = 0, e = InitOpts.MacroIncludes.size(); i != e; ++i)
1378     AddImplicitIncludeMacros(Builder, InitOpts.MacroIncludes[i]);
1379 
1380   // Process -include-pch/-include-pth directives.
1381   if (!InitOpts.ImplicitPCHInclude.empty())
1382     AddImplicitIncludePCH(Builder, PP, PCHContainerRdr,
1383                           InitOpts.ImplicitPCHInclude);
1384 
1385   // Process -include directives.
1386   for (unsigned i = 0, e = InitOpts.Includes.size(); i != e; ++i) {
1387     const std::string &Path = InitOpts.Includes[i];
1388     AddImplicitInclude(Builder, Path);
1389   }
1390 
1391   // Instruct the preprocessor to skip the preamble.
1392   PP.setSkipMainFilePreamble(InitOpts.PrecompiledPreambleBytes.first,
1393                              InitOpts.PrecompiledPreambleBytes.second);
1394 
1395   // Copy PredefinedBuffer into the Preprocessor.
1396   PP.setPredefines(Predefines.str());
1397 }
1398