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
---
 arm/CBuiltins.ml | 2 +-
 arm/PrintAsm.ml  | 2 +-
 2 files changed, 2 insertions(+), 2 deletions(-)

(limited to 'arm')

diff --git a/arm/CBuiltins.ml b/arm/CBuiltins.ml
index 401bde8..6f62bed 100644
--- a/arm/CBuiltins.ml
+++ b/arm/CBuiltins.ml
@@ -29,7 +29,7 @@ let builtins = {
       (TInt(IUInt, []), [TInt(IUInt, [])], false);
     "__builtin_bswap16",
       (TInt(IUShort, []), [TInt(IUShort, [])], false);
-    "__builtin_cntlz",
+    "__builtin_clz",
       (TInt(IUInt, []), [TInt(IUInt, [])], false);
     (* Float arithmetic *)
     "__builtin_fsqrt",
diff --git a/arm/PrintAsm.ml b/arm/PrintAsm.ml
index dfe6bfc..01ec716 100644
--- a/arm/PrintAsm.ml
+++ b/arm/PrintAsm.ml
@@ -551,7 +551,7 @@ let print_builtin_inline oc name args res =
       fprintf oc "	rev	%a, %a\n" ireg res ireg a1; 1
   | "__builtin_bswap16", [IR a1], [IR res] ->
       fprintf oc "	rev16	%a, %a\n" ireg res ireg a1; 1
-  | "__builtin_cntlz", [IR a1], [IR res] ->
+  | "__builtin_clz", [IR a1], [IR res] ->
       fprintf oc "	clz	%a, %a\n" ireg res ireg a1; 1
   (* Float arithmetic *)
   | "__builtin_fabs", [FR a1], [FR res] ->
-- 
cgit v1.2.3