pg_optimization.cmake
e809292d7440configuration

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

			# functiom set_pgo_flag(<files>)
			# ---------------------------
			# Append the correct pgo compile flags to <files>


			# 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 )