Ops.capi.cpp.inc

Go to the documentation of this file.

/*===- TableGen'erated file -------------------------------------*- C++ -*-===*\
|*                                                                            *|
|* Op C API Definitions                                                       *|
|*                                                                            *|
|* Automatically generated file, do not edit!                                 *|
|* From: Ops.td                                                               *|
|*                                                                            *|
\*===----------------------------------------------------------------------===*/
 
 
MlirOperation llzkCast_FeltToIndexOpBuild(MlirOpBuilder builder, MlirLocation location, MlirValue value) {
  MlirOperationState state = mlirOperationStateGet(mlirStringRefCreateFromCString("cast.toindex"), location);
  mlirOperationStateEnableResultTypeInference(&state);
  mlirOperationStateAddOperands(&state, 1, &value);
 
  return mlirOpBuilderInsert(builder, mlirOperationCreate(&state));
}
 
bool llzkOperationIsA_Cast_FeltToIndexOp(MlirOperation inp) {
  return llvm::isa<FeltToIndexOp>(unwrap(inp));
}
 
MlirValue llzkCast_FeltToIndexOpGetValue(MlirOperation op) {
  return mlirOperationGetOperand(op, 0);
}
 
void llzkCast_FeltToIndexOpSetValue(MlirOperation op, MlirValue value) {
  mlirOperationSetOperand(op, 0, value);
}
 
MlirValue llzkCast_FeltToIndexOpGetResult(MlirOperation op) {
  return mlirOperationGetResult(op, 0);
}
 
MlirOperation llzkCast_IntToFeltOpBuild(MlirOpBuilder builder, MlirLocation location, MlirValue value) {
  MlirOperationState state = mlirOperationStateGet(mlirStringRefCreateFromCString("cast.tofelt"), location);
  mlirOperationStateEnableResultTypeInference(&state);
  mlirOperationStateAddOperands(&state, 1, &value);
 
  return mlirOpBuilderInsert(builder, mlirOperationCreate(&state));
}
 
bool llzkOperationIsA_Cast_IntToFeltOp(MlirOperation inp) {
  return llvm::isa<IntToFeltOp>(unwrap(inp));
}
 
MlirValue llzkCast_IntToFeltOpGetValue(MlirOperation op) {
  return mlirOperationGetOperand(op, 0);
}
 
void llzkCast_IntToFeltOpSetValue(MlirOperation op, MlirValue value) {
  mlirOperationSetOperand(op, 0, value);
}
 
MlirValue llzkCast_IntToFeltOpGetResult(MlirOperation op) {
  return mlirOperationGetResult(op, 0);
}