[PATCH] D147735: [LV] Adds simple analysis that improves VF-aware uniformity checks.

Thu Apr 20 15:00:45 PDT 2023

vporpo added a comment.

> Thanks for sharing the patch! I added some comments inline. Reasoning about this manually seems a bit fragile and verbose so I was wondering if it might be possible to re-use the existing reasoning infrastructure we have in SCEV to do the heavy lifting. I put up a patch that use SCEV, but I might be missing something that would make this unfeasible: D148841 <https://reviews.llvm.org/D148841>

Cool, thanks! Yeah the SCEV approach is much better. Let me work on the tests so we can test all the different cases.

Repository:
  rG LLVM Github Monorepo

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

https://reviews.llvm.org/D147735