Re: Definition of basic blocks

A Pietu Pohjalainen <pohjalai@cc.helsinki.fi>
12 Nov 2005 16:38:48 -0500

          From comp.compilers

Related articles
Definition of basic blocks plfriko@yahoo.de (Christian Christmann) (2005-11-08)
Re: Definition of basic blocks wyrmwif@tsoft.org (SM Ryan) (2005-11-12)
Re: Definition of basic blocks tjs_ng@yahoo.de (Thomas Schilling) (2005-11-12)
Re: Definition of basic blocks pohjalai@cc.helsinki.fi (A Pietu Pohjalainen) (2005-11-12)
Re: Definition of basic blocks bear@sonic.net (Ray Dillinger) (2005-11-27)
Re: Definition of basic blocks DrDiettrich@compuserve.de (Hans-Peter Diettrich) (2005-11-29)
| List of all articles for this month |

From: A Pietu Pohjalainen <pohjalai@cc.helsinki.fi>
Newsgroups: comp.compilers
Date: 12 Nov 2005 16:38:48 -0500
Organization: University of Helsinki
References: 05-11-053
Keywords: analysis, bibliography

Christian Christmann <plfriko@yahoo.de> wrote:
> for my master's thesis I'm looking for the definition of basic blocks that
> are used in the compiler back end.


Some early references I know include:


@Article{allen70cfg,
    author = "F. E. Allen",
    title = "Control Flow Analysis",
    journal = "{ACM SIGPLAN} Notices",
    volume = "5",
    number = "7",
    pages = "1--19",
    year = "1970",
    online = "no paper",
}


If I recall correctly, there's a problem in this CFG definition, as it
doesn't define the starting basic block of a control flow graph. In a
later survey, there's a definition that cures this:


@inbook{kennedy81survey,
    editor="S. S. Muchnick and N. D. Jones",
    author="K. Kennedy",
    title={Program Flow Analysis: Theory and Applications},
    chapter="1. A Survey of Data Flow analysis Techniques",
    publisher="Prentice Hall",
    location="New Jersey",
    year="1981",
}


Algorithm for generating basic blocks is avilable e.g. on page 528 of
the Dragon book.


br,
Pietu Pohjalainen


Post a followup to this message

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