LLZK 2.1.1
An open-source IR for Zero Knowledge (ZK) circuits
Loading...
Searching...
No Matches
Enums.cpp.inc
Go to the documentation of this file.
1/*===- TableGen'erated file -------------------------------------*- C++ -*-===*\
2|* *|
3|* Enum Utility Definitions *|
4|* *|
5|* Automatically generated file, do not edit! *|
6|* From: Enums.td *|
7|* *|
8\*===----------------------------------------------------------------------===*/
9
10namespace llzk {
11namespace cast {
13 switch (val) {
14 case OverflowSemantics::ASSERT: return "assert";
15 case OverflowSemantics::SATURATE: return "sat";
16 case OverflowSemantics::WRAP: return "wrap";
17 case OverflowSemantics::TRUNCATE: return "trunc";
18 }
19 return "";
20}
21
22::std::optional<OverflowSemantics> symbolizeOverflowSemantics(::llvm::StringRef str) {
23 return ::llvm::StringSwitch<::std::optional<OverflowSemantics>>(str)
24 .Case("assert", OverflowSemantics::ASSERT)
25 .Case("sat", OverflowSemantics::SATURATE)
26 .Case("wrap", OverflowSemantics::WRAP)
27 .Case("trunc", OverflowSemantics::TRUNCATE)
28 .Default(::std::nullopt);
29}
30::std::optional<OverflowSemantics> symbolizeOverflowSemantics(uint32_t value) {
31 switch (value) {
32 case 0: return OverflowSemantics::ASSERT;
33 case 1: return OverflowSemantics::SATURATE;
34 case 2: return OverflowSemantics::WRAP;
35 case 3: return OverflowSemantics::TRUNCATE;
36 default: return ::std::nullopt;
37 }
38}
39
40} // namespace cast
41} // namespace llzk
42
::llvm::StringRef stringifyOverflowSemantics(OverflowSemantics val)
Definition Enums.cpp.inc:12
::std::optional< OverflowSemantics > symbolizeOverflowSemantics(::llvm::StringRef str)
Definition Enums.cpp.inc:22