[Mono-devel-list] Alias analysis

[Paolo Molaro]

On 01/27/05 Zoltan Varga wrote:
>  Wouldn't be easier to just disable optimizations on variables whose address is
> taken ? It usually happens in unsafe code, and with taking addresses
> of valuetypes.

*) we want good performance of unsafe code as we use it more and more
to implement icalls either in corlib or generated at runtime.
*) given the way the generics IL code works, it will be essential for
good generics performance to keep track of the info.
*) it's not only related to vars we take the address of: think of a method 
that takes two ref int arguments: if they point to the same memory
location, when some optimizations are enabled we'd produce incorrect code.

lupus

-- 
-----------------------------------------------------------------
lupus at debian.org                                     debian/rules
lupus at ximian.com                             Monkeys do it better