[PATCH] D96945: [InstCombine] Add simplification of two logical and/ors

[Juneyoung Lee via Phabricator via llvm-commits]

aqjune added inline comments.


================
Comment at: llvm/lib/Analysis/ValueTracking.cpp:4889
+    if (match(I, m_Select(m_Specific(ValAssumedPoison), m_Value(), m_Value())))
+      return true;
   }
----------------
This update was necessary to add transformations for pattern
`merge_two_logical_ands3`: (X && Y) && X -> X && Y
`merge_two_logical_ors3`: (X || Y) || X -> X || Y

The remaining patterns are supported by the updates in InstCombineSelect.cpp.


Repository:
  rG LLVM Github Monorepo

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

https://reviews.llvm.org/D96945