diff options
| author | Nikita Popov <npopov@redhat.com> | 2022-05-13 16:35:43 +0200 |
|---|---|---|
| committer | Nikita Popov <npopov@redhat.com> | 2022-05-16 16:30:26 +0200 |
| commit | 356d47ccb9b5f69b8b984d37a8b3c8813a84413b (patch) | |
| tree | b50553ad0af0c4fbf4f3f732a1191e14276ea4c6 /llvm/lib/CodeGen/MachineModuleInfoImpls.cpp | |
| parent | b7315ffc3c92d2408780b5748cbac1c651128079 (diff) | |
| download | llvm-356d47ccb9b5f69b8b984d37a8b3c8813a84413b.zip llvm-356d47ccb9b5f69b8b984d37a8b3c8813a84413b.tar.gz llvm-356d47ccb9b5f69b8b984d37a8b3c8813a84413b.tar.bz2 | |
[ValueTracking] Handle and/or on RHS of isImpliedCondition()
isImpliedCondition() currently handles and/or on the LHS, but not
on the RHS, resulting in asymmetric behavior. This patch adds two
new implication rules:
* LHS ==> (RHS1 || RHS2) if LHS ==> RHS1 or LHS ==> RHS2
* LHS ==> !(RHS1 && RHS2) if LHS ==> !RHS1 or LHS ==> !RHS2
Differential Revision: https://reviews.llvm.org/D125551
Diffstat (limited to 'llvm/lib/CodeGen/MachineModuleInfoImpls.cpp')
0 files changed, 0 insertions, 0 deletions