[all-commits] [llvm/llvm-project] 1dc904: [mlir][arith] Add canon pattern: addui_extended ->...

[Jakub Kuderski via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: 1dc9047bdab746f1f20a5e7bb8537d7667230254
      https://github.com/llvm/llvm-project/commit/1dc9047bdab746f1f20a5e7bb8537d7667230254
  Author: Jakub Kuderski <kubak at google.com>
  Date:   2022-12-09 (Fri, 09 Dec 2022)

  Changed paths:
    M mlir/include/mlir/Dialect/Arith/IR/ArithOps.td
    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] Add canon pattern: addui_extended -> addi

Demote `arith.addui_extended` to `arith.addi` when the 'overflow'
result has no uses.

Reviewed By: antiagainst

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