[pypy-dev] Optimize constant float division by multiplication?

[Armin Rigo]

Hi,

On 5 November 2014 23:02, Alex Gaynor <alex.gaynor at gmail.com> wrote:
> If this optimization is valid for any float, we should definitely do it, and
> this is a missed optimization. If it's not valid for all floats, I'm not
> sure how we should handle it, if at all.

gcc seems to perform this optimization for divide-by-constant where
the constant is exactly a finite power of two that is not a denormal.
These are the cases where the result is exactly the same.  We could do
it too.


A bientôt,

Armin.