[Mono-devel-list] [PATCH] Alias analysis

[Massimiliano Mantione]

Hi,
the attached patch does a few things:
- Implement a simple alias analysis pass
- Modify liveness to use aliasing information if present
- Provide a deadce implementation which used this improved
  liveness instead of relying on SSA
- Modify mini_method_compile to use this new code (particularly
  deadce does not trigger SSA construction anymore, and the old 
  mono_ssa_deadce is used only if SSA is built for other reasons)

The code is at times a bit rough, but is working (no regressions,
the system rebuilds, and no performance regressions in Scimark
and other benchmarks).

I'll test the effectiveness of this patch in the following days
and clean the code up where needed.

Does anybody have some benchmarks where inlining was making things
worse instead of improving them?
If yes, could you please send them to me, so that I can see if this
new deadce helps in those cases?

Ciao,
  Massi

-------------- next part --------------
A non-text attachment was scrubbed...
Name: aliasing.patch
Type: text/x-patch
Size: 53091 bytes
Desc: not available
Url : http://lists.ximian.com/pipermail/mono-devel-list/attachments/20050307/4eaee9bf/attachment.bin