[all-commits] [llvm/llvm-project] 46740d: [mlir][arith] Add narrowing patterns for subi, div...

[Jakub Kuderski via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: 46740dd02babfc47edd9f8fdb03479ad61223246
      https://github.com/llvm/llvm-project/commit/46740dd02babfc47edd9f8fdb03479ad61223246
  Author: Jakub Kuderski <kubak at google.com>
  Date:   2023-05-02 (Tue, 02 May 2023)

  Changed paths:
    M mlir/lib/Dialect/Arith/Transforms/IntNarrowing.cpp
    M mlir/test/Dialect/Arith/int-narrowing.mlir

  Log Message:
  -----------
  [mlir][arith] Add narrowing patterns for subi, divsi, and divui

Each of these ops is compatible with only one extension kind and
produces an extra result bit.

I checked these transformation in Alive2:
1. subi + extsi: https://alive2.llvm.org/ce/z/ipmZZA
2. divsi + extsi: https://alive2.llvm.org/ce/z/fAcqUv
3. divui + extui: https://alive2.llvm.org/ce/z/QZJpFp

Reviewed By: antiagainst

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