diff options
author | Cyril SIX <cyril.six@kalray.eu> | 2019-08-30 17:08:07 +0200 |
---|---|---|
committer | Cyril SIX <cyril.six@kalray.eu> | 2019-08-30 17:08:07 +0200 |
commit | ccd2fa5638e50b5fd8308b4b0c26531f911ff087 (patch) | |
tree | f6d1fc91d181cd7657900714e655c9383c11bcc5 /test/mppa | |
parent | 21622a06394e68170a9901f316addcd3fd1841de (diff) | |
download | compcert-kvx-ccd2fa5638e50b5fd8308b4b0c26531f911ff087.tar.gz compcert-kvx-ccd2fa5638e50b5fd8308b4b0c26531f911ff087.zip |
Rajout de clzd dans les tests
Diffstat (limited to 'test/mppa')
-rw-r--r-- | test/mppa/instr/builtin64.c | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/test/mppa/instr/builtin64.c b/test/mppa/instr/builtin64.c index d568b7be..dbbb1886 100644 --- a/test/mppa/instr/builtin64.c +++ b/test/mppa/instr/builtin64.c @@ -6,6 +6,9 @@ BEGIN_TEST(long long) long long d = c; a = __builtin_k1_alclrd(ptr); c = d; + c += a; + + c += __builtin_clzll(a); /* Removed the AFADDD builtin who was incorrect in CompCert, see #157 */ // a = __builtin_k1_afaddd(ptr, a); |