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

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@141912 91177308-0d34-0410-b5e6-96231b3b80d8
This commit is contained in:
Eli Friedman 2011-10-13 23:27:48 +00:00
parent 2dd0cfe118
commit d83a54fd35

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)