source: icGREP/icgrep-devel/icgrep/UCD/ucd_compiler.hpp

Last change on this file was 5847, checked in by cameron, 3 weeks ago

Unify Parabix CC compiler and Direct CC compiler with a common superclass

File size: 2.8 KB
Line 
1#ifndef UCDCOMPILER_HPP
2#define UCDCOMPILER_HPP
3
4#include "UCD_Config.h"
5#include <boost/container/flat_map.hpp>
6#include <vector>
7
8namespace cc {
9    class CC_Compiler;
10}
11
12namespace re {
13    class Name;
14    class CC;
15}
16
17namespace pablo {
18    class PabloBuilder;
19    class PabloAST;
20    class Var;
21}
22
23namespace UCD {
24
25class UnicodeSet;
26
27class UCDCompiler {
28
29    using CC = re::CC;
30    using PabloBuilder = pablo::PabloBuilder;
31    using PabloAST = pablo::PabloAST;
32    using RangeList = std::vector<interval_t>;
33
34    using TargetMap = boost::container::flat_map<const CC *, pablo::Var *>;
35    using ValueMap = boost::container::flat_map<const CC *, PabloAST *>;
36    using Values = std::vector<std::pair<ValueMap::key_type, ValueMap::mapped_type>>;
37
38    static const RangeList defaultIfHierachy;
39    static const RangeList noIfHierachy;
40
41public:
42
43    using NameMap = boost::container::flat_map<re::Name *, PabloAST *>;
44
45    UCDCompiler(cc::CC_Compiler & ccCompiler);
46
47    void generateWithDefaultIfHierarchy(NameMap & names, PabloBuilder & entry);
48
49    void generateWithoutIfHierarchy(NameMap & names, PabloBuilder & entry);
50
51protected:
52
53    void generateRange(const RangeList & ifRanges, PabloBuilder & entry);
54
55    void generateRange(const RangeList & ifRanges, const codepoint_t lo, const codepoint_t hi, PabloBuilder & builder);
56
57    void generateSubRanges(const codepoint_t lo, const codepoint_t hi, PabloBuilder & builder);
58
59    PabloAST * sequenceGenerator(const RangeList && ranges, const unsigned byte_no, PabloBuilder & builder, PabloAST * target, PabloAST * prefix);
60
61    PabloAST * sequenceGenerator(const codepoint_t lo, const codepoint_t hi, const unsigned byte_no, PabloBuilder & builder, PabloAST * target, PabloAST * prefix);
62
63    PabloAST * ifTestCompiler(const codepoint_t lo, const codepoint_t hi, PabloBuilder & builder);
64
65    PabloAST * ifTestCompiler(const codepoint_t lo, const codepoint_t hi, const unsigned byte_no, PabloBuilder & builder, PabloAST * target);
66
67    PabloAST * makePrefix(const codepoint_t cp, const unsigned byte_no, PabloBuilder & builder, PabloAST * prefix);
68
69    static RangeList byteDefinitions(const RangeList & list, const unsigned byte_no, bool isUTF_16);
70
71    template <typename RangeListOrUnicodeSet>
72    static RangeList rangeIntersect(const RangeListOrUnicodeSet & list, const codepoint_t lo, const codepoint_t hi);
73
74    static RangeList rangeGaps(const RangeList & list, const codepoint_t lo, const codepoint_t hi);
75
76    static RangeList outerRanges(const RangeList & list);
77
78    static RangeList innerRanges(const RangeList & list);
79
80    void makeTargets(PabloBuilder & entry, NameMap & names);
81
82private:
83    cc::CC_Compiler &       mCodeUnitCompiler;
84    PabloAST *              mSuffixVar;
85    TargetMap               mTarget;
86    ValueMap                mTargetValue;
87};
88
89}
90
91#endif // UCDCOMPILER_HPP
Note: See TracBrowser for help on using the repository browser.