diff options
| author | Noah Goldstein <goldstein.w.n@gmail.com> | 2024-04-03 17:40:03 -0500 |
|---|---|---|
| committer | Noah Goldstein <goldstein.w.n@gmail.com> | 2024-04-10 13:13:43 -0500 |
| commit | 0c57a2e4b4e5a6e5dda78a313fc8d8e3c91797f5 (patch) | |
| tree | 4a7d8e54df0f4f74d3229376245d74a970913272 /llvm/lib/Bitcode/Reader/BitcodeReader.cpp | |
| parent | 195d278d502308655edb1e9ff1c6f0c9256d0d15 (diff) | |
[ValueTracking] Add support for `xor`/`disjoint or` in `getInvertibleOperands`
This strengthens our `isKnownNonEqual` logic with some fairly
trivial cases.
Proofs: https://alive2.llvm.org/ce/z/4pxRTj
Closes #87705
Diffstat (limited to 'llvm/lib/Bitcode/Reader/BitcodeReader.cpp')
0 files changed, 0 insertions, 0 deletions