HomePhabricator

LoadStoreVectorizer: Match nested adds to prove vectorization is safe

Authored by volkan on May 18 2020, 12:11 PM.

Description

LoadStoreVectorizer: Match nested adds to prove vectorization is safe

If both OpA and OpB is an add with NSW/NUW and with the same LHS operand,
we can guarantee that the transformation is safe if we can prove that OpA
won't overflow when IdxDiff added to the RHS of OpA.

Review: https://reviews.llvm.org/D79817

Details

Committed
volkanMay 18 2020, 12:13 PM
Parents
rG736db2f71036: [Loads] Require Align in isSafeToLoadUnconditionally() (NFC)
Branches
Unknown
Tags
Unknown