LLZK
3.0.0
An open-source IR for Zero Knowledge (ZK) circuits
Toggle main menu visibility
Loading...
Searching...
No Matches
Ops.capi.test.cpp.inc
Go to the documentation of this file.
1
/*===- TableGen'erated file -------------------------------------*- C++ -*-===*\
2
|* *|
3
|* Op C API Tests *|
4
|* *|
5
|* Automatically generated file, do not edit! *|
6
|* From: Ops.td *|
7
|* *|
8
\*===----------------------------------------------------------------------===*/
9
10
class
IncludeOperationLinkTests
:
public
CAPITest {};
11
13
TEST_F
(
IncludeOperationLinkTests
, IsA_Include_IncludeOp) {
14
auto
testOperation = createIndexOperation();
15
16
// This will always return false since `createIndex*` returns an MLIR builtin
17
EXPECT_FALSE(
llzkOperationIsA_Include_IncludeOp
(testOperation));
18
19
mlirOperationDestroy(testOperation);
20
}
21
23
TEST_F
(
IncludeOperationLinkTests
, llzk_IncludeOp_Build) {
24
// Returns an `arith.constant` op, which will never match the IncludeOp dialect check.
25
auto
testOp = createIndexOperation();
26
27
// This condition is always false, so the function is never actually called.
28
// We only verify it compiles and links correctly.
29
if
(
llzkOperationIsA_Include_IncludeOp
(testOp)) {
30
MlirOpBuilder builder =
mlirOpBuilderCreate
(context);
31
MlirLocation location = mlirLocationUnknownGet(context);
32
auto
dummyValue = mlirOperationGetResult(testOp, 0);
33
auto
sym_nameAttr = mlirOperationGetName(testOp);
34
auto
pathAttr = mlirOperationGetName(testOp);
35
36
(void)
llzkInclude_IncludeOpBuild
(builder, location, sym_nameAttr, pathAttr);
37
// No need to destroy builder or op since this code never runs.
38
}
39
40
mlirOperationDestroy(testOp);
41
}
42
43
struct
IncludeOpBuildFuncHelper
:
public
TestAnyBuildFuncHelper<CAPITest> {
44
virtual
bool
callIsA
(MlirOperation op)
override
{
return
llzkOperationIsA_Include_IncludeOp
(op); }
48
static
std::unique_ptr<IncludeOpBuildFuncHelper>
get
();
49
50
protected
:
51
IncludeOpBuildFuncHelper
() =
default
;
52
};
53
56
TEST_F
(CAPITest, Include_IncludeOp_build_pass) {
IncludeOpBuildFuncHelper::get
()->run(*
this
); }
57
58
TEST_F
(
IncludeOperationLinkTests
, llzk_IncludeOp_GetSymNameAttr) {
59
auto
testOp = createIndexOperation();
60
61
if
(
llzkOperationIsA_Include_IncludeOp
(testOp)) {
62
(void)
llzkInclude_IncludeOpGetSymName
(testOp);
63
}
64
65
mlirOperationDestroy(testOp);
66
}
67
68
TEST_F
(
IncludeOperationLinkTests
, llzk_IncludeOp_SetSymNameAttr) {
69
auto
testOp = createIndexOperation();
70
71
if
(
llzkOperationIsA_Include_IncludeOp
(testOp)) {
72
llzkInclude_IncludeOpSetSymName
(testOp, createIndexAttribute());
73
}
74
75
mlirOperationDestroy(testOp);
76
}
77
78
TEST_F
(
IncludeOperationLinkTests
, llzk_IncludeOp_GetPathAttr) {
79
auto
testOp = createIndexOperation();
80
81
if
(
llzkOperationIsA_Include_IncludeOp
(testOp)) {
82
(void)
llzkInclude_IncludeOpGetPath
(testOp);
83
}
84
85
mlirOperationDestroy(testOp);
86
}
87
88
TEST_F
(
IncludeOperationLinkTests
, llzk_IncludeOp_SetPathAttr) {
89
auto
testOp = createIndexOperation();
90
91
if
(
llzkOperationIsA_Include_IncludeOp
(testOp)) {
92
llzkInclude_IncludeOpSetPath
(testOp, createIndexAttribute());
93
}
94
95
mlirOperationDestroy(testOp);
96
}
TEST_F
TEST_F(ArrayOperationLinkTests, IsA_Array_ArrayLengthOp)
This test ensures llzkOperationIsA_Array_ArrayLengthOp links properly.
Definition
Ops.capi.test.cpp.inc:13
mlirOpBuilderCreate
MlirOpBuilder mlirOpBuilderCreate(MlirContext ctx)
Creates a new OpBuilder for the given MLIR context.
Definition
Builder.cpp:78
llzkInclude_IncludeOpBuild
MlirOperation llzkInclude_IncludeOpBuild(MlirOpBuilder builder, MlirLocation location, MlirIdentifier sym_name, MlirIdentifier path)
Build a llzk::include::IncludeOp Operation.
Definition
Ops.capi.cpp.inc:16
llzkInclude_IncludeOpSetSymName
void llzkInclude_IncludeOpSetSymName(MlirOperation op, MlirAttribute attr)
Set SymName attribute of llzk::include::IncludeOp Operation.
Definition
Ops.capi.cpp.inc:39
llzkInclude_IncludeOpGetPath
MlirAttribute llzkInclude_IncludeOpGetPath(MlirOperation op)
Get Path attribute from llzk::include::IncludeOp Operation.
Definition
Ops.capi.cpp.inc:43
llzkInclude_IncludeOpSetPath
void llzkInclude_IncludeOpSetPath(MlirOperation op, MlirAttribute attr)
Set Path attribute of llzk::include::IncludeOp Operation.
Definition
Ops.capi.cpp.inc:47
llzkInclude_IncludeOpGetSymName
MlirAttribute llzkInclude_IncludeOpGetSymName(MlirOperation op)
Get SymName attribute from llzk::include::IncludeOp Operation.
Definition
Ops.capi.cpp.inc:35
llzkOperationIsA_Include_IncludeOp
bool llzkOperationIsA_Include_IncludeOp(MlirOperation inp)
Returns true if the Operation is a llzk::include::IncludeOp.
Definition
Ops.capi.cpp.inc:31
IncludeOperationLinkTests
Definition
Ops.capi.test.cpp.inc:10
IncludeOpBuildFuncHelper::IncludeOpBuildFuncHelper
IncludeOpBuildFuncHelper()=default
IncludeOpBuildFuncHelper::get
static std::unique_ptr< IncludeOpBuildFuncHelper > get()
This method must be implemented to return a subclass of IncludeOpBuildFuncHelper that at least implem...
IncludeOpBuildFuncHelper::callIsA
virtual bool callIsA(MlirOperation op) override
Definition
Ops.capi.test.cpp.inc:44
build
include
llzk
Dialect
Include
IR
Ops.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.