1*c8dee2aaSAndroid Build Coastguard Worker /*
2*c8dee2aaSAndroid Build Coastguard Worker * Copyright 2017 Google Inc.
3*c8dee2aaSAndroid Build Coastguard Worker *
4*c8dee2aaSAndroid Build Coastguard Worker * Use of this source code is governed by a BSD-style license that can be
5*c8dee2aaSAndroid Build Coastguard Worker * found in the LICENSE file.
6*c8dee2aaSAndroid Build Coastguard Worker */
7*c8dee2aaSAndroid Build Coastguard Worker
8*c8dee2aaSAndroid Build Coastguard Worker #include "src/base/SkSafeMath.h"
9*c8dee2aaSAndroid Build Coastguard Worker #include "tests/Test.h"
10*c8dee2aaSAndroid Build Coastguard Worker
11*c8dee2aaSAndroid Build Coastguard Worker #include <cstddef>
12*c8dee2aaSAndroid Build Coastguard Worker #include <limits>
13*c8dee2aaSAndroid Build Coastguard Worker
DEF_TEST(SafeMath,r)14*c8dee2aaSAndroid Build Coastguard Worker DEF_TEST(SafeMath, r) {
15*c8dee2aaSAndroid Build Coastguard Worker size_t max = std::numeric_limits<size_t>::max();
16*c8dee2aaSAndroid Build Coastguard Worker
17*c8dee2aaSAndroid Build Coastguard Worker {
18*c8dee2aaSAndroid Build Coastguard Worker size_t halfMax = max >> 1;
19*c8dee2aaSAndroid Build Coastguard Worker size_t halfMaxPlus1 = halfMax + 1;
20*c8dee2aaSAndroid Build Coastguard Worker SkSafeMath safe;
21*c8dee2aaSAndroid Build Coastguard Worker REPORTER_ASSERT(r, safe.add(halfMax, halfMax) == 2 * halfMax);
22*c8dee2aaSAndroid Build Coastguard Worker REPORTER_ASSERT(r, safe);
23*c8dee2aaSAndroid Build Coastguard Worker REPORTER_ASSERT(r, safe.add(halfMax, halfMaxPlus1) == max);
24*c8dee2aaSAndroid Build Coastguard Worker REPORTER_ASSERT(r, safe);
25*c8dee2aaSAndroid Build Coastguard Worker REPORTER_ASSERT(r, safe.add(max, 1) == 0);
26*c8dee2aaSAndroid Build Coastguard Worker REPORTER_ASSERT(r, !safe);
27*c8dee2aaSAndroid Build Coastguard Worker }
28*c8dee2aaSAndroid Build Coastguard Worker
29*c8dee2aaSAndroid Build Coastguard Worker {
30*c8dee2aaSAndroid Build Coastguard Worker SkSafeMath safe;
31*c8dee2aaSAndroid Build Coastguard Worker (void) safe.add(max, max);
32*c8dee2aaSAndroid Build Coastguard Worker REPORTER_ASSERT(r, !safe);
33*c8dee2aaSAndroid Build Coastguard Worker }
34*c8dee2aaSAndroid Build Coastguard Worker
35*c8dee2aaSAndroid Build Coastguard Worker {
36*c8dee2aaSAndroid Build Coastguard Worker size_t bits = (sizeof(size_t) * 8);
37*c8dee2aaSAndroid Build Coastguard Worker size_t halfBits = bits / 2;
38*c8dee2aaSAndroid Build Coastguard Worker size_t sqrtMax = max >> halfBits;
39*c8dee2aaSAndroid Build Coastguard Worker size_t sqrtMaxPlus1 = sqrtMax + 1;
40*c8dee2aaSAndroid Build Coastguard Worker SkSafeMath safe;
41*c8dee2aaSAndroid Build Coastguard Worker REPORTER_ASSERT(r, safe.mul(sqrtMax, sqrtMax) == sqrtMax * sqrtMax);
42*c8dee2aaSAndroid Build Coastguard Worker REPORTER_ASSERT(r, safe);
43*c8dee2aaSAndroid Build Coastguard Worker REPORTER_ASSERT(r, safe.mul(sqrtMax, sqrtMaxPlus1) == sqrtMax << halfBits);
44*c8dee2aaSAndroid Build Coastguard Worker REPORTER_ASSERT(r, safe);
45*c8dee2aaSAndroid Build Coastguard Worker REPORTER_ASSERT(r, safe.mul(sqrtMaxPlus1, sqrtMaxPlus1) == 0);
46*c8dee2aaSAndroid Build Coastguard Worker REPORTER_ASSERT(r, !safe);
47*c8dee2aaSAndroid Build Coastguard Worker }
48*c8dee2aaSAndroid Build Coastguard Worker
49*c8dee2aaSAndroid Build Coastguard Worker {
50*c8dee2aaSAndroid Build Coastguard Worker SkSafeMath safe;
51*c8dee2aaSAndroid Build Coastguard Worker (void) safe.mul(max, max);
52*c8dee2aaSAndroid Build Coastguard Worker REPORTER_ASSERT(r, !safe);
53*c8dee2aaSAndroid Build Coastguard Worker }
54*c8dee2aaSAndroid Build Coastguard Worker }
55