/llvm-dataflow-research

experimenting with better interval transfer functions for LLVM

Primary LanguageC++

Test driver for looking into correctness and precision of improvements
to LLVM's ValueTracking the LazyValueInfo analyses.

mkdir build
cd build
cmake .. -DLLVM_DIR=$HOME/llvm-install -DCMAKE_CXX_COMPILER=clang++ -DCMAKE_C_COMPILER=clang -DCMAKE_BUILD_TYPE=Release+Asserts

make