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

// SPDX-License-Identifier: Apache-2.0

use clap::ArgMatches;
use xlsynth_pir::{
    ir,
    ir_parser::{self, Parser, emit_fn_as_block},
};

/// Implements the "ir-round-trip" subcommand: parse IR and write it back to
/// stdout.
pub fn handle_ir_round_trip(matches: &ArgMatches) {
    let ir_path = std::path::Path::new(matches.get_one::<String>("ir_input_file").unwrap());
    let strip_pos = matches
        .get_one::<String>("strip_pos_attrs")
        .map(|s| s == "true")
        .unwrap_or(false);
    let ir_text = std::fs::read_to_string(ir_path).expect("read IR input should succeed");

    // Grammar-based prefix scanning: package vs block.
    let trimmed = ir_text.trim_start();
    if trimmed.starts_with("package") {
        let mut pkg =
            ir_parser::parse_path_to_package(ir_path).expect("parse IR package should succeed");
        if strip_pos {
            pkg.file_table = ir::FileTable::new();
            pkg.for_each_fn_mut(|f| {
                for n in f.nodes.iter_mut() {
                    n.pos = None;
                }
            });
        }
        print!("{}", pkg);
    } else {
        // Treat as a standalone block (allowing outer attributes).
        let mut parser = Parser::new(&ir_text);
        let (mut f, metadata) = parser
            .parse_block_to_fn_with_ports()
            .expect("parse block IR should succeed");
        if strip_pos {
            for n in f.nodes.iter_mut() {
                n.pos = None;
            }
        }
        let block_text = emit_fn_as_block(&f, None, Some(&metadata), false);
        print!("{}", block_text);
    }
}