1# This CMake module is responsible for interpreting the user defined LLVM_
2# options and executing the appropriate CMake commands to realize the users'
3# selections.
4
5# This is commonly needed so make sure it's defined before we include anything
6# else.
7string(TOUPPER "${CMAKE_BUILD_TYPE}" uppercase_CMAKE_BUILD_TYPE)
8
9include(CheckCompilerVersion)
10include(HandleLLVMStdlib)
11include(AddLLVMDefinitions)
12include(CheckCCompilerFlag)
13include(CheckCXXCompilerFlag)
14
15
16if (CMAKE_LINKER MATCHES "lld-link.exe")
17  # Pass /MANIFEST:NO so that CMake doesn't run mt.exe on our binaries.  Adding
18  # manifests with mt.exe breaks LLD's symbol tables and takes as much time as
19  # the link. See PR24476.
20  append("/MANIFEST:NO"
21    CMAKE_EXE_LINKER_FLAGS CMAKE_MODULE_LINKER_FLAGS CMAKE_SHARED_LINKER_FLAGS)
22endif()
23
24if( LLVM_ENABLE_ASSERTIONS )
25  # MSVC doesn't like _DEBUG on release builds. See PR 4379.
26  if( NOT MSVC )
27    add_definitions( -D_DEBUG )
28  endif()
29  # On non-Debug builds cmake automatically defines NDEBUG, so we
30  # explicitly undefine it:
31  if( NOT uppercase_CMAKE_BUILD_TYPE STREQUAL "DEBUG" )
32    add_definitions( -UNDEBUG )
33    # Also remove /D NDEBUG to avoid MSVC warnings about conflicting defines.
34    foreach (flags_var_to_scrub
35        CMAKE_CXX_FLAGS_RELEASE
36        CMAKE_CXX_FLAGS_RELWITHDEBINFO
37        CMAKE_CXX_FLAGS_MINSIZEREL
38        CMAKE_C_FLAGS_RELEASE
39        CMAKE_C_FLAGS_RELWITHDEBINFO
40        CMAKE_C_FLAGS_MINSIZEREL)
41      string (REGEX REPLACE "(^| )[/-]D *NDEBUG($| )" " "
42        "${flags_var_to_scrub}" "${${flags_var_to_scrub}}")
43    endforeach()
44  endif()
45endif()
46
47if(LLVM_ENABLE_EXPENSIVE_CHECKS)
48  add_definitions(-DEXPENSIVE_CHECKS)
49  add_definitions(-D_GLIBCXX_DEBUG)
50endif()
51
52string(TOUPPER "${LLVM_ABI_BREAKING_CHECKS}" uppercase_LLVM_ABI_BREAKING_CHECKS)
53
54if( uppercase_LLVM_ABI_BREAKING_CHECKS STREQUAL "WITH_ASSERTS" )
55  if( LLVM_ENABLE_ASSERTIONS )
56    set( LLVM_ENABLE_ABI_BREAKING_CHECKS 1 )
57  endif()
58elseif( uppercase_LLVM_ABI_BREAKING_CHECKS STREQUAL "FORCE_ON" )
59  set( LLVM_ENABLE_ABI_BREAKING_CHECKS 1 )
60elseif( uppercase_LLVM_ABI_BREAKING_CHECKS STREQUAL "FORCE_OFF" )
61  # We don't need to do anything special to turn off ABI breaking checks.
62elseif( NOT DEFINED LLVM_ABI_BREAKING_CHECKS )
63  # Treat LLVM_ABI_BREAKING_CHECKS like "FORCE_OFF" when it has not been
64  # defined.
65else()
66  message(FATAL_ERROR "Unknown value for LLVM_ABI_BREAKING_CHECKS: \"${LLVM_ABI_BREAKING_CHECKS}\"!")
67endif()
68
69if(WIN32)
70  set(LLVM_HAVE_LINK_VERSION_SCRIPT 0)
71  if(CYGWIN)
72    set(LLVM_ON_WIN32 0)
73    set(LLVM_ON_UNIX 1)
74  else(CYGWIN)
75    set(LLVM_ON_WIN32 1)
76    set(LLVM_ON_UNIX 0)
77  endif(CYGWIN)
78else(WIN32)
79  if(UNIX)
80    set(LLVM_ON_WIN32 0)
81    set(LLVM_ON_UNIX 1)
82    if(APPLE OR ${CMAKE_SYSTEM_NAME} MATCHES "AIX")
83      set(LLVM_HAVE_LINK_VERSION_SCRIPT 0)
84    else()
85      set(LLVM_HAVE_LINK_VERSION_SCRIPT 1)
86    endif()
87  else(UNIX)
88    MESSAGE(SEND_ERROR "Unable to determine platform")
89  endif(UNIX)
90endif(WIN32)
91
92set(EXEEXT ${CMAKE_EXECUTABLE_SUFFIX})
93set(LTDL_SHLIB_EXT ${CMAKE_SHARED_LIBRARY_SUFFIX})
94
95# We use *.dylib rather than *.so on darwin.
96set(LLVM_PLUGIN_EXT ${CMAKE_SHARED_LIBRARY_SUFFIX})
97
98if(APPLE)
99  if(LLVM_ENABLE_LLD AND LLVM_ENABLE_LTO)
100    message(FATAL_ERROR "lld does not support LTO on Darwin")
101  endif()
102  # Darwin-specific linker flags for loadable modules.
103  set(CMAKE_MODULE_LINKER_FLAGS "${CMAKE_MODULE_LINKER_FLAGS} -Wl,-flat_namespace -Wl,-undefined -Wl,suppress")
104endif()
105
106# Pass -Wl,-z,defs. This makes sure all symbols are defined. Otherwise a DSO
107# build might work on ELF but fail on MachO/COFF.
108if(NOT (${CMAKE_SYSTEM_NAME} MATCHES "Darwin" OR WIN32 OR CYGWIN OR
109        ${CMAKE_SYSTEM_NAME} MATCHES "FreeBSD" OR
110        ${CMAKE_SYSTEM_NAME} MATCHES "OpenBSD") AND
111   NOT LLVM_USE_SANITIZER)
112  set(CMAKE_SHARED_LINKER_FLAGS "${CMAKE_SHARED_LINKER_FLAGS} -Wl,-z,defs")
113endif()
114
115
116function(append value)
117  foreach(variable ${ARGN})
118    set(${variable} "${${variable}} ${value}" PARENT_SCOPE)
119  endforeach(variable)
120endfunction()
121
122function(append_if condition value)
123  if (${condition})
124    foreach(variable ${ARGN})
125      set(${variable} "${${variable}} ${value}" PARENT_SCOPE)
126    endforeach(variable)
127  endif()
128endfunction()
129
130macro(add_flag_if_supported flag name)
131  check_c_compiler_flag("-Werror ${flag}" "C_SUPPORTS_${name}")
132  append_if("C_SUPPORTS_${name}" "${flag}" CMAKE_C_FLAGS)
133  check_cxx_compiler_flag("-Werror ${flag}" "CXX_SUPPORTS_${name}")
134  append_if("CXX_SUPPORTS_${name}" "${flag}" CMAKE_CXX_FLAGS)
135endmacro()
136
137function(add_flag_or_print_warning flag name)
138  check_c_compiler_flag("-Werror ${flag}" "C_SUPPORTS_${name}")
139  check_cxx_compiler_flag("-Werror ${flag}" "CXX_SUPPORTS_${name}")
140  if (C_SUPPORTS_${name} AND CXX_SUPPORTS_${name})
141    message(STATUS "Building with ${flag}")
142    set(CMAKE_CXX_FLAGS "${CMAKE_CXX_FLAGS} ${flag}" PARENT_SCOPE)
143    set(CMAKE_C_FLAGS "${CMAKE_C_FLAGS} ${flag}" PARENT_SCOPE)
144    set(CMAKE_ASM_FLAGS "${CMAKE_ASM_FLAGS} ${flag}" PARENT_SCOPE)
145  else()
146    message(WARNING "${flag} is not supported.")
147  endif()
148endfunction()
149
150if(LLVM_ENABLE_LLD)
151  check_cxx_compiler_flag("-fuse-ld=lld" CXX_SUPPORTS_LLD)
152  append_if(CXX_SUPPORTS_LLD "-fuse-ld=lld"
153    CMAKE_EXE_LINKER_FLAGS CMAKE_MODULE_LINKER_FLAGS CMAKE_SHARED_LINKER_FLAGS)
154endif()
155
156if( LLVM_ENABLE_PIC )
157  if( XCODE )
158    # Xcode has -mdynamic-no-pic on by default, which overrides -fPIC. I don't
159    # know how to disable this, so just force ENABLE_PIC off for now.
160    message(WARNING "-fPIC not supported with Xcode.")
161  elseif( WIN32 OR CYGWIN)
162    # On Windows all code is PIC. MinGW warns if -fPIC is used.
163  else()
164    add_flag_or_print_warning("-fPIC" FPIC)
165  endif()
166endif()
167
168if(NOT WIN32 AND NOT CYGWIN)
169  # MinGW warns if -fvisibility-inlines-hidden is used.
170  check_cxx_compiler_flag("-fvisibility-inlines-hidden" SUPPORTS_FVISIBILITY_INLINES_HIDDEN_FLAG)
171  append_if(SUPPORTS_FVISIBILITY_INLINES_HIDDEN_FLAG "-fvisibility-inlines-hidden" CMAKE_CXX_FLAGS)
172endif()
173
174if( CMAKE_SIZEOF_VOID_P EQUAL 8 AND NOT WIN32 )
175  # TODO: support other platforms and toolchains.
176  if( LLVM_BUILD_32_BITS )
177    message(STATUS "Building 32 bits executables and libraries.")
178    set(CMAKE_CXX_FLAGS "${CMAKE_CXX_FLAGS} -m32")
179    set(CMAKE_C_FLAGS "${CMAKE_C_FLAGS} -m32")
180    set(CMAKE_EXE_LINKER_FLAGS "${CMAKE_EXE_LINKER_FLAGS} -m32")
181    set(CMAKE_SHARED_LINKER_FLAGS "${CMAKE_SHARED_LINKER_FLAGS} -m32")
182    set(CMAKE_MODULE_LINKER_FLAGS "${CMAKE_MODULE_LINKER_FLAGS} -m32")
183  endif( LLVM_BUILD_32_BITS )
184endif( CMAKE_SIZEOF_VOID_P EQUAL 8 AND NOT WIN32 )
185
186if( XCODE )
187  # For Xcode enable several build settings that correspond to
188  # many warnings that are on by default in Clang but are
189  # not enabled for historical reasons.  For versions of Xcode
190  # that do not support these options they will simply
191  # be ignored.
192  set(CMAKE_XCODE_ATTRIBUTE_GCC_WARN_ABOUT_RETURN_TYPE "YES")
193  set(CMAKE_XCODE_ATTRIBUTE_GCC_WARN_ABOUT_MISSING_NEWLINE "YES")
194  set(CMAKE_XCODE_ATTRIBUTE_GCC_WARN_UNUSED_VALUE "YES")
195  set(CMAKE_XCODE_ATTRIBUTE_GCC_WARN_UNUSED_VARIABLE "YES")
196  set(CMAKE_XCODE_ATTRIBUTE_GCC_WARN_SIGN_COMPARE "YES")
197  set(CMAKE_XCODE_ATTRIBUTE_GCC_WARN_UNUSED_FUNCTION "YES")
198  set(CMAKE_XCODE_ATTRIBUTE_GCC_WARN_INITIALIZER_NOT_FULLY_BRACKETED "YES")
199  set(CMAKE_XCODE_ATTRIBUTE_GCC_WARN_HIDDEN_VIRTUAL_FUNCTIONS "YES")
200  set(CMAKE_XCODE_ATTRIBUTE_GCC_WARN_UNINITIALIZED_AUTOS "YES")
201  set(CMAKE_XCODE_ATTRIBUTE_CLANG_WARN_BOOL_CONVERSION "YES")
202  set(CMAKE_XCODE_ATTRIBUTE_CLANG_WARN_EMPTY_BODY "YES")
203  set(CMAKE_XCODE_ATTRIBUTE_CLANG_WARN_ENUM_CONVERSION "YES")
204  set(CMAKE_XCODE_ATTRIBUTE_CLANG_WARN_INT_CONVERSION "YES")
205  set(CMAKE_XCODE_ATTRIBUTE_CLANG_WARN_CONSTANT_CONVERSION "YES")
206  set(CMAKE_XCODE_ATTRIBUTE_GCC_WARN_NON_VIRTUAL_DESTRUCTOR "YES")
207endif()
208
209# On Win32 using MS tools, provide an option to set the number of parallel jobs
210# to use.
211if( MSVC_IDE )
212  set(LLVM_COMPILER_JOBS "0" CACHE STRING
213    "Number of parallel compiler jobs. 0 means use all processors. Default is 0.")
214  if( NOT LLVM_COMPILER_JOBS STREQUAL "1" )
215    if( LLVM_COMPILER_JOBS STREQUAL "0" )
216      add_llvm_definitions( /MP )
217    else()
218      message(STATUS "Number of parallel compiler jobs set to " ${LLVM_COMPILER_JOBS})
219      add_llvm_definitions( /MP${LLVM_COMPILER_JOBS} )
220    endif()
221  else()
222    message(STATUS "Parallel compilation disabled")
223  endif()
224endif()
225
226# set stack reserved size to ~10MB
227if(MSVC)
228  # CMake previously automatically set this value for MSVC builds, but the
229  # behavior was changed in CMake 2.8.11 (Issue 12437) to use the MSVC default
230  # value (1 MB) which is not enough for us in tasks such as parsing recursive
231  # C++ templates in Clang.
232  set(CMAKE_EXE_LINKER_FLAGS "${CMAKE_EXE_LINKER_FLAGS} /STACK:10000000")
233elseif(MINGW) # FIXME: Also cygwin?
234  set(CMAKE_EXE_LINKER_FLAGS "${CMAKE_EXE_LINKER_FLAGS} -Wl,--stack,16777216")
235
236  # Pass -mbig-obj to mingw gas on Win64. COFF has a 2**16 section limit, and
237  # on Win64, every COMDAT function creates at least 3 sections: .text, .pdata,
238  # and .xdata.
239  if (CMAKE_SIZEOF_VOID_P EQUAL 8)
240    append("-Wa,-mbig-obj" CMAKE_C_FLAGS CMAKE_CXX_FLAGS)
241  endif()
242endif()
243
244if( MSVC )
245  if( CMAKE_CXX_COMPILER_VERSION VERSION_LESS 19.0 )
246    # For MSVC 2013, disable iterator null pointer checking in debug mode,
247    # especially so std::equal(nullptr, nullptr, nullptr) will not assert.
248    add_llvm_definitions("-D_DEBUG_POINTER_IMPL=")
249  endif()
250
251  include(ChooseMSVCCRT)
252
253  if( MSVC11 )
254    add_llvm_definitions(-D_VARIADIC_MAX=10)
255  endif()
256
257  # Add definitions that make MSVC much less annoying.
258  add_llvm_definitions(
259    # For some reason MS wants to deprecate a bunch of standard functions...
260    -D_CRT_SECURE_NO_DEPRECATE
261    -D_CRT_SECURE_NO_WARNINGS
262    -D_CRT_NONSTDC_NO_DEPRECATE
263    -D_CRT_NONSTDC_NO_WARNINGS
264    -D_SCL_SECURE_NO_DEPRECATE
265    -D_SCL_SECURE_NO_WARNINGS
266    )
267
268  # Tell MSVC to use the Unicode version of the Win32 APIs instead of ANSI.
269  add_llvm_definitions(
270    -DUNICODE
271    -D_UNICODE
272  )
273
274  set(msvc_warning_flags
275    # Disabled warnings.
276    -wd4141 # Suppress ''modifier' : used more than once' (because of __forceinline combined with inline)
277    -wd4146 # Suppress 'unary minus operator applied to unsigned type, result still unsigned'
278    -wd4180 # Suppress 'qualifier applied to function type has no meaning; ignored'
279    -wd4244 # Suppress ''argument' : conversion from 'type1' to 'type2', possible loss of data'
280    -wd4258 # Suppress ''var' : definition from the for loop is ignored; the definition from the enclosing scope is used'
281    -wd4267 # Suppress ''var' : conversion from 'size_t' to 'type', possible loss of data'
282    -wd4291 # Suppress ''declaration' : no matching operator delete found; memory will not be freed if initialization throws an exception'
283    -wd4345 # Suppress 'behavior change: an object of POD type constructed with an initializer of the form () will be default-initialized'
284    -wd4351 # Suppress 'new behavior: elements of array 'array' will be default initialized'
285    -wd4355 # Suppress ''this' : used in base member initializer list'
286    -wd4456 # Suppress 'declaration of 'var' hides local variable'
287    -wd4457 # Suppress 'declaration of 'var' hides function parameter'
288    -wd4458 # Suppress 'declaration of 'var' hides class member'
289    -wd4459 # Suppress 'declaration of 'var' hides global declaration'
290    -wd4503 # Suppress ''identifier' : decorated name length exceeded, name was truncated'
291    -wd4624 # Suppress ''derived class' : destructor could not be generated because a base class destructor is inaccessible'
292    -wd4722 # Suppress 'function' : destructor never returns, potential memory leak
293    -wd4800 # Suppress ''type' : forcing value to bool 'true' or 'false' (performance warning)'
294    -wd4100 # Suppress 'unreferenced formal parameter'
295    -wd4127 # Suppress 'conditional expression is constant'
296    -wd4512 # Suppress 'assignment operator could not be generated'
297    -wd4505 # Suppress 'unreferenced local function has been removed'
298    -wd4610 # Suppress '<class> can never be instantiated'
299    -wd4510 # Suppress 'default constructor could not be generated'
300    -wd4702 # Suppress 'unreachable code'
301    -wd4245 # Suppress 'signed/unsigned mismatch'
302    -wd4706 # Suppress 'assignment within conditional expression'
303    -wd4310 # Suppress 'cast truncates constant value'
304    -wd4701 # Suppress 'potentially uninitialized local variable'
305    -wd4703 # Suppress 'potentially uninitialized local pointer variable'
306    -wd4389 # Suppress 'signed/unsigned mismatch'
307    -wd4611 # Suppress 'interaction between '_setjmp' and C++ object destruction is non-portable'
308    -wd4805 # Suppress 'unsafe mix of type <type> and type <type> in operation'
309    -wd4204 # Suppress 'nonstandard extension used : non-constant aggregate initializer'
310    -wd4577 # Suppress 'noexcept used with no exception handling mode specified; termination on exception is not guaranteed'
311    -wd4091 # Suppress 'typedef: ignored on left of '' when no variable is declared'
312        # C4592 is disabled because of false positives in Visual Studio 2015
313        # Update 1. Re-evaluate the usefulness of this diagnostic with Update 2.
314    -wd4592 # Suppress ''var': symbol will be dynamically initialized (implementation limitation)
315    -wd4319 # Suppress ''operator' : zero extending 'type' to 'type' of greater size'
316
317	# Ideally, we'd like this warning to be enabled, but MSVC 2013 doesn't
318	# support the 'aligned' attribute in the way that clang sources requires (for
319	# any code that uses the LLVM_ALIGNAS macro), so this is must be disabled to
320	# avoid unwanted alignment warnings.
321	# When we switch to requiring a version of MSVC that supports the 'alignas'
322	# specifier (MSVC 2015?) this warning can be re-enabled.
323    -wd4324 # Suppress 'structure was padded due to __declspec(align())'
324
325    # Promoted warnings.
326    -w14062 # Promote 'enumerator in switch of enum is not handled' to level 1 warning.
327
328    # Promoted warnings to errors.
329    -we4238 # Promote 'nonstandard extension used : class rvalue used as lvalue' to error.
330    )
331
332  # Enable warnings
333  if (LLVM_ENABLE_WARNINGS)
334    # Put /W4 in front of all the -we flags. cl.exe doesn't care, but for
335    # clang-cl having /W4 after the -we flags will re-enable the warnings
336    # disabled by -we.
337    set(msvc_warning_flags "/W4 ${msvc_warning_flags}")
338    # CMake appends /W3 by default, and having /W3 followed by /W4 will result in
339    # cl : Command line warning D9025 : overriding '/W3' with '/W4'.  Since this is
340    # a command line warning and not a compiler warning, it cannot be suppressed except
341    # by fixing the command line.
342    string(REGEX REPLACE " /W[0-4]" "" CMAKE_C_FLAGS "${CMAKE_C_FLAGS}")
343    string(REGEX REPLACE " /W[0-4]" "" CMAKE_CXX_FLAGS "${CMAKE_CXX_FLAGS}")
344
345    if (LLVM_ENABLE_PEDANTIC)
346      # No MSVC equivalent available
347    endif (LLVM_ENABLE_PEDANTIC)
348  endif (LLVM_ENABLE_WARNINGS)
349  if (LLVM_ENABLE_WERROR)
350    append("/WX" msvc_warning_flags)
351  endif (LLVM_ENABLE_WERROR)
352
353  foreach(flag ${msvc_warning_flags})
354    append("${flag}" CMAKE_C_FLAGS CMAKE_CXX_FLAGS)
355  endforeach(flag)
356
357  append("/Zc:inline" CMAKE_C_FLAGS CMAKE_CXX_FLAGS)
358
359  # /Zc:strictStrings is incompatible with VS12's (Visual Studio 2013's)
360  # debug mode headers. Instead of only enabling them in VS2013's debug mode,
361  # we'll just enable them for Visual Studio 2015 (VS 14, MSVC_VERSION 1900)
362  # and up.
363  if (NOT (MSVC_VERSION LESS 1900))
364    # Disable string literal const->non-const type conversion.
365    # "When specified, the compiler requires strict const-qualification
366    # conformance for pointers initialized by using string literals."
367    append("/Zc:strictStrings" CMAKE_C_FLAGS CMAKE_CXX_FLAGS)
368  endif(NOT (MSVC_VERSION LESS 1900))
369
370  # "Generate Intrinsic Functions".
371  append("/Oi" CMAKE_C_FLAGS CMAKE_CXX_FLAGS)
372
373  # "Enforce type conversion rules".
374  append("/Zc:rvalueCast" CMAKE_CXX_FLAGS)
375
376  if (CMAKE_CXX_COMPILER_ID MATCHES "Clang")
377    # clang-cl and cl by default produce non-deterministic binaries because
378    # link.exe /incremental requires a timestamp in the .obj file.  clang-cl
379    # has the flag /Brepro to force deterministic binaries. We want to pass that
380    # whenever you're building with clang unless you're passing /incremental.
381    # This checks CMAKE_CXX_COMPILER_ID in addition to check_cxx_compiler_flag()
382    # because cl.exe does not emit an error on flags it doesn't understand,
383    # letting check_cxx_compiler_flag() claim it understands all flags.
384    check_cxx_compiler_flag("/Brepro" SUPPORTS_BREPRO)
385    if (SUPPORTS_BREPRO)
386      # Check if /INCREMENTAL is passed to the linker and complain that it
387      # won't work with /Brepro.
388      string(TOUPPER "${CMAKE_EXE_LINKER_FLAGS}" upper_exe_flags)
389      string(TOUPPER "${CMAKE_MODULE_LINKER_FLAGS}" upper_module_flags)
390      string(TOUPPER "${CMAKE_SHARED_LINKER_FLAGS}" upper_shared_flags)
391
392      string(FIND "${upper_exe_flags} ${upper_module_flags} ${upper_shared_flags}"
393        "/INCREMENTAL" linker_flag_idx)
394
395      if (${linker_flag_idx} GREATER -1)
396        message(WARNING "/Brepro not compatible with /INCREMENTAL linking - builds will be non-deterministic")
397      else()
398        append("/Brepro" CMAKE_C_FLAGS CMAKE_CXX_FLAGS)
399      endif()
400    endif()
401  endif()
402
403elseif( LLVM_COMPILER_IS_GCC_COMPATIBLE )
404  if (LLVM_ENABLE_WARNINGS)
405    append("-Wall -W -Wno-unused-parameter -Wwrite-strings" CMAKE_C_FLAGS CMAKE_CXX_FLAGS)
406    append("-Wcast-qual" CMAKE_CXX_FLAGS)
407
408    # Turn off missing field initializer warnings for gcc to avoid noise from
409    # false positives with empty {}. Turn them on otherwise (they're off by
410    # default for clang).
411    check_cxx_compiler_flag("-Wmissing-field-initializers" CXX_SUPPORTS_MISSING_FIELD_INITIALIZERS_FLAG)
412    if (CXX_SUPPORTS_MISSING_FIELD_INITIALIZERS_FLAG)
413      if (CMAKE_COMPILER_IS_GNUCXX)
414        append("-Wno-missing-field-initializers" CMAKE_C_FLAGS CMAKE_CXX_FLAGS)
415      else()
416        append("-Wmissing-field-initializers" CMAKE_C_FLAGS CMAKE_CXX_FLAGS)
417      endif()
418    endif()
419
420    append_if(LLVM_ENABLE_PEDANTIC "-pedantic" CMAKE_C_FLAGS CMAKE_CXX_FLAGS)
421    append_if(LLVM_ENABLE_PEDANTIC "-Wno-long-long" CMAKE_C_FLAGS CMAKE_CXX_FLAGS)
422    add_flag_if_supported("-Wcovered-switch-default" COVERED_SWITCH_DEFAULT_FLAG)
423    append_if(USE_NO_UNINITIALIZED "-Wno-uninitialized" CMAKE_CXX_FLAGS)
424    append_if(USE_NO_MAYBE_UNINITIALIZED "-Wno-maybe-uninitialized" CMAKE_CXX_FLAGS)
425
426    # Check if -Wnon-virtual-dtor warns even though the class is marked final.
427    # If it does, don't add it. So it won't be added on clang 3.4 and older.
428    # This also catches cases when -Wnon-virtual-dtor isn't supported by
429    # the compiler at all.  This flag is not activated for gcc since it will
430    # incorrectly identify a protected non-virtual base when there is a friend
431    # declaration.
432    if (NOT CMAKE_COMPILER_IS_GNUCXX)
433      set(OLD_CMAKE_REQUIRED_FLAGS ${CMAKE_REQUIRED_FLAGS})
434      set(CMAKE_REQUIRED_FLAGS "${CMAKE_REQUIRED_FLAGS} -std=c++11 -Werror=non-virtual-dtor")
435      CHECK_CXX_SOURCE_COMPILES("class base {public: virtual void anchor();protected: ~base();};
436                                 class derived final : public base { public: ~derived();};
437                                 int main() { return 0; }"
438                                CXX_WONT_WARN_ON_FINAL_NONVIRTUALDTOR)
439      set(CMAKE_REQUIRED_FLAGS ${OLD_CMAKE_REQUIRED_FLAGS})
440      append_if(CXX_WONT_WARN_ON_FINAL_NONVIRTUALDTOR
441                "-Wnon-virtual-dtor" CMAKE_CXX_FLAGS)
442    endif()
443
444    # Enable -Wdelete-non-virtual-dtor if available.
445    add_flag_if_supported("-Wdelete-non-virtual-dtor" DELETE_NON_VIRTUAL_DTOR_FLAG)
446
447    # Check if -Wcomment is OK with an // comment ending with '\' if the next
448    # line is also a // comment.
449    set(OLD_CMAKE_REQUIRED_FLAGS ${CMAKE_REQUIRED_FLAGS})
450    set(CMAKE_REQUIRED_FLAGS "${CMAKE_REQUIRED_FLAGS} -Werror -Wcomment")
451    CHECK_C_SOURCE_COMPILES("// \\\\\\n//\\nint main() {return 0;}"
452                            C_WCOMMENT_ALLOWS_LINE_WRAP)
453    set(CMAKE_REQUIRED_FLAGS ${OLD_CMAKE_REQUIRED_FLAGS})
454    if (NOT C_WCOMMENT_ALLOWS_LINE_WRAP)
455      append("-Wno-comment" CMAKE_C_FLAGS CMAKE_CXX_FLAGS)
456    endif()
457
458    # Enable -Wstring-conversion to catch misuse of string literals.
459    add_flag_if_supported("-Wstring-conversion" STRING_CONVERSION_FLAG)
460  endif (LLVM_ENABLE_WARNINGS)
461  append_if(LLVM_ENABLE_WERROR "-Werror" CMAKE_C_FLAGS CMAKE_CXX_FLAGS)
462  add_flag_if_supported("-Werror=date-time" WERROR_DATE_TIME)
463  if (LLVM_ENABLE_CXX1Y)
464    check_cxx_compiler_flag("-std=c++1y" CXX_SUPPORTS_CXX1Y)
465    append_if(CXX_SUPPORTS_CXX1Y "-std=c++1y" CMAKE_CXX_FLAGS)
466  else()
467    check_cxx_compiler_flag("-std=c++11" CXX_SUPPORTS_CXX11)
468    if (CXX_SUPPORTS_CXX11)
469      if (CYGWIN OR MINGW)
470        # MinGW and Cygwin are a bit stricter and lack things like
471        # 'strdup', 'stricmp', etc in c++11 mode.
472        append("-std=gnu++11" CMAKE_CXX_FLAGS)
473      else()
474        append("-std=c++11" CMAKE_CXX_FLAGS)
475      endif()
476    else()
477      message(FATAL_ERROR "LLVM requires C++11 support but the '-std=c++11' flag isn't supported.")
478    endif()
479  endif()
480  if (LLVM_ENABLE_MODULES)
481    set(OLD_CMAKE_REQUIRED_FLAGS ${CMAKE_REQUIRED_FLAGS})
482    set(module_flags "-fmodules -fmodules-cache-path=${PROJECT_BINARY_DIR}/module.cache")
483    if (${CMAKE_SYSTEM_NAME} MATCHES "Darwin")
484      # On Darwin -fmodules does not imply -fcxx-modules.
485      set(module_flags "${module_flags} -fcxx-modules")
486    endif()
487    if (LLVM_ENABLE_LOCAL_SUBMODULE_VISIBILITY)
488      set(module_flags "${module_flags} -Xclang -fmodules-local-submodule-visibility")
489    endif()
490    if (LLVM_ENABLE_MODULE_DEBUGGING AND
491        ((uppercase_CMAKE_BUILD_TYPE STREQUAL "DEBUG") OR
492         (uppercase_CMAKE_BUILD_TYPE STREQUAL "RELWITHDEBINFO")))
493      set(module_flags "${module_flags} -gmodules")
494    endif()
495    set(CMAKE_REQUIRED_FLAGS "${CMAKE_REQUIRED_FLAGS} ${module_flags}")
496
497    # Check that we can build code with modules enabled, and that repeatedly
498    # including <cassert> still manages to respect NDEBUG properly.
499    CHECK_CXX_SOURCE_COMPILES("#undef NDEBUG
500                               #include <cassert>
501                               #define NDEBUG
502                               #include <cassert>
503                               int main() { assert(this code is not compiled); }"
504                               CXX_SUPPORTS_MODULES)
505    set(CMAKE_REQUIRED_FLAGS ${OLD_CMAKE_REQUIRED_FLAGS})
506    if (CXX_SUPPORTS_MODULES)
507      append("${module_flags}" CMAKE_CXX_FLAGS)
508    else()
509      message(FATAL_ERROR "LLVM_ENABLE_MODULES is not supported by this compiler")
510    endif()
511  endif(LLVM_ENABLE_MODULES)
512endif( MSVC )
513
514macro(append_common_sanitizer_flags)
515  if (NOT MSVC)
516    # Append -fno-omit-frame-pointer and turn on debug info to get better
517    # stack traces.
518    add_flag_if_supported("-fno-omit-frame-pointer" FNO_OMIT_FRAME_POINTER)
519    if (NOT uppercase_CMAKE_BUILD_TYPE STREQUAL "DEBUG" AND
520        NOT uppercase_CMAKE_BUILD_TYPE STREQUAL "RELWITHDEBINFO")
521      add_flag_if_supported("-gline-tables-only" GLINE_TABLES_ONLY)
522    endif()
523    # Use -O1 even in debug mode, otherwise sanitizers slowdown is too large.
524    if (uppercase_CMAKE_BUILD_TYPE STREQUAL "DEBUG")
525      add_flag_if_supported("-O1" O1)
526    endif()
527  elseif (CLANG_CL)
528    # Keep frame pointers around.
529    append("/Oy-" CMAKE_C_FLAGS CMAKE_CXX_FLAGS)
530    if (CMAKE_LINKER MATCHES "lld-link.exe")
531      # Use DWARF debug info with LLD.
532      append("-gdwarf" CMAKE_C_FLAGS CMAKE_CXX_FLAGS)
533    else()
534      # Enable codeview otherwise.
535      append("/Z7" CMAKE_C_FLAGS CMAKE_CXX_FLAGS)
536    endif()
537    # Always ask the linker to produce symbols with asan.
538    append("-debug" CMAKE_EXE_LINKER_FLAGS CMAKE_MODULE_LINKER_FLAGS CMAKE_SHARED_LINKER_FLAGS)
539  endif()
540endmacro()
541
542# Turn on sanitizers if necessary.
543if(LLVM_USE_SANITIZER)
544  if (LLVM_ON_UNIX)
545    if (LLVM_USE_SANITIZER STREQUAL "Address")
546      append_common_sanitizer_flags()
547      append("-fsanitize=address" CMAKE_C_FLAGS CMAKE_CXX_FLAGS)
548    elseif (LLVM_USE_SANITIZER MATCHES "Memory(WithOrigins)?")
549      append_common_sanitizer_flags()
550      append("-fsanitize=memory" CMAKE_C_FLAGS CMAKE_CXX_FLAGS)
551      if(LLVM_USE_SANITIZER STREQUAL "MemoryWithOrigins")
552        append("-fsanitize-memory-track-origins" CMAKE_C_FLAGS CMAKE_CXX_FLAGS)
553      endif()
554    elseif (LLVM_USE_SANITIZER STREQUAL "Undefined")
555      append_common_sanitizer_flags()
556      append("-fsanitize=undefined -fno-sanitize=vptr,function -fno-sanitize-recover=all"
557              CMAKE_C_FLAGS CMAKE_CXX_FLAGS)
558    elseif (LLVM_USE_SANITIZER STREQUAL "Thread")
559      append_common_sanitizer_flags()
560      append("-fsanitize=thread" CMAKE_C_FLAGS CMAKE_CXX_FLAGS)
561    elseif (LLVM_USE_SANITIZER STREQUAL "Address;Undefined" OR
562            LLVM_USE_SANITIZER STREQUAL "Undefined;Address")
563      append_common_sanitizer_flags()
564      append("-fsanitize=address,undefined -fno-sanitize=vptr,function -fno-sanitize-recover=all"
565              CMAKE_C_FLAGS CMAKE_CXX_FLAGS)
566    else()
567      message(FATAL_ERROR "Unsupported value of LLVM_USE_SANITIZER: ${LLVM_USE_SANITIZER}")
568    endif()
569  elseif(MSVC)
570    if (LLVM_USE_SANITIZER STREQUAL "Address")
571      append_common_sanitizer_flags()
572      append("-fsanitize=address" CMAKE_C_FLAGS CMAKE_CXX_FLAGS)
573    else()
574      message(FATAL_ERROR "This sanitizer not yet supported in the MSVC environment: ${LLVM_USE_SANITIZER}")
575    endif()
576  else()
577    message(FATAL_ERROR "LLVM_USE_SANITIZER is not supported on this platform.")
578  endif()
579  if (LLVM_USE_SANITIZE_COVERAGE)
580    append("-fsanitize-coverage=trace-pc-guard,indirect-calls,trace-cmp" CMAKE_C_FLAGS CMAKE_CXX_FLAGS)
581  endif()
582endif()
583
584# Turn on -gsplit-dwarf if requested
585if(LLVM_USE_SPLIT_DWARF)
586  add_definitions("-gsplit-dwarf")
587endif()
588
589add_llvm_definitions( -D__STDC_CONSTANT_MACROS )
590add_llvm_definitions( -D__STDC_FORMAT_MACROS )
591add_llvm_definitions( -D__STDC_LIMIT_MACROS )
592
593# clang doesn't print colored diagnostics when invoked from Ninja
594if (UNIX AND
595    CMAKE_CXX_COMPILER_ID MATCHES "Clang" AND
596    CMAKE_GENERATOR STREQUAL "Ninja")
597  append("-fcolor-diagnostics" CMAKE_C_FLAGS CMAKE_CXX_FLAGS)
598endif()
599
600# lld doesn't print colored diagnostics when invoked from Ninja
601if (UNIX AND CMAKE_GENERATOR STREQUAL "Ninja")
602  include(CheckLinkerFlag)
603  check_linker_flag("-Wl,-color-diagnostics" LINKER_SUPPORTS_COLOR_DIAGNOSTICS)
604  append_if(LINKER_SUPPORTS_COLOR_DIAGNOSTICS "-Wl,-color-diagnostics"
605    CMAKE_EXE_LINKER_FLAGS CMAKE_MODULE_LINKER_FLAGS CMAKE_SHARED_LINKER_FLAGS)
606endif()
607
608# Add flags for add_dead_strip().
609# FIXME: With MSVS, consider compiling with /Gy and linking with /OPT:REF?
610# But MinSizeRel seems to add that automatically, so maybe disable these
611# flags instead if LLVM_NO_DEAD_STRIP is set.
612if(NOT CYGWIN AND NOT WIN32)
613  if(NOT ${CMAKE_SYSTEM_NAME} MATCHES "Darwin" AND
614     NOT uppercase_CMAKE_BUILD_TYPE STREQUAL "DEBUG")
615    check_c_compiler_flag("-Werror -fno-function-sections" C_SUPPORTS_FNO_FUNCTION_SECTIONS)
616    if (C_SUPPORTS_FNO_FUNCTION_SECTIONS)
617      # Don't add -ffunction-section if it can be disabled with -fno-function-sections.
618      # Doing so will break sanitizers.
619      add_flag_if_supported("-ffunction-sections" FFUNCTION_SECTIONS)
620    endif()
621    add_flag_if_supported("-fdata-sections" FDATA_SECTIONS)
622  endif()
623endif()
624
625if(MSVC)
626  # Remove flags here, for exceptions and RTTI.
627  # Each target property or source property should be responsible to control
628  # them.
629  # CL.EXE complains to override flags like "/GR /GR-".
630  string(REGEX REPLACE "(^| ) */EH[-cs]+ *( |$)" "\\1 \\2" CMAKE_CXX_FLAGS "${CMAKE_CXX_FLAGS}")
631  string(REGEX REPLACE "(^| ) */GR-? *( |$)" "\\1 \\2" CMAKE_CXX_FLAGS "${CMAKE_CXX_FLAGS}")
632endif()
633
634# Provide public options to globally control RTTI and EH
635option(LLVM_ENABLE_EH "Enable Exception handling" OFF)
636option(LLVM_ENABLE_RTTI "Enable run time type information" OFF)
637if(LLVM_ENABLE_EH AND NOT LLVM_ENABLE_RTTI)
638  message(FATAL_ERROR "Exception handling requires RTTI. You must set LLVM_ENABLE_RTTI to ON")
639endif()
640
641option(LLVM_BUILD_INSTRUMENTED "Build LLVM and tools with PGO instrumentation (experimental)" Off)
642mark_as_advanced(LLVM_BUILD_INSTRUMENTED)
643append_if(LLVM_BUILD_INSTRUMENTED "-fprofile-instr-generate='${LLVM_PROFILE_FILE_PATTERN}'"
644  CMAKE_CXX_FLAGS
645  CMAKE_C_FLAGS
646  CMAKE_EXE_LINKER_FLAGS
647  CMAKE_SHARED_LINKER_FLAGS)
648
649option(LLVM_BUILD_INSTRUMENTED_COVERAGE "Build LLVM and tools with Code Coverage instrumentation (experimental)" Off)
650mark_as_advanced(LLVM_BUILD_INSTRUMENTED_COVERAGE)
651append_if(LLVM_BUILD_INSTRUMENTED_COVERAGE "-fprofile-instr-generate='${LLVM_PROFILE_FILE_PATTERN}' -fcoverage-mapping"
652  CMAKE_CXX_FLAGS
653  CMAKE_C_FLAGS
654  CMAKE_EXE_LINKER_FLAGS
655  CMAKE_SHARED_LINKER_FLAGS)
656
657set(LLVM_ENABLE_LTO OFF CACHE STRING "Build LLVM with LTO. May be specified as Thin or Full to use a particular kind of LTO")
658string(TOUPPER "${LLVM_ENABLE_LTO}" uppercase_LLVM_ENABLE_LTO)
659if(uppercase_LLVM_ENABLE_LTO STREQUAL "THIN")
660  append("-flto=thin" CMAKE_CXX_FLAGS CMAKE_C_FLAGS
661                      CMAKE_EXE_LINKER_FLAGS CMAKE_SHARED_LINKER_FLAGS)
662  # On darwin, enable the lto cache. This improves initial build time a little
663  # since we re-link a lot of the same objects, and significantly improves
664  # incremental build time.
665  append_if(APPLE "-Wl,-cache_path_lto,${PROJECT_BINARY_DIR}/lto.cache"
666            CMAKE_EXE_LINKER_FLAGS CMAKE_SHARED_LINKER_FLAGS)
667elseif(uppercase_LLVM_ENABLE_LTO STREQUAL "FULL")
668  append("-flto=full" CMAKE_CXX_FLAGS CMAKE_C_FLAGS
669                 CMAKE_EXE_LINKER_FLAGS CMAKE_SHARED_LINKER_FLAGS)
670elseif(LLVM_ENABLE_LTO)
671  append("-flto" CMAKE_CXX_FLAGS CMAKE_C_FLAGS
672                 CMAKE_EXE_LINKER_FLAGS CMAKE_SHARED_LINKER_FLAGS)
673endif()
674
675# This option makes utils/extract_symbols.py be used to determine the list of
676# symbols to export from LLVM tools. This is necessary when using MSVC if you
677# want to allow plugins, though note that the plugin has to explicitly link
678# against (exactly one) tool so we can't unilaterally turn on
679# LLVM_ENABLE_PLUGINS when it's enabled.
680option(LLVM_EXPORT_SYMBOLS_FOR_PLUGINS "Export symbols from LLVM tools so that plugins can import them" OFF)
681if(BUILD_SHARED_LIBS AND LLVM_EXPORT_SYMBOLS_FOR_PLUGINS)
682  message(FATAL_ERROR "BUILD_SHARED_LIBS not compatible with LLVM_EXPORT_SYMBOLS_FOR_PLUGINS")
683endif()
684if(LLVM_LINK_LLVM_DYLIB AND LLVM_EXPORT_SYMBOLS_FOR_PLUGINS)
685  message(FATAL_ERROR "LLVM_LINK_LLVM_DYLIB not compatible with LLVM_EXPORT_SYMBOLS_FOR_PLUGINS")
686endif()
687
688# Plugin support
689# FIXME: Make this configurable.
690if(WIN32 OR CYGWIN)
691  if(BUILD_SHARED_LIBS)
692    set(LLVM_ENABLE_PLUGINS ON)
693  else()
694    set(LLVM_ENABLE_PLUGINS OFF)
695  endif()
696else()
697  set(LLVM_ENABLE_PLUGINS ON)
698endif()
699