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

// SPDX-License-Identifier: Apache-2.0

use std::io::{BufWriter, Write};
use std::path::PathBuf;

use clap::ArgMatches;
use xlsynth_pir::ir_fn_generate_inputs::{
    FloatParamSpec, IrFnGenerateInputsConfig, generate_ir_fn_inputs_from_ir_path,
};

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

pub fn handle_ir_fn_generate_inputs(matches: &ArgMatches, _config: &Option<ToolchainConfig>) {
    let ir_input_file = PathBuf::from(
        matches
            .get_one::<String>("ir_input_file")
            .expect("ir_input_file is required"),
    );
    let count = *matches
        .get_one::<usize>("count")
        .expect("count has a default value");
    let seed = *matches
        .get_one::<u64>("seed")
        .expect("seed has a default value");
    let float_params = matches
        .get_many::<String>("float_param")
        .into_iter()
        .flatten()
        .map(|spec| {
            FloatParamSpec::parse(spec).unwrap_or_else(|e| {
                report_cli_error_and_exit(&e, Some("ir-fn-generate-inputs"), vec![])
            })
        })
        .collect::<Vec<_>>();
    let config = IrFnGenerateInputsConfig {
        count,
        seed,
        float_params,
    };
    let tuples = generate_ir_fn_inputs_from_ir_path(
        &ir_input_file,
        matches.get_one::<String>("ir_top").map(String::as_str),
        &config,
    )
    .unwrap_or_else(|e| report_cli_error_and_exit(&e, Some("ir-fn-generate-inputs"), vec![]));

    let stdout = std::io::stdout();
    let mut writer = BufWriter::new(stdout.lock());
    for tuple in tuples {
        writeln!(writer, "{}", tuple).unwrap_or_else(|e| {
            report_cli_error_and_exit(
                &format!("failed to write generated input tuple: {}", e),
                Some("ir-fn-generate-inputs"),
                vec![],
            )
        });
    }
}