Skip to content

Commit 2dfde5b

Browse files
committed
remove upstreamed intrinsic impls
1 parent d340933 commit 2dfde5b

File tree

1 file changed

+0
-18
lines changed

1 file changed

+0
-18
lines changed

src/shims/intrinsics.rs

Lines changed: 0 additions & 18 deletions
Original file line numberDiff line numberDiff line change
@@ -484,24 +484,6 @@ pub trait EvalContextExt<'mir, 'tcx: 'mir>: crate::MiriEvalContextExt<'mir, 'tcx
484484
}
485485
}
486486

487-
"min_align_of_val" => {
488-
let &[mplace] = check_arg_count(args)?;
489-
let mplace = this.deref_operand(mplace)?;
490-
let (_, align) = this
491-
.size_and_align_of_mplace(mplace)?
492-
.expect("size_of_val called on extern type");
493-
this.write_scalar(Scalar::from_machine_usize(align.bytes(), this), dest)?;
494-
}
495-
496-
"size_of_val" => {
497-
let &[mplace] = check_arg_count(args)?;
498-
let mplace = this.deref_operand(mplace)?;
499-
let (size, _) = this
500-
.size_and_align_of_mplace(mplace)?
501-
.expect("size_of_val called on extern type");
502-
this.write_scalar(Scalar::from_machine_usize(size.bytes(), this), dest)?;
503-
}
504-
505487
// Other
506488
"assume" => {
507489
let &[cond] = check_arg_count(args)?;

0 commit comments

Comments
 (0)