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.
---
 riscV/CBuiltins.ml | 3 ---
 1 file changed, 3 deletions(-)

(limited to 'riscV/CBuiltins.ml')

diff --git a/riscV/CBuiltins.ml b/riscV/CBuiltins.ml
index edaf586d..a2087cb7 100644
--- a/riscV/CBuiltins.ml
+++ b/riscV/CBuiltins.ml
@@ -25,9 +25,6 @@ let builtins = {
     (* Synchronization *)
     "__builtin_fence",
       (TVoid [], [], false);
-    (* Integer arithmetic *)
-    "__builtin_bswap64",
-      (TInt(IULongLong, []), [TInt(IULongLong, [])], false);
     (* Float arithmetic *)
     "__builtin_fmadd",
       (TFloat(FDouble, []),
-- 
cgit