From ab624a0ebf01a4f3e45aecb438e890b4da2f66f0 Mon Sep 17 00:00:00 2001
From: xleroy <xleroy@fca1b0fc-160b-0410-b1d3-a4f43f01ea2e>
Date: Fri, 5 Aug 2011 12:04:58 +0000
Subject: More builtins for ARM and PowerPC

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

(limited to 'arm/CBuiltins.ml')

diff --git a/arm/CBuiltins.ml b/arm/CBuiltins.ml
index dc4ca60..6c01a36 100644
--- a/arm/CBuiltins.ml
+++ b/arm/CBuiltins.ml
@@ -24,6 +24,8 @@ let builtins = {
     (* Integer arithmetic *)
     "__builtin_bswap",
       (TInt(IUInt, []), [TInt(IUInt, [])], false);
+    "__builtin_cntlz",
+      (TInt(IUInt, []), [TInt(IUInt, [])], false);
     (* Float arithmetic *)
     "__builtin_fsqrt",
       (TFloat(FDouble, []), [TFloat(FDouble, [])], false);
-- 
cgit v1.2.3