Re: Is this a form of Data Flow Analysis, and what is the proper way solution to the problem?

Hans-Peter Diettrich <DrDiettrich@compuserve.de>
17 Jan 2006 21:40:41 -0500

          From comp.compilers

Related articles
Is this a form of Data Flow Analysis, and what is the proper way solut owong@castortech.com (Oliver Wong) (2006-01-12)
Re: Is this a form of Data Flow Analysis, and what is the proper way s gneuner2@comcast.net (George Neuner) (2006-01-17)
Re: Is this a form of Data Flow Analysis, and what is the proper way s henry@spsystems.net (2006-01-17)
Re: Is this a form of Data Flow Analysis, and what is the proper way s DrDiettrich@compuserve.de (Hans-Peter Diettrich) (2006-01-17)
Re: Is this a form of Data Flow Analysis, and what is the proper way s paolo.bonzini@gmail.com (2006-01-17)
Re: Is this a form of Data Flow Analysis, and what is the proper way s owong@castortech.com (Oliver Wong) (2006-01-20)
Re: Is this a form of Data Flow Analysis, and what is the proper way s gneuner2@comcast.net (George Neuner) (2006-01-26)
Re: Is this a form of Data Flow Analysis, and what is the proper way s paolo.bonzini@gmail.com (2006-01-26)
Re: Is this a form of Data Flow Analysis, and what is the proper way s pohjalai@cc.helsinki.fi (A Pietu Pohjalainen) (2006-01-26)
Re: Is this a form of Data Flow Analysis, and what is the proper way s owong@castortech.com (Oliver Wong) (2006-01-28)
[1 later articles]
| List of all articles for this month |

From: Hans-Peter Diettrich <DrDiettrich@compuserve.de>
Newsgroups: comp.compilers
Date: 17 Jan 2006 21:40:41 -0500
Organization: Compilers Central
References: 06-01-037
Keywords: analysis
Posted-Date: 17 Jan 2006 21:40:41 EST

Oliver Wong wrote:


> x = y + 5 + z;
>
> The value written to 'x' depends on both the value of 'y' and the value
> of 'z'. Specifically, the output of my program is something like:
>
> * There is a write to x.
> * There is a read from y, which leads to a write to x.
> * There is a read from z, which leads to a write to x.


Why don't you use an formal translation of your verbose formulation?
I.e.:
* The write to x depends on y.
* The write to x depends on z.


Did you ever consider SSA, for use in your analysis and output?


DoDi


Post a followup to this message

Return to the comp.compilers page.
Search the comp.compilers archives again.