LLZK
3.0.0
An open-source IR for Zero Knowledge (ZK) circuits
Toggle main menu visibility
Loading...
Searching...
No Matches
Attrs.capi.test.cpp.inc
Go to the documentation of this file.
1
/*===- TableGen'erated file -------------------------------------*- C++ -*-===*\
2
|* *|
3
|* Attr C API Tests *|
4
|* *|
5
|* Automatically generated file, do not edit! *|
6
|* From: Attrs.td *|
7
|* *|
8
\*===----------------------------------------------------------------------===*/
9
10
class
PodAttributeLinkTests
:
public
CAPITest {};
11
13
TEST_F
(
PodAttributeLinkTests
, IsA_Pod_RecordAttr) {
14
auto
testAttribute = createIndexAttribute();
15
16
// This will always return false since `createIndex*` returns an MLIR builtin
17
EXPECT_FALSE(
llzkAttributeIsA_Pod_RecordAttr
(testAttribute));
18
19
//(testAttribute);
20
}
21
23
TEST_F
(
PodAttributeLinkTests
, Get_RecordAttr) {
24
auto
testAttribute = createIndexAttribute();
25
26
// We only verify the function compiles and links, wrapped in an unreachable condition
27
if
(
llzkAttributeIsA_Pod_RecordAttr
(testAttribute)) {
28
MlirIdentifier name =
static_cast<
MlirIdentifier
>
(0);
29
MlirType type =
static_cast<
MlirType
>
(0);
30
31
(void)
llzkPod_RecordAttrGet
(context, name, type);
32
}
33
}
34
36
TEST_F
(
PodAttributeLinkTests
, Get_RecordAttr_name) {
37
auto
testAttribute = createIndexAttribute();
38
39
if
(
llzkAttributeIsA_Pod_RecordAttr
(testAttribute)) {
40
(void)
llzkPod_RecordAttrGetName
(testAttribute);
41
}
42
}
43
45
TEST_F
(
PodAttributeLinkTests
, Get_RecordAttr_type) {
46
auto
testAttribute = createIndexAttribute();
47
48
if
(
llzkAttributeIsA_Pod_RecordAttr
(testAttribute)) {
49
(void)
llzkPod_RecordAttrGetType
(testAttribute);
50
}
51
}
52
54
TEST_F
(
PodAttributeLinkTests
, llzk_RecordAttr_GetNameSym) {
55
auto
testAttribute = createIndexAttribute();
56
57
if
(
llzkAttributeIsA_Pod_RecordAttr
(testAttribute)) {
58
59
(void)
llzkPod_RecordAttrGetNameSym
(testAttribute);
60
}
61
62
//(testAttribute);
63
}
TEST_F
TEST_F(BoolAttributeLinkTests, IsA_Bool_FeltCmpPredicateAttr)
This test ensures llzkAttributeIsA_Bool_FeltCmpPredicateAttr links properly.
Definition
Attrs.capi.test.cpp.inc:13
llzkPod_RecordAttrGetNameSym
MlirAttribute llzkPod_RecordAttrGetNameSym(MlirAttribute inp)
Returns the record name as a symbol.
Definition
Attrs.capi.cpp.inc:36
llzkPod_RecordAttrGetType
MlirType llzkPod_RecordAttrGetType(MlirAttribute inp)
Get 'type' parameter from a llzk::pod::RecordAttr Attribute.
Definition
Attrs.capi.cpp.inc:32
llzkPod_RecordAttrGet
MlirAttribute llzkPod_RecordAttrGet(MlirContext ctx, MlirIdentifier name, MlirType type)
Create a llzk::pod::RecordAttr Attribute with the given parameters.
Definition
Attrs.capi.cpp.inc:23
llzkAttributeIsA_Pod_RecordAttr
bool llzkAttributeIsA_Pod_RecordAttr(MlirAttribute inp)
Returns true if the Attribute is a llzk::pod::RecordAttr.
Definition
Attrs.capi.cpp.inc:19
llzkPod_RecordAttrGetName
MlirIdentifier llzkPod_RecordAttrGetName(MlirAttribute inp)
Get 'name' parameter from a llzk::pod::RecordAttr Attribute.
Definition
Attrs.capi.cpp.inc:28
PodAttributeLinkTests
Definition
Attrs.capi.test.cpp.inc:10
build
include
llzk
Dialect
POD
IR
Attrs.capi.test.cpp.inc
Generated by
1.17.0
Copyright 2025 Veridise Inc. under the Apache License v2.0. Copyright 2026 Project LLZK under the Apache License v2.0.