[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