HomePhabricator

[InstCombine] Signed saturation patterns

Authored by dmgreen on Oct 22 2019, 8:39 AM.

Description

[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: https://reviews.llvm.org/D68651

llvm-svn: 375505

Details

Committed
dmgreenOct 22 2019, 8:39 AM
Differential Revision
D68651: [InstCombine] Signed saturation patterns
Parents
rG40c47680eb2a: [libcxx] Remove shared_ptr::make_shared
Branches
Unknown
Tags
Unknown