use crate::{
AnyRef, ArrayRef, ArrayType, AsContext, AsContextMut, GcRefImpl, GcRootIndex, HeapType, I31,
OwnedRooted, RefType, Rooted, StructRef, StructType, ValRaw, ValType, WasmTy,
prelude::*,
runtime::vm::VMGcRef,
store::{AutoAssertNoGc, StoreOpaque},
};
use core::mem::{self, MaybeUninit};
use wasmtime_environ::VMGcKind;
#[derive(Debug)]
#[repr(transparent)]
pub struct EqRef {
pub(super) inner: GcRootIndex,
}
impl From<Rooted<StructRef>> for Rooted<EqRef> {
#[inline]
fn from(s: Rooted<StructRef>) -> Self {
s.to_eqref()
}
}
impl From<OwnedRooted<StructRef>> for OwnedRooted<EqRef> {
#[inline]
fn from(s: OwnedRooted<StructRef>) -> Self {
s.to_eqref()
}
}
impl From<Rooted<ArrayRef>> for Rooted<EqRef> {
#[inline]
fn from(s: Rooted<ArrayRef>) -> Self {
s.to_eqref()
}
}
impl From<OwnedRooted<ArrayRef>> for OwnedRooted<EqRef> {
#[inline]
fn from(s: OwnedRooted<ArrayRef>) -> Self {
s.to_eqref()
}
}
unsafe impl GcRefImpl for EqRef {
fn transmute_ref(index: &GcRootIndex) -> &Self {
let me: &Self = unsafe { mem::transmute(index) };
assert!(matches!(
me,
Self {
inner: GcRootIndex { .. },
}
));
me
}
}
impl Rooted<EqRef> {
#[inline]
pub fn to_anyref(self) -> Rooted<AnyRef> {
self.unchecked_cast()
}
}
impl OwnedRooted<EqRef> {
#[inline]
pub fn to_anyref(self) -> OwnedRooted<AnyRef> {
self.unchecked_cast()
}
}
impl EqRef {
pub(crate) fn from_cloned_gc_ref(
store: &mut AutoAssertNoGc<'_>,
gc_ref: VMGcRef,
) -> Rooted<Self> {
debug_assert!(
gc_ref.is_i31()
|| store
.unwrap_gc_store()
.header(&gc_ref)
.kind()
.matches(VMGcKind::EqRef)
);
Rooted::new(store, gc_ref)
}
#[inline]
pub(crate) fn comes_from_same_store(&self, store: &StoreOpaque) -> bool {
self.inner.comes_from_same_store(store)
}
pub fn ty(&self, store: impl AsContext) -> Result<HeapType> {
self._ty(store.as_context().0)
}
pub(crate) fn _ty(&self, store: &StoreOpaque) -> Result<HeapType> {
let gc_ref = self.inner.try_gc_ref(store)?;
if gc_ref.is_i31() {
return Ok(HeapType::I31);
}
let header = store.require_gc_store()?.header(gc_ref);
if header.kind().matches(VMGcKind::StructRef) {
return Ok(HeapType::ConcreteStruct(
StructType::from_shared_type_index(store.engine(), header.ty().unwrap()),
));
}
if header.kind().matches(VMGcKind::ArrayRef) {
return Ok(HeapType::ConcreteArray(ArrayType::from_shared_type_index(
store.engine(),
header.ty().unwrap(),
)));
}
unreachable!("no other kinds of `eqref`s")
}
pub fn matches_ty(&self, store: impl AsContext, ty: &HeapType) -> Result<bool> {
self._matches_ty(store.as_context().0, ty)
}
pub(crate) fn _matches_ty(&self, store: &StoreOpaque, ty: &HeapType) -> Result<bool> {
assert!(self.comes_from_same_store(store));
Ok(self._ty(store)?.matches(ty))
}
pub(crate) fn ensure_matches_ty(&self, store: &StoreOpaque, ty: &HeapType) -> Result<()> {
if !self.comes_from_same_store(store) {
bail!("function used with wrong store");
}
if self._matches_ty(store, ty)? {
Ok(())
} else {
let actual_ty = self._ty(store)?;
bail!("type mismatch: expected `(ref {ty})`, found `(ref {actual_ty})`")
}
}
pub fn from_i31(mut store: impl AsContextMut, value: I31) -> Rooted<Self> {
let mut store = AutoAssertNoGc::new(store.as_context_mut().0);
Self::_from_i31(&mut store, value)
}
pub(crate) fn _from_i31(store: &mut AutoAssertNoGc<'_>, value: I31) -> Rooted<Self> {
let gc_ref = VMGcRef::from_i31(value.runtime_i31());
Rooted::new(store, gc_ref)
}
pub fn is_i31(&self, store: impl AsContext) -> Result<bool> {
self._is_i31(store.as_context().0)
}
pub(crate) fn _is_i31(&self, store: &StoreOpaque) -> Result<bool> {
assert!(self.comes_from_same_store(store));
let gc_ref = self.inner.try_gc_ref(store)?;
Ok(gc_ref.is_i31())
}
pub fn as_i31(&self, store: impl AsContext) -> Result<Option<I31>> {
self._as_i31(store.as_context().0)
}
pub(crate) fn _as_i31(&self, store: &StoreOpaque) -> Result<Option<I31>> {
assert!(self.comes_from_same_store(store));
let gc_ref = self.inner.try_gc_ref(store)?;
Ok(gc_ref.as_i31().map(Into::into))
}
pub fn unwrap_i31(&self, store: impl AsContext) -> Result<I31> {
Ok(self.as_i31(store)?.expect("EqRef::unwrap_i31 on non-i31"))
}
pub fn is_struct(&self, store: impl AsContext) -> Result<bool> {
self._is_struct(store.as_context().0)
}
pub(crate) fn _is_struct(&self, store: &StoreOpaque) -> Result<bool> {
let gc_ref = self.inner.try_gc_ref(store)?;
Ok(!gc_ref.is_i31()
&& store
.require_gc_store()?
.kind(gc_ref)
.matches(VMGcKind::StructRef))
}
pub fn as_struct(&self, store: impl AsContext) -> Result<Option<Rooted<StructRef>>> {
self._as_struct(store.as_context().0)
}
pub(crate) fn _as_struct(&self, store: &StoreOpaque) -> Result<Option<Rooted<StructRef>>> {
if self._is_struct(store)? {
Ok(Some(Rooted::from_gc_root_index(self.inner)))
} else {
Ok(None)
}
}
pub fn unwrap_struct(&self, store: impl AsContext) -> Result<Rooted<StructRef>> {
self._unwrap_struct(store.as_context().0)
}
pub(crate) fn _unwrap_struct(&self, store: &StoreOpaque) -> Result<Rooted<StructRef>> {
Ok(self
._as_struct(store)?
.expect("EqRef::unwrap_struct on non-structref"))
}
pub fn is_array(&self, store: impl AsContext) -> Result<bool> {
self._is_array(store.as_context().0)
}
pub(crate) fn _is_array(&self, store: &StoreOpaque) -> Result<bool> {
let gc_ref = self.inner.try_gc_ref(store)?;
Ok(!gc_ref.is_i31()
&& store
.require_gc_store()?
.kind(gc_ref)
.matches(VMGcKind::ArrayRef))
}
pub fn as_array(&self, store: impl AsContext) -> Result<Option<Rooted<ArrayRef>>> {
self._as_array(store.as_context().0)
}
pub(crate) fn _as_array(&self, store: &StoreOpaque) -> Result<Option<Rooted<ArrayRef>>> {
if self._is_array(store)? {
Ok(Some(Rooted::from_gc_root_index(self.inner)))
} else {
Ok(None)
}
}
pub fn unwrap_array(&self, store: impl AsContext) -> Result<Rooted<ArrayRef>> {
self._unwrap_array(store.as_context().0)
}
pub(crate) fn _unwrap_array(&self, store: &StoreOpaque) -> Result<Rooted<ArrayRef>> {
Ok(self
._as_array(store)?
.expect("EqRef::unwrap_array on non-arrayref"))
}
}
unsafe impl WasmTy for Rooted<EqRef> {
#[inline]
fn valtype() -> ValType {
ValType::Ref(RefType::new(false, HeapType::Eq))
}
#[inline]
fn compatible_with_store(&self, store: &StoreOpaque) -> bool {
self.comes_from_same_store(store)
}
#[inline]
fn dynamic_concrete_type_check(
&self,
store: &StoreOpaque,
_nullable: bool,
ty: &HeapType,
) -> Result<()> {
self.ensure_matches_ty(store, ty)
}
fn store(self, store: &mut AutoAssertNoGc<'_>, ptr: &mut MaybeUninit<ValRaw>) -> Result<()> {
self.wasm_ty_store(store, ptr, ValRaw::anyref)
}
unsafe fn load(store: &mut AutoAssertNoGc<'_>, ptr: &ValRaw) -> Self {
Self::wasm_ty_load(store, ptr.get_anyref(), EqRef::from_cloned_gc_ref)
}
}
unsafe impl WasmTy for Option<Rooted<EqRef>> {
#[inline]
fn valtype() -> ValType {
ValType::EQREF
}
#[inline]
fn compatible_with_store(&self, store: &StoreOpaque) -> bool {
self.map_or(true, |x| x.comes_from_same_store(store))
}
#[inline]
fn dynamic_concrete_type_check(
&self,
store: &StoreOpaque,
nullable: bool,
ty: &HeapType,
) -> Result<()> {
match self {
Some(s) => Rooted::<EqRef>::dynamic_concrete_type_check(s, store, nullable, ty),
None => {
ensure!(
nullable,
"expected a non-null reference, but found a null reference"
);
Ok(())
}
}
}
#[inline]
fn is_vmgcref_and_points_to_object(&self) -> bool {
self.is_some()
}
fn store(self, store: &mut AutoAssertNoGc<'_>, ptr: &mut MaybeUninit<ValRaw>) -> Result<()> {
<Rooted<EqRef>>::wasm_ty_option_store(self, store, ptr, ValRaw::anyref)
}
unsafe fn load(store: &mut AutoAssertNoGc<'_>, ptr: &ValRaw) -> Self {
<Rooted<EqRef>>::wasm_ty_option_load(store, ptr.get_anyref(), EqRef::from_cloned_gc_ref)
}
}
unsafe impl WasmTy for OwnedRooted<EqRef> {
#[inline]
fn valtype() -> ValType {
ValType::Ref(RefType::new(false, HeapType::Eq))
}
#[inline]
fn compatible_with_store(&self, store: &StoreOpaque) -> bool {
self.comes_from_same_store(store)
}
#[inline]
fn dynamic_concrete_type_check(
&self,
store: &StoreOpaque,
_: bool,
ty: &HeapType,
) -> Result<()> {
self.ensure_matches_ty(store, ty)
}
fn store(self, store: &mut AutoAssertNoGc<'_>, ptr: &mut MaybeUninit<ValRaw>) -> Result<()> {
self.wasm_ty_store(store, ptr, ValRaw::anyref)
}
unsafe fn load(store: &mut AutoAssertNoGc<'_>, ptr: &ValRaw) -> Self {
Self::wasm_ty_load(store, ptr.get_anyref(), EqRef::from_cloned_gc_ref)
}
}
unsafe impl WasmTy for Option<OwnedRooted<EqRef>> {
#[inline]
fn valtype() -> ValType {
ValType::EQREF
}
#[inline]
fn compatible_with_store(&self, store: &StoreOpaque) -> bool {
self.as_ref()
.map_or(true, |x| x.comes_from_same_store(store))
}
#[inline]
fn dynamic_concrete_type_check(
&self,
store: &StoreOpaque,
nullable: bool,
ty: &HeapType,
) -> Result<()> {
match self {
Some(s) => OwnedRooted::<EqRef>::dynamic_concrete_type_check(s, store, nullable, ty),
None => {
ensure!(
nullable,
"expected a non-null reference, but found a null reference"
);
Ok(())
}
}
}
#[inline]
fn is_vmgcref_and_points_to_object(&self) -> bool {
self.is_some()
}
fn store(self, store: &mut AutoAssertNoGc<'_>, ptr: &mut MaybeUninit<ValRaw>) -> Result<()> {
<OwnedRooted<EqRef>>::wasm_ty_option_store(self, store, ptr, ValRaw::anyref)
}
unsafe fn load(store: &mut AutoAssertNoGc<'_>, ptr: &ValRaw) -> Self {
<OwnedRooted<EqRef>>::wasm_ty_option_load(
store,
ptr.get_anyref(),
EqRef::from_cloned_gc_ref,
)
}
}