Diff: mbed-os/TESTS/mbedmicro-mbed/div/main.cpp

Revision:

0:9fca2b23d0ba

--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/mbed-os/TESTS/mbedmicro-mbed/div/main.cpp	Sat Feb 23 12:13:36 2019 +0000
@@ -0,0 +1,56 @@
+/* mbed Microcontroller Library
+ * Copyright (c) 2017 ARM Limited
+ *
+ * Licensed under the Apache License, Version 2.0 (the "License");
+ * you may not use this file except in compliance with the License.
+ * You may obtain a copy of the License at
+ *
+ *     http://www.apache.org/licenses/LICENSE-2.0
+ *
+ * Unless required by applicable law or agreed to in writing, software
+ * distributed under the License is distributed on an "AS IS" BASIS,
+ * WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
+ * See the License for the specific language governing permissions and
+ * limitations under the License.
+ */
+#include <utility>      // std::pair
+#include "mbed.h"
+#include "greentea-client/test_env.h"
+
+uint32_t test_64(uint64_t ticks) {
+    ticks >>= 3; // divide by 8
+    if (ticks > 0xFFFFFFFF) {
+        ticks /= 3;
+    } else {
+        ticks = (ticks * 0x55555556) >> 32; // divide by 3
+    }
+    return (uint32_t)(0xFFFFFFFF & ticks);
+}
+
+const char *result_str(bool result) {
+    return result ? "[OK]" : "[FAIL]";
+}
+
+int main() {
+    GREENTEA_SETUP(5, "default_auto");
+
+    bool result = true;
+
+    {   // 0xFFFFFFFF *  8 =  0x7fffffff8
+        std::pair<uint32_t, uint64_t> values = std::make_pair(0x55555555, 0x7FFFFFFF8);
+        uint32_t test_ret = test_64(values.second);
+        bool test_res = values.first == test_ret;
+        result = result && test_res;
+        printf("64bit: 0x7FFFFFFF8: expected 0x%lX got 0x%lX ... %s\r\n", values.first, test_ret, result_str(test_res));
+    }
+
+    {   // 0xFFFFFFFF * 24 = 0x17ffffffe8
+        std::pair<uint32_t, uint64_t> values = std::make_pair(0xFFFFFFFF, 0x17FFFFFFE8);
+        uint32_t test_ret = test_64(values.second);
+        bool test_res = values.first == test_ret;
+        result = result && test_res;
+        printf("64bit: 0x17FFFFFFE8: expected 0x%lX got 0x%lX ... %s\r\n", values.first, test_ret, result_str(test_res));
+    }
+
+    GREENTEA_TESTSUITE_RESULT(result);
+}