[mlir][arith] Add missing canon pattern `trunci(ext*i(x)) -> ext*i(x)`
authorJakub Kuderski <kubak@google.com>
Thu, 27 Apr 2023 15:13:46 +0000 (11:13 -0400)
committerJakub Kuderski <kubak@google.com>
Thu, 27 Apr 2023 15:21:59 +0000 (11:21 -0400)
commitab85aec1affc92647c195f736d1bac69976baeb8
tree4ceb94235bd54b9fd6733ce872fcbcdd2e1ff970
parent05d0caef6081e1a6cb23a5a5afe43dc82e8ca558
[mlir][arith] Add missing canon pattern `trunci(ext*i(x)) -> ext*i(x)`

This pattern triggers when only the extension bits are truncated.

Reviewed By: dcaballe

Differential Revision: https://reviews.llvm.org/D149286
mlir/lib/Dialect/Arith/IR/ArithCanonicalization.td
mlir/lib/Dialect/Arith/IR/ArithOps.cpp
mlir/test/Dialect/Arith/canonicalize.mlir
mlir/test/Transforms/canonicalize.mlir