[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