From 6fc5157f940d27611f0bac4a771ccc987817ae33 Mon Sep 17 00:00:00 2001
From: Matthew Flatt <mflatt@racket-lang.org>
Date: Mon, 29 Jun 2020 06:39:08 -0600
Subject: [PATCH] arm32: fix sharing domain of fence

original commit: fa32a2919cb5550eabf59b188312f2ed32c57ccf
---
 s/arm32.ss | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/s/arm32.ss b/s/arm32.ss
index 10373e0698..6b5744a1ab 100644
--- a/s/arm32.ss
+++ b/s/arm32.ss
@@ -1186,7 +1186,7 @@
   (define-op ldrex ldrex-op      #b00011001)
   (define-op strex strex-op      #b00011000)
 
-  (define-op dmbishst dmb-op #b1010)
+  (define-op dmbst dmb-op #b1110)
 
   (define-op bnei  branch-imm-op       (ax-cond 'ne))
   (define-op brai  branch-imm-op       (ax-cond 'al))
@@ -2192,7 +2192,7 @@
 
   (define asm-write-write-fence
     (lambda (code*)
-      (emit dmbishst code*)))
+      (emit dmbst code*)))
 
   (define asm-fp-relop
     (lambda (info)