Skip to content
GitLab
Commit 71ef04d7 authored by Noah Goldstein's avatar Noah Goldstein
Browse files

[InstCombine] fold `(icmp eq/ne (or disjoint x, C0), C1)` -> `(icmp eq/ne x, C0^C1)` 

Proof: https://alive2.llvm.org/ce/z/m3xoo_

Closes #87734
parent 5b58eb68
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