Displaying 1 result from an estimated 1 matches for "49ca1f69".
2015 Aug 09
3
[RFC] BasicAA considers address spaces?
Personally I feel the most intuitive approach would be to have an equivalent of isTriviallyDisjoint for IR; we already have a model for how it would work, and it could be a TTI call. I’ve kind of wanted this for a while because there’s a lot of address-space-esque aliasing relationships that can’t be easily modeled on the IR level.
For example (in our model), we have some constraints like this: