[PATCH] D150424: [ValueTracking] Add tests for deducing `X * Y != 0` if `LSB(X) * LSB(Y) != 0`; NFC

Patrick Holland via Phabricator via llvm-commits llvm-commits at lists.llvm.org
Fri May 12 12:27:53 PDT 2023


holland11 added inline comments.


================
Comment at: llvm/test/Analysis/ValueTracking/known-non-zero.ll:1124
+  %xx = or i8 %x, 96
+  %yy = or i8 %x, 8
+  %xy = mul i8 %xx, %yy
----------------
Same as above.


Repository:
  rG LLVM Github Monorepo

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

https://reviews.llvm.org/D150424



More information about the llvm-commits mailing list