14 auto testAttribute = createIndexAttribute();
24 auto testAttribute = createIndexAttribute();
28 MlirIdentifier name =
static_cast<MlirIdentifier
>(0);
29 MlirType type =
static_cast<MlirType
>(0);
37 auto testAttribute = createIndexAttribute();
46 auto testAttribute = createIndexAttribute();
55 auto testAttribute = createIndexAttribute();
TEST_F(BoolAttributeLinkTests, IsA_Bool_FeltCmpPredicateAttr)
This test ensures llzkAttributeIsA_Bool_FeltCmpPredicateAttr links properly.
MlirAttribute llzkPod_RecordAttrGetNameSym(MlirAttribute inp)
Returns the record name as a symbol.
MlirType llzkPod_RecordAttrGetType(MlirAttribute inp)
Get 'type' parameter from a llzk::pod::RecordAttr Attribute.
MlirAttribute llzkPod_RecordAttrGet(MlirContext ctx, MlirIdentifier name, MlirType type)
Create a llzk::pod::RecordAttr Attribute with the given parameters.
bool llzkAttributeIsA_Pod_RecordAttr(MlirAttribute inp)
Returns true if the Attribute is a llzk::pod::RecordAttr.
MlirIdentifier llzkPod_RecordAttrGetName(MlirAttribute inp)
Get 'name' parameter from a llzk::pod::RecordAttr Attribute.