19MLIR_CAPI_EXPORTED MlirOperation
llzkBool_AndBoolOpBuild(MlirOpBuilder builder, MlirLocation location, MlirValue lhs, MlirValue rhs);
40MLIR_CAPI_EXPORTED MlirOperation
llzkBool_AssertOpBuild(MlirOpBuilder builder, MlirLocation location, MlirValue condition, MlirIdentifier msg);
58MLIR_CAPI_EXPORTED MlirOperation
llzkBool_CmpOpBuild(MlirOpBuilder builder, MlirLocation location, MlirValue lhs, MlirValue rhs, MlirAttribute predicate);
85MLIR_CAPI_EXPORTED MlirOperation
llzkBool_NotBoolOpBuild(MlirOpBuilder builder, MlirLocation location, MlirValue operand);
100MLIR_CAPI_EXPORTED MlirOperation
llzkBool_OrBoolOpBuild(MlirOpBuilder builder, MlirLocation location, MlirValue lhs, MlirValue rhs);
121MLIR_CAPI_EXPORTED MlirOperation
llzkBool_XorBoolOpBuild(MlirOpBuilder builder, MlirLocation location, MlirValue lhs, MlirValue rhs);
MLIR_CAPI_EXPORTED void llzkBool_AssertOpSetCondition(MlirOperation op, MlirValue value)
Set Condition operand of llzk::boolean::AssertOp Operation.
MLIR_CAPI_EXPORTED void llzkBool_CmpOpSetRhs(MlirOperation op, MlirValue value)
Set Rhs operand of llzk::boolean::CmpOp Operation.
MLIR_CAPI_EXPORTED MlirValue llzkBool_XorBoolOpGetLhs(MlirOperation op)
Get Lhs operand from llzk::boolean::XorBoolOp Operation.
MLIR_CAPI_EXPORTED MlirAttribute llzkBool_CmpOpGetPredicate(MlirOperation op)
Get Predicate attribute from llzk::boolean::CmpOp Operation.
MLIR_CAPI_EXPORTED void llzkBool_AndBoolOpSetRhs(MlirOperation op, MlirValue value)
Set Rhs operand of llzk::boolean::AndBoolOp Operation.
MLIR_CAPI_EXPORTED MlirValue llzkBool_AndBoolOpGetResult(MlirOperation op)
Get Result result from llzk::boolean::AndBoolOp Operation.
MLIR_CAPI_EXPORTED MlirValue llzkBool_NotBoolOpGetResult(MlirOperation op)
Get Result result from llzk::boolean::NotBoolOp Operation.
MLIR_CAPI_EXPORTED bool llzkOperationIsA_Bool_AndBoolOp(MlirOperation)
Returns true if the Operation is a llzk::boolean::AndBoolOp.
MLIR_CAPI_EXPORTED MlirValue llzkBool_AndBoolOpGetLhs(MlirOperation op)
Get Lhs operand from llzk::boolean::AndBoolOp Operation.
MLIR_CAPI_EXPORTED MlirValue llzkBool_XorBoolOpGetRhs(MlirOperation op)
Get Rhs operand from llzk::boolean::XorBoolOp Operation.
MLIR_CAPI_EXPORTED void llzkBool_CmpOpSetLhs(MlirOperation op, MlirValue value)
Set Lhs operand of llzk::boolean::CmpOp Operation.
MLIR_CAPI_EXPORTED bool llzkOperationIsA_Bool_NotBoolOp(MlirOperation)
Returns true if the Operation is a llzk::boolean::NotBoolOp.
MLIR_CAPI_EXPORTED MlirValue llzkBool_CmpOpGetRhs(MlirOperation op)
Get Rhs operand from llzk::boolean::CmpOp Operation.
MLIR_CAPI_EXPORTED MlirValue llzkBool_AndBoolOpGetRhs(MlirOperation op)
Get Rhs operand from llzk::boolean::AndBoolOp Operation.
MLIR_CAPI_EXPORTED MlirValue llzkBool_OrBoolOpGetResult(MlirOperation op)
Get Result result from llzk::boolean::OrBoolOp Operation.
MLIR_CAPI_EXPORTED void llzkBool_XorBoolOpSetLhs(MlirOperation op, MlirValue value)
Set Lhs operand of llzk::boolean::XorBoolOp Operation.
MLIR_CAPI_EXPORTED MlirValue llzkBool_XorBoolOpGetResult(MlirOperation op)
Get Result result from llzk::boolean::XorBoolOp Operation.
MLIR_CAPI_EXPORTED MlirValue llzkBool_OrBoolOpGetLhs(MlirOperation op)
Get Lhs operand from llzk::boolean::OrBoolOp Operation.
MLIR_CAPI_EXPORTED void llzkBool_NotBoolOpSetOperand(MlirOperation op, MlirValue value)
Set Operand operand of llzk::boolean::NotBoolOp Operation.
MLIR_CAPI_EXPORTED bool llzkOperationIsA_Bool_AssertOp(MlirOperation)
Returns true if the Operation is a llzk::boolean::AssertOp.
MLIR_CAPI_EXPORTED MlirValue llzkBool_NotBoolOpGetOperand(MlirOperation op)
Get Operand operand from llzk::boolean::NotBoolOp Operation.
MLIR_CAPI_EXPORTED MlirValue llzkBool_AssertOpGetCondition(MlirOperation op)
Get Condition operand from llzk::boolean::AssertOp Operation.
MLIR_CAPI_EXPORTED MlirAttribute llzkBool_AssertOpGetMsg(MlirOperation op)
Get Msg attribute from llzk::boolean::AssertOp Operation.
MLIR_CAPI_EXPORTED MlirOperation llzkBool_XorBoolOpBuild(MlirOpBuilder builder, MlirLocation location, MlirValue lhs, MlirValue rhs)
Build a llzk::boolean::XorBoolOp Operation.
MLIR_CAPI_EXPORTED MlirOperation llzkBool_AssertOpBuild(MlirOpBuilder builder, MlirLocation location, MlirValue condition, MlirIdentifier msg)
Build a llzk::boolean::AssertOp Operation.
MLIR_CAPI_EXPORTED MlirOperation llzkBool_AndBoolOpBuild(MlirOpBuilder builder, MlirLocation location, MlirValue lhs, MlirValue rhs)
Build a llzk::boolean::AndBoolOp Operation.
MLIR_CAPI_EXPORTED bool llzkOperationIsA_Bool_XorBoolOp(MlirOperation)
Returns true if the Operation is a llzk::boolean::XorBoolOp.
MLIR_CAPI_EXPORTED MlirValue llzkBool_CmpOpGetLhs(MlirOperation op)
Get Lhs operand from llzk::boolean::CmpOp Operation.
MLIR_CAPI_EXPORTED void llzkBool_XorBoolOpSetRhs(MlirOperation op, MlirValue value)
Set Rhs operand of llzk::boolean::XorBoolOp Operation.
MLIR_CAPI_EXPORTED bool llzkOperationIsA_Bool_OrBoolOp(MlirOperation)
Returns true if the Operation is a llzk::boolean::OrBoolOp.
MLIR_CAPI_EXPORTED MlirValue llzkBool_CmpOpGetResult(MlirOperation op)
Get Result result from llzk::boolean::CmpOp Operation.
MLIR_CAPI_EXPORTED void llzkBool_OrBoolOpSetRhs(MlirOperation op, MlirValue value)
Set Rhs operand of llzk::boolean::OrBoolOp Operation.
MLIR_CAPI_EXPORTED MlirValue llzkBool_OrBoolOpGetRhs(MlirOperation op)
Get Rhs operand from llzk::boolean::OrBoolOp Operation.
MLIR_CAPI_EXPORTED bool llzkOperationIsA_Bool_CmpOp(MlirOperation)
Returns true if the Operation is a llzk::boolean::CmpOp.
MLIR_CAPI_EXPORTED MlirOperation llzkBool_OrBoolOpBuild(MlirOpBuilder builder, MlirLocation location, MlirValue lhs, MlirValue rhs)
Build a llzk::boolean::OrBoolOp Operation.
MLIR_CAPI_EXPORTED void llzkBool_CmpOpSetPredicate(MlirOperation op, MlirAttribute attr)
Set Predicate attribute of llzk::boolean::CmpOp Operation.
MLIR_CAPI_EXPORTED void llzkBool_AndBoolOpSetLhs(MlirOperation op, MlirValue value)
Set Lhs operand of llzk::boolean::AndBoolOp Operation.
MLIR_CAPI_EXPORTED void llzkBool_OrBoolOpSetLhs(MlirOperation op, MlirValue value)
Set Lhs operand of llzk::boolean::OrBoolOp Operation.
MLIR_CAPI_EXPORTED MlirOperation llzkBool_NotBoolOpBuild(MlirOpBuilder builder, MlirLocation location, MlirValue operand)
Build a llzk::boolean::NotBoolOp Operation.
MLIR_CAPI_EXPORTED MlirOperation llzkBool_CmpOpBuild(MlirOpBuilder builder, MlirLocation location, MlirValue lhs, MlirValue rhs, MlirAttribute predicate)
Build a llzk::boolean::CmpOp Operation.
MLIR_CAPI_EXPORTED void llzkBool_AssertOpSetMsg(MlirOperation op, MlirAttribute attr)
Set Msg attribute of llzk::boolean::AssertOp Operation.