[PATCH] D149418: [ValueTracking] Add additional cases for `isKnownNonZero(mul X, Y)`

[Patrick Holland via Phabricator via llvm-commits]

holland11 added a comment.

I'm probably missing something obvious here, but what does it matter that one of the operands is odd? If we are multiplying two numbers where one is odd **or even** (as long as its non-zero) and the other is non-zero, the result will be non-zero, no? I can't figure out what's special about odd in this context.


Repository:
  rG LLVM Github Monorepo

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

https://reviews.llvm.org/D149418