From 761a1e046b4fb276ee0b63785ed20a35c26641c9 Mon Sep 17 00:00:00 2001
From: David Monniaux <David.Monniaux@univ-grenoble-alpes.fr>
Date: Sun, 12 Dec 2021 22:57:31 +0100
Subject: fix assembly syntax

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

(limited to 'kvx/CBuiltins.ml')

diff --git a/kvx/CBuiltins.ml b/kvx/CBuiltins.ml
index 7398e0f4..f2b7b09e 100644
--- a/kvx/CBuiltins.ml
+++ b/kvx/CBuiltins.ml
@@ -133,6 +133,10 @@ let builtins = {
     "__builtin_fmaf",
       (TFloat(FFloat, []),
        [TFloat(FFloat, []); TFloat(FFloat, []); TFloat(FFloat, [])], false);
+    "__builtin_lround_ne",
+      (TInt(ILong, []), [TFloat(FDouble, [])], false);
+    "__builtin_luround_ne",
+      (TInt(IULong, []), [TFloat(FDouble, [])], false);
 ]
 }
 
-- 
cgit