rtlola-streamir 0.1.0

A framework for the compilation of stream-based languages through an intermediate representation
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

use std::path::PathBuf;

use anyhow::Context;
use clap::{Parser, ValueEnum};
use rtlola_frontend::{Handler, ParserConfig};
use rtlola_streamir::{ir::DebugFormatter, parse, translate, ParseError};

#[derive(Parser)]
struct Args {
    spec: PathBuf,
    #[clap(short, long)]
    optimize_all: bool,
}

#[derive(ValueEnum, Clone)]
enum Optimization {}

fn print(config: &ParserConfig, optimize_all: bool) -> anyhow::Result<String> {
    let streamir = parse(config).context("parsing specification to StreamIR")?;
    let streamir = if optimize_all {
        rtlola_streamir::optimize_all(streamir).context("optimizing StreamIR")?
    } else {
        streamir
    };
    let formatter = DebugFormatter::new(&streamir);
    Ok(translate(streamir, formatter))
}

fn main() -> anyhow::Result<()> {
    let Args { spec, optimize_all } = Args::parse();

    let config = ParserConfig::from_path(spec.clone())
        .with_context(|| format!("loading specification file: {}", spec.display()))?;

    match print(&config, optimize_all) {
        Ok(res) => {
            println!("{res}")
        }
        Err(e) => {
            if let Some(ParseError::FrontendError(e)) = e.downcast_ref() {
                let handler = Handler::from(&config);
                handler.emit_error(e);
                std::process::exit(1);
            }
        }
    }
    Ok(())
}