[PATCH] D101720: [InstCombine] generalize select + select/and/or folding using implied conditions

[Nikita Popov via Phabricator via llvm-commits]

nikic added inline comments.


================
Comment at: llvm/lib/Transforms/InstCombine/InstCombineSelect.cpp:2615
+      // or     op, (select cond, A, B)       => select op, true, A
+      //   if a = false implies b = true.
+      return SelectInst::Create(Op, One, A);
----------------
`a = true` etc in these comments should be `op = true`.


Repository:
  rG LLVM Github Monorepo

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

https://reviews.llvm.org/D101720