[all-commits] [llvm/llvm-project] b2317c: [mlir][arith] Add rounding mode flags to binary ar...

[Matthias Springer via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: b2317cc584b84b275a60004226b5962e635c4fda
      https://github.com/llvm/llvm-project/commit/b2317cc584b84b275a60004226b5962e635c4fda
  Author: Matthias Springer <me at m-sp.org>
  Date:   2026-04-17 (Fri, 17 Apr 2026)

  Changed paths:
    M mlir/include/mlir/Conversion/ArithCommon/AttrToLLVMConverter.h
    M mlir/include/mlir/Dialect/Arith/IR/ArithBase.td
    M mlir/include/mlir/Dialect/Arith/IR/ArithOps.td
    M mlir/lib/Conversion/ArithToLLVM/ArithToLLVM.cpp
    M mlir/lib/Conversion/TosaToLinalg/TosaToLinalg.cpp
    M mlir/lib/Dialect/Arith/IR/ArithCanonicalization.td
    M mlir/lib/Dialect/Arith/IR/ArithOps.cpp
    M mlir/test/Conversion/ArithToLLVM/arith-to-llvm.mlir
    M mlir/test/Dialect/Arith/canonicalize.mlir
    M mlir/test/Dialect/Arith/ops.mlir

  Log Message:
  -----------
  [mlir][arith] Add rounding mode flags to binary arithmetic operations (#188458)

Add rounding mode flags for `addf`, `subf`, `mulf`, `divf`. This
addresses a TODO in the op description.

The folder now takes into account the specified rounding mode. If no
rounding mode is specified, the folders/canonicalizations default to
`rmNearestTiesToEven`. (This behavior has not changed.) This is
documented in the top-level arith dialect documentation. The default
arith rounding mode applies only to "internal" transformations such as
foldings/canonicalizations. In case of an unspecified explicit rounding
mode, the runtime behavior is up to the target backend.

Also add a lowering to LLVM intrinsics such as
`llvm.intr.experimental.constrained.fadd`.

Assisted-by: claude-4.6-opus-high



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