From 58045010316833fe838e8fa52bea1220126b760b Mon Sep 17 00:00:00 2001
From: xleroy <xleroy@fca1b0fc-160b-0410-b1d3-a4f43f01ea2e>
Date: Thu, 28 Aug 2014 09:21:22 +0000
Subject: Cold feet: suppress builtins for load with reservation/store
 conditional, use case is unclear.

git-svn-id: https://yquem.inria.fr/compcert/svn/compcert/trunk@2622 fca1b0fc-160b-0410-b1d3-a4f43f01ea2e
---
 powerpc/Asmexpand.ml | 6 ------
 powerpc/CBuiltins.ml | 6 +-----
 2 files changed, 1 insertion(+), 11 deletions(-)

(limited to 'powerpc')

diff --git a/powerpc/Asmexpand.ml b/powerpc/Asmexpand.ml
index 7a45452..c003bcd 100644
--- a/powerpc/Asmexpand.ml
+++ b/powerpc/Asmexpand.ml
@@ -418,12 +418,6 @@ let expand_builtin_inline name args res =
       emit (Pisync)
   | "__builtin_trap", [], _ ->
       emit (Ptrap)
-  | "__builtin_lwar", [IR addr], [IR res] ->
-      emit (Plwarx(res, GPR0, addr))
-  | "__builtin_stwc", [IR addr; IR src], [IR res] ->
-      emit (Pstwcx_(src, GPR0, addr));
-      emit (Pmfcr res);
-      emit (Prlwinm(res, res, Z.of_uint 3, _1))
   (* Vararg stuff *)
   | "__builtin_va_start", [IR a], _ ->
       expand_builtin_va_start a
diff --git a/powerpc/CBuiltins.ml b/powerpc/CBuiltins.ml
index 53d84f7..8840d2c 100644
--- a/powerpc/CBuiltins.ml
+++ b/powerpc/CBuiltins.ml
@@ -84,11 +84,7 @@ let builtins = {
     "__builtin_isync",
       (TVoid [], [], false);
     "__builtin_trap",
-      (TVoid [], [], false);
-    "__builtin_lwar",
-      (TInt(IUInt, []), [TPtr(TInt(IUInt, [AConst]), [])], false);
-    "__builtin_stwc",
-      (TInt(IInt, []), [TPtr(TInt(IUInt, []), []); TInt(IUInt, [])], false)
+      (TVoid [], [], false)
   ]
 }
 
-- 
cgit v1.2.3