[all-commits] [llvm/llvm-project] ffe166: [flang] Propagate fastmath flags during intrinsics...

[Slava Zakharin via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: ffe1661fabc9cf379a10a0bf15268c6549e4836f
      https://github.com/llvm/llvm-project/commit/ffe1661fabc9cf379a10a0bf15268c6549e4836f
  Author: Slava Zakharin <szakharin at nvidia.com>
  Date:   2022-11-17 (Thu, 17 Nov 2022)

  Changed paths:
    M flang/include/flang/Optimizer/Builder/FIRBuilder.h
    M flang/lib/Optimizer/Transforms/SimplifyIntrinsics.cpp
    M flang/test/Transforms/simplifyintrinsics.fir

  Log Message:
  -----------
  [flang] Propagate fastmath flags during intrinsics simplification.

In general, the meaning of fastmath flags on a call during inlining
is that the call's operation flags must be ignored. For user functions
that means that the fastmath flags used for the function definition
override any call site's fastmath flags. For intrinsic functions
we can use the call site's fastmath flags, but we have to make sure
that the call sites with different flags produce/use different
simplified versions of the same intrinsic function.

Differential Revision: https://reviews.llvm.org/D138048