miri/shims/unix/linux_like/
syscall.rs1use rustc_abi::CanonAbi;
2use rustc_middle::ty::Ty;
3use rustc_span::Symbol;
4use rustc_target::callconv::FnAbi;
5
6use crate::helpers::check_min_vararg_count;
7use crate::shims::unix::linux_like::eventfd::EvalContextExt as _;
8use crate::shims::unix::linux_like::sync::futex;
9use crate::*;
10
11pub fn syscall<'tcx>(
12 ecx: &mut MiriInterpCx<'tcx>,
13 link_name: Symbol,
14 abi: &FnAbi<'tcx, Ty<'tcx>>,
15 args: &[OpTy<'tcx>],
16 dest: &MPlaceTy<'tcx>,
17) -> InterpResult<'tcx> {
18 let ([op], varargs) = ecx.check_shim_variadic(abi, CanonAbi::C, link_name, args)?;
19 let sys_getrandom = ecx.eval_libc("SYS_getrandom").to_target_usize(ecx)?;
25 let sys_futex = ecx.eval_libc("SYS_futex").to_target_usize(ecx)?;
26 let sys_eventfd2 = ecx.eval_libc("SYS_eventfd2").to_target_usize(ecx)?;
27
28 match ecx.read_target_usize(op)? {
29 num if num == sys_getrandom => {
32 let [ptr, len, flags] = check_min_vararg_count("syscall(SYS_getrandom, ...)", varargs)?;
35
36 let ptr = ecx.read_pointer(ptr)?;
37 let len = ecx.read_target_usize(len)?;
38 let _flags = ecx.read_scalar(flags)?.to_i32()?;
42
43 ecx.gen_random(ptr, len)?;
44 ecx.write_scalar(Scalar::from_target_usize(len, ecx), dest)?;
45 }
46 num if num == sys_futex => {
48 futex(ecx, varargs, dest)?;
49 }
50 num if num == sys_eventfd2 => {
51 let [initval, flags] = check_min_vararg_count("syscall(SYS_evetfd2, ...)", varargs)?;
52
53 let result = ecx.eventfd(initval, flags)?;
54 ecx.write_int(result.to_i32()?, dest)?;
55 }
56 num => {
57 throw_unsup_format!("syscall: unsupported syscall number {num}");
58 }
59 };
60
61 interp_ok(())
62}