[PATCH] D140666: [InstCombine] combine intersection for inequality icmps

[Yingchi Long via Phabricator via llvm-commits]

inclyc planned changes to this revision.
inclyc added a comment.

> We should write proof with variables(not constant like 3, 15 in current alive2 link) also.

Ahh, seems these conditions are still incorrent https://alive2.llvm.org/ce/z/tqUgLh :(

Thanks @bcl5980


Repository:
  rG LLVM Github Monorepo

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

https://reviews.llvm.org/D140666