resolc 0.4.0

Solidity frontend for the revive compiler
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

//! The tests for running resolc with output directory option.

use std::path::Path;

use tempfile::tempdir;

use crate::tests::cli::utils;

const OUTPUT_BIN_FILE_PATH: &str = "contract.sol:C.pvm";
const OUTPUT_ASM_FILE_PATH: &str = "contract.sol:C.pvmasm";
const OUTPUT_LLVM_OPTIMIZED_FILE_PATH: &str = "src_tests_data_solidity_contract.sol.C.optimized.ll";
const OUTPUT_LLVM_UNOPTIMIZED_FILE_PATH: &str =
    "src_tests_data_solidity_contract.sol.C.unoptimized.ll";

fn assert_valid_output_file(
    result: &utils::CommandResult,
    debug_output_directory: &Path,
    output_file_name: &str,
) {
    utils::assert_command_success(result, "Providing an output directory");

    assert!(result.stderr.contains("Compiler run successful"),);

    let file = debug_output_directory.to_path_buf().join(output_file_name);

    assert!(file.exists(), "Artifact should exist: {}", file.display());

    assert_ne!(
        file.metadata().unwrap().len(),
        0,
        "Artifact shouldn't be empty: {}",
        file.display()
    );
}

#[test]
fn writes_to_file() {
    let temp_dir = tempdir().unwrap();
    let arguments = &[
        utils::SOLIDITY_CONTRACT_PATH,
        "--overwrite",
        "-O3",
        "--bin",
        "--asm",
        "--output-dir",
        temp_dir.path().to_str().unwrap(),
    ];
    let result = utils::execute_resolc(arguments);
    assert_valid_output_file(&result, temp_dir.path(), OUTPUT_BIN_FILE_PATH);
    assert_valid_output_file(&result, temp_dir.path(), OUTPUT_ASM_FILE_PATH);
}

#[test]
fn writes_debug_info_to_file_unoptimized() {
    let temp_dir = tempdir().unwrap();
    let arguments = &[
        utils::SOLIDITY_CONTRACT_PATH,
        "-g",
        "--disable-solc-optimizer",
        "--overwrite",
        "--bin",
        "--asm",
        "--output-dir",
        temp_dir.path().to_str().unwrap(),
    ];
    let result = utils::execute_resolc(arguments);
    assert_valid_output_file(&result, temp_dir.path(), OUTPUT_BIN_FILE_PATH);
    assert_valid_output_file(&result, temp_dir.path(), OUTPUT_ASM_FILE_PATH);
}

#[test]
fn writes_debug_info_to_file_optimized() {
    let temp_dir = tempdir().unwrap();
    let arguments = &[
        utils::SOLIDITY_CONTRACT_PATH,
        "-g",
        "--overwrite",
        "--bin",
        "--asm",
        "--output-dir",
        temp_dir.path().to_str().unwrap(),
    ];
    let result = utils::execute_resolc(arguments);
    assert_valid_output_file(&result, temp_dir.path(), OUTPUT_BIN_FILE_PATH);
    assert_valid_output_file(&result, temp_dir.path(), OUTPUT_ASM_FILE_PATH);
}

#[test]
fn writes_llvm_debug_info_to_file_unoptimized() {
    let temp_dir = tempdir().unwrap();
    let arguments = &[
        utils::SOLIDITY_CONTRACT_PATH,
        "-g",
        "--disable-solc-optimizer",
        "--overwrite",
        "--debug-output-dir",
        temp_dir.path().to_str().unwrap(),
    ];
    let result = utils::execute_resolc(arguments);
    assert_valid_output_file(&result, temp_dir.path(), OUTPUT_LLVM_UNOPTIMIZED_FILE_PATH);
}

#[test]
fn writes_llvm_debug_info_to_file_optimized() {
    let temp_dir = tempdir().unwrap();
    let arguments = &[
        utils::SOLIDITY_CONTRACT_PATH,
        "-g",
        "--overwrite",
        "--debug-output-dir",
        temp_dir.path().to_str().unwrap(),
    ];
    let result = utils::execute_resolc(arguments);
    assert_valid_output_file(&result, temp_dir.path(), OUTPUT_LLVM_OPTIMIZED_FILE_PATH);
}