1. [InstCombine] Signed saturation patterns (details)
Commit 186155b89c2d2a2f62337081e3ca15f676c9434b by
[InstCombine] Signed saturation patterns
This adds an instcombine matcher for code that attempts to perform
signed saturating arithmetic by casting to a higher type. Unsigned cases
are already matched, this adds extra matches for the more complex signed
cases, which involves matching the min(max(add a b)) nodes with proper
extends to ensure legality.
Differential Revision:
llvm-svn: 375505
The file was modifiedllvm/test/Transforms/InstCombine/sadd_sat.ll
The file was modifiedllvm/lib/Transforms/InstCombine/InstCombineInternal.h
The file was modifiedllvm/lib/Transforms/InstCombine/InstCombineSelect.cpp