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
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36

use llzk::dialect::cast::*;
use llzk::prelude::melior_dialects::arith;
use llzk::prelude::*;

mod common;

#[test]
fn tofelt_unspecified() {
    common::setup();
    let ctx = LlzkContext::new();
    let loc = Location::unknown(&ctx);
    let index_ty = Type::index(&ctx);

    let c = arith::constant(&ctx, IntegerAttribute::new(index_ty, 0).into(), loc);
    let a = tofelt(loc, c.result(0).unwrap().into(), None);

    let ir = format!("{a}");
    let expected = "%0 = cast.tofelt <<UNKNOWN SSA VALUE>> : index, !felt.type\n";
    assert_eq!(ir, expected);
}

#[test]
fn tofelt_specified() {
    common::setup();
    let ctx = LlzkContext::new();
    let loc = Location::unknown(&ctx);
    let index_ty = Type::index(&ctx);
    let felt_ty = FeltType::with_field(&ctx, "babybear");

    let c = arith::constant(&ctx, IntegerAttribute::new(index_ty, 0).into(), loc);
    let a = tofelt(loc, c.result(0).unwrap().into(), Some(felt_ty));

    let ir = format!("{a}");
    let expected = "%0 = cast.tofelt <<UNKNOWN SSA VALUE>> : index, !felt.type<\"babybear\">\n";
    assert_eq!(ir, expected);
}