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/PrintAsm.ml | 2 ++
 1 file changed, 2 insertions(+)

(limited to 'arm/PrintAsm.ml')

diff --git a/arm/PrintAsm.ml b/arm/PrintAsm.ml
index 542f3a4..db95e54 100644
--- a/arm/PrintAsm.ml
+++ b/arm/PrintAsm.ml
@@ -392,6 +392,8 @@ let print_builtin_inline oc name args res =
   (* Integer arithmetic *)
   | "__builtin_bswap", [IR a1], IR res ->
       print_bswap oc a1 IR14 res; 4
+  | "__builtin_cntlz", [IR a1], IR res ->
+      fprintf oc "	clz	%a, %a\n" ireg res ireg a1; 1
   (* Float arithmetic *)
   | "__builtin_fabs", [FR a1], FR res ->
       fprintf oc "	fabsd	%a, %a\n" freg res freg a1; 1
-- 
cgit v1.2.3