From caac487ae23a9785602cf235f5b4a2b6749f2c18 Mon Sep 17 00:00:00 2001
From: David Monniaux <david.monniaux@univ-grenoble-alpes.fr>
Date: Fri, 30 Aug 2019 19:10:42 +0200
Subject: fma

---
 mppa_k1c/CBuiltins.ml | 6 ++++++
 1 file changed, 6 insertions(+)

(limited to 'mppa_k1c/CBuiltins.ml')

diff --git a/mppa_k1c/CBuiltins.ml b/mppa_k1c/CBuiltins.ml
index c0022cb1..3ae6baa7 100644
--- a/mppa_k1c/CBuiltins.ml
+++ b/mppa_k1c/CBuiltins.ml
@@ -130,6 +130,12 @@ let builtins = {
     "__builtin_fminf",
       (TFloat(FFloat, []),
        [TFloat(FFloat, []); TFloat(FFloat, [])], false);
+    "__builtin_fma",
+      (TFloat(FDouble, []),
+       [TFloat(FDouble, []); TFloat(FDouble, []); TFloat(FDouble, [])], false);
+    "__builtin_fmaf",
+      (TFloat(FFloat, []),
+       [TFloat(FFloat, []); TFloat(FFloat, []); TFloat(FFloat, [])], false);
 ]
 }
 
-- 
cgit