diff options
author | David Monniaux <david.monniaux@univ-grenoble-alpes.fr> | 2019-05-28 23:47:44 +0200 |
---|---|---|
committer | David Monniaux <david.monniaux@univ-grenoble-alpes.fr> | 2019-05-28 23:47:44 +0200 |
commit | 436658966209181c8f365cc8d1a69e8487852d17 (patch) | |
tree | 7543cad675c2d036f96c58306de5f396134933af /runtime/include | |
parent | a789b94e986375a713263d7d7584ceaac01084f2 (diff) | |
download | compcert-kvx-436658966209181c8f365cc8d1a69e8487852d17.tar.gz compcert-kvx-436658966209181c8f365cc8d1a69e8487852d17.zip |
fixes for COS
Diffstat (limited to 'runtime/include')
-rw-r--r-- | runtime/include/ccomp_k1c_fixes.h | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/runtime/include/ccomp_k1c_fixes.h b/runtime/include/ccomp_k1c_fixes.h index 9a2a26c1..1404b5fc 100644 --- a/runtime/include/ccomp_k1c_fixes.h +++ b/runtime/include/ccomp_k1c_fixes.h @@ -18,3 +18,5 @@ extern __int128 __compcert_acswapd(void *address, unsigned long long new_value, #define __builtin_k1_acswapw __compcert_acswapw extern __int128 __compcert_acswapw(void *address, unsigned long long new_value, unsigned long long old_value); #endif + +#define __builtin_expect(x, y) (x) |