LLZK 0.1.0
Veridise's ZK Language IR
Loading...
Searching...
No Matches
Global.cpp
Go to the documentation of this file.
1//===-- Global.cpp - Global 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
12
14
15#include <mlir/CAPI/Registration.h>
16
18
19//===----------------------------------------------------------------------===//
20// GlobalDefOp
21//===----------------------------------------------------------------------===//
22
23bool llzkOperationIsAGlobalDefOp(MlirOperation op) {
24 return mlir::isa<llzk::global::GlobalDefOp>(unwrap(op));
25}
26
27bool llzkGlobalDefOpGetIsConstant(MlirOperation op) {
28 return mlir::cast<llzk::global::GlobalDefOp>(unwrap(op)).isConstant();
29}
bool llzkGlobalDefOpGetIsConstant(MlirOperation op)
Definition Global.cpp:27
bool llzkOperationIsAGlobalDefOp(MlirOperation op)
Definition Global.cpp:23
MLIR_DEFINE_CAPI_DIALECT_REGISTRATION(Polymorphic, llzk__polymorphic, llzk::polymorphic::PolymorphicDialect) MlirType llzkTypeVarTypeGet(MlirContext ctx