Push harder on the stuff I was working on a few years ago around alias analysis. There's a lot more that could be done (some of which would want frontend support)
Comments
Log in with your Bluesky account to leave a comment
Unless things have changed recently, all MemorySSA does is accelerate the query "is the heap at time X exactly the same as the heap at time Y?" This is very weak (presumably because alias info for the heap is so bad in C++ -- but not so in Rust!) Querying finer-grained alias info is really expensive
Sorry if the explanation requires a lot of background that I don’t possess, but what benefits does that get users of llvm? (if you have links for further reading I would appreciate that too!)
this sounds like more of a data structures problem than a semantics problem. unless you're suggesting llvm should have some way to represent arbitrary disjointness relationships
Comments