Verif.cpp File Reference

#include "llzk-c/Dialect/Verif.h"
#include "llzk/CAPI/Builder.h"
#include "llzk/CAPI/Support.h"
#include "llzk/Dialect/Verif/IR/Dialect.h"
#include "llzk/Dialect/Verif/IR/Ops.h"
#include <mlir-c/BuiltinAttributes.h>
#include <mlir/CAPI/Registration.h>
#include <mlir/CAPI/Wrap.h>
#include <mlir/IR/BuiltinAttributes.h>
#include "llzk/Dialect/Verif/IR/Ops.capi.cpp.inc"

Include dependency graph for Verif.cpp:

Go to the source code of this file.

Functions
	LLZK_DEFINE_OP_BUILD_METHOD (Verif, ContractOp, MlirIdentifier sym_name, MlirAttribute target, MlirAttribute function_type, MlirAttribute arg_attrs)
	LLZK_DEFINE_SUFFIX_OP_BUILD_METHOD (Verif, ContractOp, FromTargetIdentifier, MlirIdentifier sym_name, MlirIdentifier target)
	LLZK_DEFINE_SUFFIX_OP_BUILD_METHOD (Verif, ContractOp, FromTargetAttr, MlirIdentifier sym_name, MlirAttribute target)
	LLZK_DEFINE_OP_BUILD_METHOD (Verif, IncludeOp, MlirAttribute callee, MlirValueRange argOperands, MlirAttribute templateParams)

Function Documentation

LLZK_DEFINE_OP_BUILD_METHOD() [1/2]

LLZK_DEFINE_OP_BUILD_METHOD	(	Verif	,
		ContractOp	,
		MlirIdentifier	sym_name,
		MlirAttribute	target,
		MlirAttribute	function_type,
		MlirAttribute	arg_attrs )

Definition at line 35 of file Verif.cpp.

LLZK_DEFINE_OP_BUILD_METHOD() [2/2]

LLZK_DEFINE_OP_BUILD_METHOD	(	Verif	,
		IncludeOp	,
		MlirAttribute	callee,
		MlirValueRange	argOperands,
		MlirAttribute	templateParams )

Definition at line 79 of file Verif.cpp.

LLZK_DEFINE_SUFFIX_OP_BUILD_METHOD() [1/2]

LLZK_DEFINE_SUFFIX_OP_BUILD_METHOD	(	Verif	,
		ContractOp	,
		FromTargetAttr	,
		MlirIdentifier	sym_name,
		MlirAttribute	target )

Definition at line 63 of file Verif.cpp.

LLZK_DEFINE_SUFFIX_OP_BUILD_METHOD() [2/2]

LLZK_DEFINE_SUFFIX_OP_BUILD_METHOD	(	Verif	,
		ContractOp	,
		FromTargetIdentifier	,
		MlirIdentifier	sym_name,
		MlirIdentifier	target )

Definition at line 55 of file Verif.cpp.