[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:26:55 PDT 2023


holland11 added inline comments.


================
Comment at: llvm/test/Analysis/ValueTracking/known-non-zero.ll:1109
+  %xx = or i8 %x, 16
+  %yy = or i8 %x, 8
+  %xy = mul i8 %xx, %yy
----------------
Did you mean to have this be
```
  %yy = or i8 %y, 8
````
(replaced the `x` with `y`)?


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