Skip to content
GitLab
Commit 0c57a2e4 authored by Noah Goldstein's avatar Noah Goldstein
Browse files

[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
parent 195d278d
Hide whitespace changes
Inline Side-by-side
Supports Markdown
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment