Jengamon/magus - Change KU6YLZOK2WLRLRIKX3Y5T3D5HTAOXEI54ZCLM7SDPJA6HLOG4NKAC

feat(vm): add new op-codes

Created by Jengamon on February 28, 2024

KU6YLZOK2WLRLRIKX3Y5T3D5HTAOXEI54ZCLM7SDPJA6HLOG4NKAC

Dependencies

In channels

main

Change contents

Replacement in magus_core/src/lexer.rs at line 285 [3.49]
B:BD[3.8879] → [3.8879:8904]
```
    use assert2::assert;
```
[3.8879]
[3.8904]
```
    use assert2::check;
```

Replacement in magus_core/src/lexer.rs at line 307 [3.49]

B:BD[2.971] → [2.971:1084]

            assert!(tok == Ok(lexed));
            assert!(span == tspan);
            assert!(slice == tslice);

[2.971]

[2.1084]

            check!(tok == Ok(lexed));
            check!(span == tspan);
            check!(slice == tslice);

Replacement in magus_core/src/lexer.rs at line 332 [3.49]

B:BD[3.9607] → [3.9607:9737]

            assert!(tok == Ok(Token::Decimal(parsed)));
            assert!(span == tspan);
            assert!(slice == tslice);

[3.9607]

[3.9737]

            check!(tok == Ok(Token::Decimal(parsed)));
            check!(span == tspan);
            check!(slice == tslice);

Replacement in magus_core/src/lexer.rs at line 347 [3.49]

B:BD[3.10042] → [3.10042:10116]

        assert!(tok1 == tok2);
        assert!(tok1_slice != tok2_slice);

[3.10042]

[3.10116]

        check!(tok1 == tok2);
        check!(tok1_slice != tok2_slice);

Replacement in magus_core/src/lexer.rs at line 355 [3.49]

B:BD[3.10252] → [3.10252:10437]

        assert!(lexer.next() == Some(Ok(Token::Identifier("Hello".to_string()))));
        assert!(lexer.span() == (0..source.len()));
        assert!(lexer.slice() == "|H\\x65;llo|");

[3.10252]

[3.10437]

        check!(lexer.next() == Some(Ok(Token::Identifier("Hello".to_string()))));
        check!(lexer.span() == (0..source.len()));
        check!(lexer.slice() == "|H\\x65;llo|");

Replacement in magus_core/src/lexer.rs at line 364 [3.49]

B:BD[3.10570] → [3.10570:10717]

        assert!(lexer.next() == Some(Ok(Token::Integer((3, 0)))));
        assert!(lexer.span() == (0..1));
        assert!(lexer.slice() == "3");

[3.10570]

[3.10717]

        check!(lexer.next() == Some(Ok(Token::Integer((3, 0)))));
        check!(lexer.span() == (0..1));
        check!(lexer.slice() == "3");

Replacement in magus_core/src/lexer.rs at line 368 [3.49]

B:BD[3.10718] → [3.10718:10881]

        assert!(lexer.next() == Some(Ok(Token::Identifier("let".to_string()))));
        assert!(lexer.span() == (1..4));
        assert!(lexer.slice() == "let");

[3.10718]

[3.10881]

        check!(lexer.next() == Some(Ok(Token::Identifier("let".to_string()))));
        check!(lexer.span() == (1..4));
        check!(lexer.slice() == "let");

Replacement in magus_core/src/lexer.rs at line 372 [3.49]

B:BD[3.10882] → [3.10882:11024]

        assert!(lexer.next() == Some(Ok(Token::Whitespace)));
        assert!(lexer.span() == (4..5));
        assert!(lexer.slice() == " ");

[3.10882]

[3.11024]

        check!(lexer.next() == Some(Ok(Token::Whitespace)));
        check!(lexer.span() == (4..5));
        check!(lexer.slice() == " ");

Replacement in magus_core/src/lexer.rs at line 376 [3.49]

B:BD[3.11025] → [3.11025:11170]

        assert!(lexer.next() == Some(Ok(Token::ImaginaryNeg)));
        assert!(lexer.span() == (5..7));
        assert!(lexer.slice() == "-i");

[3.11025]

[3.11170]

        check!(lexer.next() == Some(Ok(Token::ImaginaryNeg)));
        check!(lexer.span() == (5..7));
        check!(lexer.slice() == "-i");

Replacement in magus_core/src/lexer.rs at line 385 [3.49]

B:BD[3.11299] → [3.11299:11468]

        assert!(lexer.next() == Some(Ok(Token::Identifier("+soup+".to_string()))));
        assert!(lexer.span() == (0..6));
        assert!(lexer.slice() == "+soup+");

[3.11299]

[3.11468]

        check!(lexer.next() == Some(Ok(Token::Identifier("+soup+".to_string()))));
        check!(lexer.span() == (0..6));
        check!(lexer.slice() == "+soup+");

Replacement in magus_core/src/lexer.rs at line 389 [3.49]

B:BD[3.11469] → [3.11469:11611]

        assert!(lexer.next() == Some(Ok(Token::Whitespace)));
        assert!(lexer.span() == (6..7));
        assert!(lexer.slice() == " ");

[3.11469]

[3.11611]

        check!(lexer.next() == Some(Ok(Token::Whitespace)));
        check!(lexer.span() == (6..7));
        check!(lexer.slice() == " ");

Replacement in magus_core/src/lexer.rs at line 393 [3.49]

B:BD[3.11612] → [3.11612:11782]

        assert!(lexer.next() == Some(Ok(Token::Identifier("$?bama".to_string()))));
        assert!(lexer.span() == (7..13));
        assert!(lexer.slice() == "$?bama");

[3.11612]

[3.11782]

        check!(lexer.next() == Some(Ok(Token::Identifier("$?bama".to_string()))));
        check!(lexer.span() == (7..13));
        check!(lexer.slice() == "$?bama");

Deletion in magus_core/src/bytecode.rs at line 5 [4.36]

B:BD[4.149] → [4.149:296]

// - INST (8bits) A (24bits) (shape A)
// - INST (8bits) A (8bits) B (16bits) (shape B)
// - INST (8bits) A (8bits) B (8bits) C (8bits) (shape C)

Insertion in magus_core/src/bytecode.rs at line 7 [4.36]

[4.376]

/// Bytecode instructions for a virtual machine
///
/// ## Shapes
/// If a shape is not mentioned, the instructions is in shape A.
/// - INST (8bits) A (24bits) (shape A)
/// - INST (8bits) A (8bits) B (16bits) (shape B)
/// - INST (8bits) A (8bits) B (8bits) C (8bits) (shape C)

Insertion in magus_core/src/bytecode.rs at line 17 [4.36]
[4.474]
[4.474]
```
    /// Do nothing.
```

Insertion in magus_core/src/bytecode.rs at line 19 [4.36]

[4.484]

    /// Push argument as an unsigned integer
    PushInt,
    /// Push argument as a signed integer
    PushSignedInt,
    /// Push from constant table
    PushConst,
    /// (Shape B) Create a list object, and set the SRL register at (B) to that object (for self-reference)
    PushSelfReferentialList,
    /// (Shape B) Create a list object using a number of items (B) from the stack, with the
    /// top-most item being the last item of the list
    ///
    /// If SRL register at (A) is set, instead set the items of the list in the SRL register
    /// to the items that would have been used to create a new list, and unset the register
    CreateList,

Insertion in magus_core/src/bytecode.rs at line 106 [4.36]

[4.2452]

                op_code,
                arguments: OpArguments::parse_a(n),
            },
            OpCode::PushInt => Self {
                op_code,
                arguments: OpArguments::parse_a(n),
            },
            OpCode::PushSignedInt => Self {

Insertion in magus_core/src/bytecode.rs at line 117 [4.36]

[4.2544]

            OpCode::PushConst => Self {
                op_code,
                arguments: OpArguments::parse_b(n),
            },
            OpCode::PushSelfReferentialList => Self {
                op_code,
                arguments: OpArguments::parse_b(n),
            },
            OpCode::CreateList => Self {
                op_code,
                arguments: OpArguments::parse_b(n),
            },