arm32: fix sharing domain of fence

original commit: fa32a2919cb5550eabf59b188312f2ed32c57ccf
This commit is contained in:
Matthew Flatt 2020-06-29 06:39:08 -06:00
parent bdd1eaa874
commit 6fc5157f94

View File

@ -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)