From 54dea0fc061f5daee5976450ec84ddb7e15c5db9 Mon Sep 17 00:00:00 2001
From: David Monniaux <David.Monniaux@univ-grenoble-alpes.fr>
Date: Fri, 11 Feb 2022 11:12:45 +0100
Subject: remove singleoflongu (does not exist)

---
 kvx/CBuiltins.ml | 2 ++
 1 file changed, 2 insertions(+)

(limited to 'kvx/CBuiltins.ml')

diff --git a/kvx/CBuiltins.ml b/kvx/CBuiltins.ml
index fad86d3c..49534867 100644
--- a/kvx/CBuiltins.ml
+++ b/kvx/CBuiltins.ml
@@ -139,6 +139,8 @@ let builtins = {
     (TInt(IULong, []), [TFloat(FDouble, [])], false);
     "__builtin_fp_udiv32",
     (TInt(IUInt, []), [TInt(IUInt, []); TInt(IUInt, [])], false);
+    "__builtin_fp_udiv64",
+    (TInt(IULong, []), [TInt(IULong, []); TInt(IULong, [])], false);
 ]
 }
 
-- 
cgit