diff options
| author | Jakub Kuderski <kubak@google.com> | 2023-05-02 10:09:51 -0400 |
|---|---|---|
| committer | Jakub Kuderski <kubak@google.com> | 2023-05-02 10:10:10 -0400 |
| commit | e2f7563d7c30c3aca3ac8b937a4967accb59c209 (patch) | |
| tree | ee57389313b6511e5fc307dead6db69dcc6ccf50 /bolt | |
| parent | 55678b43b5a2aa346eb95389c6f81f95e73f6944 (diff) | |
| download | llvm-e2f7563d7c30c3aca3ac8b937a4967accb59c209.tar.gz | |
[mlir][arith] Add narrowing patterns for `addi` and `muli`
These two ops are handled in a very similar way -- the only difference
in the number result bits produced.
I checked these transformation with Alive2:
1. addi + sext: https://alive2.llvm.org/ce/z/3NSs9T
2. addi + zext: https://alive2.llvm.org/ce/z/t7XHOT
3. muli + sext: https://alive2.llvm.org/ce/z/-7sfW9
4. muli + zext: https://alive2.llvm.org/ce/z/h4yntF
Reviewed By: antiagainst
Differential Revision: https://reviews.llvm.org/D149530
Diffstat (limited to 'bolt')
0 files changed, 0 insertions, 0 deletions