mfbt/tests/TestAlgorithm.cpp

   1 /* -*- Mode: C++; tab-width: 8; indent-tabs-mode: nil; c-basic-offset: 2 -*- */
   2 /* vim: set ts=8 sts=2 et sw=2 tw=80: */
   3 /* This Source Code Form is subject to the terms of the Mozilla Public
   4  * License, v. 2.0. If a copy of the MPL was not distributed with this file,
   5  * You can obtain one at http://mozilla.org/MPL/2.0/. */
   6
   7 #include "mozilla/Algorithm.h"
   8 #include "mozilla/ArrayUtils.h"
   9 #include "mozilla/Assertions.h"
  10
  11 #include <iterator>
  12
  13 static constexpr bool even(int32_t n) { return !(n & 1); }
  14 static constexpr bool odd(int32_t n) { return (n & 1); }
  15
  16 using namespace mozilla;
  17
  18 void TestAllOf() {
  19   using std::begin;
  20   using std::end;
  21
  22   constexpr static int32_t arr1[3] = {1, 2, 3};
  23   MOZ_RELEASE_ASSERT(!AllOf(begin(arr1), end(arr1), even));
  24   MOZ_RELEASE_ASSERT(!AllOf(begin(arr1), end(arr1), odd));
  25   static_assert(!AllOf(arr1, arr1 + ArrayLength(arr1), even), "1-1");
  26   static_assert(!AllOf(arr1, arr1 + ArrayLength(arr1), odd), "1-2");
  27
  28   constexpr static int32_t arr2[3] = {1, 3, 5};
  29   MOZ_RELEASE_ASSERT(!AllOf(begin(arr2), end(arr2), even));
  30   MOZ_RELEASE_ASSERT(AllOf(begin(arr2), end(arr2), odd));
  31   static_assert(!AllOf(arr2, arr2 + ArrayLength(arr2), even), "2-1");
  32   static_assert(AllOf(arr2, arr2 + ArrayLength(arr2), odd), "2-2");
  33
  34   constexpr static int32_t arr3[3] = {2, 4, 6};
  35   MOZ_RELEASE_ASSERT(AllOf(begin(arr3), end(arr3), even));
  36   MOZ_RELEASE_ASSERT(!AllOf(begin(arr3), end(arr3), odd));
  37   static_assert(AllOf(arr3, arr3 + ArrayLength(arr3), even), "3-1");
  38   static_assert(!AllOf(arr3, arr3 + ArrayLength(arr3), odd), "3-2");
  39 }
  40
  41 void TestAnyOf() {
  42   using std::begin;
  43   using std::end;
  44
  45   // The Android NDK's STL doesn't support `constexpr` `std::array::begin`, see
  46   // bug 1677484. Hence using a raw array here.
  47   constexpr int32_t arr1[1] = {0};
  48   static_assert(!AnyOf(arr1, arr1, even));
  49   static_assert(!AnyOf(arr1, arr1, odd));
  50
  51   constexpr int32_t arr2[] = {1};
  52   static_assert(!AnyOf(begin(arr2), end(arr2), even));
  53   static_assert(AnyOf(begin(arr2), end(arr2), odd));
  54
  55   constexpr int32_t arr3[] = {2};
  56   static_assert(AnyOf(begin(arr3), end(arr3), even));
  57   static_assert(!AnyOf(begin(arr3), end(arr3), odd));
  58
  59   constexpr int32_t arr4[] = {1, 2};
  60   static_assert(AnyOf(begin(arr4), end(arr4), even));
  61   static_assert(AnyOf(begin(arr4), end(arr4), odd));
  62 }
  63
  64 int main() {
  65   TestAllOf();
  66   TestAnyOf();
  67   return 0;
  68 }