diff options
author | Nikita Popov <npopov@redhat.com> | 2022-04-22 15:14:49 +0200 |
---|---|---|
committer | Nikita Popov <npopov@redhat.com> | 2022-04-25 13:16:47 +0200 |
commit | ee509258947cc07c899a0b5ad6fffdefd27f958f (patch) | |
tree | da3a4df1c5f483a4de574012fda4d08a44d33d10 /llvm/lib/CodeGen/LiveDebugVariables.cpp | |
parent | 010acc52a83aa0fa91f573f1e2b072e679d64bea (diff) | |
download | llvm-ee509258947cc07c899a0b5ad6fffdefd27f958f.zip llvm-ee509258947cc07c899a0b5ad6fffdefd27f958f.tar.gz llvm-ee509258947cc07c899a0b5ad6fffdefd27f958f.tar.bz2 |
[InstCombine] Fold (X != 0) & (Y u>= X)
This adds the De Morgan conjugated fold for the existing
(X == 0) | (Y u< X) fold.
Proof: https://alive2.llvm.org/ce/z/3Me3JQ
Diffstat (limited to 'llvm/lib/CodeGen/LiveDebugVariables.cpp')
0 files changed, 0 insertions, 0 deletions