Displaying 1 result from an estimated 1 matches for "r246393".
2015 Sep 01
3
anyone want to help tune up computeKnownBits()?
While looking at optimizations where Souper exploits known bits, I
realized that it would be easy to teach Souper to compute known bits.
Comparing its results against computeKnownBits() from r246393, it looks
like there are some easy (and some not-easy) opportunities for
improvement, please see a few examples below. The expressions come from
compiling LLVM itself.
Happily, this exercise didn't identify any errors of unsoundness, only
imprecisions.
If anyone starts to act on this inf...