mathic 0.2.0

A compiler with builtin support of symbolic operations, built with LLVM/MLIR
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

use std::path::PathBuf;

use clap::Parser;
use mathic::{
    MathicResult,
    compiler::{MathicCompiler, OptLvl},
    executor::MathicExecutor,
};
use tracing_subscriber::{EnvFilter, FmtSubscriber};

#[derive(Debug, Parser)]
struct MathiCLI {
    file_path: PathBuf,
}

fn main() -> MathicResult<()> {
    tracing::subscriber::set_global_default(
        FmtSubscriber::builder()
            .with_env_filter(EnvFilter::from_default_env())
            .finish(),
    )
    .expect("Failed to set global suscriber");

    let args = MathiCLI::parse();

    let compiler = MathicCompiler::new()?;

    let module = compiler.compile_path(&args.file_path, OptLvl::default())?;
    let executor = MathicExecutor::new(&module, OptLvl::O2)?;

    tracing::debug!("Executor Created");
    let result = executor.call_function("main");

    tracing::debug!("Execution Done");
    println!("RESULT: {:?}", result);

    Ok(())
}