[PATCH] D93827: [PatternMatch][LVI] Handle select-form and/or in LVI

Juneyoung Lee via Phabricator via llvm-commits llvm-commits at lists.llvm.org
Sun Dec 27 02:00:38 PST 2020


aqjune accepted this revision.
aqjune added a comment.
This revision is now accepted and ready to land.

LGTM

Limited to this path, using LogicalAnd/LogicalOr is sound, because if the branch is taken/not taken, 'select x, y, false' is equivalent to 'and x, y' and also 'select x, true, y' is to 'or x, y'.


Repository:
  rG LLVM Github Monorepo

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

https://reviews.llvm.org/D93827



More information about the llvm-commits mailing list