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
BoolAttributeLinkTests
:
public
CAPITest {};
11
13
TEST_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
23
TEST_F
(
BoolAttributeLinkTests
, Get_FeltCmpPredicateAttr) {
24
auto
testAttribute = createIndexAttribute();
25
26
// We only verify the function compiles and links, wrapped in an unreachable condition
27
if
(
llzkAttributeIsA_Bool_FeltCmpPredicateAttr
(testAttribute)) {
28
LlzkBooleanFeltCmpPredicate
value =
static_cast<
LlzkBooleanFeltCmpPredicate
>
(0);
29
30
(void)
llzkBool_FeltCmpPredicateAttrGet
(context, value);
31
}
32
}
33
35
TEST_F
(
BoolAttributeLinkTests
, Get_FeltCmpPredicateAttr_value) {
36
auto
testAttribute = createIndexAttribute();
37
38
if
(
llzkAttributeIsA_Bool_FeltCmpPredicateAttr
(testAttribute)) {
39
(void)
llzkBool_FeltCmpPredicateAttrGetValue
(testAttribute);
40
}
41
}
llzkAttributeIsA_Bool_FeltCmpPredicateAttr
bool llzkAttributeIsA_Bool_FeltCmpPredicateAttr(MlirAttribute inp)
Returns true if the Attribute is a llzk::boolean::FeltCmpPredicateAttr.
Definition
Attrs.capi.cpp.inc:19
llzkBool_FeltCmpPredicateAttrGet
MlirAttribute llzkBool_FeltCmpPredicateAttrGet(MlirContext ctx, LlzkBooleanFeltCmpPredicate value)
Create a llzk::boolean::FeltCmpPredicateAttr Attribute with the given parameters.
Definition
Attrs.capi.cpp.inc:23
llzkBool_FeltCmpPredicateAttrGetValue
LlzkBooleanFeltCmpPredicate llzkBool_FeltCmpPredicateAttrGetValue(MlirAttribute inp)
Get 'value' parameter from a llzk::boolean::FeltCmpPredicateAttr Attribute.
Definition
Attrs.capi.cpp.inc:28
TEST_F
TEST_F(BoolAttributeLinkTests, IsA_Bool_FeltCmpPredicateAttr)
This test ensures llzkAttributeIsA_Bool_FeltCmpPredicateAttr links properly.
Definition
Attrs.capi.test.cpp.inc:13
LlzkBooleanFeltCmpPredicate
enum LlzkBoolFeltCmpPredicate LlzkBooleanFeltCmpPredicate
Definition
Enums.capi.h.inc:35
BoolAttributeLinkTests
Definition
Attrs.capi.test.cpp.inc:10
build
include
llzk
Dialect
Bool
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.