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
LlzkOperationLinkTests
:
public
CAPITest {};
11
13
TEST_F
(
LlzkOperationLinkTests
, IsA_Llzk_NonDetOp) {
14
auto
testOperation = createIndexOperation();
15
16
// This will always return false since `createIndex*` returns an MLIR builtin
17
EXPECT_FALSE(
llzkOperationIsA_Llzk_NonDetOp
(testOperation));
18
19
mlirOperationDestroy(testOperation);
20
}
21
23
TEST_F
(
LlzkOperationLinkTests
, llzk_NonDetOp_Build) {
24
// Returns an `arith.constant` op, which will never match the NonDetOp 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_Llzk_NonDetOp
(testOp)) {
30
MlirOpBuilder builder =
mlirOpBuilderCreate
(context);
31
MlirLocation location = mlirLocationUnknownGet(context);
32
auto
dummyValue = mlirOperationGetResult(testOp, 0);
33
auto
resType = createIndexType();
34
35
(void)
llzkLlzk_NonDetOpBuild
(builder, location, resType);
36
// No need to destroy builder or op since this code never runs.
37
}
38
39
mlirOperationDestroy(testOp);
40
}
41
42
struct
NonDetOpBuildFuncHelper
:
public
TestAnyBuildFuncHelper<CAPITest> {
43
virtual
bool
callIsA
(MlirOperation op)
override
{
return
llzkOperationIsA_Llzk_NonDetOp
(op); }
47
static
std::unique_ptr<NonDetOpBuildFuncHelper>
get
();
48
49
protected
:
50
NonDetOpBuildFuncHelper
() =
default
;
51
};
52
55
TEST_F
(CAPITest, Llzk_NonDetOp_build_pass) {
NonDetOpBuildFuncHelper::get
()->run(*
this
); }
56
57
TEST_F
(
LlzkOperationLinkTests
, llzk_NonDetOp_GetRes) {
58
auto
testOp = createIndexOperation();
59
60
if
(
llzkOperationIsA_Llzk_NonDetOp
(testOp)) {
61
(void)
llzkLlzk_NonDetOpGetRes
(testOp);
62
}
63
64
mlirOperationDestroy(testOp);
65
}
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
llzkLlzk_NonDetOpGetRes
MlirValue llzkLlzk_NonDetOpGetRes(MlirOperation op)
Get Res result from llzk::NonDetOp Operation.
Definition
Ops.capi.cpp.inc:27
llzkOperationIsA_Llzk_NonDetOp
bool llzkOperationIsA_Llzk_NonDetOp(MlirOperation inp)
Returns true if the Operation is a llzk::NonDetOp.
Definition
Ops.capi.cpp.inc:23
llzkLlzk_NonDetOpBuild
MlirOperation llzkLlzk_NonDetOpBuild(MlirOpBuilder builder, MlirLocation location, MlirType resType)
Build a llzk::NonDetOp Operation.
Definition
Ops.capi.cpp.inc:16
LlzkOperationLinkTests
Definition
Ops.capi.test.cpp.inc:10
NonDetOpBuildFuncHelper::callIsA
virtual bool callIsA(MlirOperation op) override
Definition
Ops.capi.test.cpp.inc:43
NonDetOpBuildFuncHelper::get
static std::unique_ptr< NonDetOpBuildFuncHelper > get()
This method must be implemented to return a subclass of NonDetOpBuildFuncHelper that at least impleme...
NonDetOpBuildFuncHelper::NonDetOpBuildFuncHelper
NonDetOpBuildFuncHelper()=default
build
include
llzk
Dialect
LLZK
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.