CMakeLists.txt

# If we don't need RTTI or EH, there's no reason to export anything
# from the hello plugin.
#if( NOT LLVM_REQUIRES_RTTI )
#  if( NOT LLVM_REQUIRES_EH )
#    set(LLVM_EXPORTED_SYMBOL_FILE ${CMAKE_CURRENT_SOURCE_DIR}/Hello.exports)
#  endif()
#endif()

if(WIN32 OR CYGWIN)
  set(LLVM_LINK_COMPONENTS Core Support)
endif()

add_llvm_loadable_module( llvm-vsa
  src/vsa.cpp
  src/abstract_domain/BoundedSet.cpp
  src/abstract_domain/StridedInterval.cpp
  src/abstract_domain/CompositeDomain.cpp
  src/fixpoint/state.cpp
  src/fixpoint/vsa_visitor.cpp
  src/fixpoint/worklist.cpp
  src/fixpoint/branch_conditions.cpp
  src/api/vsa_result.cpp
  src/api/vsa_result_value.cpp
  test/BoundedSetTest.cpp
  test/StridedIntervalTest.cpp
  test/CompositeDomainTest.cpp
  test/TestRunner.cpp
  DEPENDS
  intrinsics_gen
  PLUGIN_TOOL
  opt
  )