diff options
| author | Noah Goldstein <goldstein.w.n@gmail.com> | 2024-04-03 17:41:45 -0500 |
|---|---|---|
| committer | Noah Goldstein <goldstein.w.n@gmail.com> | 2024-04-10 13:13:43 -0500 |
| commit | 81cdd35c0c8db22bfdd1f06cb2118d17fd99fc07 (patch) | |
| tree | d1d6928ef2354dcbeacc3b025a7de4a2a97e2e84 /llvm/lib/Bitcode/Reader/BitcodeReader.cpp | |
| parent | 2646790155f73d6cfb28ec0ee472056740e4658e (diff) | |
[ValueTracking] Add support for `xor`/`disjoint or` in `isKnownNonZero`
Handles cases like `X ^ Y == X` / `X disjoint| Y == X`.
Both of these cases have identical logic to the existing `add` case,
so just converting the `add` code to a more general helper.
Proofs: https://alive2.llvm.org/ce/z/Htm7pe
Closes #87706
Diffstat (limited to 'llvm/lib/Bitcode/Reader/BitcodeReader.cpp')
0 files changed, 0 insertions, 0 deletions