From 132baac78a9c92694bd55790f0cfb7998ad590ab Mon Sep 17 00:00:00 2001 From: David Given Date: Sun, 20 Nov 2016 10:46:53 +0100 Subject: [PATCH] Add some more tests. --- plat/qemuppc/tests/intdiv_e.c | 19 +++++++++++++++---- plat/qemuppc/tests/intrem_e.c | 28 ++++++++++++++++++++++++++++ 2 files changed, 43 insertions(+), 4 deletions(-) create mode 100644 plat/qemuppc/tests/intrem_e.c diff --git a/plat/qemuppc/tests/intdiv_e.c b/plat/qemuppc/tests/intdiv_e.c index dfa96ae16..c90964ced 100644 --- a/plat/qemuppc/tests/intdiv_e.c +++ b/plat/qemuppc/tests/intdiv_e.c @@ -9,9 +9,20 @@ int zero = 0; /* Bypasses the CRT, so there's no stdio or BSS initialisation. */ void _m_a_i_n(void) { - ASSERT((three/two) == 1); - ASSERT((-three/two) == -1); - ASSERT((-three/-two) == 1); - ASSERT((three/-two) == -1); + ASSERT((three / two) == 1); + ASSERT((-three / two) == -1); + ASSERT((-three / -two) == 1); + ASSERT((three / -two) == -1); + + ASSERT((three / 2) == 1); + ASSERT((-three / 2) == -1); + ASSERT((-three / -2) == 1); + ASSERT((three / -2) == -1); + + ASSERT((3 / two) == 1); + ASSERT((-3 / two) == -1); + ASSERT((-3 / -two) == 1); + ASSERT((3 / -two) == -1); + finished(); } \ No newline at end of file diff --git a/plat/qemuppc/tests/intrem_e.c b/plat/qemuppc/tests/intrem_e.c new file mode 100644 index 000000000..40f68d654 --- /dev/null +++ b/plat/qemuppc/tests/intrem_e.c @@ -0,0 +1,28 @@ +#include "test.h" + +/* Constants in globals to defeat constant folding. */ +int three = 3; +int two = 2; +int one = 1; +int zero = 0; + +/* Bypasses the CRT, so there's no stdio or BSS initialisation. */ +void _m_a_i_n(void) +{ + ASSERT((three % two) == 1); + ASSERT((-three % two) == -1); + ASSERT((-three % -two) == -1); + ASSERT((three % -two) == 1); + + ASSERT((three % 2) == 1); + ASSERT((-three % 2) == -1); + ASSERT((-three % -2) == -1); + ASSERT((three % -2) == 1); + + ASSERT((3 % two) == 1); + ASSERT((-3 % two) == -1); + ASSERT((-3 % -two) == -1); + ASSERT((3 % -two) == 1); + + finished(); +} \ No newline at end of file -- 2.34.1