range-analysis
range-analysis copied to clipboard
vhscampos
Static range analysis for the LLVM compiler infrastructure.
``` define i32 @test1(i1 %C) { br i1 %C, label %exit, label %body body: %A = select i1 %C, i32 10, i32 11 ret i32 %A exit: ret i32 10...
Assuming you have: ``` define i1 @tinkywinky(i32 %a) { exit: %and = and i32 %a, 128 %cmp = icmp sle i32 %and, 128 ret i1 %cmp } ``` Both Cousot...
Hi, Daniel Berlin pointed me out to this so I decided to give it a try :) I have a branch where I updated this to 4.0, but here are...
Two minor changes to the code of RangeAnalysis and the vSSA-pass, so that it now compiles with LLVM 3.8; CMake-files for the [LLVM out-of-source build](http://llvm.org/docs/CMake.html#developing-llvm-passes-out-of-source);
``` What steps will reproduce the problem? 1. cd ${llvmpath}/lib/Transforms/RAInstrumentation && make What is the expected output? What do you see instead? llvm[0]: Compiling RAInstrumentation.cpp for Release+Asserts build (PIC) RAInstrumentation.cpp:...
