plotnik-bytecode 0.3.2

Bytecode format and runtime types for Plotnik
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
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76

use super::aligned_vec::{ALIGN, AlignedVec};

fn is_aligned(ptr: *const u8) -> bool {
    (ptr as usize).is_multiple_of(ALIGN)
}

#[test]
fn alignment_guarantee() {
    let data: Vec<u8> = (0..100).collect();
    let vec = AlignedVec::copy_from_slice(&data);
    assert!(is_aligned(vec.as_ptr()));
}

#[test]
fn copy_from_slice() {
    let data = [1u8, 2, 3, 4, 5];
    let vec = AlignedVec::copy_from_slice(&data);

    assert!(is_aligned(vec.as_ptr()));
    assert_eq!(&*vec, &data);
}

#[test]
fn empty_slice() {
    let vec = AlignedVec::copy_from_slice(&[]);
    assert!(vec.is_empty());
    assert_eq!(vec.len(), 0);
    assert_eq!(vec.as_slice(), &[] as &[u8]);
}

#[test]
fn clone_preserves_alignment() {
    let data: Vec<u8> = (0..100).collect();
    let vec = AlignedVec::copy_from_slice(&data);
    let cloned = vec.clone();

    assert!(is_aligned(cloned.as_ptr()));
    assert_eq!(&*cloned, &*vec);
}

#[test]
fn deref_to_slice() {
    let vec = AlignedVec::copy_from_slice(&[10, 20, 30]);

    let slice: &[u8] = &vec;
    assert_eq!(slice, &[10, 20, 30]);
    assert_eq!(vec[0], 10);
    assert_eq!(vec[2], 30);
}

#[test]
fn large_data() {
    let data: Vec<u8> = (0..10_000).map(|i| (i % 256) as u8).collect();
    let vec = AlignedVec::copy_from_slice(&data);

    assert!(is_aligned(vec.as_ptr()));
    assert_eq!(&*vec, &data[..]);
}

#[test]
fn partial_block() {
    let data: Vec<u8> = (0..37).collect();
    let vec = AlignedVec::copy_from_slice(&data);

    assert_eq!(vec.len(), 37);
    assert_eq!(&*vec, &data[..]);
}

#[test]
fn exact_block_boundary() {
    let data: Vec<u8> = (0..128).map(|i| i as u8).collect();
    let vec = AlignedVec::copy_from_slice(&data);

    assert_eq!(vec.len(), 128);
    assert_eq!(&*vec, &data[..]);
}