Simplify assertion, and avoid undefined shift. Based on patch by Ahmed Charles.

llvm-svn: 141912
This commit is contained in:
Eli Friedman 2011-10-13 23:27:48 +00:00
parent 5cbe7170de
commit d1174d008e

View File

@ -98,14 +98,7 @@ public:
// Specifically ignore overflow/underflow as long as the leakage is
// limited to the lower bits. This is to remain compatible with
// other assemblers.
const uint64_t Mask = ~0ULL;
const uint64_t UpperV = (Value >> (Size * 8));
const uint64_t MaskF = (Mask >> (Size * 8));
(void)UpperV;
(void)MaskF;
assert(((Size == 8) ||
((UpperV & MaskF) == 0ULL) || ((UpperV & MaskF) == MaskF)) &&
assert(isIntN(Size * 8 + 1, Value) &&
"Value does not fit in the Fixup field");
for (unsigned i = 0; i != Size; ++i)