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
12
14
15#include <mlir/CAPI/Registration.h>
16
17using namespace llzk::undef;
18
19MLIR_DEFINE_CAPI_DIALECT_REGISTRATION(Undef, llzk__undef, UndefDialect)
20
21//===----------------------------------------------------------------------===//
22// UndefOp
23//===----------------------------------------------------------------------===//
24
25bool llzkOperationIsAUndefOp(MlirOperation op) { return llvm::isa<UndefOp>(unwrap(op)); }
bool llzkOperationIsAUndefOp(MlirOperation op)
Definition Undef.cpp:25