aboutsummaryrefslogtreecommitdiffstats
path: root/powerpc/CBuiltins.ml
diff options
context:
space:
mode:
authorXavier Leroy <xavier.leroy@inria.fr>2015-12-21 10:09:21 +0100
committerXavier Leroy <xavier.leroy@inria.fr>2015-12-21 10:09:21 +0100
commit7a8558575054daff45d41bdfe4058596f87467a3 (patch)
tree57999d475dc6dd3d2475b1594a0777222e497430 /powerpc/CBuiltins.ml
parent6423f1293f9bd78dd981dd6a1e8908659d46875f (diff)
downloadcompcert-7a8558575054daff45d41bdfe4058596f87467a3.tar.gz
compcert-7a8558575054daff45d41bdfe4058596f87467a3.zip
The return type of __builtin_clz() et al is "int", as documented and for GCC compatibility, and not "unsigned int", as previously implemented.v2.6
Diffstat (limited to 'powerpc/CBuiltins.ml')
-rw-r--r--powerpc/CBuiltins.ml6
1 files changed, 3 insertions, 3 deletions
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",