On 04/24/14 10:09, Marc Glisse wrote:
Anyway, I think its pretty much what I was looking for.Feel free to file a bug report for this one. VRP doesn't have a nonzero/zero bits tracking lattice, but it's something I can see being added at some point and having examples like this in the BZ database is often helpful when doing that kind of optimization work.gcc-4.9 (CCP3) already optimizes this testcase ;-)
Ah, wasn't aware of that. Excellent. jeff