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 BoolAttributeLinkTests : public CAPITest {};
11
13TEST_F(BoolAttributeLinkTests, IsA_Bool_FeltCmpPredicateAttr) {
14 auto testAttribute = createIndexAttribute();
15
16 // This will always return false since `createIndex*` returns an MLIR builtin
17 EXPECT_FALSE(llzkAttributeIsA_Bool_FeltCmpPredicateAttr(testAttribute));
18
19 //(testAttribute);
20}
21
23TEST_F(BoolAttributeLinkTests, Get_FeltCmpPredicateAttr) {
24 auto testAttribute = createIndexAttribute();
25
26 // We only verify the function compiles and links, wrapped in an unreachable condition
29
30 (void)llzkBool_FeltCmpPredicateAttrGet(context, value);
31 }
32}
33
35TEST_F(BoolAttributeLinkTests, Get_FeltCmpPredicateAttr_value) {
36 auto testAttribute = createIndexAttribute();
37
39 (void)llzkBool_FeltCmpPredicateAttrGetValue(testAttribute);
40 }
41}
bool llzkAttributeIsA_Bool_FeltCmpPredicateAttr(MlirAttribute inp)
Returns true if the Attribute is a llzk::boolean::FeltCmpPredicateAttr.
MlirAttribute llzkBool_FeltCmpPredicateAttrGet(MlirContext ctx, LlzkBooleanFeltCmpPredicate value)
Create a llzk::boolean::FeltCmpPredicateAttr Attribute with the given parameters.
LlzkBooleanFeltCmpPredicate llzkBool_FeltCmpPredicateAttrGetValue(MlirAttribute inp)
Get 'value' parameter from a llzk::boolean::FeltCmpPredicateAttr Attribute.
TEST_F(BoolAttributeLinkTests, IsA_Bool_FeltCmpPredicateAttr)
This test ensures llzkAttributeIsA_Bool_FeltCmpPredicateAttr links properly.
enum LlzkBoolFeltCmpPredicate LlzkBooleanFeltCmpPredicate