MimIR 0.1
MimIR is my Intermediate Representation
Loading...
Searching...
No Matches
autogen.h
Go to the documentation of this file.
1#pragma once
2
3#include <mim/axm.h>
4#include <mim/plugin.h>
5
6/// @namespace mim::plug::tuple @ref tuple
7namespace mim {
8namespace plug::tuple {
9
10static constexpr plugin_t Plugin_Id = 0x55644d1800000000;
11
12/// @name %%tuple.typecat
13///@{
14enum class typecat : flags_t {
15};
16
17///@}
18
19/// @name %%tuple.cat
20///@{
21enum class cat : flags_t {
22};
23
24const Def* normalize_cat(const Def*, const Def*, const Def*);
25///@}
26
27/// @name %%tuple.append
28///@{
29enum class append : flags_t {
30};
31
32///@}
33
34/// @name %%tuple.prepend
35///@{
36enum class prepend : flags_t {
37};
38
39///@}
40
41/// @name %%tuple.contains
42///@{
43enum class contains : flags_t {
44};
45
46const Def* normalize_contains(const Def*, const Def*, const Def*);
47///@}
48
49/// @name %%tuple.zip
50///@{
51enum class zip : flags_t {
52};
53
54const Def* normalize_zip(const Def*, const Def*, const Def*);
55///@}
56
58
59#define MIM_tuple_NORMALIZER_IMPL \
60 void register_normalizers(Normalizers& normalizers) {\
61 normalizers[flags_t(Annex::Base<cat>)] = &normalize_cat; \
62 normalizers[flags_t(Annex::Base<contains>)] = &normalize_contains; \
63 normalizers[flags_t(Annex::Base<zip>)] = &normalize_zip; \
64 }
65} // namespace plug::tuple
66
67#ifndef DOXYGEN // don't include in Doxygen documentation
68
69template<> constexpr flags_t Annex::Base<plug::tuple::typecat> = 0x55644d1800000000;
70template<> constexpr size_t Annex::Num<plug::tuple::typecat> = 0;
71template<> constexpr flags_t Annex::Base<plug::tuple::cat> = 0x55644d1800000100;
72template<> constexpr size_t Annex::Num<plug::tuple::cat> = 0;
73template<> constexpr flags_t Annex::Base<plug::tuple::append> = 0x55644d1800000200;
74template<> constexpr size_t Annex::Num<plug::tuple::append> = 0;
75template<> constexpr flags_t Annex::Base<plug::tuple::prepend> = 0x55644d1800000300;
76template<> constexpr size_t Annex::Num<plug::tuple::prepend> = 0;
77template<> constexpr flags_t Annex::Base<plug::tuple::contains> = 0x55644d1800000400;
78template<> constexpr size_t Annex::Num<plug::tuple::contains> = 0;
79template<> constexpr flags_t Annex::Base<plug::tuple::zip> = 0x55644d1800000500;
80template<> constexpr size_t Annex::Num<plug::tuple::zip> = 0;
81
82template<> struct Axm::IsANode<plug::tuple::typecat> { using type = Axm; };
83template<> struct Axm::IsANode<plug::tuple::append> { using type = Axm; };
84template<> struct Axm::IsANode<plug::tuple::prepend> { using type = Axm; };
85
86#endif
87} // namespace mim
88
89#ifndef DOXYGEN // don't include in Doxygen documentation
90
91
92#endif
Base class for all Defs.
Definition def.h:251
The tuple Plugin
static constexpr plugin_t Plugin_Id
Definition autogen.h:10
const Def * normalize_cat(const Def *, const Def *callee, const Def *arg)
void register_normalizers(Normalizers &normalizers)
const Def * normalize_zip(const Def *type, const Def *c, const Def *arg)
const Def * normalize_contains(const Def *type, const Def *, const Def *arg)
Definition ast.h:14
u64 flags_t
Definition types.h:45
absl::flat_hash_map< flags_t, NormalizeFn > Normalizers
Definition plugin.h:19
u64 plugin_t
Definition types.h:46
@ Axm
Definition def.h:114
static constexpr size_t Num
Number of Axm::subtags.
Definition plugin.h:116
static constexpr flags_t Base
Definition plugin.h:117