diff options
author | Cyril SIX <cyril.six@kalray.eu> | 2018-06-05 17:48:22 +0200 |
---|---|---|
committer | Cyril SIX <cyril.six@kalray.eu> | 2018-06-05 17:48:22 +0200 |
commit | 7b5eb7e675ee0978e1b17b75f827dcd45df8c250 (patch) | |
tree | 579a452155dea5211f3a8484badfa995004dc718 /test/mppa/general/compw.eq.c | |
parent | bcbe036e9b43adcaf2faf10cf32456608b0602c5 (diff) | |
download | compcert-kvx-7b5eb7e675ee0978e1b17b75f827dcd45df8c250.tar.gz compcert-kvx-7b5eb7e675ee0978e1b17b75f827dcd45df8c250.zip |
WIP - Changed all the general tests to include PRNG (instead of small constants)
Diffstat (limited to 'test/mppa/general/compw.eq.c')
-rw-r--r-- | test/mppa/general/compw.eq.c | 9 |
1 files changed, 6 insertions, 3 deletions
diff --git a/test/mppa/general/compw.eq.c b/test/mppa/general/compw.eq.c index f030d86b..dc7a3ab1 100644 --- a/test/mppa/general/compw.eq.c +++ b/test/mppa/general/compw.eq.c @@ -1,4 +1,7 @@ -int main(void){ - int a = 5, b = -2; - return (a == b); +#include "framework.h" + +BEGIN_TEST(int) +{ + c = ((a & 0x1) == (b & 0x1)); } +END_TEST() |