[PATCH] D82721: [ScalarEvolution] createSCEV(): recognize `udiv`/`urem` disguised as an `sdiv`/`srem`

[Roman Lebedev via Phabricator via llvm-commits]

lebedev.ri added a comment.

In D82721#2126454 <https://reviews.llvm.org/D82721#2126454>, @nikic wrote:

> Thanks for the context! That makes it clearer what the motivation here is. You are adding a new SCEV-based pass, that runs very early in the pipeline, before even the first InstCombine run, so it needs SCEV to deal with non-canonical IR. I see you mentioned this in the description, but I was missing the "why" of it.


That's the gist of it, yes.

> I'm not seeing any negative compile-time impact from this change, so this change seems ok to me.

Cool, thanks for checking.


Repository:
  rG LLVM Github Monorepo

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

https://reviews.llvm.org/D82721