melior_macro/
lib.rs

1mod attribute;
2mod dialect;
3mod operation;
4mod parse;
5mod pass;
6mod r#type;
7mod utility;
8
9use dialect::DialectInput;
10use parse::{DialectOperationSet, IdentifierList, PassSet};
11use proc_macro::TokenStream;
12use quote::quote;
13use std::error::Error;
14use syn::parse_macro_input;
15
16/// Generates a dialect module from a TableGen file.
17///
18/// # Examples
19///
20/// ```rust
21/// melior::dialect! {
22///     name: "func",
23///     table_gen: r#"include "mlir/Dialect/Func/IR/FuncOps.td""#
24/// }
25/// ```
26#[proc_macro]
27pub fn dialect(input: TokenStream) -> TokenStream {
28    let input = parse_macro_input!(input as DialectInput);
29
30    convert_result(dialect::generate_dialect(input))
31}
32
33#[proc_macro]
34pub fn binary_operations(stream: TokenStream) -> TokenStream {
35    let set = parse_macro_input!(stream as DialectOperationSet);
36
37    convert_result(operation::generate_binary(set.dialect(), set.identifiers()))
38}
39
40#[proc_macro]
41pub fn unary_operations(stream: TokenStream) -> TokenStream {
42    let set = parse_macro_input!(stream as DialectOperationSet);
43
44    convert_result(operation::generate_unary(set.dialect(), set.identifiers()))
45}
46
47#[proc_macro]
48pub fn typed_unary_operations(stream: TokenStream) -> TokenStream {
49    let set = parse_macro_input!(stream as DialectOperationSet);
50
51    convert_result(operation::generate_typed_unary(
52        set.dialect(),
53        set.identifiers(),
54    ))
55}
56
57#[proc_macro]
58pub fn type_check_functions(stream: TokenStream) -> TokenStream {
59    let identifiers = parse_macro_input!(stream as IdentifierList);
60
61    convert_result(r#type::generate(identifiers.identifiers()))
62}
63
64#[proc_macro]
65pub fn attribute_check_functions(stream: TokenStream) -> TokenStream {
66    let identifiers = parse_macro_input!(stream as IdentifierList);
67
68    convert_result(attribute::generate(identifiers.identifiers()))
69}
70
71#[proc_macro]
72pub fn conversion_passes(stream: TokenStream) -> TokenStream {
73    let identifiers = parse_macro_input!(stream as IdentifierList);
74
75    convert_result(pass::generate(identifiers.identifiers(), |mut name| {
76        name = name.strip_prefix("Conversion").unwrap();
77        name = name.strip_prefix("Convert").unwrap_or(name);
78        name = name.strip_suffix("ConversionPass").unwrap_or(name);
79        name.strip_suffix("Pass").unwrap_or(name).into()
80    }))
81}
82
83#[proc_macro]
84pub fn passes(stream: TokenStream) -> TokenStream {
85    let set = parse_macro_input!(stream as PassSet);
86
87    convert_result(pass::generate(set.identifiers(), |name| {
88        name.strip_prefix(&set.prefix().value()).unwrap().into()
89    }))
90}
91
92fn convert_result(result: Result<TokenStream, Box<dyn Error>>) -> TokenStream {
93    result.unwrap_or_else(|error| {
94        let message = error.to_string();
95
96        quote! { compile_error!(#message) }.into()
97    })
98}
melior_macro/lib.rs

melior_macro/
lib.rs
