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 llzkLlzk_NonDetOpBuild(MlirOpBuilder builder, MlirLocation location, MlirType resType) {
  MlirOperationState state = mlirOperationStateGet(mlirStringRefCreateFromCString("llzk.nondet"), location);
  mlirOperationStateAddResults(&state, 1, &resType);
 
  return mlirOpBuilderInsert(builder, mlirOperationCreate(&state));
}
 
bool llzkOperationIsA_Llzk_NonDetOp(MlirOperation inp) {
  return llvm::isa<NonDetOp>(unwrap(inp));
}
 
MlirValue llzkLlzk_NonDetOpGetRes(MlirOperation op) {
  return mlirOperationGetResult(op, 0);
}