[all-commits] [llvm/llvm-project] d8a57c: [mlir][arith] Canonicalization patterns for subi.

[Slava Zakharin via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: d8a57c778875eb0a2d093b6f1991e77ff9885a85
      https://github.com/llvm/llvm-project/commit/d8a57c778875eb0a2d093b6f1991e77ff9885a85
  Author: Slava Zakharin <szakharin at nvidia.com>
  Date:   2022-09-13 (Tue, 13 Sep 2022)

  Changed paths:
    M mlir/lib/Dialect/Arithmetic/IR/ArithmeticCanonicalization.td
    M mlir/lib/Dialect/Arithmetic/IR/ArithmeticOps.cpp
    M mlir/test/Dialect/Arithmetic/canonicalize.mlir

  Log Message:
  -----------
  [mlir][arith] Canonicalization patterns for subi.

subi(addi(a, b), b) -> a
subi(addi(a, b), a) -> b
subi(subi(a, b), a) -> subi(0, b)

Differential Revision: https://reviews.llvm.org/D133615