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

Eli Friedman via llvm-commits llvm-commits at lists.llvm.org
Thu Oct 20 16:07:40 PDT 2016


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





More information about the llvm-commits mailing list