[ValueTracking] Add tests for deducing `X * Y != 0` if `LSB(X) * LSB(Y) != 0`; NFC
authorNoah Goldstein <goldstein.w.n@gmail.com>
Fri, 12 May 2023 04:12:54 +0000 (23:12 -0500)
committerNoah Goldstein <goldstein.w.n@gmail.com>
Tue, 16 May 2023 23:58:12 +0000 (18:58 -0500)
commit7f82f108c2ec08636224dd0b58fe7e9021852002
tree8a89adc8ab2238a5de174cc45af78ae0f28d72aa
parent2b346a138d40b1a325a58ca9fa9d4ce3b3b0cf78
[ValueTracking] Add tests for deducing `X * Y != 0` if `LSB(X) * LSB(Y) != 0`; NFC

Differential Revision: https://reviews.llvm.org/D150424
llvm/test/Analysis/ValueTracking/known-non-zero.ll