From 040d9c67942c73d875eec9a2ab131fbae6e8f984 Mon Sep 17 00:00:00 2001
From: Bernhard Schommer <bschommer@users.noreply.github.com>
Date: Mon, 12 Aug 2019 16:16:10 +0200
Subject: bswap builtins: give semantics to them,  support bswap64 on all
 targets

* Added semantic for byte swap builtins

The `__builtin_bswap`, `__builtin_bswap16`,  `__builtin_bswap32`, `__builtin_bswap64` builtin function are now standard builtin functions with a defined semantics.

The semantics  is given in terms of the decode/encode functions used for the memory model.

* Added bswap64 expansion to PowerPC 32 bits.

* Added bswap64 expansion for ARM.
---
 x86/CBuiltins.ml | 2 --
 1 file changed, 2 deletions(-)

(limited to 'x86')

diff --git a/x86/CBuiltins.ml b/x86/CBuiltins.ml
index 6fb8b697..f4f40a31 100644
--- a/x86/CBuiltins.ml
+++ b/x86/CBuiltins.ml
@@ -31,8 +31,6 @@ let builtins = {
   ];
   builtin_functions = [
     (* Integer arithmetic *)
-    "__builtin_bswap64",
-      (TInt(IULongLong, []), [TInt(IULongLong, [])], false);
     "__builtin_clz",
       (TInt(IInt, []), [TInt(IUInt, [])], false);
     "__builtin_clzl",
-- 
cgit