From 58045010316833fe838e8fa52bea1220126b760b Mon Sep 17 00:00:00 2001 From: xleroy 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 --- Changelog | 2 -- 1 file changed, 2 deletions(-) (limited to 'Changelog') diff --git a/Changelog b/Changelog index ef9ae30..ec31f0e 100644 --- a/Changelog +++ b/Changelog @@ -29,7 +29,6 @@ ARM port: - Exploit some VFPv3 instructions when available. - Built-in function '__builtin_cntlz' (count leading zeros) renamed '__builtin_clz' for GCC / Clang compatibility. -- Added built-in functions for load with reservation / store conditional. PowerPC port: - Refactored the expansion of built-in functions and @@ -39,7 +38,6 @@ PowerPC port: - More efficient code generated for volatile accesses to small data areas. - Built-in function '__builtin_cntlz' (count leading zeros) renamed '__builtin_clz' for GCC / Clang compatibility. -- Added built-in functions for load with reservation / store conditional. IA32 port: - Added built-in functions __builtin_clz and __builtin_ctz -- cgit v1.2.3