boost/spirit_x4
2
0
Fork 0
mirror of https://github.com/boostorg/spirit_x4.git synced 2026-01-19 04:42:11 +00:00
Code Issues Projects Releases Wiki Activity
Files
develop
spirit_x4/workbench/unicode/create_tables.cpp
Nana Sakisaka f115296a72 Add [[maybe_unused]] to all inline variables
2025-10-07 23:25:39 +09:00

673 lines
20 KiB
C++
Raw Permalink Blame History

/*=============================================================================
Copyright (c) 2001-2011 Joel de Guzman
Copyright (c) 2025 Nana Sakisaka
Distributed under the Boost Software License, Version 1.0. (See accompanying
file LICENSE_1_0.txt or copy at http://www.boost.org/LICENSE_1_0.txt)
=============================================================================*/
#include <boost/spirit/include/qi.hpp>
#include <boost/phoenix.hpp>
#include <boost/unordered_map.hpp>
#include <boost/algorithm/string/trim.hpp>
#include <boost/foreach.hpp>
#include <boost/array.hpp>
#include <boost/scoped_array.hpp>
#include <boost/range/iterator_range.hpp>
#include <iostream>
#include <iomanip>
#include <fstream>
#include <vector>
#include <algorithm>
#include <string>
#include <map>
#include <cstdint>
// We place the data here. Each line comprises various fields
using ucd_line = std::vector<std::string>;
using ucd_vector = std::vector<ucd_line>;
using ucd_iterator = std::vector<ucd_line>::iterator;
// spirit and phoenix using declarations
using boost::spirit::qi::parse;
using boost::spirit::qi::hex;
using boost::spirit::qi::char_;
using boost::spirit::qi::eol;
using boost::spirit::qi::rule;
using boost::spirit::qi::omit;
using boost::spirit::qi::_1;
using boost::spirit::qi::_val;
using boost::phoenix::push_back;
using boost::phoenix::ref;
// basic unsigned types
using std::uint8_t;
using std::uint16_t;
using std::uint32_t;
enum code_action
{
assign_code_value,
assign_property,
append_property
};
// a char range
struct ucd_range
{
ucd_range(uint32_t start, uint32_t finish)
: start(start), finish(finish) {}
// we need this so we can use ucd_range as a multimap key
friend bool operator<(ucd_range const& a, ucd_range const& b)
{
return a.start < b.start;
}
uint32_t start;
uint32_t finish;
};
class ucd_info
{
public:
ucd_info(char const* filename)
{
std::ifstream in(filename, std::ios_base::in);
if (!in)
{
std::cerr << "Error: Could not open input file: "
<< filename << std::endl;
}
else
{
std::string data; // We will read the contents here.
in.unsetf(std::ios::skipws); // No white space skipping!
std::copy(
std::istream_iterator<char>(in),
std::istream_iterator<char>(),
std::back_inserter(data));
typedef std::string::const_iterator iterator_type;
iterator_type f = data.begin();
iterator_type l = data.end();
rule<iterator_type> endl = -('#' >> *(char_-eol)) >> eol;
rule<iterator_type, std::string()> field = *(char_-(';'|endl)) >> (';'|&endl);
rule<iterator_type, ucd_line()> line = +(field-endl) >> endl;
rule<iterator_type, std::vector<ucd_line>()> file = +(endl | line[push_back(_val, _1)]);
parse(f, l, file, info);
}
}
template <typename Array>
void collect(Array& data, int field, code_action action) const
{
BOOST_ASSERT(!info.empty());
ucd_vector::const_iterator current = info.begin();
ucd_vector::const_iterator end = info.end();
while (current != end)
{
std::string range = (*current)[0];
boost::trim(range);
std::string::const_iterator f = range.begin();
std::string::const_iterator l = range.end();
// get the code-point range
uint32_t start;
uint32_t finish;
parse(f, l, hex[ref(start) = ref(finish) = _1] >> -(".." >> hex[ref(finish) = _1]));
// special case for UnicodeData.txt ranges:
if ((*current)[1].find("First>") != std::string::npos)
{
++current;
BOOST_ASSERT(current != end);
BOOST_ASSERT((*current)[1].find("Last>") != std::string::npos);
std::string range = (*current)[0];
boost::trim(range);
f = range.begin();
l = range.end();
parse(f, l, hex[ref(finish) = _1]);
}
std::string code;
if (field < int(current->size()))
code = (*current)[field];
boost::trim(code);
if (assign_code_value != action) // code for properties
{
// Only collect properties we are interested in
if (!ignore_property(code))
{
if (assign_property == action)
{
for (uint32_t i = start; i <= finish; ++i)
data[i] = map_property(code);
}
else
{
for (uint32_t i = start; i <= finish; ++i)
data[i] |= map_property(code);
}
}
}
else // code for actual numeric values
{
for (uint32_t i = start; i <= finish; ++i)
{
if (code.empty())
{
data[i] = 0; // signal that this code maps to itself
}
else
{
f = code.begin();
l = code.end();
parse(f, l, hex, data[i]);
}
}
}
++current;
}
}
static bool ignore_property(std::string const& p)
{
// We don't handle all properties
std::map<std::string, int>& pm = get_property_map();
std::map<std::string, int>::iterator i = pm.find(p);
return i == pm.end();
}
static int
map_property(std::string const& p)
{
std::map<std::string, int>& pm = get_property_map();
std::map<std::string, int>::iterator i = pm.find(p);
BOOST_ASSERT(i != pm.end());
return i->second;
}
private:
static std::map<std::string, int>&
get_property_map()
{
// The properties we are interested in:
static std::map<std::string, int> map;
if (map.empty())
{
// General_Category
map["Lu"] = 0;
map["Ll"] = 1;
map["Lt"] = 2;
map["Lm"] = 3;
map["Lo"] = 4;
map["Mn"] = 8;
map["Me"] = 9;
map["Mc"] = 10;
map["Nd"] = 16;
map["Nl"] = 17;
map["No"] = 18;
map["Zs"] = 24;
map["Zl"] = 25;
map["Zp"] = 26;
map["Cc"] = 32;
map["Cf"] = 33;
map["Co"] = 34;
map["Cs"] = 35;
map["Cn"] = 36;
map["Pd"] = 40;
map["Ps"] = 41;
map["Pe"] = 42;
map["Pc"] = 43;
map["Po"] = 44;
map["Pi"] = 45;
map["Pf"] = 46;
map["Sm"] = 48;
map["Sc"] = 49;
map["Sk"] = 50;
map["So"] = 51;
// Derived Properties.
map["Alphabetic"] = 64;
map["Uppercase"] = 128;
map["Lowercase"] = 256;
map["White_Space"] = 512;
map["Hex_Digit"] = 1024;
map["Noncharacter_Code_Point"] = 2048;
map["Default_Ignorable_Code_Point"] = 4096;
// Script
int i = 0;
map["Adlam"] = i++;
map["Caucasian_Albanian"] = i++;
map["Ahom"] = i++;
map["Arabic"] = i++;
map["Imperial_Aramaic"] = i++;
map["Armenian"] = i++;
map["Avestan"] = i++;
map["Balinese"] = i++;
map["Bamum"] = i++;
map["Bassa_Vah"] = i++;
map["Batak"] = i++;
map["Bengali"] = i++;
map["Bhaiksuki"] = i++;
map["Bopomofo"] = i++;
map["Brahmi"] = i++;
map["Braille"] = i++;
map["Buginese"] = i++;
map["Buhid"] = i++;
map["Chakma"] = i++;
map["Canadian_Aboriginal"] = i++;
map["Carian"] = i++;
map["Cham"] = i++;
map["Cherokee"] = i++;
map["Chorasmian"] = i++;
map["Coptic"] = i++;
map["Cypro_Minoan"] = i++;
map["Cypriot"] = i++;
map["Cyrillic"] = i++;
map["Devanagari"] = i++;
map["Dives_Akuru"] = i++;
map["Dogra"] = i++;
map["Deseret"] = i++;
map["Duployan"] = i++;
map["Egyptian_Hieroglyphs"] = i++;
map["Elbasan"] = i++;
map["Elymaic"] = i++;
map["Ethiopic"] = i++;
map["Georgian"] = i++;
map["Glagolitic"] = i++;
map["Gunjala_Gondi"] = i++;
map["Masaram_Gondi"] = i++;
map["Gothic"] = i++;
map["Grantha"] = i++;
map["Greek"] = i++;
map["Gujarati"] = i++;
map["Gurmukhi"] = i++;
map["Hangul"] = i++;
map["Han"] = i++;
map["Hanunoo"] = i++;
map["Hatran"] = i++;
map["Hebrew"] = i++;
map["Hiragana"] = i++;
map["Anatolian_Hieroglyphs"] = i++;
map["Pahawh_Hmong"] = i++;
map["Nyiakeng_Puachue_Hmong"] = i++;
map["Katakana_Or_Hiragana"] = i++;
map["Old_Hungarian"] = i++;
map["Old_Italic"] = i++;
map["Javanese"] = i++;
map["Kayah_Li"] = i++;
map["Katakana"] = i++;
map["Kawi"] = i++;
map["Kharoshthi"] = i++;
map["Khmer"] = i++;
map["Khojki"] = i++;
map["Khitan_Small_Script"] = i++;
map["Kannada"] = i++;
map["Kaithi"] = i++;
map["Tai_Tham"] = i++;
map["Lao"] = i++;
map["Latin"] = i++;
map["Lepcha"] = i++;
map["Limbu"] = i++;
map["Linear_A"] = i++;
map["Linear_B"] = i++;
map["Lisu"] = i++;
map["Lycian"] = i++;
map["Lydian"] = i++;
map["Mahajani"] = i++;
map["Makasar"] = i++;
map["Mandaic"] = i++;
map["Manichaean"] = i++;
map["Marchen"] = i++;
map["Medefaidrin"] = i++;
map["Mende_Kikakui"] = i++;
map["Meroitic_Cursive"] = i++;
map["Meroitic_Hieroglyphs"] = i++;
map["Malayalam"] = i++;
map["Modi"] = i++;
map["Mongolian"] = i++;
map["Mro"] = i++;
map["Meetei_Mayek"] = i++;
map["Multani"] = i++;
map["Myanmar"] = i++;
map["Nag_Mundari"] = i++;
map["Nandinagari"] = i++;
map["Old_North_Arabian"] = i++;
map["Nabataean"] = i++;
map["Newa"] = i++;
map["Nko"] = i++;
map["Nushu"] = i++;
map["Ogham"] = i++;
map["Ol_Chiki"] = i++;
map["Old_Turkic"] = i++;
map["Oriya"] = i++;
map["Osage"] = i++;
map["Osmanya"] = i++;
map["Old_Uyghur"] = i++;
map["Palmyrene"] = i++;
map["Pau_Cin_Hau"] = i++;
map["Old_Permic"] = i++;
map["Phags_Pa"] = i++;
map["Inscriptional_Pahlavi"] = i++;
map["Psalter_Pahlavi"] = i++;
map["Phoenician"] = i++;
map["Miao"] = i++;
map["Inscriptional_Parthian"] = i++;
map["Rejang"] = i++;
map["Hanifi_Rohingya"] = i++;
map["Runic"] = i++;
map["Samaritan"] = i++;
map["Old_South_Arabian"] = i++;
map["Saurashtra"] = i++;
map["SignWriting"] = i++;
map["Shavian"] = i++;
map["Sharada"] = i++;
map["Siddham"] = i++;
map["Khudawadi"] = i++;
map["Sinhala"] = i++;
map["Sogdian"] = i++;
map["Old_Sogdian"] = i++;
map["Sora_Sompeng"] = i++;
map["Soyombo"] = i++;
map["Sundanese"] = i++;
map["Syloti_Nagri"] = i++;
map["Syriac"] = i++;
map["Tagbanwa"] = i++;
map["Takri"] = i++;
map["Tai_Le"] = i++;
map["New_Tai_Lue"] = i++;
map["Tamil"] = i++;
map["Tangut"] = i++;
map["Tai_Viet"] = i++;
map["Telugu"] = i++;
map["Tifinagh"] = i++;
map["Tagalog"] = i++;
map["Thaana"] = i++;
map["Thai"] = i++;
map["Tibetan"] = i++;
map["Tirhuta"] = i++;
map["Tangsa"] = i++;
map["Toto"] = i++;
map["Ugaritic"] = i++;
map["Vai"] = i++;
map["Vithkuqi"] = i++;
map["Warang_Citi"] = i++;
map["Wancho"] = i++;
map["Old_Persian"] = i++;
map["Cuneiform"] = i++;
map["Yezidi"] = i++;
map["Yi"] = i++;
map["Zanabazar_Square"] = i++;
map["Inherited"] = i++;
map["Common"] = i++;
map["Unknown"] = i++;
}
return map;
}
ucd_vector info;
};
template <typename T, uint32_t block_size_ = 256>
class ucd_table_builder
{
public:
static uint32_t const block_size = block_size_;
static uint32_t const full_span = 0x110000;
typedef T value_type;
ucd_table_builder(T default_value = 0) : p(new T[full_span])
{
for (uint32_t i = 0; i < full_span; ++i)
p[i] = default_value;
}
void collect(char const* filename, int field, code_action action)
{
std::cout << "collecting " << filename << std::endl;
ucd_info info(filename);
info.collect(p, field, action);
}
void build(std::vector<uint8_t>& stage1, std::vector<T const*>& stage2)
{
std::cout << "building tables" << std::endl;
std::map<block_ptr, std::vector<T const*> > blocks;
for (T const* i = p.get(); i < (p.get() + full_span); i += block_size)
blocks[block_ptr(i)].push_back(i);
// Not enough bits to store the block indices.
BOOST_ASSERT(blocks.size() < (1 << (sizeof(uint8_t) * 8)));
typedef std::pair<block_ptr, std::vector<T const*> > blocks_value_type;
std::map<T const*, std::vector<T const*> > sorted_blocks;
BOOST_FOREACH(blocks_value_type const& val, blocks)
{
sorted_blocks[val.first.p] = val.second;
}
stage1.clear();
stage1.reserve(full_span / block_size);
stage1.resize(full_span / block_size);
stage2.clear();
stage2.reserve(blocks.size());
typedef std::pair<T const*, std::vector<T const*> > sorted_blocks_value_type;
BOOST_FOREACH(sorted_blocks_value_type const& val, sorted_blocks)
{
stage2.push_back(val.first);
BOOST_FOREACH(T const* val2, val.second)
{
stage1[(val2 - p.get()) / block_size] = stage2.size() - 1;
}
}
}
private:
struct block_ptr
{
block_ptr(T const* p) : p(p) {}
friend bool operator<(block_ptr a, block_ptr b)
{
return std::lexicographical_compare(
a.p, a.p + block_size, b.p, b.p + block_size);
}
T const* p;
};
boost::scoped_array<T> p;
};
template <typename Out>
void print_tab(Out& out, int tab)
{
for (int i = 0; i < tab; ++i)
out << ' ';
}
template <typename Out, typename C>
void print_table(Out& out, C const& c, bool trailing_comma, int width = 4, int group = 16)
{
int const tab = 4;
typename C::size_type size = c.size();
BOOST_ASSERT(size > 1);
print_tab(out, tab);
out << std::setw(width) << int(c[0]);
for (typename C::size_type i = 1; i < size; ++i)
{
out << ", ";
if ((i % group) == 0)
{
out << std::endl;
print_tab(out, tab);
}
out << std::setw(width) << int(c[i]);
}
if (trailing_comma)
out << ", " << std::endl;
}
template <typename Out>
void print_head(Out& out)
{
out
<< "/*=============================================================================\n"
<< " Copyright (c) 2001-2011 Joel de Guzman\n"
<< " Copyright (c) 2025 Nana Sakisaka\n"
<< "\n"
<< " Distributed under the Boost Software License, Version 1.0. (See accompanying\n"
<< " file LICENSE_1_0.txt or copy at http://www.boost.org/LICENSE_1_0.txt)\n"
<< "\n"
<< " AUTOGENERATED. DO NOT EDIT!!!\n"
<< "==============================================================================*/\n"
<< "#include <cstdint>\n"
<< "\n"
<< "namespace boost::spirit::x4::unicode::detail\n"
<< "{"
;
}
template <typename Out>
void print_tail(Out& out)
{
out
<< "\n"
<< "} // boost::spirit::x4::unicode::detail\n"
;
}
char const* get_int_type_name(int size)
{
switch (size)
{
case 1: return "std::uint8_t";
case 2: return "std::uint16_t";
case 4: return "std::uint32_t";
case 5: return "std::uint64_t";
default: BOOST_ASSERT(false); return 0; // invalid size
};
}
template <typename Out, typename Builder>
void print_file(Out& out, Builder& builder, int field_width, char const* name)
{
std::cout << "Generating " << name << " tables" << std::endl;
uint32_t const block_size = Builder::block_size;
typedef typename Builder::value_type value_type;
print_head(out);
std::vector<uint8_t> stage1;
std::vector<value_type const*> stage2;
builder.build(stage1, stage2);
std::cout << "Block Size: " << block_size << std::endl;
std::cout << "Total Bytes: "
<< stage1.size()+(stage2.size()*block_size*sizeof(value_type))
<< std::endl;
out
<< "\n"
<< " [[maybe_unused]] inline constexpr std::uint8_t " << name << "_stage1[] = {\n"
<< "\n"
;
print_table(out, stage1, false, 3);
char const* int_name = get_int_type_name(sizeof(value_type));
out
<< "\n"
<< " };"
<< "\n"
<< "\n"
<< " [[maybe_unused]] inline constexpr " << int_name << ' ' << name << "_stage2[] = {"
;
int block_n = 0;
for (int i = 0; i < int(stage2.size()); ++i)
{
value_type const* p = stage2[i];
bool last = (i+1 == stage2.size());
out << "\n\n // block " << block_n++ << std::endl;
print_table(out,
boost::iterator_range<value_type const*>(p, p+block_size), !last, field_width);
}
out
<< "\n"
<< " };"
<< "\n"
;
out
<< "\n"
<< " [[nodiscard]] constexpr " << int_name << ' ' << name << "_lookup(std::uint32_t ch) noexcept\n"
<< " {\n"
<< " std::uint32_t block_offset = " << name << "_stage1[ch / " << block_size << "] * " << block_size << ";\n"
<< " return " << name << "_stage2[block_offset + ch % " << block_size << "];\n"
<< " }\n"
;
print_tail(out);
}
int main()
{
// The category tables
{
std::ofstream out("category_table.hpp");
ucd_table_builder<uint16_t, 256> builder(ucd_info::map_property("Cn"));
builder.collect("UnicodeData.txt", 2, assign_property);
builder.collect("DerivedCoreProperties.txt", 1, append_property);
builder.collect("PropList.txt", 1, append_property);
print_file(out, builder, 4, "category");
}
// The script tables
{
std::ofstream out("script_table.hpp");
ucd_table_builder<uint8_t, 256> builder(ucd_info::map_property("Unknown"));
builder.collect("Scripts.txt", 1, assign_property);
print_file(out, builder, 3, "script");
}
// The lowercase tables
{
std::ofstream out("lowercase_table.hpp");
ucd_table_builder<uint32_t, 256> builder;
builder.collect("UnicodeData.txt", 13, assign_code_value);
print_file(out, builder, 6, "lowercase");
}
// The uppercase tables
{
std::ofstream out("uppercase_table.hpp");
ucd_table_builder<uint32_t, 256> builder;
builder.collect("UnicodeData.txt", 12, assign_code_value);
print_file(out, builder, 6, "uppercase");
}
}
Reference in New Issue View Git Blame Copy Permalink