[PATCH] D111077: [LV] Support converting FP add to integer reductions.

Mon Oct 11 02:50:30 PDT 2021

fhahn added a comment.

In D111077#3053926 <https://reviews.llvm.org/D111077#3053926>, @reames wrote:

> As related work in the same area, and possibly an alternative (though I haven't looked at your test cases closely), I want to mention two old reviews of mine.
>
> https://reviews.llvm.org/D68844 teaches SCEV to compute trip counts for simple floating point IVs
> https://reviews.llvm.org/D68954 uses the above in IndVars to canonicalize to integers when possible

Thanks for sharing those patches. After taking a look, it seems a notable difference is that the current patch supports loops with variable trip counts due to clamping to the max value.

I've not thought too much about how this potentially could fit into SCEV, but a similar approach may be feasible there as well.

Repository:
  rG LLVM Github Monorepo

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

https://reviews.llvm.org/D111077