[LLVMdev] not to break 'for' statement into basic blocks

[Seung Jae Lee]

Thank you so much but could you tell me a little bit more in detail about that you suggested?
Sorry, I'm just a greenhorn.

Thanks,
Seung J. Lee

---- Original message ----
>Date: Sat, 14 Jul 2007 21:26:14 -0500
>From: "David A. Greene" <greened at obbligato.org>  
>Subject: Re: [LLVMdev] not to break 'for' statement into basic blocks  
>To: llvmdev at cs.uiuc.edu
>
>On Saturday 14 July 2007 17:23, Anton Korobeynikov wrote:
>
>> > 1) First, I tried to re-unite basic blocks which llvm-gcc spits out to
>> > make 'for' again. But this is quite tricky. Generalizing it for the
>> > optimzed llvm bytecode is not easy.
>>
>> I'd say 'is not possible at all'.
>
>No, it certainly is possible.  One does this, for example, when constructing
>a control dependence graph.  It can't be represented in llvm, so one needs
>a higher-level abstraction.  A control dependence graph is one such 
>abstraction.
>
>Even llvm has a notion of "loops" that it extracts from the control flow 
>graph.  Now, these are very low-level abstractions and probably won't work
>for the purposes of this ISA.
>
>And when you get difficult control behavior...
>