support constrained floating point intrinsics when attribute `strictfp` marked

We should use the constrained floating point intrinsics (function definitions that use it must have the `strictfp` attribute) when we want to better control rounding mode or floating-point exception behavior.

https://llvm.org/docs/LangRef.html#constrained-floating-point-intrinsics