[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