From 6141d184274db971f553130703554f0b1b66ef1b Mon Sep 17 00:00:00 2001
From: David Monniaux <david.monniaux@univ-grenoble-alpes.fr>
Date: Wed, 29 May 2019 10:20:24 +0200
Subject: various fixes

---
 runtime/mppa_k1c/i64_sdiv.c | 2 ++
 1 file changed, 2 insertions(+)

(limited to 'runtime')

diff --git a/runtime/mppa_k1c/i64_sdiv.c b/runtime/mppa_k1c/i64_sdiv.c
index d1d268c4..b53294ec 100644
--- a/runtime/mppa_k1c/i64_sdiv.c
+++ b/runtime/mppa_k1c/i64_sdiv.c
@@ -10,6 +10,7 @@
 #include <mppa_bare_runtime/k1c/registers.h>
 #endif
 
+#ifdef COMPCERT_FE_EXCEPT
 /* DM FIXME this is for floating point */
 int fetestexcept(int excepts) {
   int mask = (K1_SFR_CS_IO_MASK | K1_SFR_CS_DZ_MASK | K1_SFR_CS_OV_MASK | K1_SFR_CS_UN_MASK | K1_SFR_CS_IN_MASK) & excepts;
@@ -22,3 +23,4 @@ int feclearexcept(int excepts) {
   __builtin_k1_wfxl(K1_SFR_CS, mask);
   return 0;
 }
+#endif
-- 
cgit