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

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

Incorporated a few common case boolean optimizations in the Simplifier.

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