Unverified Commit 0f024312 authored by Kai Luo's avatar Kai Luo Committed by GitHub
Browse files

[InstCombine] Fold (sub (xor X, (sext C)), (sext C)) => (select C (neg X), X) (#79417)

This is useful when computing absdiff.

Correctness prove: https://alive2.llvm.org/ce/z/eMbxps,
https://alive2.llvm.org/ce/z/SNCWJe

.

---------

Co-authored-by: default avatarYingwei Zheng <dtcxzyw@qq.com>
parent c67a4ae4
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