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

Last change on this file since 4736 was 4736, checked in by nmedfort, 4 years ago

Initial stages of a simple boolean equation reassociation pass.

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