[llvm-dev] soundness and precision of LazyValueInfo and ValueTracking

John Regehr via llvm-dev llvm-dev at lists.llvm.org
Wed Apr 20 05:21:56 PDT 2016

I've been testing LVI and getKnownBits() using this little custom pass:


It rewrites the code to dynamically check that compile-time dataflow 
facts are sound. So far it hasn't turned up any errors, for example in 
SPEC CPU 2006.

On the other hand, its debugging output has found some pretty obvious 
room for improvement in the precision of LVI:


See also this earlier one:


Would it make sense to make to add some code for printing the results of 
LVI and ValueTracking so that we can test for precision regressions?


More information about the llvm-dev mailing list