mirror of
git://git.savannah.gnu.org/guix.git
synced 2023-12-14 03:33:07 +01:00
2995be77e1
* gnu/packages/java.scm (classpath-devel)[source]: Add (existing) patch. (jamvm)[source]: Add patches. [arguments]: Inherit non-overridden arguments (particularly #:phases) from jamvm-1-bootstrap. * gnu/packages/patches/jamvm-2.0.0-aarch64-support.patch: New file. * gnu/packages/patches/jamvm-2.0.0-opcode-guard.patch: New file. * gnu/local.mk (dist_patch_DATA): Add files. Signed-off-by: Efraim Flashner <efraim@flashner.co.il>
35 lines
1.4 KiB
Diff
35 lines
1.4 KiB
Diff
From ca11b53896365c948426974cb90e8f71c70d123b Mon Sep 17 00:00:00 2001
|
|
From: Simon South <simon@simonsouth.net>
|
|
Date: Sun, 31 May 2020 20:36:43 -0400
|
|
Subject: [PATCH] Guard floating-point opcodes with explicit memory barrier
|
|
|
|
---
|
|
src/interp/engine/interp-inlining.h | 11 ++++++++++-
|
|
1 file changed, 10 insertions(+), 1 deletion(-)
|
|
|
|
diff --git a/src/interp/engine/interp-inlining.h b/src/interp/engine/interp-inlining.h
|
|
index 3339b0e..4ee5c5a 100644
|
|
--- a/src/interp/engine/interp-inlining.h
|
|
+++ b/src/interp/engine/interp-inlining.h
|
|
@@ -78,8 +78,17 @@
|
|
4.3, we need to insert a label, and ensure its address
|
|
is taken (to stop it being optimised out). However,
|
|
this reduces performance on PowerPC by approx 1 - 2%.
|
|
+
|
|
+ With gcc 5 and newer an asm statement with a "memory"
|
|
+ clobber argument explicitly sets a memory barrier for the
|
|
+ compiler, preventing it from reordering memory accesses
|
|
+ in a way that breaks decaching.
|
|
*/
|
|
-#if (__GNUC__ == 4) && (__GNUC_MINOR__ >= 3)
|
|
+#if (__GNUC__ > 4)
|
|
+#define DEF_GUARD_TABLE(level) /* none */
|
|
+#define GUARD(opcode, level) __asm__("" ::: "memory");
|
|
+#define GUARD_TBLS /* none */
|
|
+#elif (__GNUC__ == 4) && (__GNUC_MINOR__ >= 3)
|
|
#define DEF_GUARD_TABLE(level) DEF_HANDLER_TABLE(level, GUARD)
|
|
#define GUARD(opcode, level) label(opcode, level, GUARD)
|
|
#define GUARD_TBLS , HNDLR_TBLS(GUARD)
|
|
--
|
|
2.26.2
|
|
|