LLZK 0.1.0
Veridise's ZK Language IR
Loading...
Searching...
No Matches
Include.cpp
Go to the documentation of this file.
1//===-- Include.cpp - Include dialect C API implementation ------*- C++ -*-===//
2//
3// Part of the LLZK Project, under the Apache License v2.0.
4// See LICENSE.txt for license information.
5// Copyright 2025 Veridise Inc.
6// SPDX-License-Identifier: Apache-2.0
7//
8//===----------------------------------------------------------------------===//
9
13
15
16#include <mlir/CAPI/Pass.h>
17#include <mlir/CAPI/Registration.h>
18#include <mlir/CAPI/Wrap.h>
19
20#include <mlir-c/Pass.h>
21
22static void registerLLZKIncludeTransformationPasses() {
24}
25
26using namespace llzk::include;
27
28// Include impl for transformation passes
30
32
33MlirOperation llzkIncludeOpCreate(MlirLocation location, MlirStringRef name, MlirStringRef path) {
34 return wrap(IncludeOp::create(unwrap(location), unwrap(name), unwrap(path)));
35}
MlirOperation llzkIncludeOpCreate(MlirLocation location, MlirStringRef name, MlirStringRef path)
Creates an IncludeOp pointing to another MLIR file.
Definition Include.cpp:33
MLIR_DEFINE_CAPI_DIALECT_REGISTRATION(Polymorphic, llzk__polymorphic, llzk::polymorphic::PolymorphicDialect) MlirType llzkTypeVarTypeGet(MlirContext ctx
MlirStringRef name
static IncludeOp create(::mlir::Location, ::llvm::StringRef name, ::llvm::StringRef path)
void registerTransformationPasses()