diff options
| author | Simon Pilgrim <llvm-dev@redking.me.uk> | 2022-04-06 10:37:07 +0100 |
|---|---|---|
| committer | Simon Pilgrim <llvm-dev@redking.me.uk> | 2022-04-06 10:37:11 +0100 |
| commit | 3369e474bbd1172175945437783b6841979e654a (patch) | |
| tree | 1589d72fd0776fe736a5a8c063254b3040fd4e87 /llvm/docs/tutorial/MyFirstLanguageFrontend | |
| parent | 7a50560354f3d0912b127eebe877fb7c0464f859 (diff) | |
| download | llvm-3369e474bbd1172175945437783b6841979e654a.zip llvm-3369e474bbd1172175945437783b6841979e654a.tar.gz llvm-3369e474bbd1172175945437783b6841979e654a.tar.bz2 | |
[DAG] Allow XOR(X,MIN_SIGNED_VALUE) to perform AddLike folds
As raised on PR52267, XOR(X,MIN_SIGNED_VALUE) can be treated as ADD(X,MIN_SIGNED_VALUE), so let these cases use the 'AddLike' folds, similar to how we perform no-common-bits OR(X,Y) cases.
define i8 @src(i8 %x) {
%r = xor i8 %x, 128
ret i8 %r
}
=>
define i8 @tgt(i8 %x) {
%r = add i8 %x, 128
ret i8 %r
}
Transformation seems to be correct!
https://alive2.llvm.org/ce/z/qV46E2
Differential Revision: https://reviews.llvm.org/D122754
Diffstat (limited to 'llvm/docs/tutorial/MyFirstLanguageFrontend')
0 files changed, 0 insertions, 0 deletions