miden-stdlib-sys 0.12.0

Low-level Rust bindings for the Miden standard library
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45

use core::ffi::c_void;

/// Unreachable stubs for std::mem procedures used via SDK

#[unsafe(export_name = "miden::core::mem::pipe_words_to_memory")]
pub extern "C" fn std_mem_pipe_words_to_memory_stub(
    _num_words: f32,
    _write_ptr: *mut c_void,
    _out_ptr: *mut c_void,
) {
    unsafe { core::hint::unreachable_unchecked() }
}

#[unsafe(export_name = "miden::core::mem::pipe_double_words_to_memory")]
pub extern "C" fn std_mem_pipe_double_words_to_memory_stub(
    _r00: f32,
    _r01: f32,
    _r02: f32,
    _r03: f32,
    _r10: f32,
    _r11: f32,
    _r12: f32,
    _r13: f32,
    _c0: f32,
    _c1: f32,
    _c2: f32,
    _c3: f32,
    _write_ptr: *mut c_void,
    _end_ptr: *mut c_void,
    _out_ptr: *mut c_void,
) {
    unsafe { core::hint::unreachable_unchecked() }
}

#[unsafe(export_name = "miden::core::mem::pipe_preimage_to_memory")]
pub extern "C" fn std_mem_pipe_preimage_to_memory_stub(
    _num_words: f32,
    _write_ptr: *mut c_void,
    _c0: f32,
    _c1: f32,
    _c2: f32,
    _c3: f32,
) -> i32 {
    unsafe { core::hint::unreachable_unchecked() }
}