[LLVMdev] loop fusion

[Devang Patel]

On Sep 8, 2010, at 12:13 PM, Renato Golin wrote:

> On 8 September 2010 18:21, Devang Patel <dpatel at apple.com> wrote:
>> Andrew,
>> 
>> There is not any transformation in LLVM that does loop fusion. I do not of anyone who is working on this. If you're interested to work on it then it'd be great!
> 
> Hi Devang,
> 
> Do you know if any pass is taking metadata to avoid un-optimizing?
> Loop fusion can make it worse if you have strong locality (two
> completely separate big memory access) in terms of cache miss in
> small-memory platforms. So, would be good if the front-end could pass
> on some information down the codegen? That could also help
> implementing union types...
> 
> I know it's not good to depend on metadata (as for unions), but it
> could help some architectures to generate better code, rather than
> just "correct" code.
> 

Only thing I know is Dan's recent work on TBAA where FE is using metadata to communicate type info to type based alias analyzer.
-
Devang