1 files changed, 8 insertions, 0 deletions
diff --git a/cfrontend/C2C.ml b/cfrontend/C2C.ml
index b68887c5..38ef45e7 100644
--- a/cfrontend/C2C.ml
+++ b/cfrontend/C2C.ml
@@ -251,6 +251,14 @@ let builtins_generic = {
     "__i64_sar",
         (TInt(ILongLong, []),
          [TInt(ILongLong, []); TInt(IInt, [])],
+         false);
+    "__i64_smulh",
+        (TInt(ILongLong, []),
+         [TInt(ILongLong, []); TInt(ILongLong, [])],
+         false);
+    "__i64_umulh",
+        (TInt(IULongLong, []),
+         [TInt(IULongLong, []); TInt(IULongLong, [])],
          false)
   ]
 }