[PATCH] D30665: [InstSimplify] vector div/rem with any zero element in divisor is undef

[Eli Friedman via Phabricator via llvm-commits]

efriedma added a comment.

> Would that mean that this transformation (very naive SLP vectorization) would become illegal:

Why would that be illegal?  Both snippets have undefined behavior if and only if y1 or y2 is zero (or undef, or poison).


https://reviews.llvm.org/D30665