[PATCH] D129753: [SCEV] Prove condition invariance via context

[Max Kazantsev via Phabricator via llvm-commits]

mkazantsev added a comment.

This is what the transform sees:

  ArLHS = {0,+,-1}<nuw><nsw><%for.body.i>, RHS = 2

nuw here looks like a bug to me. So this patch has exposed something else. I'll dig into it.


Repository:
  rG LLVM Github Monorepo

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

https://reviews.llvm.org/D129753