[PATCH] D93841: [GVN] Use m_LogicalAnd/Or to propagate equality from branch conditions

[Juneyoung Lee via Phabricator via llvm-commits]

aqjune added a comment.

Alive2 proof:
and: https://alive2.llvm.org/ce/z/EoRBup
or: https://alive2.llvm.org/ce/z/zvxEjW


Repository:
  rG LLVM Github Monorepo

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

https://reviews.llvm.org/D93841