tool/mbed/mbed-sdk/libraries/tests/mbed/div/main.cpp

   1 #include <utility>      // std::pair
   2 #include "mbed.h"
   3 #include "test_env.h"
   4
   5 uint32_t test_64(uint64_t ticks) {
   6     ticks >>= 3; // divide by 8
   7     if (ticks > 0xFFFFFFFF) {
   8         ticks /= 3;
   9     } else {
  10         ticks = (ticks * 0x55555556) >> 32; // divide by 3
  11     }
  12     return (uint32_t)(0xFFFFFFFF & ticks);
  13 }
  14
  15 const char *result_str(bool result) {
  16     return result ? "[OK]" : "[FAIL]";
  17 }
  18
  19 int main() {
  20     MBED_HOSTTEST_TIMEOUT(20);
  21     MBED_HOSTTEST_SELECT(default_auto);
  22     MBED_HOSTTEST_DESCRIPTION(Integer constant division);
  23     MBED_HOSTTEST_START("MBED_26");
  24
  25     bool result = true;
  26
  27     {   // 0xFFFFFFFF *  8 =  0x7fffffff8
  28         std::pair<uint32_t, uint64_t> values = std::make_pair(0x55555555, 0x7FFFFFFF8);
  29         uint32_t test_ret = test_64(values.second);
  30         bool test_res = values.first == test_ret;
  31         result = result && test_res;
  32         printf("64bit: 0x7FFFFFFF8: expected 0x%lX got 0x%lX ... %s\r\n", values.first, test_ret, result_str(test_res));
  33     }
  34
  35     {   // 0xFFFFFFFF * 24 = 0x17ffffffe8
  36         std::pair<uint32_t, uint64_t> values = std::make_pair(0xFFFFFFFF, 0x17FFFFFFE8);
  37         uint32_t test_ret = test_64(values.second);
  38         bool test_res = values.first == test_ret;
  39         result = result && test_res;
  40         printf("64bit: 0x17FFFFFFE8: expected 0x%lX got 0x%lX ... %s\r\n", values.first, test_ret, result_str(test_res));
  41     }
  42
  43     MBED_HOSTTEST_RESULT(result);
  44 }