[all-commits] [llvm/llvm-project] 35f4cd: [mlir][arith] Add constraints to the MulIOp for pr...

[Prakhar Dixit via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: 35f4cdbf59fca82b97869cce7e9e5d5009144938
      https://github.com/llvm/llvm-project/commit/35f4cdbf59fca82b97869cce7e9e5d5009144938
  Author: Prakhar Dixit <dixitprakhar11 at gmail.com>
  Date:   2025-04-17 (Thu, 17 Apr 2025)

  Changed paths:
    M mlir/lib/Dialect/Arith/IR/ArithCanonicalization.td
    M mlir/test/Dialect/Arith/canonicalize.mlir

  Log Message:
  -----------
  [mlir][arith] Add constraints to the MulIOp for preventing type mismatch while folding (#136093)

Fixes #135289
The original version didn't check if the types of lhs, rhs, and the
result matched, which could cause type errors.
This fix adds type checks to make sure the constants attributes have
the same type as the SSA values before applying the simplification.



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