Displaying 1 result from an estimated 1 matches for "inheritalias".
2014 Jul 29
3
[LLVMdev] Enhancing BasicAliasAnalysis for Rust
Since Rust references usually never aliases it would be nice if we could
exploit this for code generation. One idea I had to improve alias analysis
is to insert metadata on pointer loads. !inheritalias could be added to
load instructions to indicate that if we know all the aliases of the
pointer we load from, then we also know all the aliases of the pointer
value loaded. Given that pointer loads are common and things are likely
marked with `noalias` in Rust, this seems like useful metadata. It co...