llzk 0.5.0

Rust bindings to the LLZK C API.
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21

use crate::attributes::NamedAttribute;
use melior::{
    Context,
    ir::{Identifier, attribute::StringAttribute},
};

/// Creates a `function.arg_name` named attribute.
pub fn arg_name_attr<'c>(context: &'c Context, name: &str) -> NamedAttribute<'c> {
    (
        Identifier::new(context, "function.arg_name"),
        StringAttribute::new(context, name).into(),
    )
}

/// Creates a `function.res_name` named attribute.
pub fn res_name_attr<'c>(context: &'c Context, name: &str) -> NamedAttribute<'c> {
    (
        Identifier::new(context, "function.res_name"),
        StringAttribute::new(context, name).into(),
    )
}