[MLIR][Arith] Add ValueBoundsOpInterface for FloorDivSI (#137879)

Enables value bounds inference through signed division operations.

GitOrigin-RevId: ea3959e841367ef691472ccf78ec25252dbfe288
2 files changed
tree: 93f17e6e4df3f0271a38b8e9947e3316bc533e0c
  1. benchmark/
  2. cmake/
  3. docs/
  4. examples/
  5. include/
  6. lib/
  7. python/
  8. test/
  9. tools/
  10. unittests/
  11. utils/
  12. .clang-format
  13. .clang-tidy
  14. CMakeLists.txt
  15. LICENSE.TXT
  16. README.md
README.md

Multi-Level Intermediate Representation

See https://mlir.llvm.org/ for more information.