On Fri, Nov 15, 2013 at 4:55 AM, Tommi <[email protected]> wrote:
>
> Okay, that makes sense. I wonder if LLVM's de-virtualization capabilities 
> would be of any help in all this.

It's not a great thing to depend on, because it doesn't work in
anything but a very simple case. As soon as there's a store to any
pointer with an address determined at runtime, it won't work.

There are ways to communicate more information in the frontend (alias
analysis, llvm.invariant), but we don't do them and I don't know how
much it will help.
_______________________________________________
Rust-dev mailing list
[email protected]
https://mail.mozilla.org/listinfo/rust-dev

Reply via email to