projects / platform / upstream / llvm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: b0f904b) | patch
[mlir][arith] Add canon pattern: addui_extended -> addi
authorJakub Kuderski <kubak@google.com>
Fri, 9 Dec 2022 19:40:04 +0000 (14:40 -0500)
committerJakub Kuderski <kubak@google.com>
Fri, 9 Dec 2022 19:40:05 +0000 (14:40 -0500)
commit1dc9047bdab746f1f20a5e7bb8537d7667230254
tree4371ddc635ca5651511fbe516b4b2842930b0df6tree | snapshot
parentb0f904b6da044ea65d344bc07fc56234adbc6268commit | diff
[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
mlir/include/mlir/Dialect/Arith/IR/ArithOps.td diff | blob | history
mlir/lib/Dialect/Arith/IR/ArithCanonicalization.td diff | blob | history
mlir/lib/Dialect/Arith/IR/ArithOps.cpp diff | blob | history
mlir/test/Dialect/Arith/canonicalize.mlir diff | blob | history
Domain: System / Toolchain;