Re: Program flow analysis and Invariants.

neal.wang@gmail.com (Neal Wang)
13 Sep 2004 10:46:22 -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: neal.wang@gmail.com (Neal Wang)
Newsgroups: comp.compilers
Date: 13 Sep 2004 10:46:22 -0400
Organization: http://groups.google.com
References: 04-08-126 04-09-020
Keywords: analysis
Posted-Date: 13 Sep 2004 10:46:22 EDT

"Nick Roberts" <nick.roberts@acm.org> wrote
> 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,


      I have one which is "Editor :Steven S. Muchnick, Neil D. Jones,
Program Flow Analysis -- Theory and Applications".


      What I'm curious is what the results of program flow analyses *in
general* are. My conclusion is all program flow analyses producing
some sort of invariants.


Invariants are predicates which are true for all program executions.
Those invariants are used to drive semantic-based program
manipulation, such as optimization. loop-invariant code motion is one
example.


      Neal

Post a followup to this message

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