Source code
Revision control
Copy as Markdown
Other Tools
/* -*- Mode: C++; tab-width: 8; indent-tabs-mode: nil; c-basic-offset: 2 -*- */
/* vim: set ts=8 sts=2 et sw=2 tw=80: */
/* This Source Code Form is subject to the terms of the Mozilla Public
* License, v. 2.0. If a copy of the MPL was not distributed with this file,
#include "mozilla/Assertions.h"
#include "mozilla/WrappingOperations.h"
#include <stdint.h>
using mozilla::WrappingAdd;
using mozilla::WrappingMultiply;
using mozilla::WrappingSubtract;
using mozilla::WrapToSigned;
// NOTE: In places below |-FOO_MAX - 1| is used instead of |-FOO_MIN| because
// in C++ numeric literals are full expressions -- the |-| in a negative
// number is technically separate. So with most compilers that limit
// |int| to the signed 32-bit range, something like |-2147483648| is
// operator-() applied to an *unsigned* expression. And MSVC, at least,
// warns when you do that. (The operation is well-defined, but it likely
// doesn't do what was intended.) So we do the usual workaround for this
// (see your local copy of <stdint.h> for a likely demo of this), writing
// it out by negating the max value and subtracting 1.
static_assert(WrapToSigned(uint8_t(17)) == 17,
"no wraparound should work, 8-bit");
static_assert(WrapToSigned(uint8_t(128)) == -128,
"works for 8-bit numbers, wraparound low end");
static_assert(WrapToSigned(uint8_t(128 + 7)) == -128 + 7,
"works for 8-bit numbers, wraparound mid");
static_assert(WrapToSigned(uint8_t(128 + 127)) == -128 + 127,
"works for 8-bit numbers, wraparound high end");
static_assert(WrapToSigned(uint16_t(12345)) == 12345,
"no wraparound should work, 16-bit");
static_assert(WrapToSigned(uint16_t(32768)) == -32768,
"works for 16-bit numbers, wraparound low end");
static_assert(WrapToSigned(uint16_t(32768 + 42)) == -32768 + 42,
"works for 16-bit numbers, wraparound mid");
static_assert(WrapToSigned(uint16_t(32768 + 32767)) == -32768 + 32767,
"works for 16-bit numbers, wraparound high end");
static_assert(WrapToSigned(uint32_t(8675309)) == 8675309,
"no wraparound should work, 32-bit");
static_assert(WrapToSigned(uint32_t(2147483648)) == -2147483647 - 1,
"works for 32-bit numbers, wraparound low end");
static_assert(WrapToSigned(uint32_t(2147483648 + 42)) == -2147483647 - 1 + 42,
"works for 32-bit numbers, wraparound mid");
static_assert(WrapToSigned(uint32_t(2147483648 + 2147483647)) ==
-2147483647 - 1 + 2147483647,
"works for 32-bit numbers, wraparound high end");
static_assert(WrapToSigned(uint64_t(4152739164)) == 4152739164,
"no wraparound should work, 64-bit");
static_assert(WrapToSigned(uint64_t(9223372036854775808ULL)) ==
-9223372036854775807LL - 1,
"works for 64-bit numbers, wraparound low end");
static_assert(WrapToSigned(uint64_t(9223372036854775808ULL + 8005552368LL)) ==
-9223372036854775807LL - 1 + 8005552368LL,
"works for 64-bit numbers, wraparound mid");
static_assert(WrapToSigned(uint64_t(9223372036854775808ULL +
9223372036854775807ULL)) ==
-9223372036854775807LL - 1 + 9223372036854775807LL,
"works for 64-bit numbers, wraparound high end");
template <typename T>
inline constexpr bool TestEqual(T aX, T aY) {
return aX == aY;
}
static void TestWrappingAdd8() {
MOZ_RELEASE_ASSERT(
TestEqual(WrappingAdd(uint8_t(0), uint8_t(128)), uint8_t(128)),
"zero plus anything is anything");
MOZ_RELEASE_ASSERT(
TestEqual(WrappingAdd(uint8_t(17), uint8_t(42)), uint8_t(59)),
"17 + 42 == 59");
MOZ_RELEASE_ASSERT(
TestEqual(WrappingAdd(uint8_t(255), uint8_t(1)), uint8_t(0)),
"all bits plus one overflows to zero");
MOZ_RELEASE_ASSERT(
TestEqual(WrappingAdd(uint8_t(128), uint8_t(127)), uint8_t(255)),
"high bit plus all lower bits is all bits");
MOZ_RELEASE_ASSERT(
TestEqual(WrappingAdd(uint8_t(128), uint8_t(193)), uint8_t(65)),
"128 + 193 is 256 + 65");
MOZ_RELEASE_ASSERT(
TestEqual(WrappingAdd(int8_t(0), int8_t(-128)), int8_t(-128)),
"zero plus anything is anything");
MOZ_RELEASE_ASSERT(
TestEqual(WrappingAdd(int8_t(123), int8_t(8)), int8_t(-125)),
"overflow to negative");
MOZ_RELEASE_ASSERT(
TestEqual(WrappingAdd(int8_t(5), int8_t(-123)), int8_t(-118)),
"5 - 123 is -118");
MOZ_RELEASE_ASSERT(
TestEqual(WrappingAdd(int8_t(-85), int8_t(-73)), int8_t(98)),
"underflow to positive");
MOZ_RELEASE_ASSERT(
TestEqual(WrappingAdd(int8_t(-128), int8_t(127)), int8_t(-1)),
"high bit plus all lower bits is -1");
}
static void TestWrappingAdd16() {
MOZ_RELEASE_ASSERT(
TestEqual(WrappingAdd(uint16_t(0), uint16_t(32768)), uint16_t(32768)),
"zero plus anything is anything");
MOZ_RELEASE_ASSERT(
TestEqual(WrappingAdd(uint16_t(24389), uint16_t(2682)), uint16_t(27071)),
"24389 + 2682 == 27071");
MOZ_RELEASE_ASSERT(
TestEqual(WrappingAdd(uint16_t(65535), uint16_t(1)), uint16_t(0)),
"all bits plus one overflows to zero");
MOZ_RELEASE_ASSERT(
TestEqual(WrappingAdd(uint16_t(32768), uint16_t(32767)), uint16_t(65535)),
"high bit plus all lower bits is all bits");
MOZ_RELEASE_ASSERT(
TestEqual(WrappingAdd(uint16_t(32768), uint16_t(47582)), uint16_t(14814)),
"32768 + 47582 is 65536 + 14814");
MOZ_RELEASE_ASSERT(
TestEqual(WrappingAdd(int16_t(0), int16_t(-32768)), int16_t(-32768)),
"zero plus anything is anything");
MOZ_RELEASE_ASSERT(
TestEqual(WrappingAdd(int16_t(32765), int16_t(8)), int16_t(-32763)),
"overflow to negative");
MOZ_RELEASE_ASSERT(
TestEqual(WrappingAdd(int16_t(5), int16_t(-28933)), int16_t(-28928)),
"5 - 28933 is -28928");
MOZ_RELEASE_ASSERT(
TestEqual(WrappingAdd(int16_t(-23892), int16_t(-12893)), int16_t(28751)),
"underflow to positive");
MOZ_RELEASE_ASSERT(
TestEqual(WrappingAdd(int16_t(-32768), int16_t(32767)), int16_t(-1)),
"high bit plus all lower bits is -1");
}
static void TestWrappingAdd32() {
MOZ_RELEASE_ASSERT(TestEqual(WrappingAdd(uint32_t(0), uint32_t(2147483648)),
uint32_t(2147483648)),
"zero plus anything is anything");
MOZ_RELEASE_ASSERT(
TestEqual(WrappingAdd(uint32_t(1398742328), uint32_t(714192829)),
uint32_t(2112935157)),
"1398742328 + 714192829 == 2112935157");
MOZ_RELEASE_ASSERT(
TestEqual(WrappingAdd(uint32_t(4294967295), uint32_t(1)), uint32_t(0)),
"all bits plus one overflows to zero");
MOZ_RELEASE_ASSERT(
TestEqual(WrappingAdd(uint32_t(2147483648), uint32_t(2147483647)),
uint32_t(4294967295)),
"high bit plus all lower bits is all bits");
MOZ_RELEASE_ASSERT(
TestEqual(WrappingAdd(uint32_t(2147483648), uint32_t(3146492712)),
uint32_t(999009064)),
"2147483648 + 3146492712 is 4294967296 + 999009064");
MOZ_RELEASE_ASSERT(
TestEqual(WrappingAdd(int32_t(0), int32_t(-2147483647 - 1)),
int32_t(-2147483647 - 1)),
"zero plus anything is anything");
MOZ_RELEASE_ASSERT(TestEqual(WrappingAdd(int32_t(2147483645), int32_t(8)),
int32_t(-2147483643)),
"overflow to negative");
MOZ_RELEASE_ASSERT(TestEqual(WrappingAdd(int32_t(257), int32_t(-23947248)),
int32_t(-23946991)),
"257 - 23947248 is -23946991");
MOZ_RELEASE_ASSERT(
TestEqual(WrappingAdd(int32_t(-2147483220), int32_t(-12893)),
int32_t(2147471183)),
"underflow to positive");
MOZ_RELEASE_ASSERT(
TestEqual(WrappingAdd(int32_t(-32768), int32_t(32767)), int32_t(-1)),
"high bit plus all lower bits is -1");
}
static void TestWrappingAdd64() {
MOZ_RELEASE_ASSERT(
TestEqual(WrappingAdd(uint64_t(0), uint64_t(9223372036854775808ULL)),
uint64_t(9223372036854775808ULL)),
"zero plus anything is anything");
MOZ_RELEASE_ASSERT(
TestEqual(WrappingAdd(uint64_t(70368744177664), uint64_t(3740873592)),
uint64_t(70372485051256)),
"70368744177664 + 3740873592 == 70372485051256");
MOZ_RELEASE_ASSERT(
TestEqual(WrappingAdd(uint64_t(18446744073709551615ULL), uint64_t(1)),
uint64_t(0)),
"all bits plus one overflows to zero");
MOZ_RELEASE_ASSERT(TestEqual(WrappingAdd(uint64_t(9223372036854775808ULL),
uint64_t(9223372036854775807ULL)),
uint64_t(18446744073709551615ULL)),
"high bit plus all lower bits is all bits");
MOZ_RELEASE_ASSERT(TestEqual(WrappingAdd(uint64_t(14552598638644786479ULL),
uint64_t(3894174382537247221ULL)),
uint64_t(28947472482084)),
"9223372036854775808 + 3146492712 is 18446744073709551616 "
"+ 28947472482084");
MOZ_RELEASE_ASSERT(
TestEqual(WrappingAdd(int64_t(0), int64_t(-9223372036854775807LL - 1)),
int64_t(-9223372036854775807LL - 1)),
"zero plus anything is anything");
MOZ_RELEASE_ASSERT(
TestEqual(WrappingAdd(int64_t(9223372036854775802LL), int64_t(8)),
int64_t(-9223372036854775806LL)),
"overflow to negative");
MOZ_RELEASE_ASSERT(
TestEqual(WrappingAdd(int64_t(37482739294298742LL),
int64_t(-437843573929483498LL)),
int64_t(-400360834635184756LL)),
"37482739294298742 - 437843573929483498 is -400360834635184756");
MOZ_RELEASE_ASSERT(TestEqual(WrappingAdd(int64_t(-9127837934058953374LL),
int64_t(-4173572032144775807LL)),
int64_t(5145334107505822435L)),
"underflow to positive");
MOZ_RELEASE_ASSERT(TestEqual(WrappingAdd(int64_t(-9223372036854775807LL - 1),
int64_t(9223372036854775807LL)),
int64_t(-1)),
"high bit plus all lower bits is -1");
}
static void TestWrappingAdd() {
TestWrappingAdd8();
TestWrappingAdd16();
TestWrappingAdd32();
TestWrappingAdd64();
}
static void TestWrappingSubtract8() {
MOZ_RELEASE_ASSERT(
TestEqual(WrappingSubtract(uint8_t(0), uint8_t(128)), uint8_t(128)),
"zero minus half is half");
MOZ_RELEASE_ASSERT(
TestEqual(WrappingSubtract(uint8_t(17), uint8_t(42)), uint8_t(231)),
"17 - 42 == -25 added to 256 is 231");
MOZ_RELEASE_ASSERT(
TestEqual(WrappingSubtract(uint8_t(0), uint8_t(1)), uint8_t(255)),
"zero underflows to all bits");
MOZ_RELEASE_ASSERT(
TestEqual(WrappingSubtract(uint8_t(128), uint8_t(127)), uint8_t(1)),
"128 - 127 == 1");
MOZ_RELEASE_ASSERT(
TestEqual(WrappingSubtract(uint8_t(128), uint8_t(193)), uint8_t(191)),
"128 - 193 is -65 so -65 + 256 == 191");
MOZ_RELEASE_ASSERT(
TestEqual(WrappingSubtract(int8_t(0), int8_t(-128)), int8_t(-128)),
"zero minus high bit wraps to high bit");
MOZ_RELEASE_ASSERT(
TestEqual(WrappingSubtract(int8_t(-126), int8_t(4)), int8_t(126)),
"underflow to positive");
MOZ_RELEASE_ASSERT(
TestEqual(WrappingSubtract(int8_t(5), int8_t(-123)), int8_t(-128)),
"overflow to negative");
MOZ_RELEASE_ASSERT(
TestEqual(WrappingSubtract(int8_t(-85), int8_t(-73)), int8_t(-12)),
"negative minus smaller negative");
MOZ_RELEASE_ASSERT(
TestEqual(WrappingSubtract(int8_t(-128), int8_t(127)), int8_t(1)),
"underflow to 1");
}
static void TestWrappingSubtract16() {
MOZ_RELEASE_ASSERT(TestEqual(WrappingSubtract(uint16_t(0), uint16_t(32768)),
uint16_t(32768)),
"zero minus half is half");
MOZ_RELEASE_ASSERT(
TestEqual(WrappingSubtract(uint16_t(24389), uint16_t(2682)),
uint16_t(21707)),
"24389 - 2682 == 21707");
MOZ_RELEASE_ASSERT(
TestEqual(WrappingSubtract(uint16_t(0), uint16_t(1)), uint16_t(65535)),
"zero underflows to all bits");
MOZ_RELEASE_ASSERT(
TestEqual(WrappingSubtract(uint16_t(32768), uint16_t(32767)),
uint16_t(1)),
"high bit minus all lower bits is one");
MOZ_RELEASE_ASSERT(
TestEqual(WrappingSubtract(uint16_t(32768), uint16_t(47582)),
uint16_t(50722)),
"32768 - 47582 + 65536 is 50722");
MOZ_RELEASE_ASSERT(
TestEqual(WrappingSubtract(int16_t(0), int16_t(-32768)), int16_t(-32768)),
"zero minus high bit wraps to high bit");
MOZ_RELEASE_ASSERT(
TestEqual(WrappingSubtract(int16_t(-32766), int16_t(4)), int16_t(32766)),
"underflow to positive");
MOZ_RELEASE_ASSERT(
TestEqual(WrappingSubtract(int16_t(5), int16_t(-28933)), int16_t(28938)),
"5 - -28933 is 28938");
MOZ_RELEASE_ASSERT(
TestEqual(WrappingSubtract(int16_t(-23892), int16_t(-12893)),
int16_t(-10999)),
"negative minus smaller negative");
MOZ_RELEASE_ASSERT(
TestEqual(WrappingSubtract(int16_t(-32768), int16_t(32767)), int16_t(1)),
"underflow to 1");
}
static void TestWrappingSubtract32() {
MOZ_RELEASE_ASSERT(
TestEqual(WrappingSubtract(uint32_t(0), uint32_t(2147483648)),
uint32_t(2147483648)),
"zero minus half is half");
MOZ_RELEASE_ASSERT(
TestEqual(WrappingSubtract(uint32_t(1398742328), uint32_t(714192829)),
uint32_t(684549499)),
"1398742328 - 714192829 == 684549499");
MOZ_RELEASE_ASSERT(TestEqual(WrappingSubtract(uint32_t(0), uint32_t(1)),
uint32_t(4294967295)),
"zero underflows to all bits");
MOZ_RELEASE_ASSERT(
TestEqual(WrappingSubtract(uint32_t(2147483648), uint32_t(2147483647)),
uint32_t(1)),
"high bit minus all lower bits is one");
MOZ_RELEASE_ASSERT(
TestEqual(WrappingSubtract(uint32_t(2147483648), uint32_t(3146492712)),
uint32_t(3295958232)),
"2147483648 - 3146492712 + 4294967296 is 3295958232");
MOZ_RELEASE_ASSERT(
TestEqual(WrappingSubtract(int32_t(0), int32_t(-2147483647 - 1)),
int32_t(-2147483647 - 1)),
"zero minus high bit wraps to high bit");
MOZ_RELEASE_ASSERT(
TestEqual(WrappingSubtract(int32_t(-2147483646), int32_t(4)),
int32_t(2147483646)),
"underflow to positive");
MOZ_RELEASE_ASSERT(
TestEqual(WrappingSubtract(int32_t(257), int32_t(-23947248)),
int32_t(23947505)),
"257 - -23947248 is 23947505");
MOZ_RELEASE_ASSERT(
TestEqual(WrappingSubtract(int32_t(-2147483220), int32_t(-12893)),
int32_t(-2147470327)),
"negative minus smaller negative");
MOZ_RELEASE_ASSERT(
TestEqual(WrappingSubtract(int32_t(-2147483647 - 1), int32_t(2147483647)),
int32_t(1)),
"underflow to 1");
}
static void TestWrappingSubtract64() {
MOZ_RELEASE_ASSERT(
TestEqual(WrappingSubtract(uint64_t(0), uint64_t(9223372036854775808ULL)),
uint64_t(9223372036854775808ULL)),
"zero minus half is half");
MOZ_RELEASE_ASSERT(TestEqual(WrappingSubtract(uint64_t(70368744177664),
uint64_t(3740873592)),
uint64_t(70365003304072)),
"70368744177664 - 3740873592 == 70365003304072");
MOZ_RELEASE_ASSERT(TestEqual(WrappingSubtract(uint64_t(0), uint64_t(1)),
uint64_t(18446744073709551615ULL)),
"zero underflows to all bits");
MOZ_RELEASE_ASSERT(
TestEqual(WrappingSubtract(uint64_t(9223372036854775808ULL),
uint64_t(9223372036854775807ULL)),
uint64_t(1)),
"high bit minus all lower bits is one");
MOZ_RELEASE_ASSERT(
TestEqual(WrappingSubtract(uint64_t(14552598638644786479ULL),
uint64_t(3894174382537247221ULL)),
uint64_t(10658424256107539258ULL)),
"14552598638644786479 - 39763621533397112216 is 10658424256107539258L");
MOZ_RELEASE_ASSERT(
TestEqual(
WrappingSubtract(int64_t(0), int64_t(-9223372036854775807LL - 1)),
int64_t(-9223372036854775807LL - 1)),
"zero minus high bit wraps to high bit");
MOZ_RELEASE_ASSERT(
TestEqual(WrappingSubtract(int64_t(-9223372036854775802LL), int64_t(8)),
int64_t(9223372036854775806LL)),
"overflow to negative");
MOZ_RELEASE_ASSERT(
TestEqual(WrappingSubtract(int64_t(37482739294298742LL),
int64_t(-437843573929483498LL)),
int64_t(475326313223782240)),
"37482739294298742 - -437843573929483498 is 475326313223782240");
MOZ_RELEASE_ASSERT(
TestEqual(WrappingSubtract(int64_t(-9127837934058953374LL),
int64_t(-4173572032144775807LL)),
int64_t(-4954265901914177567LL)),
"negative minus smaller negative");
MOZ_RELEASE_ASSERT(
TestEqual(WrappingSubtract(int64_t(-9223372036854775807LL - 1),
int64_t(9223372036854775807LL)),
int64_t(1)),
"underflow to 1");
}
static void TestWrappingSubtract() {
TestWrappingSubtract8();
TestWrappingSubtract16();
TestWrappingSubtract32();
TestWrappingSubtract64();
}
static void TestWrappingMultiply8() {
MOZ_RELEASE_ASSERT(
TestEqual(WrappingMultiply(uint8_t(0), uint8_t(128)), uint8_t(0)),
"zero times anything is zero");
MOZ_RELEASE_ASSERT(
TestEqual(WrappingMultiply(uint8_t(128), uint8_t(1)), uint8_t(128)),
"1 times anything is anything");
MOZ_RELEASE_ASSERT(
TestEqual(WrappingMultiply(uint8_t(2), uint8_t(128)), uint8_t(0)),
"2 times high bit overflows, produces zero");
MOZ_RELEASE_ASSERT(
TestEqual(WrappingMultiply(uint8_t(8), uint8_t(16)), uint8_t(128)),
"multiply that populates the high bit produces that value");
MOZ_RELEASE_ASSERT(
TestEqual(WrappingMultiply(uint8_t(127), uint8_t(127)), uint8_t(1)),
"multiplying signed maxvals overflows all the way to 1");
MOZ_RELEASE_ASSERT(
TestEqual(WrappingMultiply(int8_t(0), int8_t(-128)), int8_t(0)),
"zero times anything is zero");
MOZ_RELEASE_ASSERT(
TestEqual(WrappingMultiply(int8_t(-128), int8_t(1)), int8_t(-128)),
"1 times anything is anything");
MOZ_RELEASE_ASSERT(
TestEqual(WrappingMultiply(int8_t(2), int8_t(-128)), int8_t(0)),
"2 times min overflows, produces zero");
MOZ_RELEASE_ASSERT(
TestEqual(WrappingMultiply(int8_t(16), int8_t(24)), int8_t(-128)),
"multiply that populates the sign bit produces minval");
MOZ_RELEASE_ASSERT(
TestEqual(WrappingMultiply(int8_t(8), int8_t(16)), int8_t(-128)),
"multiply that populates the sign bit produces minval");
MOZ_RELEASE_ASSERT(
TestEqual(WrappingMultiply(int8_t(127), int8_t(127)), int8_t(1)),
"multiplying maxvals overflows all the way to 1");
}
static void TestWrappingMultiply16() {
MOZ_RELEASE_ASSERT(
TestEqual(WrappingMultiply(uint16_t(0), uint16_t(32768)), uint16_t(0)),
"zero times anything is zero");
MOZ_RELEASE_ASSERT(TestEqual(WrappingMultiply(uint16_t(32768), uint16_t(1)),
uint16_t(32768)),
"1 times anything is anything");
MOZ_RELEASE_ASSERT(
TestEqual(WrappingMultiply(uint16_t(2), uint16_t(32768)), uint16_t(0)),
"2 times high bit overflows, produces zero");
MOZ_RELEASE_ASSERT(TestEqual(WrappingMultiply(uint16_t(3), uint16_t(32768)),
uint16_t(-32768)),
"3 * 32768 - 65536 is 32768");
MOZ_RELEASE_ASSERT(
TestEqual(WrappingMultiply(uint16_t(64), uint16_t(512)), uint16_t(32768)),
"multiply that populates the high bit produces that value");
MOZ_RELEASE_ASSERT(
TestEqual(WrappingMultiply(uint16_t(32767), uint16_t(32767)),
uint16_t(1)),
"multiplying signed maxvals overflows all the way to 1");
MOZ_RELEASE_ASSERT(
TestEqual(WrappingMultiply(int16_t(0), int16_t(-32768)), int16_t(0)),
"zero times anything is zero");
MOZ_RELEASE_ASSERT(
TestEqual(WrappingMultiply(int16_t(-32768), int16_t(1)), int16_t(-32768)),
"1 times anything is anything");
MOZ_RELEASE_ASSERT(
TestEqual(WrappingMultiply(int16_t(-456), int16_t(123)), int16_t(9448)),
"multiply opposite signs, then add 2**16 for the result");
MOZ_RELEASE_ASSERT(
TestEqual(WrappingMultiply(int16_t(2), int16_t(-32768)), int16_t(0)),
"2 times min overflows, produces zero");
MOZ_RELEASE_ASSERT(
TestEqual(WrappingMultiply(int16_t(64), int16_t(512)), int16_t(-32768)),
"multiply that populates the sign bit produces minval");
MOZ_RELEASE_ASSERT(
TestEqual(WrappingMultiply(int16_t(32767), int16_t(32767)), int16_t(1)),
"multiplying maxvals overflows all the way to 1");
}
static void TestWrappingMultiply32() {
MOZ_RELEASE_ASSERT(
TestEqual(WrappingMultiply(uint32_t(0), uint32_t(2147483648)),
uint32_t(0)),
"zero times anything is zero");
MOZ_RELEASE_ASSERT(
TestEqual(WrappingMultiply(uint32_t(42), uint32_t(17)), uint32_t(714)),
"42 * 17 is 714 without wraparound");
MOZ_RELEASE_ASSERT(
TestEqual(WrappingMultiply(uint32_t(2147483648), uint32_t(1)),
uint32_t(2147483648)),
"1 times anything is anything");
MOZ_RELEASE_ASSERT(
TestEqual(WrappingMultiply(uint32_t(2), uint32_t(2147483648)),
uint32_t(0)),
"2 times high bit overflows, produces zero");
MOZ_RELEASE_ASSERT(
TestEqual(WrappingMultiply(uint32_t(8192), uint32_t(262144)),
uint32_t(2147483648)),
"multiply that populates the high bit produces that value");
MOZ_RELEASE_ASSERT(
TestEqual(WrappingMultiply(uint32_t(2147483647), uint32_t(2147483647)),
uint32_t(1)),
"multiplying signed maxvals overflows all the way to 1");
MOZ_RELEASE_ASSERT(
TestEqual(WrappingMultiply(int32_t(0), int32_t(-2147483647 - 1)),
int32_t(0)),
"zero times anything is zero");
MOZ_RELEASE_ASSERT(
TestEqual(WrappingMultiply(int32_t(-2147483647 - 1), int32_t(1)),
int32_t(-2147483647 - 1)),
"1 times anything is anything");
MOZ_RELEASE_ASSERT(
TestEqual(WrappingMultiply(int32_t(2), int32_t(-2147483647 - 1)),
int32_t(0)),
"2 times min overflows, produces zero");
MOZ_RELEASE_ASSERT(
TestEqual(WrappingMultiply(int32_t(-7), int32_t(-9)), int32_t(63)),
"-7 * -9 is 63, no wraparound needed");
MOZ_RELEASE_ASSERT(TestEqual(WrappingMultiply(int32_t(8192), int32_t(262144)),
int32_t(-2147483647 - 1)),
"multiply that populates the sign bit produces minval");
MOZ_RELEASE_ASSERT(
TestEqual(WrappingMultiply(int32_t(2147483647), int32_t(2147483647)),
int32_t(1)),
"multiplying maxvals overflows all the way to 1");
}
static void TestWrappingMultiply64() {
MOZ_RELEASE_ASSERT(
TestEqual(WrappingMultiply(uint64_t(0), uint64_t(9223372036854775808ULL)),
uint64_t(0)),
"zero times anything is zero");
MOZ_RELEASE_ASSERT(
TestEqual(WrappingMultiply(uint64_t(9223372036854775808ULL), uint64_t(1)),
uint64_t(9223372036854775808ULL)),
"1 times anything is anything");
MOZ_RELEASE_ASSERT(
TestEqual(WrappingMultiply(uint64_t(2), uint64_t(9223372036854775808ULL)),
uint64_t(0)),
"2 times high bit overflows, produces zero");
MOZ_RELEASE_ASSERT(
TestEqual(WrappingMultiply(uint64_t(131072), uint64_t(70368744177664)),
uint64_t(9223372036854775808ULL)),
"multiply that populates the high bit produces that value");
MOZ_RELEASE_ASSERT(TestEqual(WrappingMultiply(uint64_t(9223372036854775807),
uint64_t(9223372036854775807)),
uint64_t(1)),
"multiplying signed maxvals overflows all the way to 1");
MOZ_RELEASE_ASSERT(
TestEqual(WrappingMultiply(int64_t(0), int64_t(-9223372036854775807 - 1)),
int64_t(0)),
"zero times anything is zero");
MOZ_RELEASE_ASSERT(
TestEqual(WrappingMultiply(int64_t(-9223372036854775807 - 1), int64_t(1)),
int64_t(-9223372036854775807 - 1)),
"1 times anything is anything");
MOZ_RELEASE_ASSERT(
TestEqual(WrappingMultiply(int64_t(2), int64_t(-9223372036854775807 - 1)),
int64_t(0)),
"2 times min overflows, produces zero");
MOZ_RELEASE_ASSERT(
TestEqual(WrappingMultiply(int64_t(131072), int64_t(70368744177664)),
int64_t(-9223372036854775807 - 1)),
"multiply that populates the sign bit produces minval");
MOZ_RELEASE_ASSERT(TestEqual(WrappingMultiply(int64_t(9223372036854775807),
int64_t(9223372036854775807)),
int64_t(1)),
"multiplying maxvals overflows all the way to 1");
}
static void TestWrappingMultiply() {
TestWrappingMultiply8();
TestWrappingMultiply16();
TestWrappingMultiply32();
TestWrappingMultiply64();
}
int main() {
TestWrappingAdd();
TestWrappingSubtract();
TestWrappingMultiply();
return 0;
}