LLZK 3.0.0
An open-source IR for Zero Knowledge (ZK) circuits
Loading...
Searching...
No Matches
Utils.h
Go to the documentation of this file.
1//===-- Dialect.h -----------------------------------------------*- C++ -*-===//
2//
3// Part of the LLZK Project, under the Apache License v2.0.
4// See LICENSE.txt for license information.
5// Copyright 2026 Project LLZK
6// SPDX-License-Identifier: Apache-2.0
7//
8//===----------------------------------------------------------------------===//
9
10#pragma once
11
12#include "llzk/Dialect/Array/IR/Types.h"
13
14namespace llzk::boolean {
15
20inline mlir::Type getQuantifierOpDomainIterType(llzk::array::ArrayType arr) {
21 return arr.getSelectionType(1);
22}
23
24} // namespace llzk::boolean
llzk::array::ArrayType::getSelectionType
::mlir::Type getSelectionType(size_t numIndices) const
Return the type produced by selecting/removing numIndices leading dimensions.
Definition Types.cpp:145
llzk::boolean::getQuantifierOpDomainIterType
mlir::Type getQuantifierOpDomainIterType(llzk::array::ArrayType arr)
Extracts the type used for a quantifier op block argument.
Definition Utils.h:20