LLZK 2.0.0
An open-source IR for Zero Knowledge (ZK) circuits
Loading...
Searching...
No Matches
Ops.capi.cpp.inc
Go to the documentation of this file.
1/*===- TableGen'erated file -------------------------------------*- C++ -*-===*\
2|* *|
3|* Op C API Definitions *|
4|* *|
5|* Automatically generated file, do not edit! *|
6|* From: Ops.td *|
7|* *|
8\*===----------------------------------------------------------------------===*/
9
10
11MlirOperation llzkRam_LoadOpBuild(MlirOpBuilder builder, MlirLocation location, MlirType valType, MlirValue addr) {
12 MlirOperationState state = mlirOperationStateGet(mlirStringRefCreateFromCString("ram.load"), location);
13 mlirOperationStateAddResults(&state, 1, &valType);
14 mlirOperationStateAddOperands(&state, 1, &addr);
15
16 return mlirOpBuilderInsert(builder, mlirOperationCreate(&state));
17}
18
19bool llzkOperationIsA_Ram_LoadOp(MlirOperation inp) {
20 return llvm::isa<LoadOp>(unwrap(inp));
21}
22
23MlirValue llzkRam_LoadOpGetAddr(MlirOperation op) {
24 return mlirOperationGetOperand(op, 0);
25}
26
27void llzkRam_LoadOpSetAddr(MlirOperation op, MlirValue value) {
28 mlirOperationSetOperand(op, 0, value);
29}
30
31MlirValue llzkRam_LoadOpGetVal(MlirOperation op) {
32 return mlirOperationGetResult(op, 0);
33}
34
35MlirOperation llzkRam_StoreOpBuild(MlirOpBuilder builder, MlirLocation location, MlirValue addr, MlirValue val) {
36 MlirOperationState state = mlirOperationStateGet(mlirStringRefCreateFromCString("ram.store"), location);
37 mlirOperationStateAddOperands(&state, 1, &addr);
38 mlirOperationStateAddOperands(&state, 1, &val);
39
40 return mlirOpBuilderInsert(builder, mlirOperationCreate(&state));
41}
42
43bool llzkOperationIsA_Ram_StoreOp(MlirOperation inp) {
44 return llvm::isa<StoreOp>(unwrap(inp));
45}
46
47MlirValue llzkRam_StoreOpGetAddr(MlirOperation op) {
48 return mlirOperationGetOperand(op, 0);
49}
50
51void llzkRam_StoreOpSetAddr(MlirOperation op, MlirValue value) {
52 mlirOperationSetOperand(op, 0, value);
53}
54
55MlirValue llzkRam_StoreOpGetVal(MlirOperation op) {
56 return mlirOperationGetOperand(op, 1);
57}
58
59void llzkRam_StoreOpSetVal(MlirOperation op, MlirValue value) {
60 mlirOperationSetOperand(op, 1, value);
61}
MlirOperation mlirOpBuilderInsert(MlirOpBuilder builder, MlirOperation op)
Inserts op at the current insertion point of builder and returns it.
Definition Builder.cpp:108
MlirValue llzkRam_LoadOpGetVal(MlirOperation op)
Get Val result from llzk::ram::LoadOp Operation.
void llzkRam_StoreOpSetVal(MlirOperation op, MlirValue value)
Set Val operand of llzk::ram::StoreOp Operation.
bool llzkOperationIsA_Ram_StoreOp(MlirOperation inp)
Returns true if the Operation is a llzk::ram::StoreOp.
MlirOperation llzkRam_StoreOpBuild(MlirOpBuilder builder, MlirLocation location, MlirValue addr, MlirValue val)
Build a llzk::ram::StoreOp Operation.
MlirValue llzkRam_LoadOpGetAddr(MlirOperation op)
Get Addr operand from llzk::ram::LoadOp Operation.
void llzkRam_StoreOpSetAddr(MlirOperation op, MlirValue value)
Set Addr operand of llzk::ram::StoreOp Operation.
MlirOperation llzkRam_LoadOpBuild(MlirOpBuilder builder, MlirLocation location, MlirType valType, MlirValue addr)
Build a llzk::ram::LoadOp Operation.
bool llzkOperationIsA_Ram_LoadOp(MlirOperation inp)
Returns true if the Operation is a llzk::ram::LoadOp.
void llzkRam_LoadOpSetAddr(MlirOperation op, MlirValue value)
Set Addr operand of llzk::ram::LoadOp Operation.
MlirValue llzkRam_StoreOpGetAddr(MlirOperation op)
Get Addr operand from llzk::ram::StoreOp Operation.
MlirValue llzkRam_StoreOpGetVal(MlirOperation op)
Get Val operand from llzk::ram::StoreOp Operation.