From 9ee09b9b2cb498219bd8012bed69ecf63fce63a4 Mon Sep 17 00:00:00 2001
From: xleroy <xleroy@fca1b0fc-160b-0410-b1d3-a4f43f01ea2e>
Date: Wed, 27 Aug 2014 09:51:01 +0000
Subject: Rename __builtin_cntlz to __builtin_clz. IA32: add __builtin_clz,
 __builtin_ctz.

git-svn-id: https://yquem.inria.fr/compcert/svn/compcert/trunk@2619 fca1b0fc-160b-0410-b1d3-a4f43f01ea2e
---
 ia32/CBuiltins.ml | 4 ++++
 1 file changed, 4 insertions(+)

(limited to 'ia32/CBuiltins.ml')

diff --git a/ia32/CBuiltins.ml b/ia32/CBuiltins.ml
index 6046126..765f5b1 100644
--- a/ia32/CBuiltins.ml
+++ b/ia32/CBuiltins.ml
@@ -29,6 +29,10 @@ let builtins = {
       (TInt(IUInt, []), [TInt(IUInt, [])], false);
     "__builtin_bswap16",
       (TInt(IUShort, []), [TInt(IUShort, [])], false);
+    "__builtin_clz",
+      (TInt(IUInt, []), [TInt(IUInt, [])], false);
+    "__builtin_ctz",
+      (TInt(IUInt, []), [TInt(IUInt, [])], false);
     (* Float arithmetic *)
     "__builtin_fsqrt",
       (TFloat(FDouble, []), [TFloat(FDouble, [])], false);
-- 
cgit v1.2.3