[PATCH] D89381: [SCEV] Use nw flag and symbolic iteration count to sharpen ranges of AddRecs

[Max Kazantsev via Phabricator via llvm-commits]

mkazantsev added inline comments.


================
Comment at: llvm/test/Transforms/IndVarSimplify/widen-loop-comp.ll:548
 
 ; TODO: We don't really need trunc/zext here because when iv.next overflows,
 ; its value is not used.
----------------
mkazantsev wrote:
> xbolva00 wrote:
> > remove todo
> Not until the zext is removed.
Ideally, we should be able to widen everything to i64. Currently IV gives up because zext(iv) is not an addrec after the range is sharpened. It's weird but fixable I think.


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

https://reviews.llvm.org/D89381