[llvm] [GVN] Reject PartialAlias in canSkipClobberingStore (PR #193465)

via llvm-commits llvm-commits at lists.llvm.org
Tue Apr 28 20:15:44 PDT 2026


Jolyon0202 wrote:

> Isn't this what the alignment check is for? In your IR you are claiming that both offset 0 and offset 2 have alignment 8, which is impossible.

You're right, thanks for pointing this out. I was unable to construct a well-defined IR that bypasses the alignment check while still having partial overlap. So the alignment check is indeed sufficient here, and this patch is unnecessary. I'll withdraw it.
Thanks for the review!

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


More information about the llvm-commits mailing list