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
10
#include "
llzk/CAPI/Support.h
"
11
#include "
llzk/Dialect/Global/IR/Dialect.h
"
12
#include "
llzk/Dialect/Global/IR/Ops.h
"
13
14
#include "
llzk-c/Dialect/Global.h
"
15
16
#include <mlir/CAPI/Registration.h>
17
18
using namespace
mlir
;
19
using namespace
llzk::global
;
20
21
MLIR_DEFINE_CAPI_DIALECT_REGISTRATION(Global, llzk__global,
GlobalDialect
)
22
23
//===----------------------------------------------------------------------===//
24
// GlobalDefOp
25
//===----------------------------------------------------------------------===//
26
27
bool
llzkOperationIsAGlobalDefOp
(MlirOperation op) {
return
llvm::isa<GlobalDefOp>(unwrap(op)); }
28
29
bool
llzkGlobalDefOpGetIsConstant
(MlirOperation op) {
30
return
unwrap_cast<GlobalDefOp>
(op).isConstant();
31
}
Dialect.h
Ops.h
llzkGlobalDefOpGetIsConstant
bool llzkGlobalDefOpGetIsConstant(MlirOperation op)
Definition
Global.cpp:29
llzkOperationIsAGlobalDefOp
bool llzkOperationIsAGlobalDefOp(MlirOperation op)
Definition
Global.cpp:27
Global.h
llzk::global::GlobalDialect
Definition
Dialect.h.inc:13
Support.h
llzk::global
Definition
Ops.cpp:30
mlir
Definition
AnalysisPassEnums.h.inc:39
mlir::unwrap_cast
auto unwrap_cast(auto &from)
Definition
Support.h:30
lib
CAPI
Dialect
Global.cpp
Generated by
1.14.0
Copyright 2025 Veridise Inc. under the Apache License v2.0.