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

//! The tests for running resolc with explicit optimization.

use crate::tests::cli::utils::{
    self, assert_command_failure, assert_command_success, assert_equal_exit_codes, execute_resolc,
    execute_solc, RESOLC_YUL_FLAG, SOLIDITY_CONTRACT_PATH, YUL_MEMSET_CONTRACT_PATH,
};

const LEVELS: &[char] = &['0', '1', '2', '3', 's', 'z'];

#[test]
fn runs_with_valid_level() {
    for level in LEVELS {
        let optimization_argument = format!("-O{level}");
        let arguments = &[YUL_MEMSET_CONTRACT_PATH, "--yul", &optimization_argument];
        let resolc_result = utils::execute_resolc(arguments);
        assert!(
            resolc_result.success,
            "Providing the level `{optimization_argument}` should succeed with exit code {}, got {}.\nDetails: {}",
            revive_common::EXIT_CODE_SUCCESS,
            resolc_result.code,
            resolc_result.stderr
        );

        assert!(
            resolc_result
                .stderr
                .contains("Compiler run successful. No output requested"),
            "Expected the output to contain a success message when providing the level `{optimization_argument}`."
        );
    }
}

#[test]
fn fails_with_invalid_level() {
    let arguments = &[YUL_MEMSET_CONTRACT_PATH, RESOLC_YUL_FLAG, "-O9"];
    let resolc_result = execute_resolc(arguments);
    assert_command_failure(&resolc_result, "Providing an invalid optimization level");

    assert!(resolc_result
        .stderr
        .contains("Unexpected optimization option"));

    let solc_result = execute_solc(arguments);
    assert_equal_exit_codes(&solc_result, &resolc_result);
}

#[test]
fn disable_solc_optimzer() {
    let arguments = &[SOLIDITY_CONTRACT_PATH, "--bin", "--disable-solc-optimizer"];
    let disabled = execute_resolc(arguments);
    assert_command_success(&disabled, "Disabling the solc optimizer");

    let arguments = &[SOLIDITY_CONTRACT_PATH, "--bin"];
    let enabled = execute_resolc(arguments);
    assert_command_success(&disabled, "Enabling the solc optimizer");

    assert_ne!(enabled.stdout, disabled.stdout);
}