[all-commits] [llvm/llvm-project] ea3959: [MLIR][Arith] Add ValueBoundsOpInterface for Floor...

[Quinn Dawkins via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: ea3959e841367ef691472ccf78ec25252dbfe288
      https://github.com/llvm/llvm-project/commit/ea3959e841367ef691472ccf78ec25252dbfe288
  Author: Quinn Dawkins <quinn.dawkins at gmail.com>
  Date:   2025-04-30 (Wed, 30 Apr 2025)

  Changed paths:
    M mlir/lib/Dialect/Arith/IR/ValueBoundsOpInterfaceImpl.cpp
    M mlir/test/Dialect/Arith/value-bounds-op-interface-impl.mlir

  Log Message:
  -----------
  [MLIR][Arith] Add ValueBoundsOpInterface for FloorDivSI (#137879)

Enables value bounds inference through signed division operations.



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