min_infmachine_lltk 0.1.0

The MinInfMachine Low Level Toolkit.
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
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117

use min_infmachine_lltk::*;

#[test]
fn test_try_into_from_pair() {
    for bits in 8..32 {
        for i0 in 0..16u8 {
            for i1 in 0..16u8 {
                let instr =
                    MinInfInstr::new(i0.try_into().unwrap(), i1.try_into().unwrap(), 121, 237);
                let pair = (((i0 as u64) << bits) | 121, ((i1 as u64) << bits) | 237);
                assert_eq!(
                    Ok(pair),
                    instr.try_into_pair(bits).map_err(|e| e.to_string()),
                );
                assert_eq!(
                    Ok(instr),
                    MinInfInstr::try_from_pair(pair, bits).map_err(|e| e.to_string()),
                );
            }
        }
    }
    for bits in 8..16 {
        for i0 in 0..16u8 {
            for i1 in 0..16u8 {
                let instr = MinInfInstr::new(
                    i0.try_into().unwrap(),
                    i1.try_into().unwrap(),
                    133121,
                    1441237,
                );
                assert_eq!(
                    Err("NextFr0 overflow: 133121".to_string()),
                    instr.try_into_pair::<u64>(bits).map_err(|e| e.to_string()),
                );
            }
        }
    }
    for bits in 8..16 {
        for i0 in 0..16u8 {
            for i1 in 0..16u8 {
                let instr =
                    MinInfInstr::new(i0.try_into().unwrap(), i1.try_into().unwrap(), 17, 1441237);
                assert_eq!(
                    Err("NextFr1 overflow: 1441237".to_string()),
                    instr.try_into_pair::<u64>(bits).map_err(|e| e.to_string()),
                );
            }
        }
    }
}

#[test]
fn test_try_to_table() {
    assert_eq!(
        Ok(vec![
            ((MACH_MARF as u64) << 3) | 1,
            ((MACH_TBRF as u64) << 3) | 1,
            ((MACH_TBRF as u64) << 3) | 2,
            ((MACH_MRW0 as u64) << 3) | 4,
            ((MACH_MARW0 as u64) << 3) | 1,
            0,
            0,
            0,
            ((MACH_MARF as u64) << 3) | 2,
            ((MACH_TBRF as u64) << 3) | 2,
            ((MACH_TBB as u64) << 3) | 3,
            ((MACH_MRW0 as u64) << 3) | 4,
            ((MACH_MARW0 as u64) << 3) | 0,
            0,
            0,
            0,
        ]),
        try_to_table::<u64>(vec![
            MinInfInstr::new_func01(MINF_MARF, 1, 2),
            MinInfInstr::new_func01(MINF_TBRF, 1, 2),
            MinInfInstr::new(MINF_TBRF, MINF_TBB, 2, 3),
            MinInfInstr::new_func01(MINF_MRW0, 4, 4),
            MinInfInstr::new_func01(MINF_MARW0, 1, 0),
        ])
        .map_err(|e| e.to_string())
    );
}

#[test]
fn test_try_from_table() {
    assert_eq!(
        Ok(vec![
            MinInfInstr::new_func01(MINF_MARF, 1, 2),
            MinInfInstr::new_func01(MINF_TBRF, 1, 2),
            MinInfInstr::new(MINF_TBRF, MINF_TBB, 2, 3),
            MinInfInstr::new_func01(MINF_MRW0, 4, 4),
            MinInfInstr::new_func01(MINF_MARW0, 1, 0),
            MinInfInstr::default(),
            MinInfInstr::default(),
            MinInfInstr::default(),
        ]),
        try_from_table::<u64>(vec![
            ((MACH_MARF as u64) << 3) | 1,
            ((MACH_TBRF as u64) << 3) | 1,
            ((MACH_TBRF as u64) << 3) | 2,
            ((MACH_MRW0 as u64) << 3) | 4,
            ((MACH_MARW0 as u64) << 3) | 1,
            0,
            0,
            0,
            ((MACH_MARF as u64) << 3) | 2,
            ((MACH_TBRF as u64) << 3) | 2,
            ((MACH_TBB as u64) << 3) | 3,
            ((MACH_MRW0 as u64) << 3) | 4,
            ((MACH_MARW0 as u64) << 3) | 0,
            0,
            0,
            0,
        ])
        .map_err(|e| e.to_string())
    );
}