[all-commits] [llvm/llvm-project] 858bea: [LangRef] Adjust the documentation of some fast-ma...

[Joshua Cranmer via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: 858bea86be709ec84757d98da16fbf3a05579b76
      https://github.com/llvm/llvm-project/commit/858bea86be709ec84757d98da16fbf3a05579b76
  Author: Joshua Cranmer <joshua.cranmer at intel.com>
  Date:   2024-08-02 (Fri, 02 Aug 2024)

  Changed paths:
    M llvm/docs/LangRef.rst

  Log Message:
  -----------
  [LangRef] Adjust the documentation of some fast-math flags. (#99557)

The first change is the clarification of rewrite-based semantics, and
the fact that when doing the rewrite, all of the instructions involved
need to have the rewrite. This is not a change in semantics: there is
wide agreement that this behavior is true for most flags. But it is
necessary to clarify this, and also clarify that there is a fundamental
difference between a flag like `nnan` and a flag like `contract`. Note
that several InstCombine transforms do not correctly check this behavior
at the moment.

The second change is a specific clarification of the rewrites performed
by arcp. These rewrites capture what is necessary to enable the
transformations that currently require just arcp, none of which are
using the flag incorrectly right now.



To unsubscribe from these emails, change your notification settings at https://github.com/llvm/llvm-project/settings/notifications