2012-04-14 13:54:10 +00:00
|
|
|
//===-- 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 TBLGEN_SEQUENCE_TO_OFFSET_TABLE_H
|
|
|
|
#define TBLGEN_SEQUENCE_TO_OFFSET_TABLE_H
|
|
|
|
|
|
|
|
#include "llvm/Support/raw_ostream.h"
|
|
|
|
#include <algorithm>
|
|
|
|
#include <cassert>
|
|
|
|
#include <cctype>
|
2013-04-08 18:41:23 +00:00
|
|
|
#include <functional>
|
2013-12-22 00:04:03 +00:00
|
|
|
#include <map>
|
2013-04-08 18:41:23 +00:00
|
|
|
#include <vector>
|
2012-04-14 13:54:10 +00:00
|
|
|
|
|
|
|
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.
|
|
|
|
///
|
2012-12-02 13:10:19 +00:00
|
|
|
/// @tparam SeqT The sequence container. (vector or string).
|
|
|
|
/// @tparam Less A stable comparator for SeqT elements.
|
2012-04-14 13:54:10 +00:00
|
|
|
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 : public std::binary_function<SeqT, SeqT, bool> {
|
|
|
|
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);
|
|
|
|
}
|
|
|
|
|
2012-08-15 19:34:23 +00:00
|
|
|
bool empty() const { return Seqs.empty(); }
|
2012-12-02 13:10:19 +00:00
|
|
|
|
2012-04-14 13:54:10 +00:00
|
|
|
/// 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
|