LLZK
3.0.0
An open-source IR for Zero Knowledge (ZK) circuits
Toggle main menu visibility
Loading...
Searching...
No Matches
Enums.td
Go to the documentation of this file.
1
//===-- Enums.td -------------------------------------------*- tablegen -*-===//
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
#ifndef LLZK_CAST_ENUMS
11
#define LLZK_CAST_ENUMS
12
13
include "mlir/IR/EnumAttr.td"
14
15
def LLZK_OverflowSemantics
16
: I32EnumAttr<"OverflowSemantics", "Cast overflow semantics",
17
[I32EnumAttrCase<"ASSERT", 0, "assert">,
18
I32EnumAttrCase<"SATURATE", 1, "sat">,
19
I32EnumAttrCase<"WRAP", 2, "wrap">,
20
I32EnumAttrCase<"TRUNCATE", 3, "trunc">]> {
21
let genSpecializedAttr = 0;
22
let cppNamespace = "::llzk::cast";
23
}
24
25
#endif // LLZK_CAST_ENUMS
include
llzk
Dialect
Cast
IR
Enums.td
Generated by
1.17.0
Copyright 2025 Veridise Inc. under the Apache License v2.0. Copyright 2026 Project LLZK under the Apache License v2.0.