[LLVMdev] Problems understanding alias analysis validation logic

[Matthijs Kooijman]

Hi Damien,

I think the problem is that when the passmanager sees an Alias Analysis
available, it will use that, but when none is available, it will always run
the default implementation (BasicAA), regardless of any alias analysis's run
before. This means you should insert Andersen's before any pass that needs it.
I suspect (not sure though) that the passmanager will not rerun Andersen's if
it is still available, even when you explicitely add it.

Gr.

Matthijs
-------------- next part --------------
A non-text attachment was scrubbed...
Name: signature.asc
Type: application/pgp-signature
Size: 189 bytes
Desc: Digital signature
URL: <http://lists.llvm.org/pipermail/llvm-dev/attachments/20080815/a045a203/attachment.sig>