LLZK 3.0.0
An open-source IR for Zero Knowledge (ZK) circuits
Loading...
Searching...
No Matches
Attrs.capi.h.inc
Go to the documentation of this file.
1/*===- TableGen'erated file -------------------------------------*- C++ -*-===*\
2|* *|
3|* Attr C API Declarations *|
4|* *|
5|* Automatically generated file, do not edit! *|
6|* From: Attrs.td *|
7|* *|
8\*===----------------------------------------------------------------------===*/
9
10
11#include "llzk-c/Builder.h"
12#include <mlir-c/IR.h>
13
14#ifdef __cplusplus
15extern "C" {
16#endif
17
19MLIR_CAPI_EXPORTED bool llzkAttributeIsA_Felt_FeltConstAttr(MlirAttribute);
20
22MLIR_CAPI_EXPORTED MlirAttribute llzkFelt_FeltConstAttrGet(MlirContext ctx, MlirStringRef rawValue, MlirType type);
23
25MLIR_CAPI_EXPORTED void llzkFelt_FeltConstAttrGetRawValue(MlirAttribute, MlirStringCallback callback, void *userData);
26
28MLIR_CAPI_EXPORTED MlirType llzkFelt_FeltConstAttrGetType(MlirAttribute);
29
32MLIR_CAPI_EXPORTED MlirIdentifier llzkFelt_FeltConstAttrGetFieldName(MlirAttribute inp);
33
36MLIR_CAPI_EXPORTED void llzkFelt_FeltConstAttrGetReducedValueOrRaw(MlirAttribute inp, MlirStringCallback callback, void *userData);
37
39MLIR_CAPI_EXPORTED bool llzkAttributeIsA_Felt_FieldSpecAttr(MlirAttribute);
40
42MLIR_CAPI_EXPORTED MlirAttribute llzkFelt_FieldSpecAttrGet(MlirContext ctx, MlirIdentifier fieldName, MlirStringRef prime);
43
45MLIR_CAPI_EXPORTED MlirIdentifier llzkFelt_FieldSpecAttrGetFieldName(MlirAttribute);
46
48MLIR_CAPI_EXPORTED void llzkFelt_FieldSpecAttrGetPrime(MlirAttribute, MlirStringCallback callback, void *userData);
49
50#ifdef __cplusplus
51}
52#endif
MLIR_CAPI_EXPORTED bool llzkAttributeIsA_Felt_FeltConstAttr(MlirAttribute)
Returns true if the Attribute is a llzk::felt::FeltConstAttr.
MLIR_CAPI_EXPORTED void llzkFelt_FeltConstAttrGetRawValue(MlirAttribute, MlirStringCallback callback, void *userData)
Print the exact signed decimal 'rawValue' value. The callback must copy the text to retain it.
MLIR_CAPI_EXPORTED MlirType llzkFelt_FeltConstAttrGetType(MlirAttribute)
Get 'type' parameter from a llzk::felt::FeltConstAttr Attribute.
MLIR_CAPI_EXPORTED MlirIdentifier llzkFelt_FieldSpecAttrGetFieldName(MlirAttribute)
Get 'fieldName' parameter from a llzk::felt::FieldSpecAttr Attribute.
MLIR_CAPI_EXPORTED bool llzkAttributeIsA_Felt_FieldSpecAttr(MlirAttribute)
Returns true if the Attribute is a llzk::felt::FieldSpecAttr.
MLIR_CAPI_EXPORTED MlirIdentifier llzkFelt_FeltConstAttrGetFieldName(MlirAttribute inp)
Returns the field name from the stored FeltType, or a null StringAttr if no type is stored.
MLIR_CAPI_EXPORTED void llzkFelt_FieldSpecAttrGetPrime(MlirAttribute, MlirStringCallback callback, void *userData)
Print the exact signed decimal 'prime' value. The callback must copy the text to retain it.
MLIR_CAPI_EXPORTED MlirAttribute llzkFelt_FieldSpecAttrGet(MlirContext ctx, MlirIdentifier fieldName, MlirStringRef prime)
Create a llzk::felt::FieldSpecAttr Attribute with the given parameters.
MLIR_CAPI_EXPORTED void llzkFelt_FeltConstAttrGetReducedValueOrRaw(MlirAttribute inp, MlirStringCallback callback, void *userData)
If the type specifies a field, returns getReducedValue(); otherwise getRawValue().
MLIR_CAPI_EXPORTED MlirAttribute llzkFelt_FeltConstAttrGet(MlirContext ctx, MlirStringRef rawValue, MlirType type)
Create a llzk::felt::FeltConstAttr Attribute with the given parameters.