miden-stdlib-sys 0.13.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

#[cfg(all(target_family = "wasm", miden))]
unsafe extern "C" {
    #[cfg_attr(all(target_family = "wasm", miden), linkage = "extern_weak")]
    #[link_name = "intrinsics::debug::break"]
    fn extern_break();
    #[cfg_attr(all(target_family = "wasm", miden), linkage = "extern_weak")]
    #[link_name = "intrinsics::debug::println"]
    fn extern_println(ptr: *const u8, len: usize);
}

/// Sets a breakpoint in the emitted Miden Assembly at the point this function is called.
#[inline(always)]
#[track_caller]
#[cfg(all(target_family = "wasm", miden))]
pub fn breakpoint() {
    unsafe {
        extern_break();
    }
}

/// Sets a breakpoint in the emitted Miden Assembly at the point this function is called.
#[inline(always)]
#[track_caller]
#[cfg(not(all(target_family = "wasm", miden)))]
pub fn breakpoint() {
    unimplemented!("debug intrinsics are only available when targeting the Miden VM")
}

/// Prints the string pointed to by `ptr` in the debug executor.
#[inline(always)]
#[cfg(all(target_family = "wasm", miden))]
pub fn println(ptr: *const u8, len: usize) {
    unsafe {
        extern_println(ptr, len);
    }
}

/// Prints the string pointed to by `ptr` in the debug executor.
#[inline(always)]
#[cfg(not(all(target_family = "wasm", miden)))]
pub fn println(_ptr: *const u8, _len: usize) {
    unimplemented!("debug intrinsics are only available when targeting the Miden VM")
}