source: icGREP/icgrep-devel/icgrep/re/re_seq.h

Last change on this file was 6266, checked in by nmedfort, 4 months ago

Refactoring of termination logic to use counters.

File size: 2.1 KB
Line 
1/*
2 *  Copyright (c) 2018 International Characters.
3 *  This software is licensed to the public under the Open Software License 3.0.
4 *  icgrep is a trademark of International Characters.
5 */
6
7#ifndef RE_SEQ_H
8#define RE_SEQ_H
9
10#include <string>
11#include <util/slab_allocator.h>
12#include <vector>
13#include <re/re_cc.h>
14#include <re/re_re.h>
15#include <re/re_empty_set.h>
16#include <UCD/unicode_set.h>
17#include <llvm/Support/Casting.h>
18
19namespace re {
20
21class Seq : public RE, public std::vector<RE*, ProxyAllocator<RE *>> {
22public:
23    static inline bool classof(const RE * re) {
24        return re->getClassTypeId() == ClassTypeId::Seq;
25    }
26    static inline bool classof(const void *) {
27        return false;
28    }
29protected:
30    friend Seq * makeSeq();
31    template<typename iterator> friend RE * makeSeq(const iterator, const iterator);
32    Seq() : RE(ClassTypeId::Seq), std::vector<RE*, ProxyAllocator<RE *>>(mAllocator) {}
33    Seq(iterator begin, iterator end)
34    : RE(ClassTypeId::Seq), std::vector<RE*, ProxyAllocator<RE *>>(begin, end, mAllocator) { }
35};
36
37inline Seq * makeSeq() {
38    return new Seq();
39}
40
41template<typename iterator>
42inline RE * makeSeq(const iterator begin, const iterator end) {
43    Seq * seq = makeSeq();
44    for (auto i = begin; i != end; ++i) {
45        RE * const item = *i;
46        if (LLVM_UNLIKELY(isEmptySet(item))) {
47            return item;
48        } else if (LLVM_UNLIKELY(llvm::isa<Seq>(item))) {
49            for (RE * const innerItem : *llvm::cast<Seq>(item)) {
50                seq->push_back(innerItem);
51            }
52        } else {
53            seq->push_back(item);
54        }
55    }
56    if (seq->size() == 1) {
57        return seq->front();
58    }
59    return seq;
60}
61
62inline RE * makeSeq(std::initializer_list<RE *> list) {
63    return makeSeq(list.begin(), list.end());
64}
65
66inline bool isEmptySeq(RE * s) {
67    return llvm::isa<Seq>(s) && llvm::cast<Seq>(s)->empty();
68}
69
70inline RE * u32string2re(std::u32string s) {
71    std::vector<RE *> ccs;
72    for (auto c : s) {
73        ccs.push_back(makeCC(UCD::UnicodeSet(c)));
74    }
75    return makeSeq(ccs.begin(), ccs.end());
76}
77
78}
79
80#endif // RE_SEQ_H
81
82
83
84
Note: See TracBrowser for help on using the repository browser.