Attrs.capi.test.cpp.inc

Go to the documentation of this file.

/*===- TableGen'erated file -------------------------------------*- C++ -*-===*\
|*                                                                            *|
|* Attr C API Tests                                                           *|
|*                                                                            *|
|* Automatically generated file, do not edit!                                 *|
|* From: Attrs.td                                                             *|
|*                                                                            *|
\*===----------------------------------------------------------------------===*/
 
class FeltAttributeLinkTests : public CAPITest {};

TEST_F(FeltAttributeLinkTests, IsA_Felt_FeltConstAttr) {
  auto testAttribute = createIndexAttribute();
 
  // This will always return false since `createIndex*` returns an MLIR builtin
  EXPECT_FALSE(llzkAttributeIsA_Felt_FeltConstAttr(testAttribute));
 
  //(testAttribute);
}

TEST_F(FeltAttributeLinkTests, Get_FeltConstAttr) {
  auto testAttribute = createIndexAttribute();
 
  // We only verify the function compiles and links, wrapped in an unreachable condition
  if (llzkAttributeIsA_Felt_FeltConstAttr(testAttribute)) {
    int64_t value = static_cast<int64_t>(0);
    MlirType type = static_cast<MlirType>(0);
 
    (void)llzkFelt_FeltConstAttrGet(context, value, type);
  }
}

TEST_F(FeltAttributeLinkTests, Get_FeltConstAttr_value) {
  auto testAttribute = createIndexAttribute();
 
  if (llzkAttributeIsA_Felt_FeltConstAttr(testAttribute)) {
    (void)llzkFelt_FeltConstAttrGetValue(testAttribute);
  }
}

TEST_F(FeltAttributeLinkTests, Get_FeltConstAttr_type) {
  auto testAttribute = createIndexAttribute();
 
  if (llzkAttributeIsA_Felt_FeltConstAttr(testAttribute)) {
    (void)llzkFelt_FeltConstAttrGetType(testAttribute);
  }
}

TEST_F(FeltAttributeLinkTests, llzk_FeltConstAttr_GetFieldName) {
  auto testAttribute = createIndexAttribute();
 
  if (llzkAttributeIsA_Felt_FeltConstAttr(testAttribute)) {
 
    (void)llzkFelt_FeltConstAttrGetFieldName(testAttribute);
  }
 
  //(testAttribute);
}

TEST_F(FeltAttributeLinkTests, IsA_Felt_FieldSpecAttr) {
  auto testAttribute = createIndexAttribute();
 
  // This will always return false since `createIndex*` returns an MLIR builtin
  EXPECT_FALSE(llzkAttributeIsA_Felt_FieldSpecAttr(testAttribute));
 
  //(testAttribute);
}

TEST_F(FeltAttributeLinkTests, Get_FieldSpecAttr) {
  auto testAttribute = createIndexAttribute();
 
  // We only verify the function compiles and links, wrapped in an unreachable condition
  if (llzkAttributeIsA_Felt_FieldSpecAttr(testAttribute)) {
    MlirIdentifier fieldName = static_cast<MlirIdentifier>(0);
    int64_t prime = static_cast<int64_t>(0);
 
    (void)llzkFelt_FieldSpecAttrGet(context, fieldName, prime);
  }
}

TEST_F(FeltAttributeLinkTests, Get_FieldSpecAttr_fieldName) {
  auto testAttribute = createIndexAttribute();
 
  if (llzkAttributeIsA_Felt_FieldSpecAttr(testAttribute)) {
    (void)llzkFelt_FieldSpecAttrGetFieldName(testAttribute);
  }
}

TEST_F(FeltAttributeLinkTests, Get_FieldSpecAttr_prime) {
  auto testAttribute = createIndexAttribute();
 
  if (llzkAttributeIsA_Felt_FieldSpecAttr(testAttribute)) {
    (void)llzkFelt_FieldSpecAttrGetPrime(testAttribute);
  }
}