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
FunctionAttributeLinkTests
:
public
CAPITest {};
11
13
TEST_F
(
FunctionAttributeLinkTests
, IsA_Function_AllowConstraintAttr) {
14
auto
testAttribute = createIndexAttribute();
15
16
// This will always return false since `createIndex*` returns an MLIR builtin
17
EXPECT_FALSE(
llzkAttributeIsA_Function_AllowConstraintAttr
(testAttribute));
18
19
//(testAttribute);
20
}
21
23
TEST_F
(
FunctionAttributeLinkTests
, Get_AllowConstraintAttr) {
24
auto
testAttribute = createIndexAttribute();
25
26
// We only verify the function compiles and links, wrapped in an unreachable condition
27
if
(
llzkAttributeIsA_Function_AllowConstraintAttr
(testAttribute)) {
28
29
(void)
llzkFunction_AllowConstraintAttrGet
(context);
30
}
31
}
32
34
TEST_F
(
FunctionAttributeLinkTests
, IsA_Function_AllowNonNativeFieldOpsAttr) {
35
auto
testAttribute = createIndexAttribute();
36
37
// This will always return false since `createIndex*` returns an MLIR builtin
38
EXPECT_FALSE(
llzkAttributeIsA_Function_AllowNonNativeFieldOpsAttr
(testAttribute));
39
40
//(testAttribute);
41
}
42
44
TEST_F
(
FunctionAttributeLinkTests
, Get_AllowNonNativeFieldOpsAttr) {
45
auto
testAttribute = createIndexAttribute();
46
47
// We only verify the function compiles and links, wrapped in an unreachable condition
48
if
(
llzkAttributeIsA_Function_AllowNonNativeFieldOpsAttr
(testAttribute)) {
49
50
(void)
llzkFunction_AllowNonNativeFieldOpsAttrGet
(context);
51
}
52
}
53
55
TEST_F
(
FunctionAttributeLinkTests
, IsA_Function_AllowVerifOpsAttr) {
56
auto
testAttribute = createIndexAttribute();
57
58
// This will always return false since `createIndex*` returns an MLIR builtin
59
EXPECT_FALSE(
llzkAttributeIsA_Function_AllowVerifOpsAttr
(testAttribute));
60
61
//(testAttribute);
62
}
63
65
TEST_F
(
FunctionAttributeLinkTests
, Get_AllowVerifOpsAttr) {
66
auto
testAttribute = createIndexAttribute();
67
68
// We only verify the function compiles and links, wrapped in an unreachable condition
69
if
(
llzkAttributeIsA_Function_AllowVerifOpsAttr
(testAttribute)) {
70
71
(void)
llzkFunction_AllowVerifOpsAttrGet
(context);
72
}
73
}
74
76
TEST_F
(
FunctionAttributeLinkTests
, IsA_Function_AllowWitnessAttr) {
77
auto
testAttribute = createIndexAttribute();
78
79
// This will always return false since `createIndex*` returns an MLIR builtin
80
EXPECT_FALSE(
llzkAttributeIsA_Function_AllowWitnessAttr
(testAttribute));
81
82
//(testAttribute);
83
}
84
86
TEST_F
(
FunctionAttributeLinkTests
, Get_AllowWitnessAttr) {
87
auto
testAttribute = createIndexAttribute();
88
89
// We only verify the function compiles and links, wrapped in an unreachable condition
90
if
(
llzkAttributeIsA_Function_AllowWitnessAttr
(testAttribute)) {
91
92
(void)
llzkFunction_AllowWitnessAttrGet
(context);
93
}
94
}
TEST_F
TEST_F(BoolAttributeLinkTests, IsA_Bool_FeltCmpPredicateAttr)
This test ensures llzkAttributeIsA_Bool_FeltCmpPredicateAttr links properly.
Definition
Attrs.capi.test.cpp.inc:13
llzkAttributeIsA_Function_AllowVerifOpsAttr
bool llzkAttributeIsA_Function_AllowVerifOpsAttr(MlirAttribute inp)
Returns true if the Attribute is a llzk::function::AllowVerifOpsAttr.
Definition
Attrs.capi.cpp.inc:37
llzkAttributeIsA_Function_AllowNonNativeFieldOpsAttr
bool llzkAttributeIsA_Function_AllowNonNativeFieldOpsAttr(MlirAttribute inp)
Returns true if the Attribute is a llzk::function::AllowNonNativeFieldOpsAttr.
Definition
Attrs.capi.cpp.inc:28
llzkAttributeIsA_Function_AllowConstraintAttr
bool llzkAttributeIsA_Function_AllowConstraintAttr(MlirAttribute inp)
Returns true if the Attribute is a llzk::function::AllowConstraintAttr.
Definition
Attrs.capi.cpp.inc:19
llzkFunction_AllowWitnessAttrGet
MlirAttribute llzkFunction_AllowWitnessAttrGet(MlirContext ctx)
Create a llzk::function::AllowWitnessAttr Attribute with the given parameters.
Definition
Attrs.capi.cpp.inc:50
llzkFunction_AllowVerifOpsAttrGet
MlirAttribute llzkFunction_AllowVerifOpsAttrGet(MlirContext ctx)
Create a llzk::function::AllowVerifOpsAttr Attribute with the given parameters.
Definition
Attrs.capi.cpp.inc:41
llzkAttributeIsA_Function_AllowWitnessAttr
bool llzkAttributeIsA_Function_AllowWitnessAttr(MlirAttribute inp)
Returns true if the Attribute is a llzk::function::AllowWitnessAttr.
Definition
Attrs.capi.cpp.inc:46
llzkFunction_AllowConstraintAttrGet
MlirAttribute llzkFunction_AllowConstraintAttrGet(MlirContext ctx)
Create a llzk::function::AllowConstraintAttr Attribute with the given parameters.
Definition
Attrs.capi.cpp.inc:23
llzkFunction_AllowNonNativeFieldOpsAttrGet
MlirAttribute llzkFunction_AllowNonNativeFieldOpsAttrGet(MlirContext ctx)
Create a llzk::function::AllowNonNativeFieldOpsAttr Attribute with the given parameters.
Definition
Attrs.capi.cpp.inc:32
FunctionAttributeLinkTests
Definition
Attrs.capi.test.cpp.inc:10
build
include
llzk
Dialect
Function
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.