mirror of https://github.com/ARMmbed/mbed-os.git
363 lines
13 KiB
C++
363 lines
13 KiB
C++
/* 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 "mbed.h"
|
|
#include "greentea-client/test_env.h"
|
|
#include "unity.h"
|
|
#include "utest.h"
|
|
|
|
using namespace utest::v1;
|
|
|
|
|
|
// static functions
|
|
template <typename T>
|
|
T static_func0()
|
|
{ return 0; }
|
|
template <typename T>
|
|
T static_func1(T a0)
|
|
{ return 0 | a0; }
|
|
template <typename T>
|
|
T static_func2(T a0, T a1)
|
|
{ return 0 | a0 | a1; }
|
|
template <typename T>
|
|
T static_func3(T a0, T a1, T a2)
|
|
{ return 0 | a0 | a1 | a2; }
|
|
template <typename T>
|
|
T static_func4(T a0, T a1, T a2, T a3)
|
|
{ return 0 | a0 | a1 | a2 | a3; }
|
|
template <typename T>
|
|
T static_func5(T a0, T a1, T a2, T a3, T a4)
|
|
{ return 0 | a0 | a1 | a2 | a3 | a4; }
|
|
|
|
// class functions
|
|
template <typename T>
|
|
struct Thing {
|
|
T t;
|
|
Thing() : t(0x80) {}
|
|
|
|
T member_func0()
|
|
{ return t; }
|
|
T member_func1(T a0)
|
|
{ return t | a0; }
|
|
T member_func2(T a0, T a1)
|
|
{ return t | a0 | a1; }
|
|
T member_func3(T a0, T a1, T a2)
|
|
{ return t | a0 | a1 | a2; }
|
|
T member_func4(T a0, T a1, T a2, T a3)
|
|
{ return t | a0 | a1 | a2 | a3; }
|
|
T member_func5(T a0, T a1, T a2, T a3, T a4)
|
|
{ return t | a0 | a1 | a2 | a3 | a4; }
|
|
|
|
T const_member_func0() const
|
|
{ return t; }
|
|
T const_member_func1(T a0) const
|
|
{ return t | a0; }
|
|
T const_member_func2(T a0, T a1) const
|
|
{ return t | a0 | a1; }
|
|
T const_member_func3(T a0, T a1, T a2) const
|
|
{ return t | a0 | a1 | a2; }
|
|
T const_member_func4(T a0, T a1, T a2, T a3) const
|
|
{ return t | a0 | a1 | a2 | a3; }
|
|
T const_member_func5(T a0, T a1, T a2, T a3, T a4) const
|
|
{ return t | a0 | a1 | a2 | a3 | a4; }
|
|
|
|
T volatile_member_func0() volatile
|
|
{ return t; }
|
|
T volatile_member_func1(T a0) volatile
|
|
{ return t | a0; }
|
|
T volatile_member_func2(T a0, T a1) volatile
|
|
{ return t | a0 | a1; }
|
|
T volatile_member_func3(T a0, T a1, T a2) volatile
|
|
{ return t | a0 | a1 | a2; }
|
|
T volatile_member_func4(T a0, T a1, T a2, T a3) volatile
|
|
{ return t | a0 | a1 | a2 | a3; }
|
|
T volatile_member_func5(T a0, T a1, T a2, T a3, T a4) volatile
|
|
{ return t | a0 | a1 | a2 | a3 | a4; }
|
|
|
|
T const_volatile_member_func0() const volatile
|
|
{ return t; }
|
|
T const_volatile_member_func1(T a0) const volatile
|
|
{ return t | a0; }
|
|
T const_volatile_member_func2(T a0, T a1) const volatile
|
|
{ return t | a0 | a1; }
|
|
T const_volatile_member_func3(T a0, T a1, T a2) const volatile
|
|
{ return t | a0 | a1 | a2; }
|
|
T const_volatile_member_func4(T a0, T a1, T a2, T a3) const volatile
|
|
{ return t | a0 | a1 | a2 | a3; }
|
|
T const_volatile_member_func5(T a0, T a1, T a2, T a3, T a4) const volatile
|
|
{ return t | a0 | a1 | a2 | a3 | a4; }
|
|
};
|
|
|
|
// bound functions
|
|
template <typename T>
|
|
T bound_func0(Thing<T> *t)
|
|
{ return t->t; }
|
|
template <typename T>
|
|
T bound_func1(Thing<T> *t, T a0)
|
|
{ return t->t | a0; }
|
|
template <typename T>
|
|
T bound_func2(Thing<T> *t, T a0, T a1)
|
|
{ return t->t | a0 | a1; }
|
|
template <typename T>
|
|
T bound_func3(Thing<T> *t, T a0, T a1, T a2)
|
|
{ return t->t | a0 | a1 | a2; }
|
|
template <typename T>
|
|
T bound_func4(Thing<T> *t, T a0, T a1, T a2, T a3)
|
|
{ return t->t | a0 | a1 | a2 | a3; }
|
|
template <typename T>
|
|
T bound_func5(Thing<T> *t, T a0, T a1, T a2, T a3, T a4)
|
|
{ return t->t | a0 | a1 | a2 | a3 | a4; }
|
|
template <typename T>
|
|
T const_bound_func0(const Thing<T> *t)
|
|
{ return t->t; }
|
|
template <typename T>
|
|
T const_bound_func1(const Thing<T> *t, T a0)
|
|
{ return t->t | a0; }
|
|
template <typename T>
|
|
T const_bound_func2(const Thing<T> *t, T a0, T a1)
|
|
{ return t->t | a0 | a1; }
|
|
template <typename T>
|
|
T const_bound_func3(const Thing<T> *t, T a0, T a1, T a2)
|
|
{ return t->t | a0 | a1 | a2; }
|
|
template <typename T>
|
|
T const_bound_func4(const Thing<T> *t, T a0, T a1, T a2, T a3)
|
|
{ return t->t | a0 | a1 | a2 | a3; }
|
|
template <typename T>
|
|
T const_bound_func5(const Thing<T> *t, T a0, T a1, T a2, T a3, T a4)
|
|
{ return t->t | a0 | a1 | a2 | a3 | a4; }
|
|
template <typename T>
|
|
T volatile_bound_func0(volatile Thing<T> *t)
|
|
{ return t->t; }
|
|
template <typename T>
|
|
T volatile_bound_func1(volatile Thing<T> *t, T a0)
|
|
{ return t->t | a0; }
|
|
template <typename T>
|
|
T volatile_bound_func2(volatile Thing<T> *t, T a0, T a1)
|
|
{ return t->t | a0 | a1; }
|
|
template <typename T>
|
|
T volatile_bound_func3(volatile Thing<T> *t, T a0, T a1, T a2)
|
|
{ return t->t | a0 | a1 | a2; }
|
|
template <typename T>
|
|
T volatile_bound_func4(volatile Thing<T> *t, T a0, T a1, T a2, T a3)
|
|
{ return t->t | a0 | a1 | a2 | a3; }
|
|
template <typename T>
|
|
T volatile_bound_func5(volatile Thing<T> *t, T a0, T a1, T a2, T a3, T a4)
|
|
{ return t->t | a0 | a1 | a2 | a3 | a4; }
|
|
template <typename T>
|
|
T const_volatile_bound_func0(const volatile Thing<T> *t)
|
|
{ return t->t; }
|
|
template <typename T>
|
|
T const_volatile_bound_func1(const volatile Thing<T> *t, T a0)
|
|
{ return t->t | a0; }
|
|
template <typename T>
|
|
T const_volatile_bound_func2(const volatile Thing<T> *t, T a0, T a1)
|
|
{ return t->t | a0 | a1; }
|
|
template <typename T>
|
|
T const_volatile_bound_func3(const volatile Thing<T> *t, T a0, T a1, T a2)
|
|
{ return t->t | a0 | a1 | a2; }
|
|
template <typename T>
|
|
T const_volatile_bound_func4(const volatile Thing<T> *t, T a0, T a1, T a2, T a3)
|
|
{ return t->t | a0 | a1 | a2 | a3; }
|
|
template <typename T>
|
|
T const_volatile_bound_func5(const volatile Thing<T> *t, T a0, T a1, T a2, T a3, T a4)
|
|
{ return t->t | a0 | a1 | a2 | a3 | a4; }
|
|
|
|
// void functions
|
|
template <typename T>
|
|
T void_func0(void *t)
|
|
{ return static_cast<Thing<T>*>(t)->t; }
|
|
template <typename T>
|
|
T void_func1(void *t, T a0)
|
|
{ return static_cast<Thing<T>*>(t)->t | a0; }
|
|
template <typename T>
|
|
T void_func2(void *t, T a0, T a1)
|
|
{ return static_cast<Thing<T>*>(t)->t | a0 | a1; }
|
|
template <typename T>
|
|
T void_func3(void *t, T a0, T a1, T a2)
|
|
{ return static_cast<Thing<T>*>(t)->t | a0 | a1 | a2; }
|
|
template <typename T>
|
|
T void_func4(void *t, T a0, T a1, T a2, T a3)
|
|
{ return static_cast<Thing<T>*>(t)->t | a0 | a1 | a2 | a3; }
|
|
template <typename T>
|
|
T void_func5(void *t, T a0, T a1, T a2, T a3, T a4)
|
|
{ return static_cast<Thing<T>*>(t)->t | a0 | a1 | a2 | a3 | a4; }
|
|
template <typename T>
|
|
T const_void_func0(const void *t)
|
|
{ return static_cast<const Thing<T>*>(t)->t; }
|
|
template <typename T>
|
|
T const_void_func1(const void *t, T a0)
|
|
{ return static_cast<const Thing<T>*>(t)->t | a0; }
|
|
template <typename T>
|
|
T const_void_func2(const void *t, T a0, T a1)
|
|
{ return static_cast<const Thing<T>*>(t)->t | a0 | a1; }
|
|
template <typename T>
|
|
T const_void_func3(const void *t, T a0, T a1, T a2)
|
|
{ return static_cast<const Thing<T>*>(t)->t | a0 | a1 | a2; }
|
|
template <typename T>
|
|
T const_void_func4(const void *t, T a0, T a1, T a2, T a3)
|
|
{ return static_cast<const Thing<T>*>(t)->t | a0 | a1 | a2 | a3; }
|
|
template <typename T>
|
|
T const_void_func5(const void *t, T a0, T a1, T a2, T a3, T a4)
|
|
{ return static_cast<const Thing<T>*>(t)->t | a0 | a1 | a2 | a3 | a4; }
|
|
template <typename T>
|
|
T volatile_void_func0(volatile void *t)
|
|
{ return static_cast<volatile Thing<T>*>(t)->t; }
|
|
template <typename T>
|
|
T volatile_void_func1(volatile void *t, T a0)
|
|
{ return static_cast<volatile Thing<T>*>(t)->t | a0; }
|
|
template <typename T>
|
|
T volatile_void_func2(volatile void *t, T a0, T a1)
|
|
{ return static_cast<volatile Thing<T>*>(t)->t | a0 | a1; }
|
|
template <typename T>
|
|
T volatile_void_func3(volatile void *t, T a0, T a1, T a2)
|
|
{ return static_cast<volatile Thing<T>*>(t)->t | a0 | a1 | a2; }
|
|
template <typename T>
|
|
T volatile_void_func4(volatile void *t, T a0, T a1, T a2, T a3)
|
|
{ return static_cast<volatile Thing<T>*>(t)->t | a0 | a1 | a2 | a3; }
|
|
template <typename T>
|
|
T volatile_void_func5(volatile void *t, T a0, T a1, T a2, T a3, T a4)
|
|
{ return static_cast<volatile Thing<T>*>(t)->t | a0 | a1 | a2 | a3 | a4; }
|
|
template <typename T>
|
|
T const_volatile_void_func0(const volatile void *t)
|
|
{ return static_cast<const volatile Thing<T>*>(t)->t; }
|
|
template <typename T>
|
|
T const_volatile_void_func1(const volatile void *t, T a0)
|
|
{ return static_cast<const volatile Thing<T>*>(t)->t | a0; }
|
|
template <typename T>
|
|
T const_volatile_void_func2(const volatile void *t, T a0, T a1)
|
|
{ return static_cast<const volatile Thing<T>*>(t)->t | a0 | a1; }
|
|
template <typename T>
|
|
T const_volatile_void_func3(const volatile void *t, T a0, T a1, T a2)
|
|
{ return static_cast<const volatile Thing<T>*>(t)->t | a0 | a1 | a2; }
|
|
template <typename T>
|
|
T const_volatile_void_func4(const volatile void *t, T a0, T a1, T a2, T a3)
|
|
{ return static_cast<const volatile Thing<T>*>(t)->t | a0 | a1 | a2 | a3; }
|
|
template <typename T>
|
|
T const_volatile_void_func5(const volatile void *t, T a0, T a1, T a2, T a3, T a4)
|
|
{ return static_cast<const volatile Thing<T>*>(t)->t | a0 | a1 | a2 | a3 | a4; }
|
|
|
|
|
|
// function call and result verification
|
|
template <typename T>
|
|
struct Verifier {
|
|
static void verify0(Callback<T()> func) {
|
|
T result = func();
|
|
TEST_ASSERT_EQUAL(result, 0x00);
|
|
}
|
|
|
|
template <typename O, typename M>
|
|
static void verify0(O *obj, M method) {
|
|
Callback<T()> func(obj, method);
|
|
T result = func();
|
|
TEST_ASSERT_EQUAL(result, 0x80);
|
|
}
|
|
|
|
static void verify1(Callback<T(T)> func) {
|
|
T result = func((1 << 0));
|
|
TEST_ASSERT_EQUAL(result, 0x00 | (1 << 0));
|
|
}
|
|
|
|
template <typename O, typename M>
|
|
static void verify1(O *obj, M method) {
|
|
Callback<T(T)> func(obj, method);
|
|
T result = func((1 << 0));
|
|
TEST_ASSERT_EQUAL(result, 0x80 | (1 << 0));
|
|
}
|
|
|
|
static void verify2(Callback<T(T, T)> func) {
|
|
T result = func((1 << 0), (1 << 1));
|
|
TEST_ASSERT_EQUAL(result, 0x00 | (1 << 0) | (1 << 1));
|
|
}
|
|
|
|
template <typename O, typename M>
|
|
static void verify2(O *obj, M method) {
|
|
Callback<T(T, T)> func(obj, method);
|
|
T result = func((1 << 0), (1 << 1));
|
|
TEST_ASSERT_EQUAL(result, 0x80 | (1 << 0) | (1 << 1));
|
|
}
|
|
|
|
static void verify3(Callback<T(T, T, T)> func) {
|
|
T result = func((1 << 0), (1 << 1), (1 << 2));
|
|
TEST_ASSERT_EQUAL(result, 0x00 | (1 << 0) | (1 << 1) | (1 << 2));
|
|
}
|
|
|
|
template <typename O, typename M>
|
|
static void verify3(O *obj, M method) {
|
|
Callback<T(T, T, T)> func(obj, method);
|
|
T result = func((1 << 0), (1 << 1), (1 << 2));
|
|
TEST_ASSERT_EQUAL(result, 0x80 | (1 << 0) | (1 << 1) | (1 << 2));
|
|
}
|
|
|
|
static void verify4(Callback<T(T, T, T, T)> func) {
|
|
T result = func((1 << 0), (1 << 1), (1 << 2), (1 << 3));
|
|
TEST_ASSERT_EQUAL(result, 0x00 | (1 << 0) | (1 << 1) | (1 << 2) | (1 << 3));
|
|
}
|
|
|
|
template <typename O, typename M>
|
|
static void verify4(O *obj, M method) {
|
|
Callback<T(T, T, T, T)> func(obj, method);
|
|
T result = func((1 << 0), (1 << 1), (1 << 2), (1 << 3));
|
|
TEST_ASSERT_EQUAL(result, 0x80 | (1 << 0) | (1 << 1) | (1 << 2) | (1 << 3));
|
|
}
|
|
|
|
static void verify5(Callback<T(T, T, T, T, T)> func) {
|
|
T result = func((1 << 0), (1 << 1), (1 << 2), (1 << 3), (1 << 4));
|
|
TEST_ASSERT_EQUAL(result, 0x00 | (1 << 0) | (1 << 1) | (1 << 2) | (1 << 3) | (1 << 4));
|
|
}
|
|
|
|
template <typename O, typename M>
|
|
static void verify5(O *obj, M method) {
|
|
Callback<T(T, T, T, T, T)> func(obj, method);
|
|
T result = func((1 << 0), (1 << 1), (1 << 2), (1 << 3), (1 << 4));
|
|
TEST_ASSERT_EQUAL(result, 0x80 | (1 << 0) | (1 << 1) | (1 << 2) | (1 << 3) | (1 << 4));
|
|
}
|
|
};
|
|
|
|
|
|
// test dispatch
|
|
template <typename T>
|
|
void test_fparg1() {
|
|
Thing<T> thing;
|
|
FunctionPointerArg1<T,T> fp(static_func1<T>);
|
|
Verifier<T>::verify1(fp);
|
|
Verifier<T>::verify1(fp.get_function());
|
|
}
|
|
|
|
template <typename T>
|
|
void test_fparg0() {
|
|
Thing<T> thing;
|
|
FunctionPointerArg1<T,void> fp(static_func0<T>);
|
|
Verifier<T>::verify0(fp);
|
|
Verifier<T>::verify0(fp.get_function());
|
|
}
|
|
|
|
|
|
// Test setup
|
|
utest::v1::status_t test_setup(const size_t number_of_cases) {
|
|
GREENTEA_SETUP(10, "default_auto");
|
|
return verbose_test_setup_handler(number_of_cases);
|
|
}
|
|
|
|
Case cases[] = {
|
|
Case("Testing FunctionPointerArg1 compatibility", test_fparg1<int>),
|
|
Case("Testing FunctionPointer compatibility", test_fparg0<int>),
|
|
};
|
|
|
|
Specification specification(test_setup, cases);
|
|
|
|
int main() {
|
|
return !Harness::run(specification);
|
|
}
|