[LLVMdev] constructing 'for' statement from LLVM bitcode

[Chris Lattner]

>> It has a section on "structural analysis" that you will find useful.
>>
>> Why do you want "for statements"?
>>
>
> Thank you for this info, Chris.
> I'm doing this 'cause I'm making a backend for a virtual machine  
> assembly has an instruction which is very similar to 'for' statement.
> I know this seems quite strange for that machine instruction looks  
> quite high-level.
> Furthermore, it doesn't have instructions such as 'br' in LLVM so  
> this is why I have to re-construct 'for' statement for the assembly  
> from LLVM bitcode. (I must not use 'goto' in the high-level source  
> code, either. :-/)

Ok.  Note that LLVM can represent irreducible loops.  You can handle  
this through code duplication.

-Chris