diff options
author | Cyril SIX <cyril.six@kalray.eu> | 2019-09-05 14:29:19 +0200 |
---|---|---|
committer | Cyril SIX <cyril.six@kalray.eu> | 2019-09-05 14:29:19 +0200 |
commit | 8caa5a2e1f825b6e3d6b87e294c1a53c65d62612 (patch) | |
tree | 7130ecb82b0b5399b779310f02652adfe05d17da /test/mppa | |
parent | 5a095e968ca040757db22a4bd7cde34b91bf44e1 (diff) | |
download | compcert-kvx-8caa5a2e1f825b6e3d6b87e294c1a53c65d62612.tar.gz compcert-kvx-8caa5a2e1f825b6e3d6b87e294c1a53c65d62612.zip |
Test for compd.geu
Diffstat (limited to 'test/mppa')
-rw-r--r-- | test/mppa/instr/i64.c | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/test/mppa/instr/i64.c b/test/mppa/instr/i64.c index b1fce564..e869d93c 100644 --- a/test/mppa/instr/i64.c +++ b/test/mppa/instr/i64.c @@ -90,6 +90,12 @@ BEGIN_TEST(long long) else c += fact(32); + if ((unsigned long long)(a & 0x1LL) >= 1) + c += fact(18); + else + c += fact(31); + + if (a-41414141 > 0) c += fact(13); else |