[PATCH] D67839: [FPEnv] Document requirement of function attributes with constrained floating point

[Ulrich Weigand via Phabricator via llvm-commits]

uweigand added a comment.

OK, then I'd suggest we just add "strictfp" to the definition, with the semantics that codegen for this function must not introduce any potentially trapping FP instructions (that were not already in the source IR) -- the latter property should probably also be documented under the "strictfp" entry.


Repository:
  rG LLVM Github Monorepo

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

https://reviews.llvm.org/D67839