[llvm] CodeGen: More accurate mayAlias for instructions with multiple MMOs (PR #166211)

[Jay Foad via llvm-commits]

Nicolai =?utf-8?q?Hähnle?= <nicolai.haehnle at amd.com>
Message-ID:
In-Reply-To: <llvm.org/llvm/llvm-project/pull/166211 at github.com>


jayfoad wrote:

> > If `mayLoad` and `mayStore` were more sophisticated then this check would have been handled already at L1527.
> 
> This change aims at something subtly different. What it aims to do is improve the alias checking of two instructions with MMOs:
> 
> * `load X`, `store Y`
> * `load X`
> 
> These two instructions don't alias, since their only overlap is in the load MMOs, which isn't a conflict.

Yeah, I realized that later. LGTM.

https://github.com/llvm/llvm-project/pull/166211