mirror of https://github.com/ARMmbed/mbed-os.git
Merge pull request #205 from geky/tests
[test porting] Bring over several pre-defork tests
Sam Grove
GitHub
commit
76dc58fcbd
|
|
@ -0,0 +1,267 @@
|
|||
#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_func5(T a0, T a1, T a2, T a3, T a4) { return a0 | a1 | a2 | a3 | a4; }
|
||||
template <typename T>
|
||||
T static_func4(T a0, T a1, T a2, T a3) { return a0 | a1 | a2 | a3; }
|
||||
template <typename T>
|
||||
T static_func3(T a0, T a1, T a2) { return a0 | a1 | a2; }
|
||||
template <typename T>
|
||||
T static_func2(T a0, T a1) { return a0 | a1; }
|
||||
template <typename T>
|
||||
T static_func1(T a0) { return a0; }
|
||||
template <typename T>
|
||||
T static_func0() { return 0; }
|
||||
|
||||
// class functions
|
||||
template <typename T>
|
||||
struct Thing {
|
||||
T t;
|
||||
Thing() : t(0x80) {}
|
||||
|
||||
T member_func5(T a0, T a1, T a2, T a3, T a4) { return t | a0 | a1 | a2 | a3 | a4; }
|
||||
T member_func4(T a0, T a1, T a2, T a3) { return t | a0 | a1 | a2 | a3; }
|
||||
T member_func3(T a0, T a1, T a2) { return t | a0 | a1 | a2; }
|
||||
T member_func2(T a0, T a1) { return t | a0 | a1; }
|
||||
T member_func1(T a0) { return t | a0; }
|
||||
T member_func0() { return t; }
|
||||
};
|
||||
|
||||
// bound functions
|
||||
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 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_func3(Thing<T> *t, T a0, T a1, T a2) { return t->t | a0 | a1 | a2; }
|
||||
template <typename T>
|
||||
T bound_func2(Thing<T> *t, T a0, T a1) { return t->t | a0 | a1; }
|
||||
template <typename T>
|
||||
T bound_func1(Thing<T> *t, T a0) { return t->t | a0; }
|
||||
template <typename T>
|
||||
T bound_func0(Thing<T> *t) { return t->t; }
|
||||
|
||||
|
||||
// function call and result verification
|
||||
template <typename T>
|
||||
struct Verifier {
|
||||
static void verify5(Callback<T(T,T,T,T,T)> func) {
|
||||
T result = func(0x01, 0x02, 0x04, 0x08, 0x10);
|
||||
TEST_ASSERT_EQUAL(result, 0x1f);
|
||||
}
|
||||
|
||||
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(0x01, 0x02, 0x04, 0x08, 0x10);
|
||||
TEST_ASSERT_EQUAL(result, 0x9f);
|
||||
}
|
||||
|
||||
static void verify4(Callback<T(T,T,T,T)> func) {
|
||||
T result = func(0x01, 0x02, 0x04, 0x08);
|
||||
TEST_ASSERT_EQUAL(result, 0x0f);
|
||||
}
|
||||
|
||||
template <typename O, typename M>
|
||||
static void verify4(O *obj, M method) {
|
||||
Callback<T(T,T,T,T)> func(obj, method);
|
||||
T result = func(0x01, 0x02, 0x04, 0x08);
|
||||
TEST_ASSERT_EQUAL(result, 0x8f);
|
||||
}
|
||||
|
||||
static void verify3(Callback<T(T,T,T)> func) {
|
||||
T result = func(0x01, 0x02, 0x04);
|
||||
TEST_ASSERT_EQUAL(result, 0x07);
|
||||
}
|
||||
|
||||
template <typename O, typename M>
|
||||
static void verify3(O *obj, M method) {
|
||||
Callback<T(T,T,T)> func(obj, method);
|
||||
T result = func(0x01, 0x02, 0x04);
|
||||
TEST_ASSERT_EQUAL(result, 0x87);
|
||||
}
|
||||
|
||||
static void verify2(Callback<T(T,T)> func) {
|
||||
T result = func(0x01, 0x02);
|
||||
TEST_ASSERT_EQUAL(result, 0x03);
|
||||
}
|
||||
|
||||
template <typename O, typename M>
|
||||
static void verify2(O *obj, M method) {
|
||||
Callback<T(T,T)> func(obj, method);
|
||||
T result = func(0x01, 0x02);
|
||||
TEST_ASSERT_EQUAL(result, 0x83);
|
||||
}
|
||||
|
||||
static void verify1(Callback<T(T)> func) {
|
||||
T result = func(0x01);
|
||||
TEST_ASSERT_EQUAL(result, 0x01);
|
||||
}
|
||||
|
||||
template <typename O, typename M>
|
||||
static void verify1(O *obj, M method) {
|
||||
Callback<T(T)> func(obj, method);
|
||||
T result = func(0x01);
|
||||
TEST_ASSERT_EQUAL(result, 0x81);
|
||||
}
|
||||
|
||||
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);
|
||||
}
|
||||
};
|
||||
|
||||
|
||||
// test dispatch
|
||||
template <typename T>
|
||||
void test_dispatch5() {
|
||||
Thing<T> thing;
|
||||
Verifier<T>::verify5(static_func5<T>);
|
||||
Verifier<T>::verify5(&thing, &Thing<T>::member_func5);
|
||||
Verifier<T>::verify5(&thing, &bound_func5<T>);
|
||||
|
||||
Callback<T(T,T,T,T,T)> callback(static_func5);
|
||||
Verifier<T>::verify5(callback);
|
||||
callback.attach(&thing, &bound_func5<T>);
|
||||
Verifier<T>::verify5(&callback, &Callback<T(T,T,T,T,T)>::call);
|
||||
Verifier<T>::verify5((void*)&callback, &Callback<T(T,T,T,T,T)>::thunk);
|
||||
}
|
||||
|
||||
template <typename T>
|
||||
void test_dispatch4() {
|
||||
Thing<T> thing;
|
||||
Verifier<T>::verify4(static_func4<T>);
|
||||
Verifier<T>::verify4(&thing, &Thing<T>::member_func4);
|
||||
Verifier<T>::verify4(&thing, &bound_func4<T>);
|
||||
|
||||
Callback<T(T,T,T,T)> callback(static_func4);
|
||||
Verifier<T>::verify4(callback);
|
||||
callback.attach(&thing, &bound_func4<T>);
|
||||
Verifier<T>::verify4(&callback, &Callback<T(T,T,T,T)>::call);
|
||||
Verifier<T>::verify4((void*)&callback, &Callback<T(T,T,T,T)>::thunk);
|
||||
}
|
||||
|
||||
template <typename T>
|
||||
void test_dispatch3() {
|
||||
Thing<T> thing;
|
||||
Verifier<T>::verify3(static_func3<T>);
|
||||
Verifier<T>::verify3(&thing, &Thing<T>::member_func3);
|
||||
Verifier<T>::verify3(&thing, &bound_func3<T>);
|
||||
|
||||
Callback<T(T,T,T)> callback(static_func3);
|
||||
Verifier<T>::verify3(callback);
|
||||
callback.attach(&thing, &bound_func3<T>);
|
||||
Verifier<T>::verify3(&callback, &Callback<T(T,T,T)>::call);
|
||||
Verifier<T>::verify3((void*)&callback, &Callback<T(T,T,T)>::thunk);
|
||||
}
|
||||
|
||||
template <typename T>
|
||||
void test_dispatch2() {
|
||||
Thing<T> thing;
|
||||
Verifier<T>::verify2(static_func2<T>);
|
||||
Verifier<T>::verify2(&thing, &Thing<T>::member_func2);
|
||||
Verifier<T>::verify2(&thing, &bound_func2<T>);
|
||||
|
||||
Callback<T(T,T)> callback(static_func2);
|
||||
Verifier<T>::verify2(callback);
|
||||
callback.attach(&thing, &bound_func2<T>);
|
||||
Verifier<T>::verify2(&callback, &Callback<T(T,T)>::call);
|
||||
Verifier<T>::verify2((void*)&callback, &Callback<T(T,T)>::thunk);
|
||||
}
|
||||
|
||||
template <typename T>
|
||||
void test_dispatch1() {
|
||||
Thing<T> thing;
|
||||
Verifier<T>::verify1(static_func1<T>);
|
||||
Verifier<T>::verify1(&thing, &Thing<T>::member_func1);
|
||||
Verifier<T>::verify1(&thing, &bound_func1<T>);
|
||||
|
||||
Callback<T(T)> callback(static_func1);
|
||||
Verifier<T>::verify1(callback);
|
||||
callback.attach(&thing, &bound_func1<T>);
|
||||
Verifier<T>::verify1(&callback, &Callback<T(T)>::call);
|
||||
Verifier<T>::verify1((void*)&callback, &Callback<T(T)>::thunk);
|
||||
}
|
||||
|
||||
template <typename T>
|
||||
void test_dispatch0() {
|
||||
Thing<T> thing;
|
||||
Verifier<T>::verify0(static_func0<T>);
|
||||
Verifier<T>::verify0(&thing, &Thing<T>::member_func0);
|
||||
Verifier<T>::verify0(&thing, &bound_func0<T>);
|
||||
|
||||
Callback<T()> callback(static_func0);
|
||||
Verifier<T>::verify0(callback);
|
||||
callback.attach(&thing, &bound_func0<T>);
|
||||
Verifier<T>::verify0(&callback, &Callback<T()>::call);
|
||||
Verifier<T>::verify0((void*)&callback, &Callback<T()>::thunk);
|
||||
}
|
||||
|
||||
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(5, "default_auto");
|
||||
return verbose_test_setup_handler(number_of_cases);
|
||||
}
|
||||
|
||||
Case cases[] = {
|
||||
Case("Testing callbacks with 5 ints", test_dispatch5<int>),
|
||||
Case("Testing callbacks with 4 ints", test_dispatch4<int>),
|
||||
Case("Testing callbacks with 3 ints", test_dispatch3<int>),
|
||||
Case("Testing callbacks with 2 ints", test_dispatch2<int>),
|
||||
Case("Testing callbacks with 1 ints", test_dispatch1<int>),
|
||||
Case("Testing callbacks with 0 ints", test_dispatch0<int>),
|
||||
|
||||
Case("Testing callbacks with 5 uchars", test_dispatch5<unsigned char>),
|
||||
Case("Testing callbacks with 4 uchars", test_dispatch4<unsigned char>),
|
||||
Case("Testing callbacks with 3 uchars", test_dispatch3<unsigned char>),
|
||||
Case("Testing callbacks with 2 uchars", test_dispatch2<unsigned char>),
|
||||
Case("Testing callbacks with 1 uchars", test_dispatch1<unsigned char>),
|
||||
Case("Testing callbacks with 0 uchars", test_dispatch0<unsigned char>),
|
||||
|
||||
Case("Testing callbacks with 5 uint64s", test_dispatch5<uint64_t>),
|
||||
Case("Testing callbacks with 4 uint64s", test_dispatch4<uint64_t>),
|
||||
Case("Testing callbacks with 3 uint64s", test_dispatch3<uint64_t>),
|
||||
Case("Testing callbacks with 2 uint64s", test_dispatch2<uint64_t>),
|
||||
Case("Testing callbacks with 1 uint64s", test_dispatch1<uint64_t>),
|
||||
Case("Testing callbacks with 0 uint64s", test_dispatch0<uint64_t>),
|
||||
|
||||
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);
|
||||
}
|
||||
|
|
@ -0,0 +1,143 @@
|
|||
#include "toolchain.h"
|
||||
|
||||
#include <stdio.h>
|
||||
#include <stdint.h>
|
||||
|
||||
|
||||
MBED_PACKED(struct) TestAttrPackedStruct1 {
|
||||
char a;
|
||||
int x;
|
||||
};
|
||||
|
||||
typedef MBED_PACKED(struct) {
|
||||
char a;
|
||||
int x;
|
||||
} TestAttrPackedStruct2;
|
||||
|
||||
int testPacked() {
|
||||
int failed = 0;
|
||||
|
||||
if (sizeof(struct TestAttrPackedStruct1) != sizeof(int) + sizeof(char)) {
|
||||
failed++;
|
||||
}
|
||||
|
||||
if (sizeof(TestAttrPackedStruct2) != sizeof(int) + sizeof(char)) {
|
||||
failed++;
|
||||
}
|
||||
|
||||
return failed;
|
||||
}
|
||||
|
||||
|
||||
int testAlign() {
|
||||
int failed = 0;
|
||||
|
||||
MBED_ALIGN(8) char a;
|
||||
MBED_ALIGN(8) char b;
|
||||
MBED_ALIGN(16) char c;
|
||||
MBED_ALIGN(8) char d;
|
||||
MBED_ALIGN(16) char e;
|
||||
|
||||
if(((uintptr_t)&a) & 0x7){
|
||||
failed++;
|
||||
}
|
||||
if(((uintptr_t)&b) & 0x7){
|
||||
failed++;
|
||||
}
|
||||
if(((uintptr_t)&c) & 0xf){
|
||||
failed++;
|
||||
}
|
||||
if(((uintptr_t)&d) & 0x7){
|
||||
failed++;
|
||||
}
|
||||
if(((uintptr_t)&e) & 0xf){
|
||||
failed++;
|
||||
}
|
||||
|
||||
return failed;
|
||||
}
|
||||
|
||||
|
||||
int testUnused1(MBED_UNUSED int arg) {
|
||||
return 0;
|
||||
}
|
||||
|
||||
int testUnused() {
|
||||
return testUnused1(0);
|
||||
}
|
||||
|
||||
|
||||
int testWeak1();
|
||||
int testWeak2();
|
||||
|
||||
MBED_WEAK int testWeak1() {
|
||||
return 1;
|
||||
}
|
||||
|
||||
int testWeak2() {
|
||||
return 0;
|
||||
}
|
||||
|
||||
int testWeak() {
|
||||
return testWeak1() | testWeak2();
|
||||
}
|
||||
|
||||
|
||||
MBED_PURE int testPure1() {
|
||||
return 0;
|
||||
}
|
||||
|
||||
int testPure() {
|
||||
return testPure1();
|
||||
}
|
||||
|
||||
|
||||
MBED_FORCEINLINE int testForceInline1() {
|
||||
return 0;
|
||||
}
|
||||
|
||||
int testForceInline() {
|
||||
return testForceInline1();
|
||||
}
|
||||
|
||||
|
||||
MBED_NORETURN int testNoReturn1() {
|
||||
while (1) {}
|
||||
}
|
||||
|
||||
int testNoReturn() {
|
||||
if (0) {
|
||||
testNoReturn1();
|
||||
}
|
||||
return 0;
|
||||
}
|
||||
|
||||
|
||||
int testUnreachable1(int i) {
|
||||
switch (i) {
|
||||
case 0:
|
||||
return 0;
|
||||
}
|
||||
|
||||
MBED_UNREACHABLE;
|
||||
}
|
||||
|
||||
int testUnreachable() {
|
||||
return testUnreachable1(0);
|
||||
}
|
||||
|
||||
|
||||
MBED_DEPRECATED("this message should not be displayed")
|
||||
void testDeprecatedUnused();
|
||||
void testDeprecatedUnused() { }
|
||||
|
||||
MBED_DEPRECATED("this message should be displayed")
|
||||
int testDeprecatedUsed();
|
||||
int testDeprecatedUsed() {
|
||||
return 0;
|
||||
}
|
||||
|
||||
int testDeprecated() {
|
||||
return testDeprecatedUsed();
|
||||
}
|
||||
|
||||
|
|
@ -0,0 +1,53 @@
|
|||
#include <stdio.h>
|
||||
#include <stdint.h>
|
||||
|
||||
#include "toolchain.h"
|
||||
#include "greentea-client/test_env.h"
|
||||
#include "unity.h"
|
||||
#include "utest.h"
|
||||
|
||||
using namespace utest::v1;
|
||||
|
||||
|
||||
// Test functions declared as C functions to avoid issues with name mangling
|
||||
extern "C" {
|
||||
int testPacked();
|
||||
int testAlign();
|
||||
int testUnused();
|
||||
int testWeak();
|
||||
int testPure();
|
||||
int testForceInline();
|
||||
int testNoReturn();
|
||||
int testUnreachable();
|
||||
int testDeprecated();
|
||||
}
|
||||
|
||||
|
||||
// Test wrapper and test cases for utest
|
||||
template <int (*F)()>
|
||||
void test_wrapper() {
|
||||
TEST_ASSERT_UNLESS(F());
|
||||
}
|
||||
|
||||
utest::v1::status_t test_setup(const size_t number_of_cases) {
|
||||
GREENTEA_SETUP(5, "default_auto");
|
||||
return verbose_test_setup_handler(number_of_cases);
|
||||
}
|
||||
|
||||
Case cases[] = {
|
||||
Case("Testing PACKED attribute", test_wrapper<testPacked>),
|
||||
Case("Testing ALIGN attribute", test_wrapper<testAlign>),
|
||||
Case("Testing UNUSED attribute", test_wrapper<testUnused>),
|
||||
Case("Testing WEAK attribute", test_wrapper<testWeak>),
|
||||
Case("Testing PURE attribute", test_wrapper<testPure>),
|
||||
Case("Testing FORCEINLINE attribute", test_wrapper<testForceInline>),
|
||||
Case("Testing NORETURN attribute", test_wrapper<testNoReturn>),
|
||||
Case("Testing UNREACHABLE attribute", test_wrapper<testUnreachable>),
|
||||
Case("Testing DEPRECATED attribute", test_wrapper<testDeprecated>),
|
||||
};
|
||||
|
||||
Specification specification(test_setup, cases);
|
||||
|
||||
int main() {
|
||||
return !Harness::run(specification);
|
||||
}
|
||||
|
|
@ -0,0 +1,10 @@
|
|||
#include "toolchain.h"
|
||||
|
||||
int testWeak1() {
|
||||
return 0;
|
||||
}
|
||||
|
||||
MBED_WEAK int testWeak2() {
|
||||
return 1;
|
||||
}
|
||||
|
||||
|
|
@ -0,0 +1,110 @@
|
|||
#include "mbed.h"
|
||||
#include "greentea-client/test_env.h"
|
||||
#include "unity.h"
|
||||
#include "utest.h"
|
||||
#include "rtos.h"
|
||||
|
||||
|
||||
using namespace utest::v1;
|
||||
|
||||
|
||||
// Tasks with different functions to test on threads
|
||||
void increment(const void *var) {
|
||||
(*(int *)var)++;
|
||||
}
|
||||
|
||||
void increment_with_yield(const void *var) {
|
||||
Thread::yield();
|
||||
(*(int *)var)++;
|
||||
}
|
||||
|
||||
void increment_with_wait(const void *var) {
|
||||
Thread::wait(100);
|
||||
(*(int *)var)++;
|
||||
}
|
||||
|
||||
void increment_with_child(const void *var) {
|
||||
Thread child(increment, (void*)var);
|
||||
child.join();
|
||||
}
|
||||
|
||||
void increment_with_murder(const void *var) {
|
||||
Thread child(increment_with_wait, (void*)var);
|
||||
// Kill child before it can increment var
|
||||
child.terminate();
|
||||
(*(int *)var)++;
|
||||
}
|
||||
|
||||
|
||||
// Tests that spawn tasks in different configurations
|
||||
template <void (*F)(const void *)>
|
||||
void test_single_thread() {
|
||||
int var = 0;
|
||||
Thread thread(F, &var);
|
||||
thread.join();
|
||||
TEST_ASSERT_EQUAL(var, 1);
|
||||
}
|
||||
|
||||
template <int N, void (*F)(const void *)>
|
||||
void test_parallel_threads() {
|
||||
int var = 0;
|
||||
Thread *threads[N];
|
||||
|
||||
for (int i = 0; i < N; i++) {
|
||||
threads[i] = new Thread(F, &var);
|
||||
}
|
||||
|
||||
for (int i = 0; i < N; i++) {
|
||||
threads[i]->join();
|
||||
delete threads[i];
|
||||
}
|
||||
|
||||
TEST_ASSERT_EQUAL(var, N);
|
||||
}
|
||||
|
||||
template <int N, void (*F)(const void *)>
|
||||
void test_serial_threads() {
|
||||
int var = 0;
|
||||
|
||||
for (int i = 0; i < N; i++) {
|
||||
Thread thread(F, &var);
|
||||
thread.join();
|
||||
}
|
||||
|
||||
TEST_ASSERT_EQUAL(var, N);
|
||||
}
|
||||
|
||||
|
||||
utest::v1::status_t test_setup(const size_t number_of_cases) {
|
||||
GREENTEA_SETUP(40, "default_auto");
|
||||
return verbose_test_setup_handler(number_of_cases);
|
||||
}
|
||||
|
||||
// Test cases
|
||||
Case cases[] = {
|
||||
Case("Testing single thread", test_single_thread<increment>),
|
||||
Case("Testing parallel threads", test_parallel_threads<3, increment>),
|
||||
Case("Testing serial threads", test_serial_threads<10, increment>),
|
||||
|
||||
Case("Testing single thread with yield", test_single_thread<increment_with_yield>),
|
||||
Case("Testing parallel threads with yield", test_parallel_threads<3, increment_with_yield>),
|
||||
Case("Testing serial threads with yield", test_serial_threads<10, increment_with_yield>),
|
||||
|
||||
Case("Testing single thread with wait", test_single_thread<increment_with_wait>),
|
||||
Case("Testing parallel threads with wait", test_parallel_threads<3, increment_with_wait>),
|
||||
Case("Testing serial threads with wait", test_serial_threads<10, increment_with_wait>),
|
||||
|
||||
Case("Testing single thread with child", test_single_thread<increment_with_child>),
|
||||
Case("Testing parallel threads with child", test_parallel_threads<3, increment_with_child>),
|
||||
Case("Testing serial threads with child", test_serial_threads<10, increment_with_child>),
|
||||
|
||||
Case("Testing single thread with murder", test_single_thread<increment_with_murder>),
|
||||
Case("Testing parallel threads with murder", test_parallel_threads<3, increment_with_murder>),
|
||||
Case("Testing serial threads with murder", test_serial_threads<10, increment_with_murder>),
|
||||
};
|
||||
|
||||
Specification specification(test_setup, cases);
|
||||
|
||||
int main() {
|
||||
return !Harness::run(specification);
|
||||
}
|
||||
Loading…
Reference in New Issue