-
Notifications
You must be signed in to change notification settings - Fork 824
Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Remove null pointer checks generally, re-add them in Emscripten
- Loading branch information
Mark McCaskey
committed
Sep 20, 2019
1 parent
0790ebf
commit 882a77c
Showing
9 changed files
with
136 additions
and
30 deletions.
There are no files selected for viewing
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Original file line number | Diff line number | Diff line change |
---|---|---|
|
@@ -62,6 +62,7 @@ mod math; | |
mod memory; | ||
mod process; | ||
mod pthread; | ||
mod ptr; | ||
mod signal; | ||
mod storage; | ||
mod syscalls; | ||
|
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -0,0 +1,113 @@ | ||
//! This is a wrapper around the `WasmPtr` abstraction that does not allow deref of address 0 | ||
//! This is a common assumption in Emscripten code | ||
use std::{cell::Cell, fmt}; | ||
pub use wasmer_runtime_core::memory::ptr::Array; | ||
use wasmer_runtime_core::{ | ||
memory::{ptr, Memory}, | ||
types::{ValueType, WasmExternType}, | ||
}; | ||
|
||
#[repr(transparent)] | ||
pub struct WasmPtr<T: Copy, Ty = ptr::Item>(ptr::WasmPtr<T, Ty>); | ||
|
||
unsafe impl<T: Copy, Ty> ValueType for WasmPtr<T, Ty> {} | ||
impl<T: Copy, Ty> Copy for WasmPtr<T, Ty> {} | ||
|
||
impl<T: Copy, Ty> Clone for WasmPtr<T, Ty> { | ||
fn clone(&self) -> Self { | ||
Self(self.0.clone()) | ||
} | ||
} | ||
|
||
impl<T: Copy, Ty> fmt::Debug for WasmPtr<T, Ty> { | ||
fn fmt(&self, f: &mut fmt::Formatter) -> fmt::Result { | ||
write!(f, "{:?}", self.0) | ||
} | ||
} | ||
|
||
unsafe impl<T: Copy, Ty> WasmExternType for WasmPtr<T, Ty> { | ||
type Native = <ptr::WasmPtr<T, Ty> as WasmExternType>::Native; | ||
|
||
fn to_native(self) -> Self::Native { | ||
self.0.to_native() | ||
} | ||
fn from_native(n: Self::Native) -> Self { | ||
Self(ptr::WasmPtr::from_native(n)) | ||
} | ||
} | ||
|
||
impl<T: Copy, Ty> PartialEq for WasmPtr<T, Ty> { | ||
fn eq(&self, other: &Self) -> bool { | ||
self.0 == other.0 | ||
} | ||
} | ||
|
||
impl<T: Copy, Ty> Eq for WasmPtr<T, Ty> {} | ||
|
||
impl<T: Copy, Ty> WasmPtr<T, Ty> { | ||
#[inline(always)] | ||
pub fn new(offset: u32) -> Self { | ||
Self(ptr::WasmPtr::new(offset)) | ||
} | ||
|
||
#[inline(always)] | ||
pub fn offset(self) -> u32 { | ||
self.0.offset() | ||
} | ||
} | ||
|
||
impl<T: Copy + ValueType> WasmPtr<T, ptr::Item> { | ||
#[inline(always)] | ||
pub fn deref<'a>(self, memory: &'a Memory) -> Option<&'a Cell<T>> { | ||
if self.0.offset() == 0 { | ||
None | ||
} else { | ||
self.0.deref(memory) | ||
} | ||
} | ||
|
||
#[inline(always)] | ||
pub unsafe fn deref_mut<'a>(self, memory: &'a Memory) -> Option<&'a mut Cell<T>> { | ||
if self.0.offset() == 0 { | ||
None | ||
} else { | ||
self.0.deref_mut(memory) | ||
} | ||
} | ||
} | ||
|
||
impl<T: Copy + ValueType> WasmPtr<T, ptr::Array> { | ||
#[inline(always)] | ||
pub fn deref<'a>(self, memory: &'a Memory, index: u32, length: u32) -> Option<&'a [Cell<T>]> { | ||
if self.0.offset() == 0 { | ||
None | ||
} else { | ||
self.0.deref(memory, index, length) | ||
} | ||
} | ||
|
||
#[inline] | ||
pub unsafe fn deref_mut<'a>( | ||
self, | ||
memory: &'a Memory, | ||
index: u32, | ||
length: u32, | ||
) -> Option<&'a mut [Cell<T>]> { | ||
if self.0.offset() == 0 { | ||
None | ||
} else { | ||
self.0.deref_mut(memory, index, length) | ||
} | ||
} | ||
|
||
#[allow(dead_code)] | ||
#[inline(always)] | ||
pub fn get_utf8_string<'a>(self, memory: &'a Memory, str_len: u32) -> Option<&'a str> { | ||
if self.0.offset() == 0 { | ||
None | ||
} else { | ||
self.0.get_utf8_string(memory, str_len) | ||
} | ||
} | ||
} |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters