dismael 0.1.1

Disassembler for Asmodeus binary files with intelligent analysis
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

use dismael::disassemble;

#[test]
fn test_disassemble_extended_instructions() {
    let machine_code = vec![
        (0b10001 << 11) | 100,  // MNO 100
        (0b10010 << 11) | 200,  // DZI 200  
        (0b10011 << 11) | 50,   // MOD 50
        (0b00111 << 11) | 0,    // STP
    ];

    let result = disassemble(&machine_code).unwrap();
    let disasm_text = result.join("\n");
    
    assert!(disasm_text.contains("MNO"));
    assert!(disasm_text.contains("DZI"));
    assert!(disasm_text.contains("MOD"));
    assert!(disasm_text.contains("100"));
    assert!(disasm_text.contains("200"));
    assert!(disasm_text.contains("50"));
}

#[test]
fn test_disassemble_extended_immediate_addressing() {
    let machine_code = vec![
        (0b10001 << 11) | (0b001 << 8) | 42,  // MNO #42
        (0b10010 << 11) | (0b001 << 8) | 7,   // DZI #7
        (0b10011 << 11) | (0b001 << 8) | 5,   // MOD #5
    ];

    let result = disassemble(&machine_code).unwrap();
    let disasm_text = result.join("\n");
    
    assert!(disasm_text.contains("MNO"));
    assert!(disasm_text.contains("#42"));
    assert!(disasm_text.contains("DZI"));
    assert!(disasm_text.contains("#7"));
    assert!(disasm_text.contains("MOD"));
    assert!(disasm_text.contains("#5"));
}

#[test]
fn test_disassemble_extended_indirect_addressing() {
    let machine_code = vec![
        (0b10001 << 11) | (0b010 << 8) | 100, // MNO [100]
        (0b10010 << 11) | (0b010 << 8) | 200, // DZI [200]
        (0b10011 << 11) | (0b010 << 8) | 50,  // MOD [50]
    ];

    let result = disassemble(&machine_code).unwrap();
    let disasm_text = result.join("\n");
    
    assert!(disasm_text.contains("MNO"));
    assert!(disasm_text.contains("[100]"));
    assert!(disasm_text.contains("DZI"));
    assert!(disasm_text.contains("[200]"));
    assert!(disasm_text.contains("MOD"));
    assert!(disasm_text.contains("[50]"));
}

#[test]
fn test_disassemble_mixed_instructions() {
    let machine_code = vec![
        (0b00001 << 11) | 10,                 // DOD 10
        (0b10001 << 11) | (0b001 << 8) | 5,  // MNO #5
        (0b00010 << 11) | 20,                 // ODE 20
        (0b10010 << 11) | (0b001 << 8) | 2,  // DZI #2
        (0b10011 << 11) | (0b001 << 8) | 7,  // MOD #7
        (0b00111 << 11) | 0,                  // STP
    ];

    let result = disassemble(&machine_code).unwrap();
    let disasm_text = result.join("\n");
    
    // Check all instructions are present
    assert!(disasm_text.contains("DOD"));
    assert!(disasm_text.contains("MNO"));
    assert!(disasm_text.contains("ODE"));
    assert!(disasm_text.contains("DZI"));
    assert!(disasm_text.contains("MOD"));
    assert!(disasm_text.contains("STP"));
    
    // Check addressing modes
    assert!(disasm_text.contains("#5"));
    assert!(disasm_text.contains("#2"));
    assert!(disasm_text.contains("#7"));
}

#[test]
fn test_roundtrip_extended_instructions() {
    use hephasm::assemble_program_extended;
    
    let source = r#"
        ; Extended arithmetic operations
        MNO #6     ; multiply by 6
        DZI #2     ; divide by 2  
        MOD #5     ; modulo 5
        STP        ; stop
    "#;
    
    // Assemble with extended flag
    let machine_code = assemble_program_extended(source).unwrap();
    
    // Disassemble back
    let disassembled = disassemble(&machine_code).unwrap();
    let disasm_text = disassembled.join("\n");
    
    // Check that all extended instructions are correctly roundtripped
    assert!(disasm_text.contains("MNO"));
    assert!(disasm_text.contains("#6"));
    assert!(disasm_text.contains("DZI"));
    assert!(disasm_text.contains("#2"));
    assert!(disasm_text.contains("MOD"));
    assert!(disasm_text.contains("#5"));
    assert!(disasm_text.contains("STP"));
}