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

[Sanjay Patel via Phabricator via llvm-commits]

spatel added a comment.

In D141086#4030021 <https://reviews.llvm.org/D141086#4030021>, @lebedev.ri wrote:

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

Thanks - updated links in the description. I had adapted an example with i32 and that was timing out, so I tacked on noundef, but forgot to adjust it later.


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

https://reviews.llvm.org/D141086