[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".
More information about the llvm-commits