blob: ad8265ba7bc1b65846ce62c24048eeade70f45a6 [file] [log] [blame]
Pavel Labath274527c2018-02-21 22:36:31 +00001#!/usr/bin/env python
2"""
3Unicode case folding database conversion utility
4
5Parses the database and generates a C++ function which implements the case
6folding algorithm. The database entries are of the form:
7
8 <code>; <status>; <mapping>; # <name>
9
10<status> can be one of four characters:
11 C - Common mappings
12 S - mappings for Simple case folding
13 F - mappings for Full case folding
14 T - special case for Turkish I characters
15
16Right now this generates a function which implements simple case folding (C+S
17entries).
18"""
19
Serge Guelton60ccceb2019-01-03 14:11:33 +000020from __future__ import print_function
21
Pavel Labath274527c2018-02-21 22:36:31 +000022import sys
23import re
Serge Guelton9f3acd12019-01-03 14:12:44 +000024try:
25 from urllib.request import urlopen
26except ImportError:
27 from urllib2 import urlopen
28
Pavel Labath274527c2018-02-21 22:36:31 +000029
30# This variable will body of the mappings function
31body = ""
32
33# Reads file line-by-line, extracts Common and Simple case fold mappings and
34# returns a (from_char, to_char, from_name) tuple.
35def mappings(f):
36 previous_from = -1
37 expr = re.compile(r'^(.*); [CS]; (.*); # (.*)')
38 for line in f:
39 m = expr.match(line)
40 if not m: continue
41 from_char = int(m.group(1), 16)
42 to_char = int(m.group(2), 16)
43 from_name = m.group(3)
44
45 if from_char <= previous_from:
46 raise Exception("Duplicate or unsorted characters in input")
47 yield from_char, to_char, from_name
48 previous_from = from_char
49
50# Computes the shift (to_char - from_char) in a mapping.
51def shift(mapping):
52 return mapping[1] - mapping[0]
53
54# Computes the stride (from_char2 - from_char1) of two mappings.
55def stride2(mapping1, mapping2):
56 return mapping2[0] - mapping1[0]
57
58# Computes the stride of a list of mappings. The list should have at least two
59# mappings. All mappings in the list are assumed to have the same stride.
60def stride(block):
61 return stride2(block[0], block[1])
62
63
64# b is a list of mappings. All the mappings are assumed to have the same
65# shift and the stride between adjecant mappings (if any) is constant.
66def dump_block(b):
67 global body
68
69 if len(b) == 1:
70 # Special case for handling blocks of length 1. We don't even need to
71 # emit the "if (C < X) return C" check below as all characters in this
72 # range will be caught by the "C < X" check emitted by the first
73 # non-trivial block.
74 body += " // {2}\n if (C == {0:#06x})\n return {1:#06x};\n".format(*b[0])
75 return
76
77 first = b[0][0]
78 last = first + stride(b) * (len(b)-1)
79 modulo = first % stride(b)
80
81 # All characters before this block map to themselves.
82 body += " if (C < {0:#06x})\n return C;\n".format(first)
83 body += " // {0} characters\n".format(len(b))
84
85 # Generic pattern: check upper bound (lower bound is checked by the "if"
86 # above) and modulo of C, return C+shift.
87 pattern = " if (C <= {0:#06x} && C % {1} == {2})\n return C + {3};\n"
88
89 if stride(b) == 2 and shift(b[0]) == 1 and modulo == 0:
90 # Special case:
91 # We can elide the modulo-check because the expression "C|1" will map
92 # the intervening characters to themselves.
93 pattern = " if (C <= {0:#06x})\n return C | 1;\n"
94 elif stride(b) == 1:
95 # Another special case: X % 1 is always zero, so don't emit the
96 # modulo-check.
97 pattern = " if (C <= {0:#06x})\n return C + {3};\n"
98
99 body += pattern.format(last, stride(b), modulo, shift(b[0]))
100
101current_block = []
Serge Guelton9f3acd12019-01-03 14:12:44 +0000102f = urlopen(sys.argv[1])
Pavel Labath274527c2018-02-21 22:36:31 +0000103for m in mappings(f):
104 if len(current_block) == 0:
105 current_block.append(m)
106 continue
107
108 if shift(current_block[0]) != shift(m):
109 # Incompatible shift, start a new block.
110 dump_block(current_block)
111 current_block = [m]
112 continue
113
114 if len(current_block) == 1 or stride(current_block) == stride2(current_block[-1], m):
115 current_block.append(m)
116 continue
117
118 # Incompatible stride, start a new block.
119 dump_block(current_block)
120 current_block = [m]
121f.close()
122
123dump_block(current_block)
124
Serge Guelton60ccceb2019-01-03 14:11:33 +0000125print('//===---------- Support/UnicodeCaseFold.cpp -------------------------------===//')
126print('//')
127print('// This file was generated by utils/unicode-case-fold.py from the Unicode')
128print('// case folding database at')
129print('// ', sys.argv[1])
130print('//')
131print('// To regenerate this file, run:')
132print('// utils/unicode-case-fold.py \\')
133print('// "{}" \\'.format(sys.argv[1]))
134print('// > lib/Support/UnicodeCaseFold.cpp')
135print('//')
136print('//===----------------------------------------------------------------------===//')
137print('')
138print('#include "llvm/Support/Unicode.h"')
139print('')
140print("int llvm::sys::unicode::foldCharSimple(int C) {")
141print(body)
142print(" return C;")
143print("}")