Reid Spencer | 5f016e2 | 2007-07-11 17:01:13 +0000 | [diff] [blame] | 1 | //===--- LangOptions.h - C Language Family Language Options -----*- C++ -*-===// |
| 2 | // |
| 3 | // The LLVM Compiler Infrastructure |
| 4 | // |
Chris Lattner | 0bc735f | 2007-12-29 19:59:25 +0000 | [diff] [blame] | 5 | // This file is distributed under the University of Illinois Open Source |
| 6 | // License. See LICENSE.TXT for details. |
Reid Spencer | 5f016e2 | 2007-07-11 17:01:13 +0000 | [diff] [blame] | 7 | // |
| 8 | //===----------------------------------------------------------------------===// |
| 9 | // |
| 10 | // This file defines the LangOptions interface. |
| 11 | // |
| 12 | //===----------------------------------------------------------------------===// |
| 13 | |
| 14 | #ifndef LLVM_CLANG_LANGOPTIONS_H |
| 15 | #define LLVM_CLANG_LANGOPTIONS_H |
| 16 | |
Daniel Dunbar | 1b09695 | 2009-11-29 02:38:47 +0000 | [diff] [blame] | 17 | #include <string> |
| 18 | |
Reid Spencer | 5f016e2 | 2007-07-11 17:01:13 +0000 | [diff] [blame] | 19 | namespace clang { |
| 20 | |
| 21 | /// LangOptions - This class keeps track of the various options that can be |
| 22 | /// enabled, which controls the dialect of C that is accepted. |
Cedric Venet | ea684e6 | 2009-02-14 16:15:20 +0000 | [diff] [blame] | 23 | class LangOptions { |
| 24 | public: |
Reid Spencer | 5f016e2 | 2007-07-11 17:01:13 +0000 | [diff] [blame] | 25 | unsigned Trigraphs : 1; // Trigraphs in source files. |
Chris Lattner | d658b56 | 2008-04-05 06:32:51 +0000 | [diff] [blame] | 26 | unsigned BCPLComment : 1; // BCPL-style '//' comments. |
Chris Lattner | e4f2142 | 2009-06-30 01:26:17 +0000 | [diff] [blame] | 27 | unsigned Bool : 1; // 'bool', 'true', 'false' keywords. |
Reid Spencer | 5f016e2 | 2007-07-11 17:01:13 +0000 | [diff] [blame] | 28 | unsigned DollarIdents : 1; // '$' allowed in identifiers. |
Daniel Dunbar | c157145 | 2008-12-01 18:55:22 +0000 | [diff] [blame] | 29 | unsigned AsmPreprocessor : 1; // Preprocessor in asm mode. |
Chris Lattner | 7e9c90b | 2009-03-20 15:44:26 +0000 | [diff] [blame] | 30 | unsigned GNUMode : 1; // True in gnu99 mode false in c99 mode (etc) |
Chris Lattner | d658b56 | 2008-04-05 06:32:51 +0000 | [diff] [blame] | 31 | unsigned ImplicitInt : 1; // C89 implicit 'int'. |
Chris Lattner | 3426b9b | 2008-02-25 04:01:39 +0000 | [diff] [blame] | 32 | unsigned Digraphs : 1; // C94, C99 and C++ |
Reid Spencer | 5f016e2 | 2007-07-11 17:01:13 +0000 | [diff] [blame] | 33 | unsigned HexFloats : 1; // C99 Hexadecimal float constants. |
| 34 | unsigned C99 : 1; // C99 Support |
| 35 | unsigned Microsoft : 1; // Microsoft extensions. |
| 36 | unsigned CPlusPlus : 1; // C++ Support |
Chris Lattner | d4b80f1 | 2007-07-16 04:18:29 +0000 | [diff] [blame] | 37 | unsigned CPlusPlus0x : 1; // C++0x Support |
Reid Spencer | 5f016e2 | 2007-07-11 17:01:13 +0000 | [diff] [blame] | 38 | unsigned CXXOperatorNames : 1; // Treat C++ operator names as keywords. |
Mike Stump | 1eb4433 | 2009-09-09 15:08:12 +0000 | [diff] [blame] | 39 | |
Ted Kremenek | 01d9dbf | 2008-04-29 04:37:03 +0000 | [diff] [blame] | 40 | unsigned ObjC1 : 1; // Objective-C 1 support enabled. |
| 41 | unsigned ObjC2 : 1; // Objective-C 2 support enabled. |
Fariborz Jahanian | 30bc571 | 2009-01-22 23:02:58 +0000 | [diff] [blame] | 42 | unsigned ObjCNonFragileABI : 1; // Objective-C modern abi enabled |
Fariborz Jahanian | 412e798 | 2010-02-09 19:31:38 +0000 | [diff] [blame] | 43 | unsigned ObjCNonFragileABI2 : 1; // Objective-C enhanced modern abi enabled |
Mike Stump | 1eb4433 | 2009-09-09 15:08:12 +0000 | [diff] [blame] | 44 | |
Anders Carlsson | ee98ac5 | 2007-10-15 02:50:23 +0000 | [diff] [blame] | 45 | unsigned PascalStrings : 1; // Allow Pascal strings |
Chris Lattner | 45e8cbd | 2007-11-28 05:34:05 +0000 | [diff] [blame] | 46 | unsigned WritableStrings : 1; // Allow writable strings |
John McCall | 4b7a834 | 2010-03-15 10:54:44 +0000 | [diff] [blame] | 47 | unsigned ConstStrings : 1; // Add const qualifier to strings (-Wwrite-strings) |
Anders Carlsson | 695dbb6 | 2007-11-30 04:21:22 +0000 | [diff] [blame] | 48 | unsigned LaxVectorConversions : 1; |
Nate Begeman | 4e3629e | 2009-06-25 22:43:10 +0000 | [diff] [blame] | 49 | unsigned AltiVec : 1; // Support AltiVec-style vector initializers. |
Daniel Dunbar | 6379a7a | 2008-08-11 17:36:14 +0000 | [diff] [blame] | 50 | unsigned Exceptions : 1; // Support exception handling. |
Daniel Dunbar | 7348288 | 2010-02-10 18:48:44 +0000 | [diff] [blame] | 51 | unsigned SjLjExceptions : 1; // Use setjmp-longjump exception handling. |
Mike Stump | de05057 | 2009-12-02 18:57:08 +0000 | [diff] [blame] | 52 | unsigned RTTI : 1; // Support RTTI information. |
Daniel Dunbar | f77ac86 | 2008-08-11 21:35:06 +0000 | [diff] [blame] | 53 | |
| 54 | unsigned NeXTRuntime : 1; // Use NeXT runtime. |
Douglas Gregor | 3573c0c | 2009-02-14 20:49:29 +0000 | [diff] [blame] | 55 | unsigned Freestanding : 1; // Freestanding implementation |
Chris Lattner | 7644f07 | 2009-03-13 22:38:49 +0000 | [diff] [blame] | 56 | unsigned NoBuiltin : 1; // Do not use builtin functions (-fno-builtin) |
Daniel Dunbar | f77ac86 | 2008-08-11 21:35:06 +0000 | [diff] [blame] | 57 | |
Anders Carlsson | e1b29ef | 2008-08-22 16:00:37 +0000 | [diff] [blame] | 58 | unsigned ThreadsafeStatics : 1; // Whether static initializers are protected |
Daniel Dunbar | c157145 | 2008-12-01 18:55:22 +0000 | [diff] [blame] | 59 | // by locks. |
Daniel Dunbar | 5345c39 | 2009-09-03 04:54:28 +0000 | [diff] [blame] | 60 | unsigned POSIXThreads : 1; // Compiling with POSIX thread support |
| 61 | // (-pthread) |
Steve Naroff | 5618bd4 | 2008-08-27 16:04:49 +0000 | [diff] [blame] | 62 | unsigned Blocks : 1; // block extension to C |
Daniel Dunbar | d604c40 | 2009-02-04 21:19:06 +0000 | [diff] [blame] | 63 | unsigned EmitAllDecls : 1; // Emit all declarations, even if |
| 64 | // they are unused. |
Daniel Dunbar | ef2abfe | 2009-02-16 22:43:43 +0000 | [diff] [blame] | 65 | unsigned MathErrno : 1; // Math functions must respect errno |
| 66 | // (modulo the platform support). |
| 67 | |
Mike Stump | 2add473 | 2009-04-01 20:28:16 +0000 | [diff] [blame] | 68 | unsigned OverflowChecking : 1; // Extension to call a handler function when |
Mike Stump | 5d8b2cf | 2009-04-02 01:03:55 +0000 | [diff] [blame] | 69 | // signed integer arithmetic overflows. |
Mike Stump | 2add473 | 2009-04-01 20:28:16 +0000 | [diff] [blame] | 70 | |
Chris Lattner | 810f6d5 | 2009-03-13 17:38:01 +0000 | [diff] [blame] | 71 | unsigned HeinousExtensions : 1; // Extensions that we really don't like and |
| 72 | // may be ripped out at any time. |
Fariborz Jahanian | 7cd2e93 | 2009-04-03 03:28:57 +0000 | [diff] [blame] | 73 | |
Anders Carlsson | 4ca076f | 2009-04-06 17:37:10 +0000 | [diff] [blame] | 74 | unsigned Optimize : 1; // Whether __OPTIMIZE__ should be defined. |
Mike Stump | 1eb4433 | 2009-09-09 15:08:12 +0000 | [diff] [blame] | 75 | unsigned OptimizeSize : 1; // Whether __OPTIMIZE_SIZE__ should be |
Anders Carlsson | 4ca076f | 2009-04-06 17:37:10 +0000 | [diff] [blame] | 76 | // defined. |
Daniel Dunbar | 3bbc753 | 2009-04-08 18:03:55 +0000 | [diff] [blame] | 77 | unsigned Static : 1; // Should __STATIC__ be defined (as |
| 78 | // opposed to __DYNAMIC__). |
Daniel Dunbar | 9fd0b1f | 2009-04-08 03:03:23 +0000 | [diff] [blame] | 79 | unsigned PICLevel : 2; // The value for __PIC__, if non-zero. |
| 80 | |
Daniel Dunbar | 3bbc753 | 2009-04-08 18:03:55 +0000 | [diff] [blame] | 81 | unsigned GNUInline : 1; // Should GNU inline semantics be |
| 82 | // used (instead of C99 semantics). |
| 83 | unsigned NoInline : 1; // Should __NO_INLINE__ be defined. |
| 84 | |
Fariborz Jahanian | 448f5e6 | 2009-04-17 03:04:15 +0000 | [diff] [blame] | 85 | unsigned ObjCGCBitmapPrint : 1; // Enable printing of gc's bitmap layout |
| 86 | // for __weak/__strong ivars. |
| 87 | |
Mike Stump | 1eb4433 | 2009-09-09 15:08:12 +0000 | [diff] [blame] | 88 | unsigned AccessControl : 1; // Whether C++ access control should |
Anders Carlsson | a33d9b4 | 2009-05-13 19:49:53 +0000 | [diff] [blame] | 89 | // be enabled. |
Eli Friedman | 15b9176 | 2009-06-05 07:05:05 +0000 | [diff] [blame] | 90 | unsigned CharIsSigned : 1; // Whether char is a signed or unsigned type |
John Thompson | a6fda12 | 2009-11-05 20:14:16 +0000 | [diff] [blame] | 91 | unsigned ShortWChar : 1; // Force wchar_t to be unsigned short int. |
Nate Begeman | 4e3629e | 2009-06-25 22:43:10 +0000 | [diff] [blame] | 92 | |
| 93 | unsigned OpenCL : 1; // OpenCL C99 language extensions. |
Nuno Lopes | fc28448 | 2009-12-16 16:59:22 +0000 | [diff] [blame] | 94 | |
| 95 | unsigned AssumeSaneOperatorNew : 1; // Whether to add __attribute__((malloc)) |
| 96 | // to the declaration of C++'s new |
| 97 | // operators |
Anders Carlsson | 92f5822 | 2009-08-22 22:30:33 +0000 | [diff] [blame] | 98 | unsigned ElideConstructors : 1; // Whether C++ copy constructors should be |
| 99 | // elided if possible. |
Anders Carlsson | 824d7ea | 2010-02-11 08:02:13 +0000 | [diff] [blame] | 100 | unsigned CatchUndefined : 1; // Generate code to check for undefined ops. |
Daniel Dunbar | b69eca5 | 2010-04-08 02:59:56 +0000 | [diff] [blame] | 101 | unsigned DumpRecordLayouts : 1; /// Dump the layout of IRgen'd records. |
| 102 | unsigned DumpVtableLayouts : 1; /// Dump the layouts of emitted vtables. |
Daniel Dunbar | fb937b8 | 2010-04-15 15:06:22 +0000 | [diff] [blame^] | 103 | |
| 104 | // FIXME: This is just a temporary option, for testing purposes. |
| 105 | unsigned NoBitFieldTypeAlign : 1; |
| 106 | |
Ted Kremenek | 01d9dbf | 2008-04-29 04:37:03 +0000 | [diff] [blame] | 107 | private: |
Bill Wendling | 4ebe3e4 | 2009-06-28 23:01:01 +0000 | [diff] [blame] | 108 | unsigned GC : 2; // Objective-C Garbage Collection modes. We |
| 109 | // declare this enum as unsigned because MSVC |
| 110 | // insists on making enums signed. Set/Query |
| 111 | // this value using accessors. |
Fariborz Jahanian | 7cd2e93 | 2009-04-03 03:28:57 +0000 | [diff] [blame] | 112 | unsigned SymbolVisibility : 3; // Symbol's visibility. |
Bill Wendling | 4ebe3e4 | 2009-06-28 23:01:01 +0000 | [diff] [blame] | 113 | unsigned StackProtector : 2; // Whether stack protectors are on. We declare |
| 114 | // this enum as unsigned because MSVC insists |
| 115 | // on making enums signed. Set/Query this |
| 116 | // value using accessors. |
Fariborz Jahanian | 7cd2e93 | 2009-04-03 03:28:57 +0000 | [diff] [blame] | 117 | |
Mike Stump | 1eb4433 | 2009-09-09 15:08:12 +0000 | [diff] [blame] | 118 | public: |
Douglas Gregor | 26dce44 | 2009-03-10 00:06:19 +0000 | [diff] [blame] | 119 | unsigned InstantiationDepth; // Maximum template instantiation depth. |
Ted Kremenek | 01d9dbf | 2008-04-29 04:37:03 +0000 | [diff] [blame] | 120 | |
Daniel Dunbar | 1b09695 | 2009-11-29 02:38:47 +0000 | [diff] [blame] | 121 | std::string ObjCConstantStringClass; |
David Chisnall | 8a5a9aa | 2009-08-31 16:41:57 +0000 | [diff] [blame] | 122 | |
Ted Kremenek | 01d9dbf | 2008-04-29 04:37:03 +0000 | [diff] [blame] | 123 | enum GCMode { NonGC, GCOnly, HybridGC }; |
Bill Wendling | 4ebe3e4 | 2009-06-28 23:01:01 +0000 | [diff] [blame] | 124 | enum StackProtectorMode { SSPOff, SSPOn, SSPReq }; |
Mike Stump | 1eb4433 | 2009-09-09 15:08:12 +0000 | [diff] [blame] | 125 | enum VisibilityMode { |
| 126 | Default, |
| 127 | Protected, |
Daniel Dunbar | 04d4078 | 2009-04-14 06:00:08 +0000 | [diff] [blame] | 128 | Hidden |
| 129 | }; |
Mike Stump | 1eb4433 | 2009-09-09 15:08:12 +0000 | [diff] [blame] | 130 | |
Reid Spencer | 5f016e2 | 2007-07-11 17:01:13 +0000 | [diff] [blame] | 131 | LangOptions() { |
Chris Lattner | e4f2142 | 2009-06-30 01:26:17 +0000 | [diff] [blame] | 132 | Trigraphs = BCPLComment = Bool = DollarIdents = AsmPreprocessor = 0; |
Chris Lattner | 7e9c90b | 2009-03-20 15:44:26 +0000 | [diff] [blame] | 133 | GNUMode = ImplicitInt = Digraphs = 0; |
Chris Lattner | d658b56 | 2008-04-05 06:32:51 +0000 | [diff] [blame] | 134 | HexFloats = 0; |
Fariborz Jahanian | 412e798 | 2010-02-09 19:31:38 +0000 | [diff] [blame] | 135 | GC = ObjC1 = ObjC2 = ObjCNonFragileABI = ObjCNonFragileABI2 = 0; |
Eli Friedman | c71133f | 2009-04-28 03:28:55 +0000 | [diff] [blame] | 136 | C99 = Microsoft = CPlusPlus = CPlusPlus0x = 0; |
John McCall | 4b7a834 | 2010-03-15 10:54:44 +0000 | [diff] [blame] | 137 | CXXOperatorNames = PascalStrings = WritableStrings = ConstStrings = 0; |
Daniel Dunbar | 7348288 | 2010-02-10 18:48:44 +0000 | [diff] [blame] | 138 | Exceptions = SjLjExceptions = Freestanding = NoBuiltin = 0; |
Daniel Dunbar | c5a97ec | 2009-11-17 07:07:28 +0000 | [diff] [blame] | 139 | NeXTRuntime = 1; |
Mike Stump | de05057 | 2009-12-02 18:57:08 +0000 | [diff] [blame] | 140 | RTTI = 1; |
Anders Carlsson | b0f90cc | 2009-01-30 23:17:46 +0000 | [diff] [blame] | 141 | LaxVectorConversions = 1; |
Chris Lattner | 810f6d5 | 2009-03-13 17:38:01 +0000 | [diff] [blame] | 142 | HeinousExtensions = 0; |
Bill Wendling | 45483f7 | 2009-06-28 07:36:13 +0000 | [diff] [blame] | 143 | AltiVec = OpenCL = StackProtector = 0; |
David Chisnall | 8a5a9aa | 2009-08-31 16:41:57 +0000 | [diff] [blame] | 144 | |
Daniel Dunbar | 04d4078 | 2009-04-14 06:00:08 +0000 | [diff] [blame] | 145 | SymbolVisibility = (unsigned) Default; |
Mike Stump | 1eb4433 | 2009-09-09 15:08:12 +0000 | [diff] [blame] | 146 | |
Anders Carlsson | a508b7d | 2010-02-06 23:23:06 +0000 | [diff] [blame] | 147 | ThreadsafeStatics = 1; |
Daniel Dunbar | 5345c39 | 2009-09-03 04:54:28 +0000 | [diff] [blame] | 148 | POSIXThreads = 0; |
Chris Lattner | ae0ee03 | 2008-12-04 23:20:07 +0000 | [diff] [blame] | 149 | Blocks = 0; |
Daniel Dunbar | d604c40 | 2009-02-04 21:19:06 +0000 | [diff] [blame] | 150 | EmitAllDecls = 0; |
Daniel Dunbar | ef2abfe | 2009-02-16 22:43:43 +0000 | [diff] [blame] | 151 | MathErrno = 1; |
Douglas Gregor | 26dce44 | 2009-03-10 00:06:19 +0000 | [diff] [blame] | 152 | |
Nuno Lopes | fc28448 | 2009-12-16 16:59:22 +0000 | [diff] [blame] | 153 | AssumeSaneOperatorNew = 1; |
| 154 | |
Anders Carlsson | a33d9b4 | 2009-05-13 19:49:53 +0000 | [diff] [blame] | 155 | // FIXME: The default should be 1. |
| 156 | AccessControl = 0; |
Anders Carlsson | 92f5822 | 2009-08-22 22:30:33 +0000 | [diff] [blame] | 157 | ElideConstructors = 1; |
Mike Stump | 1eb4433 | 2009-09-09 15:08:12 +0000 | [diff] [blame] | 158 | |
Mike Stump | 2add473 | 2009-04-01 20:28:16 +0000 | [diff] [blame] | 159 | OverflowChecking = 0; |
Fariborz Jahanian | 448f5e6 | 2009-04-17 03:04:15 +0000 | [diff] [blame] | 160 | ObjCGCBitmapPrint = 0; |
Mike Stump | 2add473 | 2009-04-01 20:28:16 +0000 | [diff] [blame] | 161 | |
Douglas Gregor | 0268181 | 2010-03-02 19:14:36 +0000 | [diff] [blame] | 162 | InstantiationDepth = 500; |
Mike Stump | 1eb4433 | 2009-09-09 15:08:12 +0000 | [diff] [blame] | 163 | |
Anders Carlsson | 4ca076f | 2009-04-06 17:37:10 +0000 | [diff] [blame] | 164 | Optimize = 0; |
| 165 | OptimizeSize = 0; |
Daniel Dunbar | 9fd0b1f | 2009-04-08 03:03:23 +0000 | [diff] [blame] | 166 | |
Daniel Dunbar | 3bbc753 | 2009-04-08 18:03:55 +0000 | [diff] [blame] | 167 | Static = 0; |
Daniel Dunbar | 9fd0b1f | 2009-04-08 03:03:23 +0000 | [diff] [blame] | 168 | PICLevel = 0; |
Daniel Dunbar | c9abc04 | 2009-04-08 05:11:16 +0000 | [diff] [blame] | 169 | |
Daniel Dunbar | 3bbc753 | 2009-04-08 18:03:55 +0000 | [diff] [blame] | 170 | GNUInline = 0; |
| 171 | NoInline = 0; |
| 172 | |
Eli Friedman | 15b9176 | 2009-06-05 07:05:05 +0000 | [diff] [blame] | 173 | CharIsSigned = 1; |
John Thompson | 40d1bb6 | 2009-11-05 22:03:02 +0000 | [diff] [blame] | 174 | ShortWChar = 0; |
Mike Stump | 9c276ae | 2009-12-12 01:27:46 +0000 | [diff] [blame] | 175 | CatchUndefined = 0; |
Daniel Dunbar | b69eca5 | 2010-04-08 02:59:56 +0000 | [diff] [blame] | 176 | DumpRecordLayouts = 0; |
Anders Carlsson | 824d7ea | 2010-02-11 08:02:13 +0000 | [diff] [blame] | 177 | DumpVtableLayouts = 0; |
Daniel Dunbar | fb937b8 | 2010-04-15 15:06:22 +0000 | [diff] [blame^] | 178 | NoBitFieldTypeAlign = 0; |
Reid Spencer | 5f016e2 | 2007-07-11 17:01:13 +0000 | [diff] [blame] | 179 | } |
Mike Stump | 1eb4433 | 2009-09-09 15:08:12 +0000 | [diff] [blame] | 180 | |
Ted Kremenek | 01d9dbf | 2008-04-29 04:37:03 +0000 | [diff] [blame] | 181 | GCMode getGCMode() const { return (GCMode) GC; } |
| 182 | void setGCMode(GCMode m) { GC = (unsigned) m; } |
Fariborz Jahanian | 7cd2e93 | 2009-04-03 03:28:57 +0000 | [diff] [blame] | 183 | |
Bill Wendling | 4ebe3e4 | 2009-06-28 23:01:01 +0000 | [diff] [blame] | 184 | StackProtectorMode getStackProtectorMode() const { |
| 185 | return static_cast<StackProtectorMode>(StackProtector); |
| 186 | } |
| 187 | void setStackProtectorMode(StackProtectorMode m) { |
| 188 | StackProtector = static_cast<unsigned>(m); |
| 189 | } |
| 190 | |
Mike Stump | 1eb4433 | 2009-09-09 15:08:12 +0000 | [diff] [blame] | 191 | VisibilityMode getVisibilityMode() const { |
| 192 | return (VisibilityMode) SymbolVisibility; |
Daniel Dunbar | 04d4078 | 2009-04-14 06:00:08 +0000 | [diff] [blame] | 193 | } |
Fariborz Jahanian | 7cd2e93 | 2009-04-03 03:28:57 +0000 | [diff] [blame] | 194 | void setVisibilityMode(VisibilityMode v) { SymbolVisibility = (unsigned) v; } |
Reid Spencer | 5f016e2 | 2007-07-11 17:01:13 +0000 | [diff] [blame] | 195 | }; |
| 196 | |
| 197 | } // end namespace clang |
| 198 | |
| 199 | #endif |