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

Implement atomic_{load,store}.

Browse Source
This commit is contained in:
Scott Olson 2016-10-14 03:49:02 -06:00
parent 5f65ee2713
commit 8143a05812
1 changed files with 14 additions and 12 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

26
src/interpreter/terminator/intrinsics.rs
View File

@ -75,6 +75,20 @@ impl<'a, 'tcx> EvalContext<'a, 'tcx> {
}
}
"atomic_load" |
"volatile_load" => {
let ty = substs.type_at(0);
let ptr = args_ptrs[0].read_ptr(&self.memory)?;
self.write_value(Value::ByRef(ptr), dest, ty)?;
}
"atomic_store" |
"volatile_store" => {
let ty = substs.type_at(0);
let dest = args_ptrs[0].read_ptr(&self.memory)?;
self.write_value_to_ptr(args_ptrs[1], dest, ty)?;
}
"breakpoint" => unimplemented!(), // halt miri
"copy" |
@ -246,18 +260,6 @@ impl<'a, 'tcx> EvalContext<'a, 'tcx> {
self.memory.mark_definedness(dest, size, false)?;
}
"volatile_load" => {
let ty = substs.type_at(0);
let ptr = args_ptrs[0].read_ptr(&self.memory)?;
self.write_value(Value::ByRef(ptr), dest, ty)?;
}
"volatile_store" => {
let ty = substs.type_at(0);
let dest = args_ptrs[0].read_ptr(&self.memory)?;
self.write_value_to_ptr(args_ptrs[1], dest, ty)?;
}
name => return Err(EvalError::Unimplemented(format!("unimplemented intrinsic: {}", name))),
}