From 75a55495bdde3eb2366dd164a4c44f416fc592a0 Mon Sep 17 00:00:00 2001 From: Michael Schmidt Date: Fri, 11 Dec 2015 15:53:47 +0100 Subject: bug 17752, add builtin_clzl and builtin_clzll for PowerPC --- powerpc/CBuiltins.ml | 4 ++++ 1 file changed, 4 insertions(+) (limited to 'powerpc/CBuiltins.ml') diff --git a/powerpc/CBuiltins.ml b/powerpc/CBuiltins.ml index a611aabe..169647b6 100644 --- a/powerpc/CBuiltins.ml +++ b/powerpc/CBuiltins.ml @@ -30,6 +30,10 @@ let builtins = { (TInt(IUInt, []), [TInt(IUInt, []); TInt(IUInt, [])], false); "__builtin_clz", (TInt(IUInt, []), [TInt(IUInt, [])], false); + "__builtin_clzl", + (TInt(IUInt, []), [TInt(IULong, [])], false); + "__builtin_clzll", + (TInt(IUInt, []), [TInt(IULongLong, [])], false); "__builtin_bswap", (TInt(IUInt, []), [TInt(IUInt, [])], false); "__builtin_bswap32", -- cgit