fuel-vm 0.66.3

FuelVM interpreter.
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

use alloc::{
    vec,
    vec::Vec,
};

use super::test_helpers;
use fuel_asm::*;
use fuel_tx::Receipt;
use fuel_types::Immediate24;
use fuel_vm::consts::{
    VM_MAX_RAM,
    VM_REGISTER_COUNT,
};
use test_helpers::{
    assert_panics,
    assert_success,
    run_script,
    set_full_word,
};

#[test]
fn all_registers_can_be_logged() {
    let mut script = Vec::new();
    for reg in 0..(VM_REGISTER_COUNT as u8) {
        script.push(op::movi(0x30, reg as Immediate24));
        script.push(op::log(0x30, reg, RegId::ZERO, RegId::ZERO));
    }
    script.push(op::ret(RegId::ONE));

    let receipts = run_script(script.into_iter().collect());
    assert_success(&receipts);

    let mut receipts_it = receipts.into_iter();
    for reg in 0..VM_REGISTER_COUNT {
        if let Receipt::Log { ra, .. } = receipts_it.next().expect("Missing receipt") {
            assert_eq!(ra, reg as u64);
        } else {
            unreachable!("Expected a log receipt");
        }
    }
}

#[test]
fn logd_memory_range_overflow() {
    let script = vec![
        op::not(0x30, RegId::ZERO),
        op::logd(RegId::ZERO, RegId::ZERO, 0x30, 1),
        op::ret(RegId::ONE),
    ];

    let receipts = run_script(script.into_iter().collect());
    assert_panics(&receipts, PanicReason::MemoryOverflow);
}

#[test]
fn logd_memory_out_of_range_fails() {
    let mut script = set_full_word(0x30, VM_MAX_RAM);
    script.push(op::logd(RegId::ZERO, RegId::ZERO, 0x30, 1));
    script.push(op::ret(RegId::ONE));

    let receipts = run_script(script.into_iter().collect());
    assert_panics(&receipts, PanicReason::MemoryOverflow);
}

#[test]
fn logd_just_below_memory_limit_succeeds() {
    let mut script = set_full_word(0x30, VM_MAX_RAM - 100);
    script.push(op::movi(0x31, 100));
    script.push(op::aloc(0x31));
    script.push(op::logd(RegId::ZERO, RegId::ZERO, 0x30, 0x31));
    script.push(op::ret(RegId::ONE));

    let receipts = run_script(script.into_iter().collect());
    assert_success(&receipts);
}