Silvius,
If you want to persue this, you should go back and look at my patches
for subreg level dataflow and start hacking from there. It is not a
big step to start from that and modify it for bits. If you start
from that, it is most likely not much more than a few days work for
the analysis p
>> 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
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.
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 so
I'm thinking about adding bitwise dataflow analysis support to RTL.
Is this a good idea? Bad idea? Already done? Please review if interested.
Thank you,
Silvius
Motivation
==
int foo(int x)
{
int i = 100;
do
{
if (x > 0)
x = x & 1; /* After th
