[PATCH] D32445: [LV] Handle external uses of floating-point induction variables

[Michael Kuperstein via Phabricator via llvm-commits]

mkuper added a comment.

The original PR looks fishy to me, but I agree this is a real issue regardless.

I'm not sure this patch is correct, though. Just to understand what's going on here - we have an FP IV, for which we can compute the (integer, obviously) trip-count.  We then cast that integer trip count into an FP value (possibly losing precision) , and them compute start + (step * trip count), in FP, to get the value from the penultimate iteration?


https://reviews.llvm.org/D32445