pg_optimization.cmake
a4fe4c3a589adatabase

pg_optimization.cmake
View Options

			# Profile guided optimization
			# ============================

			# To compile for training : cmake . -DSPECMICP_PROFILE_GENERATE
			# To compile using the generated profiles : cmake . -DSPECMICP_PROFILE_USE

			# macro set_pgo_flag(<files>)
			# ---------------------------
			# apend the correct pgo flags to `flags`


			# set the generate flag
			macro(_pg_generate flags)
			set(flags "${flags} -fprofile-generate")
			if (SPECMICP_USE_OPENMP AND OPENMP_FOUND)
			set(flags "${flags} -fprofile-correction")
			endif()
			endmacro(_pg_generate)

			# set the use flag
			macro(_pg_use flags)
			set(flags "${flags} -fprofile-use -Wno-error=coverage-mismatch")
			if (SPECMICP_USE_OPENMP AND OPENMP_FOUND)
			set(flags "${flags} -fprofile-correction")
			endif()
			endmacro(_pg_use)

			# set the correct flag
			function(set_pgo_flag)
			if(CMAKE_COMPILER_IS_GNUCXX)
			if(SPECMICP_PROFILE_GENERATE)
			_pg_generate(flags)
			elseif(SPECMICP_PROFILE_USE)
			_pg_use(flags)
			endif()
			set_property(SOURCE ${ARGN} APPEND PROPERTY COMPILE_FLAGS "${flags}")
			endif()
			endfunction(set_pgo_flag)