[LLVMdev] constructing 'for' statement from LLVM bitcode

[Domagoj Babic]

Seung,

On 8/25/07, Chris Lattner <sabre at nondot.org> wrote:
> Ok.  Note that LLVM can represent irreducible loops.  You can handle
> this through code duplication.
> -Chris


If you are willing to invest more effort into a more complicated analysis,
in many cases you can even avoid code duplication. See this paper for
details:

@inproceedings{erosa94taming,
  author    = {Ana M. Erosa and
               Laurie J. Hendren},
  title     = {Taming Control Flow: A Structured Approach to Eliminating
               Goto Statements.},
  booktitle = {ICCL},
  year      = {1994},
  pages     = {229--240},
 }

Cheers,

-- 
        Domagoj Babic

        http://www.domagoj.info/
        http://www.calysto.org/