[PATCH] D96106: [GVNSink][Fix] Unregister assumptions that are replaced (PR49043)

[Johannes Doerfert via Phabricator via llvm-commits]

jdoerfert created this revision.
jdoerfert added reviewers: jonpa, spatel, jmolloy, lebedev.ri.
Herald added a subscriber: hiraditya.
Herald added a reviewer: bollu.
jdoerfert requested review of this revision.
Herald added a project: LLVM.

If we replace an llvm.assume with another one and we have an active
assumption cache, we might end up with an llvm.assume in the cache
twice, breaking an invariant. Avoid this by unregistering the assumption
when necessary.


Repository:
  rG LLVM Github Monorepo

https://reviews.llvm.org/D96106

Files:
  llvm/lib/Transforms/Scalar/GVNSink.cpp
  llvm/test/Transforms/GVNSink/assumption.ll

-------------- next part --------------
A non-text attachment was scrubbed...
Name: D96106.321659.patch
Type: text/x-patch
Size: 3212 bytes
Desc: not available
URL: <http://lists.llvm.org/pipermail/llvm-commits/attachments/20210205/bbd606f4/attachment.bin>