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
10
namespace
llzk
{
11
namespace
boolean
{
12
::llvm::StringRef
stringifyFeltCmpPredicate
(
FeltCmpPredicate
val) {
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
llzk::boolean
Definition
Ops.cpp:20
llzk::boolean::FeltCmpPredicate
FeltCmpPredicate
Definition
Enums.h.inc:13
llzk::boolean::FeltCmpPredicate::EQ
@ EQ
Definition
Enums.h.inc:14
llzk::boolean::FeltCmpPredicate::LT
@ LT
Definition
Enums.h.inc:16
llzk::boolean::FeltCmpPredicate::GT
@ GT
Definition
Enums.h.inc:18
llzk::boolean::FeltCmpPredicate::LE
@ LE
Definition
Enums.h.inc:17
llzk::boolean::FeltCmpPredicate::NE
@ NE
Definition
Enums.h.inc:15
llzk::boolean::FeltCmpPredicate::GE
@ GE
Definition
Enums.h.inc:19
llzk::boolean::stringifyFeltCmpPredicate
::llvm::StringRef stringifyFeltCmpPredicate(FeltCmpPredicate val)
Definition
Enums.cpp.inc:12
llzk::boolean::symbolizeFeltCmpPredicate
::std::optional< FeltCmpPredicate > symbolizeFeltCmpPredicate(::llvm::StringRef str)
Definition
Enums.cpp.inc:24
llzk
Definition
CallGraph.cpp:29
build
include
llzk
Dialect
Bool
IR
Enums.cpp.inc
Generated by
1.13.2
Copyright 2025 Veridise Inc. under the Apache License v2.0.