[PATCH] D78430: [InstSimplify] fold and/or of compares with equality to min/max constant

[Juneyoung Lee via Phabricator via llvm-commits]

aqjune added a comment.

Hi, Alive2 currently approximates comparison with null pointer, so please ignore the case. :/ The transformation looks good to me too.
On my queue there is a work to address it. I'll rerun the unit tests after it is supported.


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

https://reviews.llvm.org/D78430