[PATCH] D62731: [RFC] Add support for options -fp-model= and -fp-speculation= : specify floating point behavior

[Melanie Blower via Phabricator via cfe-commits]

mibintc added a comment.

Here's a summary of how the rm and eb options are set

if user requests fp-model=strict, then the ConstrainedIntrinsic will be built with ( rmDynamic, ebStrict )

if user requests fp-model=except or fp-model=noexcept then the ConstrainedIntrinsic will be built with eb set to Strict or Ignore, respectively.  In all cases, if the user options don't otherwise request a value for the rounding mode, but the user options has requested a value for excepton behavior, then the ConstrainedIntrinsic will use rmToNearest.

The fp-speculation option controls only the eb setting.  There are 3 possible values: fast, strict, safe and the ConstrainedIntrinsic will be built with eb set to ebIgnore, ebStrict, ebMayTrap respectively.


Repository:
  rL LLVM

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

https://reviews.llvm.org/D62731