Add some more tests.

This commit is contained in:
David Given 2016-11-20 10:46:53 +01:00
parent 84c7b6ba90
commit 132baac78a
2 changed files with 43 additions and 4 deletions

View file

@ -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();
}

View file

@ -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();
}