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

#ifndef DIALECT_SYMBOLIC_TRANSFORMS_PASSES_
#define DIALECT_SYMBOLIC_TRANSFORMS_PASSES_

include "mlir/Pass/PassBase.td"

def SymbolicExtractEval : Pass<"symbolic-extract-eval"> {
    let summary = "Extract the eval operation into a function";
    let description = [{
        Finds symbolic.eval operations, walks their expression DAG, and
        extracts each unique expression into a private function. Replaces eval
        with a func.call.
    }];
    let dependentDialects = [
        "mlir::symbolic::SymbolicDialect",
        "mlir::func::FuncDialect"
    ];
}

#endif // DIALECT_SYMBOLIC_TRANSFORMS_PASSES_