solana_libra_compiler 0.0.0

Solana Libra compiler
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

// Copyright (c) The Libra Core Contributors
// SPDX-License-Identifier: Apache-2.0

use crate::unit_tests::testutils::compile_module_string;

#[test]
fn compile_script_with_functions() {
    let code = String::from(
        "
        module Foobar {
            resource FooCoin { value: u64 }

            public value(this: &R#Self.FooCoin): u64 {
                let value_ref: &u64;
                value_ref = &move(this).value;
                return *move(value_ref);
            }

            public deposit(this: &mut R#Self.FooCoin, check: R#Self.FooCoin) {
                let value_ref: &mut u64;
                let value: u64;
                let check_ref: &R#Self.FooCoin;
                let check_value: u64;
                let new_value: u64;
                let i: u64;
                value_ref = &mut move(this).value;
                value = *copy(value_ref);
                check_ref = ✓
                check_value = Self.value(move(check_ref));
                new_value = copy(value) + copy(check_value);
                *move(value_ref) = move(new_value);
                FooCoin { value: i } = move(check);
                return;
            }
        }
        ",
    );
    let compiled_module_res = compile_module_string(&code);
    assert!(compiled_module_res.is_ok());
}

fn generate_function(name: &str, num_formals: usize, num_locals: usize) -> String {
    let mut code = format!("public {}(", name);

    code.reserve(30 * (num_formals + num_locals));

    for i in 0..num_formals {
        code.push_str(&format!("formal_{}: u64", i));
        if i < num_formals - 1 {
            code.push_str(", ");
        }
    }

    code.push_str(") {\n");

    for i in 0..num_locals {
        code.push_str(&format!("let x_{}: u64;\n", i));
    }
    for i in 0..num_locals {
        code.push_str(&format!("x_{} = {};\n", i, i));
    }

    code.push_str("return;");

    code.push_str("}");

    code
}

#[test]
fn compile_script_with_large_frame() {
    let mut code = String::from(
        "
        module Foobar {
            resource FooCoin { value: u64 }
        ",
    );

    // Max number of locals (formals + local variables) is u8::max_value().
    code.push_str(&generate_function("foo_func", 128, 127));

    code.push_str("}");

    let compiled_module_res = compile_module_string(&code);
    assert!(compiled_module_res.is_ok());
}

#[test]
fn compile_script_with_invalid_large_frame() {
    let mut code = String::from(
        "
        module Foobar {
            resource FooCoin { value: u64 }
        ",
    );

    // Max number of locals (formals + local variables) is u8::max_value().
    code.push_str(&generate_function("foo_func", 128, 128));

    code.push_str("}");

    let compiled_module_res = compile_module_string(&code);
    assert!(compiled_module_res.is_err());
}