[Mono-devel-list] Alias analysis

Paolo Molaro lupus at ximian.com
Thu Jan 27 09:31:17 EST 2005

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 at debian.org                                     debian/rules
lupus at ximian.com                             Monkeys do it better

More information about the Mono-devel-list mailing list