[all-commits] [llvm/llvm-project] fc1920: [mlir][arith] Add narrowing patterns for index casts

[Jakub Kuderski via All-commits]

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

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

  Log Message:
  -----------
  [mlir][arith] Add narrowing patterns for index casts

These rely on the `ValueBounds` interace and its utility function to
compute constant bounds. This allows us to optimize `linalg.index`
values cast to integer types.

Reviewed By: antiagainst

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