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

Implement the dummy 'assume' intrinsic.

Browse Source
This commit is contained in:
Scott Olson 2016-03-18 23:04:07 -06:00
parent dbc9913b7d
commit 5d4a804100
1 changed files with 3 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

3
src/interpreter.rs
View File

@ -315,6 +315,8 @@ impl<'a, 'tcx: 'a, 'arena> Interpreter<'a, 'tcx, 'arena> {
let dest_size = self.lvalue_repr(ret_ptr).size();
match name {
"assume" => {}
"copy_nonoverlapping" => {
let elem_ty = *substs.types.get(subst::FnSpace, 0);
let elem_size = self.ty_size(elem_ty);
@ -330,6 +332,7 @@ impl<'a, 'tcx: 'a, 'arena> Interpreter<'a, 'tcx, 'arena> {
try!(self.memory.copy(src, dest, count as usize * elem_size));
}
// TODO(tsion): Mark as dropped?
"forget" => {}
"offset" => {