xlsynth-driver 0.61.0

Binary that integrates XLS capabilities into a driver program
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

// SPDX-License-Identifier: Apache-2.0

use std::path::Path;

use clap::ArgMatches;

use crate::common::get_dslx_paths;
use crate::report_cli_error::report_cli_error_and_exit;
use crate::toolchain_config::ToolchainConfig;

pub fn handle_dslx_specialize(matches: &ArgMatches, config: &Option<ToolchainConfig>) {
    let input_file = matches
        .get_one::<String>("dslx_input_file")
        .expect("dslx_input_file arg missing");
    let top = matches
        .get_one::<String>("dslx_top")
        .expect("dslx_top arg missing");
    let input_path = Path::new(input_file);

    let dslx_contents = match std::fs::read_to_string(input_path) {
        Ok(contents) => contents,
        Err(err) => {
            report_cli_error_and_exit(
                "failed to read DSLX input file",
                Some("dslx-specialize"),
                vec![
                    ("path", input_file.as_str()),
                    ("error", &format!("{}", err)),
                ],
            );
        }
    };

    let crate::common::DslxPaths {
        stdlib_path,
        search_paths,
    } = get_dslx_paths(matches, config);
    let stdlib_path_ref = stdlib_path.as_deref();
    let additional_search_paths = search_paths;

    let specialized_module = match xlsynth_prover::dslx_specializer::specialize_dslx_module(
        &dslx_contents,
        input_path,
        top,
        stdlib_path_ref,
        &additional_search_paths,
    ) {
        Ok(output) => output,
        Err(err) => {
            report_cli_error_and_exit(
                "DSLX specialization failed",
                Some("dslx-specialize"),
                vec![
                    ("path", input_file.as_str()),
                    ("error", &format!("{}", err)),
                ],
            );
        }
    };

    println!("{}", specialized_module.source);
}