[Bug middle-end/50060] intrinsics not folded by the middle-end

[pbristow at hetp dot u-net.com]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=50060

Paul A. Bristow <pbristow at hetp dot u-net.com> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |pbristow at hetp dot u-net.com

--- Comment #6 from Paul A. Bristow <pbristow at hetp dot u-net.com> ---
This is a serious 'fault' that prevents making constexpr and functions that use
frexp, even though the mantissa and exponent are definitely constant.

This prevents using constexpr in Boost.Math functions and distributions,
Boost.Multiprecision and Proposed Boost.Fixed-Point.

Suggestions on workaround(s)?

Two separate constexpr functions for mantissa and exponent?

One function that 'returns' both as a tuple/pair?

Either are a major nuisance to replace frexp.

(Perhaps a single function to 'return' both doesn't such a good idea now?)