[all-commits] [llvm/llvm-project] 1a867b: [mlir][arith] Optimize arith.cmpi based on integer...

[Ivan Butygin via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: 1a867bf1c7ccd4fe38ca59346f4b6268643940bb
      https://github.com/llvm/llvm-project/commit/1a867bf1c7ccd4fe38ca59346f4b6268643940bb
  Author: Ivan Butygin <ivan.butygin at gmail.com>
  Date:   2023-01-11 (Wed, 11 Jan 2023)

  Changed paths:
    M mlir/include/mlir/Dialect/Arith/Transforms/Passes.h
    M mlir/include/mlir/Dialect/Arith/Transforms/Passes.td
    M mlir/lib/Dialect/Arith/Transforms/CMakeLists.txt
    A mlir/lib/Dialect/Arith/Transforms/IntRangeOptimizations.cpp
    A mlir/test/Dialect/Arith/int-range-opts.mlir

  Log Message:
  -----------
  [mlir][arith] Optimize arith.cmpi based on integer range analysis.

Add a pass which do arith dialect ops optimization based on integer range analysis (only cmpi for now).

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