[all-commits] [llvm/llvm-project] fbe91f: [mlir][arith] Canonicalize `addi(x, muli(y, -1))` ...

[Jakub Kuderski via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: fbe91fe2cc3bd2c907e63f30db719204aaaf3973
      https://github.com/llvm/llvm-project/commit/fbe91fe2cc3bd2c907e63f30db719204aaaf3973
  Author: Jakub Kuderski <kubak at google.com>
  Date:   2023-03-06 (Mon, 06 Mar 2023)

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

  Log Message:
  -----------
  [mlir][arith] Canonicalize `addi(x, muli(y, -1))` -> `subi(x, y)`

These propagate all the way down to SPIR-V and result in some fishy code
with large constants.

Reviewed By: antiagainst

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