ellie_vm 0.6.5

Ellie VM for running Ellie ByteCode
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

use alloc::{format, vec::Vec};
use ellie_core::defs::PlatformArchitecture;

use crate::{
    heap_memory::HeapMemory,
    instruction_utils::CALLN,
    stack::Stack,
    stack_memory::StackMemory,
    utils::{
        resolve_reference, AddressingValues, ReferenceType, ThreadPanicReason, VmNativeCall,
        VmNativeCallParameters,
    },
};

use super::{ExecuterPanic, ExecuterResult, StaticProgram};

impl super::InstructionExecuter for CALLN {
    fn execute(
        &self,
        heap_memory: &mut HeapMemory,
        program: StaticProgram,
        current_stack: &mut Stack,
        stack_memory: &mut StackMemory,
        addressing_value: &AddressingValues,
        _arch: PlatformArchitecture,
    ) -> Result<ExecuterResult, ExecuterPanic> {
        match addressing_value {
            AddressingValues::Absolute(start_location) => {
                let hash = match &program[*start_location].addressing_value {
                    AddressingValues::Immediate(e) => e.to_int() as usize,
                    _ => {
                        return Err(ExecuterPanic {
                            reason: ThreadPanicReason::IllegalAddressingValue,
                            code_location: format!("{}:{}", file!(), line!()),
                        })
                    }
                };
                let return_heap_position = match &program[start_location + 1].addressing_value {
                    AddressingValues::Immediate(e) => e.to_int() as usize,
                    _ => {
                        return Err(ExecuterPanic {
                            reason: ThreadPanicReason::IllegalAddressingValue,
                            code_location: format!("{}:{}", file!(), line!()),
                        })
                    }
                };
                let params_length = match &program[start_location + 2].addressing_value {
                    AddressingValues::Immediate(e) => e.to_int() as usize,
                    _ => {
                        return Err(ExecuterPanic {
                            reason: ThreadPanicReason::IllegalAddressingValue,
                            code_location: format!("{}:{}", file!(), line!()),
                        })
                    }
                };
                let mut params = Vec::new();
                let _start_position_of_params = current_stack.get_pos() - 2;

                for i in 0..params_length {
                    let pos = current_stack.get_pos() - (params_length - i);
                    let parameter = match stack_memory.get(&pos) {
                        Some(raw_type) => {
                            if raw_type.type_id.is_stack_reference()
                                || raw_type.type_id.is_heap_reference()
                            {
                                match resolve_reference(
                                    if raw_type.type_id.is_stack_reference() {
                                        ReferenceType::Stack
                                    } else {
                                        ReferenceType::Heap
                                    },
                                    raw_type.to_uint(),
                                    heap_memory,
                                    stack_memory,
                                )
                                .unwrap()
                                {
                                    crate::utils::ResolvedReference::StaticRawType(e) => {
                                        VmNativeCallParameters::Static(e.0)
                                    }
                                    crate::utils::ResolvedReference::RawType(e) => {
                                        VmNativeCallParameters::Dynamic(e.0)
                                    }
                                }
                            } else {
                                VmNativeCallParameters::Static(raw_type)
                            }
                        }
                        None => {
                            return Err(ExecuterPanic {
                                reason: ThreadPanicReason::NullReference(pos),
                                code_location: format!("{}:{}", file!(), line!()),
                            })
                        }
                    };
                    params.push(parameter);
                }
                Ok(ExecuterResult::CallNativeFunction(VmNativeCall {
                    hash,
                    params,
                    return_heap_position,
                }))
            }
            _ => Err(ExecuterPanic {
                reason: ThreadPanicReason::IllegalAddressingValue,
                code_location: format!("{}:{}", file!(), line!()),
            }),
        }
    }
}