Skip to content
Commit 53b90dd3 authored by Simon Pilgrim's avatar Simon Pilgrim
Browse files

[DAG] Fold (or (and X, C1), (and (or X, Y), C2)) -> (or (and X, C1|C2), (and Y, C2)) 

Pulled out of D77804

Alive2: https://alive2.llvm.org/ce/z/g61VRe
parent 0c7380eb
Show whitespace changes
Inline Side-by-side
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Please to comment