From 16715e5efd6ce899eb3d544fd71751f367eaa370 Mon Sep 17 00:00:00 2001 From: David Monniaux Date: Fri, 11 Feb 2022 21:36:57 +0100 Subject: modulos --- 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 49534867..5ca5ddba 100644 --- a/kvx/CBuiltins.ml +++ b/kvx/CBuiltins.ml @@ -141,6 +141,10 @@ let builtins = { (TInt(IUInt, []), [TInt(IUInt, []); TInt(IUInt, [])], false); "__builtin_fp_udiv64", (TInt(IULong, []), [TInt(IULong, []); TInt(IULong, [])], false); + "__builtin_fp_umod32", + (TInt(IUInt, []), [TInt(IUInt, []); TInt(IUInt, [])], false); + "__builtin_fp_umod64", + (TInt(IULong, []), [TInt(IULong, []); TInt(IULong, [])], false); ] } -- cgit