[PATCH] D138853: [InstSimplify] Fold !(X || Y) && X --> false
chenglin.bi via Phabricator via llvm-commits
llvm-commits at lists.llvm.org
Mon Nov 28 17:40:20 PST 2022
bcl5980 added inline comments.
================
Comment at: llvm/lib/Analysis/InstructionSimplify.cpp:4574
+
if (match(FalseVal, m_ZeroInt())) {
// (X || Y) && (X || !Y) --> X (commuted 8 ways)
----------------
bcl5980 wrote:
> I guess this pattern also can't accept undef/poision for vector case.
Just ignore the comment. I am wrong.
CHANGES SINCE LAST ACTION
https://reviews.llvm.org/D138853/new/
https://reviews.llvm.org/D138853
More information about the llvm-commits
mailing list