mikros/rust
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

Add support for the volatile_set_memory intrinsic

Browse Source 
Runtime behaviour and soundness requirements are identical to `write_bytes`.
This commit is contained in:
niluxv 2021-08-22 17:48:31 +02:00
parent 19691b2de8
commit 32c2df87be
1 changed files with 2 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
src/shims/intrinsics.rs
View File

@ -66,7 +66,7 @@ fn call_intrinsic(
this.copy_op(dest, &place.into())?;
}
"write_bytes" => {
"write_bytes" | "volatile_set_memory" => {
let &[ref ptr, ref val_byte, ref count] = check_arg_count(args)?;
let ty = instance.substs.type_at(0);
let ty_layout = this.layout_of(ty)?;
@ -74,7 +74,7 @@ fn call_intrinsic(
let ptr = this.read_pointer(ptr)?;
let count = this.read_scalar(count)?.to_machine_usize(this)?;
let byte_count = ty_layout.size.checked_mul(count, this).ok_or_else(|| {
err_ub_format!("overflow computing total size of `write_bytes`")
err_ub_format!("overflow computing total size of `{}`", intrinsic_name)
})?;
this.memory
.write_bytes(ptr, iter::repeat(val_byte).take(byte_count.bytes() as usize))?;