[all-commits] [llvm/llvm-project] 1cade8: [mlir][arith] Fold `(a * b) / b -> a` (#121534)

[Ivan Butygin via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: 1cade8699719c934a8debb7bef9fdc3ff11e9602
      https://github.com/llvm/llvm-project/commit/1cade8699719c934a8debb7bef9fdc3ff11e9602
  Author: Ivan Butygin <ivan.butygin at gmail.com>
  Date:   2025-01-03 (Fri, 03 Jan 2025)

  Changed paths:
    M mlir/lib/Dialect/Arith/IR/ArithOps.cpp
    M mlir/test/Dialect/Arith/canonicalize.mlir

  Log Message:
  -----------
  [mlir][arith] Fold `(a * b) / b -> a` (#121534)

If overflow flags allow it.

Alive2 check: https://alive2.llvm.org/ce/z/5XWjWE



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