LLZK 2.0.0
An open-source IR for Zero Knowledge (ZK) circuits
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
10class FunctionAttributeLinkTests : public CAPITest {};
11
13TEST_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
23TEST_F(FunctionAttributeLinkTests, Get_AllowConstraintAttr) {
24 auto testAttribute = createIndexAttribute();
25
26 // We only verify the function compiles and links, wrapped in an unreachable condition
28
30 }
31}
32
34TEST_F(FunctionAttributeLinkTests, IsA_Function_AllowNonNativeFieldOpsAttr) {
35 auto testAttribute = createIndexAttribute();
36
37 // This will always return false since `createIndex*` returns an MLIR builtin
39
40 //(testAttribute);
41}
42
44TEST_F(FunctionAttributeLinkTests, Get_AllowNonNativeFieldOpsAttr) {
45 auto testAttribute = createIndexAttribute();
46
47 // We only verify the function compiles and links, wrapped in an unreachable condition
49
51 }
52}
53
55TEST_F(FunctionAttributeLinkTests, IsA_Function_AllowWitnessAttr) {
56 auto testAttribute = createIndexAttribute();
57
58 // This will always return false since `createIndex*` returns an MLIR builtin
59 EXPECT_FALSE(llzkAttributeIsA_Function_AllowWitnessAttr(testAttribute));
60
61 //(testAttribute);
62}
63
65TEST_F(FunctionAttributeLinkTests, Get_AllowWitnessAttr) {
66 auto testAttribute = createIndexAttribute();
67
68 // We only verify the function compiles and links, wrapped in an unreachable condition
70
72 }
73}
TEST_F(BoolAttributeLinkTests, IsA_Bool_FeltCmpPredicateAttr)
This test ensures llzkAttributeIsA_Bool_FeltCmpPredicateAttr links properly.
bool llzkAttributeIsA_Function_AllowNonNativeFieldOpsAttr(MlirAttribute inp)
Returns true if the Attribute is a llzk::function::AllowNonNativeFieldOpsAttr.
bool llzkAttributeIsA_Function_AllowConstraintAttr(MlirAttribute inp)
Returns true if the Attribute is a llzk::function::AllowConstraintAttr.
MlirAttribute llzkFunction_AllowWitnessAttrGet(MlirContext ctx)
Create a llzk::function::AllowWitnessAttr Attribute with the given parameters.
bool llzkAttributeIsA_Function_AllowWitnessAttr(MlirAttribute inp)
Returns true if the Attribute is a llzk::function::AllowWitnessAttr.
MlirAttribute llzkFunction_AllowConstraintAttrGet(MlirContext ctx)
Create a llzk::function::AllowConstraintAttr Attribute with the given parameters.
MlirAttribute llzkFunction_AllowNonNativeFieldOpsAttrGet(MlirContext ctx)
Create a llzk::function::AllowNonNativeFieldOpsAttr Attribute with the given parameters.