[PATCH] D25847: [ValueTracking] Don't assume we can speculate shifts

[Eli Friedman via llvm-commits]

efriedma requested changes to this revision.
efriedma added a reviewer: efriedma.
efriedma added a comment.
This revision now requires changes to proceed.

"A shift is undefined if the second operand is equal or larger than the number of bits in the first operand."

Yes... but that's not undefined behavior.  LangRef just says "the result is undefined".


https://reviews.llvm.org/D25847