[all-commits] [llvm/llvm-project] 0291f4: [EarlyCSE] Correcting assertion for DSE with invar...

[zGoldthorpe via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: 0291f495dbea64231212a8d51ecef653e10aed33
      https://github.com/llvm/llvm-project/commit/0291f495dbea64231212a8d51ecef653e10aed33
  Author: zGoldthorpe <zgoldtho at ualberta.ca>
  Date:   2025-05-28 (Wed, 28 May 2025)

  Changed paths:
    M llvm/lib/Transforms/Scalar/EarlyCSE.cpp
    M llvm/test/Transforms/EarlyCSE/invariant-loads.ll

  Log Message:
  -----------
  [EarlyCSE] Correcting assertion for DSE with invariant loads (#141495)

This patch corrects an assertion to handle an edge case where there is a
dead store into an `!invariant.load`'s pointer, but there is an
interleaving store to a different (non-aliasing) address.

In this case we know that the interleaved store cannot modify the
address even without MemorySSA, so the assert does not hold.

This bug was found through the AMD fuzzing project.



To unsubscribe from these emails, change your notification settings at https://github.com/llvm/llvm-project/settings/notifications