| //===-- SequenceToOffsetTable.h - Compress similar sequences ----*- C++ -*-===// | |
| // | |
| // The LLVM Compiler Infrastructure | |
| // | |
| // This file is distributed under the University of Illinois Open Source | |
| // License. See LICENSE.TXT for details. | |
| // | |
| //===----------------------------------------------------------------------===// | |
| // | |
| // SequenceToOffsetTable can be used to emit a number of null-terminated | |
| // sequences as one big array. Use the same memory when a sequence is a suffix | |
| // of another. | |
| // | |
| //===----------------------------------------------------------------------===// | |
| #ifndef LLVM_UTILS_TABLEGEN_SEQUENCETOOFFSETTABLE_H | |
| #define LLVM_UTILS_TABLEGEN_SEQUENCETOOFFSETTABLE_H | |
| #include "llvm/Support/raw_ostream.h" | |
| #include <algorithm> | |
| #include <cassert> | |
| #include <cctype> | |
| #include <functional> | |
| #include <map> | |
| namespace llvm { | |
| /// SequenceToOffsetTable - Collect a number of terminated sequences of T. | |
| /// Compute the layout of a table that contains all the sequences, possibly by | |
| /// reusing entries. | |
| /// | |
| /// @tparam SeqT The sequence container. (vector or string). | |
| /// @tparam Less A stable comparator for SeqT elements. | |
| template<typename SeqT, typename Less = std::less<typename SeqT::value_type> > | |
| class SequenceToOffsetTable { | |
| typedef typename SeqT::value_type ElemT; | |
| // Define a comparator for SeqT that sorts a suffix immediately before a | |
| // sequence with that suffix. | |
| struct SeqLess { | |
| Less L; | |
| bool operator()(const SeqT &A, const SeqT &B) const { | |
| return std::lexicographical_compare(A.rbegin(), A.rend(), | |
| B.rbegin(), B.rend(), L); | |
| } | |
| }; | |
| // Keep sequences ordered according to SeqLess so suffixes are easy to find. | |
| // Map each sequence to its offset in the table. | |
| typedef std::map<SeqT, unsigned, SeqLess> SeqMap; | |
| // Sequences added so far, with suffixes removed. | |
| SeqMap Seqs; | |
| // Entries in the final table, or 0 before layout was called. | |
| unsigned Entries; | |
| // isSuffix - Returns true if A is a suffix of B. | |
| static bool isSuffix(const SeqT &A, const SeqT &B) { | |
| return A.size() <= B.size() && std::equal(A.rbegin(), A.rend(), B.rbegin()); | |
| } | |
| public: | |
| SequenceToOffsetTable() : Entries(0) {} | |
| /// add - Add a sequence to the table. | |
| /// This must be called before layout(). | |
| void add(const SeqT &Seq) { | |
| assert(Entries == 0 && "Cannot call add() after layout()"); | |
| typename SeqMap::iterator I = Seqs.lower_bound(Seq); | |
| // If SeqMap contains a sequence that has Seq as a suffix, I will be | |
| // pointing to it. | |
| if (I != Seqs.end() && isSuffix(Seq, I->first)) | |
| return; | |
| I = Seqs.insert(I, std::make_pair(Seq, 0u)); | |
| // The entry before I may be a suffix of Seq that can now be erased. | |
| if (I != Seqs.begin() && isSuffix((--I)->first, Seq)) | |
| Seqs.erase(I); | |
| } | |
| bool empty() const { return Seqs.empty(); } | |
| unsigned size() const { | |
| assert(Entries && "Call layout() before size()"); | |
| return Entries; | |
| } | |
| /// layout - Computes the final table layout. | |
| void layout() { | |
| assert(Entries == 0 && "Can only call layout() once"); | |
| // Lay out the table in Seqs iteration order. | |
| for (typename SeqMap::iterator I = Seqs.begin(), E = Seqs.end(); I != E; | |
| ++I) { | |
| I->second = Entries; | |
| // Include space for a terminator. | |
| Entries += I->first.size() + 1; | |
| } | |
| } | |
| /// get - Returns the offset of Seq in the final table. | |
| unsigned get(const SeqT &Seq) const { | |
| assert(Entries && "Call layout() before get()"); | |
| typename SeqMap::const_iterator I = Seqs.lower_bound(Seq); | |
| assert(I != Seqs.end() && isSuffix(Seq, I->first) && | |
| "get() called with sequence that wasn't added first"); | |
| return I->second + (I->first.size() - Seq.size()); | |
| } | |
| /// emit - Print out the table as the body of an array initializer. | |
| /// Use the Print function to print elements. | |
| void emit(raw_ostream &OS, | |
| void (*Print)(raw_ostream&, ElemT), | |
| const char *Term = "0") const { | |
| assert(Entries && "Call layout() before emit()"); | |
| for (typename SeqMap::const_iterator I = Seqs.begin(), E = Seqs.end(); | |
| I != E; ++I) { | |
| OS << " /* " << I->second << " */ "; | |
| for (typename SeqT::const_iterator SI = I->first.begin(), | |
| SE = I->first.end(); SI != SE; ++SI) { | |
| Print(OS, *SI); | |
| OS << ", "; | |
| } | |
| OS << Term << ",\n"; | |
| } | |
| } | |
| }; | |
| // Helper function for SequenceToOffsetTable<string>. | |
| static inline void printChar(raw_ostream &OS, char C) { | |
| unsigned char UC(C); | |
| if (isalnum(UC) || ispunct(UC)) { | |
| OS << '\''; | |
| if (C == '\\' || C == '\'') | |
| OS << '\\'; | |
| OS << C << '\''; | |
| } else { | |
| OS << unsigned(UC); | |
| } | |
| } | |
| } // end namespace llvm | |
| #endif |