>> 1. Dataflow framework to propagate bitwise register properties.
>> (Integrated with the current dataflow framework.)
>> 2. Forward bitwise dataflow analysis: constant bit propagation.
>> 3. Backward bitwise dataflow analysis: dead bit propagation.
>> 4. Target applications: improve dce and see
Sent from my iPhone
On Mar 6, 2009, at 7:00 PM, Silvius Rus wrote:
I'm thinking about adding bitwise dataflow analysis support to RTL.
Is this a good idea? Bad idea? Already done? Please review if
interested.
There is already some bitwise dataflow implemented in combine. And I
think
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
