[PATCH] D144861: [SCEV][IndVars][WIP] Check outer loop invariant when cononicalize comparision

Tue Feb 28 21:15:26 PST 2023

StephenFan added a comment.

In D144861#4160179 <https://reviews.llvm.org/D144861#4160179>, @efriedma wrote:

> From my analysis of the testcase, we called "getAddExpr(SCEV::FlagNUW)" while analyzing the first loop, and that broke the analysis of the second loop.  The actual simplification isn't relevant.

Sorry, I don't know what you mean by "The actual simplification isn't relevant". Would you mind explaining a little more?

Repository:
  rG LLVM Github Monorepo

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

https://reviews.llvm.org/D144861