Re: Program flow analysis and Invariants.

"Nick Roberts" <nick.roberts@acm.org>
3 Sep 2004 12:37:01 -0400

          From comp.compilers
Related articles
Program flow analysis and Invariants. neal.wang@gmail.com (2004-08-23)
Re: Program flow analysis and Invariants. nick.roberts@acm.org (Nick Roberts) (2004-09-03)
Re: Program flow analysis and Invariants. skaller@nospam.com.au (John Max Skaller) (2004-09-07)
Re: Program flow analysis and Invariants. neal.wang@gmail.com (2004-09-13)
Re: Program flow analysis and Invariants. neal.wang@gmail.com (2004-09-13)
| List of all articles for this month |
From: "Nick Roberts" <nick.roberts@acm.org>
Newsgroups: comp.compilers
Date: 3 Sep 2004 12:37:01 -0400
Organization: Compilers Central
References: 04-08-126
Keywords: analysis
Posted-Date: 03 Sep 2004 12:37:01 EDT

On 23 Aug 2004 12:11:54 -0400, Neal Wang <neal.wang@gmail.com> wrote:


> I'm studying the program flow analysis and compiler optimization.
> What's the purpose of program flow analysis? The answer I can come
> is "to synthesize invariants". Is this claim true? Can we say the
> more invariants we can find, the more optimization opportunities we
> can explore?


No-one else seems to have answered this one.


I think that program flow analysis is used to provide a basis for
further analyses to be done, including loop-invariant code motion.


Are you able to obtain a good text on the subject, Neal?


--
Nick Roberts


Post a followup to this message

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