From 7a8558575054daff45d41bdfe4058596f87467a3 Mon Sep 17 00:00:00 2001
From: Xavier Leroy <xavier.leroy@inria.fr>
Date: Mon, 21 Dec 2015 10:09:21 +0100
Subject: The return type of __builtin_clz() et al is "int", as documented and
 for GCC compatibility, and not "unsigned int", as previously implemented.

---
 powerpc/CBuiltins.ml | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

(limited to 'powerpc/CBuiltins.ml')

diff --git a/powerpc/CBuiltins.ml b/powerpc/CBuiltins.ml
index ec3a633b..d244cba0 100644
--- a/powerpc/CBuiltins.ml
+++ b/powerpc/CBuiltins.ml
@@ -29,11 +29,11 @@ let builtins = {
     "__builtin_mulhwu",
       (TInt(IUInt, []), [TInt(IUInt, []); TInt(IUInt, [])], false);
     "__builtin_clz",
-      (TInt(IUInt, []), [TInt(IUInt, [])], false);
+      (TInt(IInt, []), [TInt(IUInt, [])], false);
     "__builtin_clzl",
-      (TInt(IUInt, []), [TInt(IULong, [])], false);
+      (TInt(IInt, []), [TInt(IULong, [])], false);
     "__builtin_clzll",
-      (TInt(IUInt, []), [TInt(IULongLong, [])], false);
+      (TInt(IInt, []), [TInt(IULongLong, [])], false);
     "__builtin_bswap",
       (TInt(IUInt, []), [TInt(IUInt, [])], false);
     "__builtin_bswap32",
-- 
cgit