<div dir="ltr">On Thu, Jul 4, 2013 at 2:09 AM, Robert Baručák <span dir="ltr"><<a href="mailto:xbaruc00@stud.fit.vutbr.cz" target="_blank" class="cremed">xbaruc00@stud.fit.vutbr.cz</a>></span> wrote:<br><div class="gmail_extra">
<div class="gmail_quote"><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div class="im">On 07/03/2013 06:18 PM, Chandler Carruth wrote:<br>
<blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">
<br>
Your understanding is correct -- this is impossible. What are you really trying to do?<br>
<br>
</blockquote></div>
I'm working on implementation of some fancier alias analysis algorithm. I have experienced strange behavior when I registered my AA (as module pass) into AA group. Somehow I was unable to get correct DataLayout from AA interface. So I wanted to try to make it immutable, just like other AA implementations.<br>

Anyway, thanks for clarification.<br>
</blockquote></div><br></div><div class="gmail_extra">Currently, LLVM's pass manager infrastructure and especially the immutable pass based alias analysis group makes stateful alias analyses essentially impossible to do well, and largely require gross hacks. There is a thread I started many months ago about revamping the pass management in LLVM, and this is one motivating concern although not my primary concern.</div>
</div>