[PATCH] D133855: [InstCombine] Baseline tests for folding ((x?1:4)&(y?1:4))==0 to x^y
Sanjay Patel via Phabricator via llvm-commits
llvm-commits at lists.llvm.org
Wed Sep 14 07:57:33 PDT 2022
spatel added a comment.
Based on the description, we want a generalized proof like this:
https://alive2.llvm.org/ce/z/RrVEyX
And given that this pattern was found in real code, it seems plausible that we'd want to handle this variant too (likely as a small follow-up patch):
https://alive2.llvm.org/ce/z/ZobB7p
Repository:
rG LLVM Github Monorepo
CHANGES SINCE LAST ACTION
https://reviews.llvm.org/D133855/new/
https://reviews.llvm.org/D133855
More information about the llvm-commits
mailing list