I'm thinking about adding bitwise dataflow analysis support to RTL.
Before embarking on this, I'd suggest playing with the bitwise domain
analysis that one of my students did as part of his cXprop tool:
http://www.cs.utah.edu/~coop/research/cxprop/#DOWNLOADS
This is a source-level analysis in CIL and so is not quite analogous to
what you propose. However, it should give you some ideas about what kind
of results you can expect at the RTL level.
Our experience was that the bitwise domain is not that powerful. On the
other hand, it converges quickly compared to intervals.
John Regehr
