[PATCH] D141086: [SDAG] try to avoid multiply for X*Y==0

[Roman Lebedev via Phabricator via llvm-commits]

lebedev.ri added a comment.

The proof does not match the transform you are making (https://alive2.llvm.org/ce/z/TgBeK_, aka drop `noundef`)


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

https://reviews.llvm.org/D141086