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/cb.dgtz.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/cb.dgtz.c')
| -rw-r--r-- | test/mppa/general/cb.dgtz.c | 15 |
1 files changed, 8 insertions, 7 deletions
diff --git a/test/mppa/general/cb.dgtz.c b/test/mppa/general/cb.dgtz.c index 9c0c9ea2..d4271845 100644 --- a/test/mppa/general/cb.dgtz.c +++ b/test/mppa/general/cb.dgtz.c @@ -1,9 +1,10 @@ -#define TYPE long long +#include "framework.h" -int main(void){ - TYPE a = 6; - TYPE b = -4; - if (0 >= a) - return 42; - return 0; +BEGIN_TEST(long long) +{ + if (0 >= (a & 0x1LL) - 1) + c = 1; + else + c = 0; } +END_TEST() |