x64: Port func_addr and symbol_value to ISLE (#4485)

https://github.com/bytecodealliance/wasmtime/pull/4485
This commit is contained in:
Trevor Elliott
2022-07-25 11:11:16 -07:00
committed by GitHub
parent 446efd3e11
commit ee7e4f4c6b
8 changed files with 86 additions and 74 deletions

View File

@@ -2828,6 +2828,16 @@
(rule (lower (fence))
(side_effect (x64_mfence)))
;; Rules for `func_addr` ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
(rule (lower (func_addr (func_ref_data _ extname _)))
(load_ext_name extname 0))
;; Rules for `symbol_value` ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
(rule (lower (symbol_value (symbol_value_data extname _ offset)))
(load_ext_name extname offset))
;; Rules for `atomic_load` ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
;; This is a normal load. The x86-TSO memory model provides sufficient