GitHub - regehr/llvm-dataflow-research: experimenting with better interval transfer functions for LLVM

regehr / llvm-dataflow-research Public

Notifications You must be signed in to change notification settings
Fork 2
Star 3

experimenting with better interval transfer functions for LLVM

Notifications

Name		Name	Last commit message	Last commit date
Latest commit History 36 Commits
2018-submit		2018-submit
CMakeLists.txt		CMakeLists.txt
README		README
grade.pl		grade.pl
plot.gp		plot.gp
test-xfer.cpp		test-xfer.cpp

Repository files navigation

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