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
63
64
65

// SPDX-License-Identifier: Apache-2.0

use clap::ArgMatches;
use xlsynth::IrPackage;
use xlsynth_pir::{AugOptOptions, run_aug_opt_over_ir_text};

use crate::toolchain_config::ToolchainConfig;
use crate::tools::run_opt_main;

fn ir2opt(
    input_file: &std::path::Path,
    top: &str,
    config: &Option<ToolchainConfig>,
    aug_opt: bool,
) {
    log::info!("ir2opt");

    if aug_opt {
        if config
            .as_ref()
            .and_then(|c| c.tool_path.as_deref())
            .is_some()
        {
            eprintln!(
                "error: ir2opt: --aug-opt=true is not supported with --toolchain (external tool path) yet"
            );
            std::process::exit(2);
        }
        let input_text = std::fs::read_to_string(input_file).unwrap();
        let out = run_aug_opt_over_ir_text(
            &input_text,
            Some(top),
            AugOptOptions {
                enable: true,
                rounds: 1,
                ..Default::default()
            },
        )
        .unwrap();
        println!("{out}");
        return;
    }

    if let Some(tool_path) = config.as_ref().and_then(|c| c.tool_path.as_deref()) {
        let output = run_opt_main(input_file, Some(top), tool_path);
        println!("{}", output);
    } else {
        let ir_package = IrPackage::parse_ir_from_path(input_file).unwrap();
        let optimized_ir = xlsynth::optimize_ir(&ir_package, top).unwrap();
        println!("{}", optimized_ir.to_string());
    }
}

pub fn handle_ir2opt(matches: &ArgMatches, config: &Option<ToolchainConfig>) {
    log::info!("handle_ir2opt");
    let input_file = matches.get_one::<String>("ir_input_file").unwrap();
    let top = matches.get_one::<String>("ir_top").unwrap();
    let input_path = std::path::Path::new(input_file);

    let aug_opt = matches
        .get_one::<String>("aug_opt")
        .is_some_and(|s| s == "true");

    ir2opt(input_path, top, config, aug_opt);
}