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

Max Kazantsev via Phabricator via llvm-commits llvm-commits at lists.llvm.org
Wed Oct 14 05:46:43 PDT 2020


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



More information about the llvm-commits mailing list