From 603e931f49ef04188a58895ce38d892511b75b78 Mon Sep 17 00:00:00 2001
From: xleroy <xleroy@fca1b0fc-160b-0410-b1d3-a4f43f01ea2e>
Date: Sat, 30 Jul 2011 15:35:29 +0000
Subject: ARM: added reversed load/store builtins + bswap builtin (to be
 tested) IA32: added bswap builtin Updated Changelog

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

(limited to 'ia32/CBuiltins.ml')

diff --git a/ia32/CBuiltins.ml b/ia32/CBuiltins.ml
index 9cd31da5..3b94744c 100644
--- a/ia32/CBuiltins.ml
+++ b/ia32/CBuiltins.ml
@@ -21,6 +21,9 @@ open C
 let builtins = {
   Builtins.typedefs = [];
   Builtins.functions = [
+    (* Integer arithmetic *)
+    "__builtin_bswap",
+      (TInt(IUInt, []), [TInt(IUInt, [])], false);
     (* Float arithmetic *)
     "__builtin_fsqrt",
       (TFloat(FDouble, []), [TFloat(FDouble, [])], false);
-- 
cgit