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 llzkConstrain_EmitContainmentOpBuild(MlirOpBuilder builder, MlirLocation location, MlirValue lhs, MlirValue rhs) {
  MlirOperationState state = mlirOperationStateGet(mlirStringRefCreateFromCString("constrain.in"), location);
  mlirOperationStateAddOperands(&state, 1, &lhs);
  mlirOperationStateAddOperands(&state, 1, &rhs);
 
  return mlirOpBuilderInsert(builder, mlirOperationCreate(&state));
}
 
bool llzkOperationIsA_Constrain_EmitContainmentOp(MlirOperation inp) {
  return llvm::isa<EmitContainmentOp>(unwrap(inp));
}
 
MlirValue llzkConstrain_EmitContainmentOpGetLhs(MlirOperation op) {
  return mlirOperationGetOperand(op, 0);
}
 
void llzkConstrain_EmitContainmentOpSetLhs(MlirOperation op, MlirValue value) {
  mlirOperationSetOperand(op, 0, value);
}
 
MlirValue llzkConstrain_EmitContainmentOpGetRhs(MlirOperation op) {
  return mlirOperationGetOperand(op, 1);
}
 
void llzkConstrain_EmitContainmentOpSetRhs(MlirOperation op, MlirValue value) {
  mlirOperationSetOperand(op, 1, value);
}
 
MlirOperation llzkConstrain_EmitEqualityOpBuild(MlirOpBuilder builder, MlirLocation location, MlirValue lhs, MlirValue rhs) {
  MlirOperationState state = mlirOperationStateGet(mlirStringRefCreateFromCString("constrain.eq"), location);
  mlirOperationStateAddOperands(&state, 1, &lhs);
  mlirOperationStateAddOperands(&state, 1, &rhs);
 
  return mlirOpBuilderInsert(builder, mlirOperationCreate(&state));
}
 
bool llzkOperationIsA_Constrain_EmitEqualityOp(MlirOperation inp) {
  return llvm::isa<EmitEqualityOp>(unwrap(inp));
}
 
MlirValue llzkConstrain_EmitEqualityOpGetLhs(MlirOperation op) {
  return mlirOperationGetOperand(op, 0);
}
 
void llzkConstrain_EmitEqualityOpSetLhs(MlirOperation op, MlirValue value) {
  mlirOperationSetOperand(op, 0, value);
}
 
MlirValue llzkConstrain_EmitEqualityOpGetRhs(MlirOperation op) {
  return mlirOperationGetOperand(op, 1);
}
 
void llzkConstrain_EmitEqualityOpSetRhs(MlirOperation op, MlirValue value) {
  mlirOperationSetOperand(op, 1, value);
}