[PATCH] D118642: [IVDescriptor] Find original 'Previous' for first-order recurrences.

[Ayal Zaks via Phabricator via llvm-commits]

Ayal accepted this revision.
Ayal added a comment.
This revision is now accepted and ready to land.

Looks good to me, with a last nit.



================
Comment at: llvm/lib/Analysis/IVDescriptors.cpp:937
+        OtherPrev = EarlierInst;
+      }
 
----------------
Assert here that the last 'OtherPrev' is eventually a "Later Inst", i.e., that the original It->second comesBefore the final OtherPrev, or equal to it?


Repository:
  rG LLVM Github Monorepo

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

https://reviews.llvm.org/D118642