LLZK 0.1.0
Veridise's ZK Language IR
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 boolean {
13 switch (val) {
14 case FeltCmpPredicate::EQ: return "eq";
15 case FeltCmpPredicate::NE: return "ne";
16 case FeltCmpPredicate::LT: return "lt";
17 case FeltCmpPredicate::LE: return "le";
18 case FeltCmpPredicate::GT: return "gt";
19 case FeltCmpPredicate::GE: return "ge";
20 }
21 return "";
22}
23
24::std::optional<FeltCmpPredicate> symbolizeFeltCmpPredicate(::llvm::StringRef str) {
25 return ::llvm::StringSwitch<::std::optional<FeltCmpPredicate>>(str)
26 .Case("eq", FeltCmpPredicate::EQ)
27 .Case("ne", FeltCmpPredicate::NE)
28 .Case("lt", FeltCmpPredicate::LT)
29 .Case("le", FeltCmpPredicate::LE)
30 .Case("gt", FeltCmpPredicate::GT)
31 .Case("ge", FeltCmpPredicate::GE)
32 .Default(::std::nullopt);
33}
34::std::optional<FeltCmpPredicate> symbolizeFeltCmpPredicate(uint32_t value) {
35 switch (value) {
36 case 0: return FeltCmpPredicate::EQ;
37 case 1: return FeltCmpPredicate::NE;
38 case 2: return FeltCmpPredicate::LT;
39 case 3: return FeltCmpPredicate::LE;
40 case 4: return FeltCmpPredicate::GT;
41 case 5: return FeltCmpPredicate::GE;
42 default: return ::std::nullopt;
43 }
44}
45
46} // namespace boolean
47} // namespace llzk
48
::llvm::StringRef stringifyFeltCmpPredicate(FeltCmpPredicate val)
Definition Enums.cpp.inc:12
::std::optional< FeltCmpPredicate > symbolizeFeltCmpPredicate(::llvm::StringRef str)
Definition Enums.cpp.inc:24