[PATCH] D107364: [VectorCombine] Limit scalarization known non-poison indices.

[Florian Hahn via Phabricator via llvm-commits]

fhahn added a comment.

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

> I think this could use some comments (both before the check and in testcases) that `freeze` doesn't help.

`freeze` would help, if we push it to the `and` and `urem` operands respectively I think. But I don't think there's an easy way to do this when using `computeConstantRange`. Not sure if there's potential for a convenient API that transforms a constant range which may include poison to one without? Otherwise I could match the `and` and `urem` patterns manually, which would allow inserting the `freeze` at the right place.


Repository:
  rG LLVM Github Monorepo

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

https://reviews.llvm.org/D107364