[all-commits] [llvm/llvm-project] 9c442c: [mlir][math] Set llvm readnone attribute for libm ...

[Slava Zakharin via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: 9c442c7d002184fb1abd32ea7f88481bd21281f2
      https://github.com/llvm/llvm-project/commit/9c442c7d002184fb1abd32ea7f88481bd21281f2
  Author: Slava Zakharin <szakharin at nvidia.com>
  Date:   2022-08-29 (Mon, 29 Aug 2022)

  Changed paths:
    M mlir/lib/Conversion/MathToLibm/MathToLibm.cpp
    M mlir/test/Conversion/MathToLibm/convert-to-libm.mlir

  Log Message:
  -----------
  [mlir][math] Set llvm readnone attribute for libm functions.

Math dialect operations currently do not limit transformations
applied to them, which means that they potentially behave like
clang's -ffast-math mathematics. Clang marks math functions with
readnone attribute enabling more optimizations.

This change does the same for functions used by MathToLibm convertor.
In particular, this enables LLVM LICM for tan() call in
Polyhedron/mp_prop_design_11 compiled with flang.

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