LLZK
0.1.0
Veridise's ZK Language IR
Loading...
Searching...
No Matches
Undef.cpp
Go to the documentation of this file.
1
//===-- Undef.cpp - Undef 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/Dialect/Undef/IR/Dialect.h
"
11
#include "
llzk/Dialect/Undef/IR/Ops.h
"
12
13
#include "
llzk-c/Dialect/Undef.h
"
14
15
#include <mlir/CAPI/Registration.h>
16
17
using namespace
llzk::undef
;
18
19
MLIR_DEFINE_CAPI_DIALECT_REGISTRATION(Undef, llzk__undef,
UndefDialect
)
20
21
//===----------------------------------------------------------------------===//
22
// UndefOp
23
//===----------------------------------------------------------------------===//
24
25
bool
llzkOperationIsAUndefOp
(MlirOperation op) {
return
llvm::isa<UndefOp>(unwrap(op)); }
Dialect.h
Ops.h
llzkOperationIsAUndefOp
bool llzkOperationIsAUndefOp(MlirOperation op)
Definition
Undef.cpp:25
Undef.h
llzk::undef::UndefDialect
Definition
Dialect.h.inc:13
llzk::undef
Definition
Dialect.cpp.inc:12
lib
CAPI
Dialect
Undef.cpp
Generated by
1.14.0
Copyright 2025 Veridise Inc. under the Apache License v2.0.