[PATCH] D62990: [SCEV]When safe, compute MinStart as unsigned_min(Start - Stride) + Stride in computeMaxBECountForLT

[Z. Zheng via Phabricator via llvm-commits]

zzheng marked an inline comment as done.
zzheng added inline comments.


================
Comment at: test/Analysis/ScalarEvolution/pr42175-MaxBECountForULT.ll:62
+  %iv = phi i32 [ %x, %entry ], [ %iv.next, %loop ]
+  %cmp = icmp ult i32 %iv, 17
+  %iv.next = add nuw i32 %iv, 8
----------------
@reames , is this pre-increment form of IV you are concerned? This case isLoopEntryGuardedByCond(L, ICmpInst::ICMP_ULT, (Start-Stride), End) returns false.


Repository:
  rG LLVM Github Monorepo

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

https://reviews.llvm.org/D62990