[PATCH] D120153: [instsimplify] Support discharging pointer checks involving two distinct GC objects

[Nikita Popov via Phabricator via llvm-commits]

nikic accepted this revision.
nikic added a comment.
This revision is now accepted and ready to land.
Herald added a project: All.

LG with the disclaimer that I'm not familiar with precise GC semantics in LLVM. Though I think as formulated, if this transform were incorrect, then that would imply that the `canBeFreed()` implementation is incorrect.


Repository:
  rG LLVM Github Monorepo

CHANGES SINCE LAST ACTION
  https://reviews.llvm.org/D120153/new/

https://reviews.llvm.org/D120153