xlsynth-driver 0.42.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

// SPDX-License-Identifier: Apache-2.0

use xlsynth_pir::ir_parser;

use crate::toolchain_config::ToolchainConfig;

pub fn handle_ir_strip_pos_data(matches: &clap::ArgMatches, _config: &Option<ToolchainConfig>) {
    let ir_path = matches.get_one::<String>("ir_file").unwrap();

    let file_content = std::fs::read_to_string(ir_path).unwrap_or_else(|err| {
        eprintln!("Failed to read {}: {}", ir_path, err);
        std::process::exit(1);
    });

    let opts = ir_parser::ParseOptions {
        retain_pos_data: false,
    };
    let mut parser = ir_parser::Parser::new_with_options(&file_content, opts);
    let mut package = parser.parse_package().unwrap_or_else(|err| {
        eprintln!("Error encountered parsing XLS IR package: {:?}", err);
        std::process::exit(1);
    });

    // Drop the file table so it is not emitted on print.
    package.file_table.id_to_path.clear();

    // Emit IR without position data (nodes are printed without pos attributes).
    print!("{}", package);
}