source: icGREP/icgrep-devel/icgrep/CMakeLists.txt @ 4778

Last change on this file since 4778 was 4778, checked in by cameron, 4 years ago

Hongpu's option to use Boost mmap; fix an include for std::iota

File size: 11.2 KB
Line 
1cmake_minimum_required (VERSION 2.8)
2
3project (icgrep)
4
5enable_testing()
6# The version number.
7set (icgrep_VERSION_MAJOR 1)
8set (icgrep_VERSION_MINOR 0)
9
10option(BLOCK_SIZE_256 "Compiling with BLOCK_SIZE=256")
11if (BLOCK_SIZE_256)
12  message("-- Build with BLOCK_SIZE=256")
13else ()
14  message("-- Build with BLOCK_SIZE=128")
15endif()
16option(ENABLE_MULTIPLEXING "Compiling the Multiplexing Module")
17option(USE_BOOST_MMAP "Using mmap from Boost.Iostreams")
18option(DISABLE_PREGENERATED_UCD_FUNCTIONS "Disable compiling the pregenerated UCD functions")
19
20
21# configure a header file to pass some of the CMake settings
22# to the source code
23#configure_file (
24#  "${PROJECT_SOURCE_DIR}/icgrepconfig.h.in"
25#  "${PROJECT_BINARY_DIR}/icgrepconfig.h"
26#  )
27
28# LLVM set up
29#
30# A convenience variable:
31set(LLVM_ROOT "../libllvm" CACHE PATH "Root of LLVM install.")
32
33# A bit of a sanity check:
34if( NOT EXISTS ${LLVM_ROOT}/include/llvm )
35message(FATAL_ERROR "LLVM_ROOT (${LLVM_ROOT}) is not a valid LLVM install")
36endif()
37
38# We incorporate the CMake features provided by LLVM:
39set(CMAKE_MODULE_PATH ${CMAKE_MODULE_PATH} "${LLVM_ROOT}/share/llvm/cmake")
40include(LLVMConfig)
41
42# Now set the header and library paths:
43include_directories( ${LLVM_INCLUDE_DIRS} )
44link_directories( ${LLVM_LIBRARY_DIRS} )
45add_definitions( ${LLVM_DEFINITIONS} )
46
47# Let's suppose we want to build a JIT compiler with support for
48# binary code (no interpreter):
49llvm_map_components_to_libnames(REQ_LLVM_LIBRARIES mcjit native IRReader)
50
51message(STATUS "Found LLVM ${LLVM_PACKAGE_VERSION}")
52
53# Check if boost has been installed on this system.
54set(Boost_USE_STATIC_LIBS ON)
55set(Boost_USE_MULTITHREADED OFF)
56set(Boost_USE_STATIC_RUNTIME ON)
57
58if(ENABLE_MULTIPLEXING)
59  SET(REQ_BOOST_COMPONENTS ${REQ_BOOST_COMPONENTS} system)
60endif()
61if(USE_BOOST_MMAP)
62  SET(REQ_BOOST_COMPONENTS ${REQ_BOOST_COMPONENTS} iostreams)
63endif()
64
65if(REQ_BOOST_COMPONENTS)
66  find_package(Boost COMPONENTS ${REQ_BOOST_COMPONENTS} REQUIRED)
67endif()
68
69SET(PABLO_SRC pablo/pabloAST.cpp pablo/ps_if.cpp pablo/ps_while.cpp pablo/function.cpp pablo/codegenstate.cpp pablo/builder.cpp pablo/symbol_generator.cpp pablo/printer_pablos.cpp)
70SET(PABLO_SRC ${PABLO_SRC} pablo/pablo_compiler.cpp pablo/carry_manager.cpp pablo/carry_data.cpp IDISA/idisa_builder.cpp)
71SET(PABLO_SRC ${PABLO_SRC} pablo/analysis/pabloverifier.cpp)
72SET(PABLO_SRC ${PABLO_SRC} pablo/optimizers/pablo_simplifier.cpp pablo/optimizers/pablo_codesinking.cpp pablo/optimizers/booleanreassociationpass.cpp)
73IF (ENABLE_MULTIPLEXING)
74SET(PABLO_SRC ${PABLO_SRC} pablo/optimizers/pablo_automultiplexing.cpp pablo/optimizers/pablo_bddminimization.cpp)
75ENDIF()
76
77add_library(PabloADT ${PABLO_SRC})
78add_library(RegExpADT re/re_re.cpp re/re_cc.cpp re/re_rep.cpp re/re_diff.cpp re/re_intersect.cpp re/printer_re.cpp)
79add_library(RegExpCompiler re/re_parser.cpp re/parsefailure.cpp re/re_nullable.cpp re/re_simplifier.cpp re/re_compiler.cpp re/re_analysis.cpp)
80add_library(CCADT cc/cc_namemap.cpp cc/cc_compiler.cpp utf8_encoder.cpp UCD/CaseFolding_txt.cpp)
81add_library(UCDlib UCD/unicode_set.cpp UCD/ucd_compiler.cpp UCD/PropertyObjects.cpp UCD/resolve_properties.cpp)
82
83
84# add the executable
85target_link_libraries (PabloADT ${REQ_LLVM_LIBRARIES})
86target_link_libraries (CCADT PabloADT)
87target_link_libraries (UCDlib RegExpADT PabloADT CCADT)
88target_link_libraries (RegExpADT PabloADT CCADT UCDlib)
89target_link_libraries (RegExpCompiler RegExpADT)
90
91set(PRECOMPILED_FILES "")
92
93IF(DISABLE_PREGENERATED_UCD_FUNCTIONS)
94set(CMAKE_CXX_FLAGS "${CMAKE_CXX_FLAGS} -DDISABLE_PREGENERATED_UCD_FUNCTIONS")
95MESSAGE("Disabling predefined UCD functions...")
96ELSE()
97
98# add the executable
99add_executable(generate_predefined_ucd_functions generate_predefined_ucd_functions.cpp)
100target_link_libraries (generate_predefined_ucd_functions RegExpADT UCDlib PabloADT CCADT)
101
102set(PRECOMPILED_PROPERTIES_OBJ ${PROJECT_BINARY_DIR}/precompiled_properties.o)
103set(PRECOMPILED_FILES ${PRECOMPILED_PROPERTIES_OBJ} ${PROJECT_SOURCE_DIR}/UCD/precompiled_properties.cpp)
104
105if(ENABLE_MULTIPLEXING)
106set(MULTIPLEXING_FLAG -multiplexing) # -multiplexing-dist=${PROJECT_BINARY_DIR}/ucd-multiplexing.csv #-ldc=ldc.csv
107endif()
108
109add_custom_command(OUTPUT ${PRECOMPILED_FILES}
110  COMMAND generate_predefined_ucd_functions
111  ARGS -o ${PRECOMPILED_PROPERTIES_OBJ} -dir ${PROJECT_SOURCE_DIR}/UCD/ #{MULTIPLEXING_FLAG} -reassoc -DefaultIfHierarchy
112  DEPENDS generate_predefined_ucd_functions
113  COMMENT "Building predefined UCD functions..."
114  VERBATIM)
115
116add_custom_target(run_generate_predefined_ucd_functions DEPENDS ${PRECOMPILED_FILES})
117
118add_dependencies(RegExpCompiler run_generate_predefined_ucd_functions)
119ENDIF()
120
121add_executable(icgrep icgrep.cpp do_grep.cpp ${PRECOMPILED_FILES})
122IF(NOT DISABLE_PREGENERATED_UCD_FUNCTIONS)
123add_dependencies(icgrep run_generate_predefined_ucd_functions)
124ENDIF()
125IF(Boost_FOUND)
126    include_directories("${Boost_INCLUDE_DIRS}")
127    link_directories(${Boost_LIBRARY_DIR})
128    SET(CMAKE_CXX_FLAGS "${CMAKE_CXX_FLAGS} -DUSE_BOOST")
129    target_link_libraries(icgrep ${Boost_LIBRARIES})
130ENDIF()
131
132target_link_libraries (icgrep UCDlib PabloADT RegExpCompiler CCADT ${REQ_LLVM_LIBRARIES})
133
134IF(USE_BOOST_MMAP)
135  SET(CMAKE_CXX_FLAGS "${CMAKE_CXX_FLAGS} -DUSE_BOOST_MMAP")
136ENDIF()
137
138
139IF (ENABLE_MULTIPLEXING)
140message(STATUS "Enabling Multiplexing")
141SET(CUDD_ROOT "${CMAKE_SOURCE_DIR}/../cudd-2.5.1")
142file(GLOB CUDD_SOURCES "${CUDD_ROOT}/cudd/*.c")
143file(GLOB EPD_SOURCES "${CUDD_ROOT}/epd/*.c")
144file(GLOB MTR_SOURCES "${CUDD_ROOT}/mtr/*.c")
145file(GLOB ST_SOURCES "${CUDD_ROOT}/st/*.c")
146file(GLOB UTIL_SOURCES "${CUDD_ROOT}/util/*.c")
147add_library(CUDD ${UTIL_SOURCES} ${MTR_SOURCES} ${CUDD_SOURCES} ${ST_SOURCES} ${EPD_SOURCES})
148include_directories(${CUDD_ROOT}/cudd)
149include_directories(${CUDD_ROOT}/epd)
150include_directories(${CUDD_ROOT}/mtr)
151include_directories(${CUDD_ROOT}/st)
152include_directories(${CUDD_ROOT}/util)
153target_link_libraries (PabloADT CUDD)
154SET(CMAKE_CXX_FLAGS "${CMAKE_CXX_FLAGS} -DENABLE_MULTIPLEXING")
155ENDIF()
156
157include_directories("${PROJECT_SOURCE_DIR}")
158
159#Check compiler support for 0x / 11
160include(CheckCXXCompilerFlag)
161CHECK_CXX_COMPILER_FLAG("-std=c++11" COMPILER_SUPPORTS_CXX11)
162if(COMPILER_SUPPORTS_CXX11)
163  set(CMAKE_CXX_FLAGS "${CMAKE_CXX_FLAGS} -std=c++11")
164else()
165  CHECK_CXX_COMPILER_FLAG("-std=c++0x" COMPILER_SUPPORTS_CXX0X)
166  if(COMPILER_SUPPORTS_CXX0X)
167    set(CMAKE_CXX_FLAGS "${CMAKE_CXX_FLAGS} -std=c++0x")
168  else()
169    CHECK_CXX_COMPILER_FLAG("-std=gnu++11" COMPILER_SUPPORTS_GNU11)
170    if(COMPILER_SUPPORTS_GNU11)
171      set(CMAKE_CXX_FLAGS "${CMAKE_CXX_FLAGS} -std=gnu++11")
172    else() 
173      CHECK_CXX_COMPILER_FLAG("-std=gnu++0x" COMPILER_SUPPORTS_GNU0X)   
174      if(COMPILER_SUPPORTS_GNU0X)
175        set(CMAKE_CXX_FLAGS "${CMAKE_CXX_FLAGS} -std=gnu++0x")
176      endif()
177    endif()
178  endif()
179endif()
180
181#Disable RunTime Type Information
182IF (MSVC) # using Visual Studio C++
183  SET(CMAKE_CXX_FLAGS "${CMAKE_CXX_FLAGS} /GR-")
184ELSE() # using Clang, GCC, Intel C++, etc
185  SET(CMAKE_CXX_FLAGS "${CMAKE_CXX_FLAGS} -fno-rtti")
186ENDIF()
187
188#Enable all warnings
189SET(CMAKE_CXX_FLAGS "${CMAKE_CXX_FLAGS} -Wall")
190
191#Check compiler and system architecture support for SSE or AVX
192include(CheckCXXSourceRuns)
193
194set(SSE1_CODE "
195#include <xmmintrin.h>
196int main()
197{
198__m128 a;
199float vals[4] = {0,0,0,0};
200a = _mm_loadu_ps(vals);
201return 0;
202}")
203
204set(SSE2_CODE "
205#include <emmintrin.h>
206int main()
207{
208__m128d a;
209double vals[2] = {0,0};
210a = _mm_loadu_pd(vals);
211return 0;
212}")
213
214set(SSE3_CODE "
215#include <pmmintrin.h>
216int main( )
217{
218const int vals[4] = {0,0,0,0};
219__m128i a;
220a = _mm_lddqu_si128( (const __m128i*)vals );
221return 0;
222}")
223
224set(SSE4_1_CODE "
225#include <smmintrin.h>
226int main ()
227{
228__m128i a, b;
229__m128i res = _mm_max_epi8(a, b);
230return 0;
231}")
232
233set(SSE4_2_CODE "
234#include <nmmintrin.h>
235int main()
236{
237__m128i a, b, c;
238c = _mm_cmpgt_epi64(a, b);
239return 0;
240}")
241
242set(AVX1_CODE "
243#include <immintrin.h>
244int main()
245{
246__m256* a=(__m256*)_mm_malloc(4, 32);
247__m256 b = _mm256_load_ps((float*)a);
248b = _mm256_or_ps(b, b);
249_mm_free(a);
250return 0;
251}")
252
253set(AVX2_CODE "
254#include <immintrin.h>
255int main()
256{
257__m256i* a = (__m256i*)_mm_malloc(4, 32);
258__m256i b = _mm256_load_si256(a);
259b = _mm256_or_si256(b, b);
260_mm_free(a);
261return 0;
262}")
263
264IF (MSVC) # using Visual Studio C++
265  SET(ENABLE_SSE1 "/arch:SSE")
266  SET(ENABLE_SSE2 "/arch:SSE2")
267  SET(ENABLE_SSE3 "/arch:SSE3")
268  SET(ENABLE_SSE4_1 "/arch:SSE4")
269  SET(ENABLE_SSE4_2 "/arch:SSE4")
270  SET(ENABLE_AVX1 "/arch:AVX1")
271  SET(ENABLE_AVX2 "/arch:AVX2")
272ELSE() # using Clang, GCC, Intel C++, etc 
273  SET(ENABLE_SSE1 "-msse")
274  SET(ENABLE_SSE2 "-msse2")
275  SET(ENABLE_SSE3 "-msse3")
276  SET(ENABLE_SSE4_1 "-msse4.1")
277  SET(ENABLE_SSE4_2 "-msse4.2")
278  IF ("${CMAKE_CXX_COMPILER_ID}" STREQUAL "GNU")
279    SET(ENABLE_AVX1 "-mavx -fabi-version=6")
280    SET(ENABLE_AVX2 "-mavx2 -fabi-version=6") 
281  ELSE()
282    SET(ENABLE_AVX1 "-mavx")
283    SET(ENABLE_AVX2 "-mavx2")
284  ENDIF()
285ENDIF()
286
287SET(CMAKE_REQUIRED_FLAGS)
288
289MACRO(CHECK_SIMD_SUPPORT SIMD_TYPE RESULT)
290  IF(NOT RESULT) 
291    SET(CMAKE_REQUIRED_FLAGS_SAVE ${CMAKE_REQUIRED_FLAGS})
292    SET(CMAKE_REQUIRED_FLAGS ${ENABLE_${SIMD_TYPE}})
293    SET(SUCCESS "${SIMD_TYPE}")
294    check_cxx_source_runs("${${SIMD_TYPE}_CODE}" ${SUCCESS})   
295    IF(${SUCCESS})
296      SET(${RESULT} "${SIMD_TYPE}")
297    ENDIF()
298    SET(CMAKE_REQUIRED_FLAGS ${CMAKE_REQUIRED_FLAGS_SAVE})
299  ENDIF()
300ENDMACRO()
301
302IF(NOT SIMD_SUPPORT)
303SET(RESULT)
304CHECK_SIMD_SUPPORT("AVX2" RESULT)
305CHECK_SIMD_SUPPORT("AVX1" RESULT)
306CHECK_SIMD_SUPPORT("SSE4_2" RESULT)
307CHECK_SIMD_SUPPORT("SSE4_1" RESULT)
308CHECK_SIMD_SUPPORT("SSE3" RESULT)
309CHECK_SIMD_SUPPORT("SSE2" RESULT)
310CHECK_SIMD_SUPPORT("SSE1" RESULT)
311SET(SIMD_SUPPORT ${RESULT} CACHE STRING "SSE2")
312ENDIF()
313#message("SIMD_SUPPORT=" ${SIMD_SUPPORT})
314SET(CMAKE_CXX_FLAGS "${CMAKE_CXX_FLAGS} ${ENABLE_${SIMD_SUPPORT}}")
315
316# detect LLVM version and add compiler flags.
317IF (${LLVM_PACKAGE_VERSION} MATCHES "3.5")
318  SET(CMAKE_CXX_FLAGS "${CMAKE_CXX_FLAGS} -DUSE_LLVM_3_5")
319ENDIF()
320
321IF (BLOCK_SIZE_256)
322    IF ("${SIMD_SUPPORT}" STREQUAL "AVX1")
323        SET(CMAKE_CXX_FLAGS "${CMAKE_CXX_FLAGS} -DUSE_S2P_AVX -DUSE_AVX -DBLOCK_SIZE=256 -mavx -m64")
324    ELSEIF ("${SIMD_SUPPORT}" STREQUAL "AVX2")
325        SET(CMAKE_CXX_FLAGS "${CMAKE_CXX_FLAGS} -DUSE_S2P_AVX2 -DBLOCK_SIZE=256 -march=core-avx2 -m64")
326    ENDIF()
327ENDIF()
328
329SET(CMAKE_CXX_FLAGS_RELEASE "${CMAKE_CXX_FLAGS} -O3 -DNDEBUG")
330IF (${CMAKE_SYSTEM} MATCHES "Linux")
331    SET(CMAKE_CXX_FLAGS_DEBUG "${CMAKE_CXX_FLAGS} -g") # -fsanitize=address
332ENDIF()
333
334add_test(
335  NAME greptest
336  WORKING_DIRECTORY ${PROJECT_SOURCE_DIR}/../QA
337  COMMAND python greptest.py ${CMAKE_BINARY_DIR}/icgrep)
338
339add_test(
340  NAME proptest
341  WORKING_DIRECTORY ${PROJECT_SOURCE_DIR}/../QA
342  COMMAND python greptest.py -d ${PROJECT_SOURCE_DIR}/../QA -t ${PROJECT_SOURCE_DIR}/../QA/proptest.xml ${CMAKE_BINARY_DIR}/icgrep)
343
344add_test(
345  NAME abc_test
346  WORKING_DIRECTORY ${PROJECT_SOURCE_DIR}/../QA
347  COMMAND ./run_abc ../icgrep-build/icgrep)
348
349add_custom_target (abc_test
350  COMMAND python abc_testgen.py
351  WORKING_DIRECTORY ${PROJECT_SOURCE_DIR}/../QA)
352
353add_custom_target (check
354  COMMAND ${CMAKE_CTEST_COMMAND} --output-on-failure
355  DEPENDS icgrep abc_test)
356
357add_custom_target (perf_icgrep
358  COMMAND python perf.py icgrep
359  WORKING_DIRECTORY ${PROJECT_SOURCE_DIR}/../performance
360  DEPENDS icgrep)
361
362add_custom_target (viewer
363  COMMAND python viewer.py
364  WORKING_DIRECTORY ${PROJECT_SOURCE_DIR}/../performance)
365
366add_custom_target (text_viewer
367  COMMAND python viewer.py -t
368  WORKING_DIRECTORY ${PROJECT_SOURCE_DIR}/../performance)
Note: See TracBrowser for help on using the repository browser.