]> git.wh0rd.org - ICEs.git/blame - hppa-ICE-insn-constraints/regex.i.6
git.wh0rd.org / ICEs.git / blame
? search:
summary | shortlog | log | commit | commitdiff | tree
blob | blame (incremental) | history | HEAD
initial import
[ICEs.git] / hppa-ICE-insn-constraints / regex.i.6
CommitLineData
45516216 1struct locale_data {
2 unsigned int nstrings;
3 union locale_data_value {
4 char *string;
5 unsigned int word;
6 } values[];
7};
8extern __thread struct locale_data *
9*_nl_current_LC_CTYPE
10 __attribute__ ((tls_model("initial-exec")));
11typedef unsigned long int reg_syntax_t;
12extern reg_syntax_t re_syntax_options;
13typedef enum {
14 REG_ENOSYS = -1, REG_NOERROR =
15 0, REG_NOMATCH, REG_BADPAT, REG_ECOLLATE, REG_ECTYPE, REG_EESCAPE,
16 REG_ESUBREG, REG_EBRACK, REG_EPAREN, REG_EBRACE, REG_BADBR,
17 REG_ERANGE, REG_ESPACE, REG_BADRPT, REG_EEND, REG_ESIZE, REG_ERPAREN
18} reg_errcode_t;
19typedef struct {
20 unsigned char *buffer;
21 reg_syntax_t syntax;
22 char *fastmap;
23 unsigned char *translate;
24 unsigned int re_nsub;
25 unsigned fastmap_accurate:1;
26 unsigned not_bol:1;
27 unsigned not_eol:1;
28} regex_t;
29extern __thread void *__libc_tsd_CTYPE_TOLOWER;
30inline
31int **
32__ctype_tolower_loc(void)
33{
34 union {
35 void **ptr;
36int **tablep;
37 } u;
38 u.ptr = (&__libc_tsd_CTYPE_TOLOWER);
39 if (*u.tablep == 0)
40 *u.tablep =
41 ((int *)((*_nl_current_LC_CTYPE)->values[0].string) + 128);
42 return u.tablep;
43}
44inline int tolower(int __c)
45{
46 return *__ctype_tolower_loc()[__c]
47;}
48typedef struct {
49} mbstate_t;
50typedef unsigned long int *bitset_t;
51typedef unsigned long int *re_bitset_ptr_t;
52typedef struct {
53 int nelem;
54 int *elems;
55} re_node_set;
56typedef enum {
57 NON_TYPE = 0, CHARACTER = 1, END_OF_RE = 2, SIMPLE_BRACKET =
58 3, OP_BACK_REF = 4, OP_PERIOD = 5, COMPLEX_BRACKET =
59 6, OP_UTF8_PERIOD = 7, OP_OPEN_SUBEXP = 8 | 0, OP_CLOSE_SUBEXP =
60 8 | 1, OP_ALT = 8 | 2, OP_DUP_ASTERISK = 8 | 3, ANCHOR =
61 8 | 4, CONCAT = 16, SUBEXP = 17, OP_DUP_PLUS =
62 18, OP_DUP_QUESTION, OP_OPEN_BRACKET, OP_CLOSE_BRACKET,
63 OP_CHARSET_RANGE, OP_OPEN_DUP_NUM, OP_CLOSE_DUP_NUM,
64 OP_NON_MATCH_LIST, OP_OPEN_COLL_ELEM, OP_CLOSE_COLL_ELEM,
65 OP_OPEN_EQUIV_CLASS, OP_CLOSE_EQUIV_CLASS, OP_OPEN_CHAR_CLASS,
66 OP_CLOSE_CHAR_CLASS, OP_WORD, OP_NOTWORD, OP_SPACE, OP_NOTSPACE,
67 BACK_SLASH
68} re_token_type_t;
69typedef struct {
70 long int *mbchars;
71 int nmbchars;
72} re_charset_t;
73typedef struct {
74 union {
75 unsigned char c;
76 re_bitset_ptr_t sbcset;
77 re_charset_t *mbcset;
78 int idx;
79 } opr;
80 re_token_type_t type:8;
81} re_token_t;
82typedef struct re_dfa_t re_dfa_t;
83typedef struct bin_tree_t bin_tree_t;
84struct re_dfastate_t {
85 re_node_set nodes;
86};
87typedef struct re_dfastate_t re_dfastate_t;
88struct re_dfa_t {
89 re_token_t *nodes;
90 unsigned int nodes_len;
91 int *nexts;
92 int *org_indices;
93 re_node_set *edests;
94 re_node_set *eclosures;
95 re_dfastate_t *init_state;
96 bin_tree_t *str_tree;
97 re_bitset_ptr_t sb_char;
98 int nbackref;
99 unsigned int has_mb_node:1;
100 unsigned int is_utf8:1;
101 unsigned int map_notascii:1;
102 int mb_cur_max;
103 int *subexp_map;
104};
105static reg_errcode_t re_compile_internal(regex_t * preg,
106const
107char *pattern,
108 unsigned int length,
109 reg_syntax_t syntax);
110static void re_compile_fastmap_iter(regex_t * bufp,
111 const re_dfastate_t * init_state,
112 char *fastmap);
113static reg_errcode_t analyze(regex_t * preg);
114static reg_errcode_t optimize_subexps(void *extra, bin_tree_t * node);
115const char *__re_compile_pattern(pattern, length, bufp)
116const char *pattern;
117{
118 reg_errcode_t ret;
119 ret = re_compile_internal(bufp, pattern, length, re_syntax_options);
120}
121
122int __re_compile_fastmap(regex_t *bufp)
123{
124 re_dfa_t *dfa = (re_dfa_t *) bufp->buffer;
125 char *fastmap = bufp->fastmap;
126 re_compile_fastmap_iter(bufp, dfa->init_state, fastmap);
127}
128static inline void
129re_set_fastmap(char *fastmap, int icase,
130 int ch)
131{
132 if (icase) {
133 int __res;
134 if (sizeof(ch) > 1) {
135 if (ch) {
136 } else
137 __res = tolower(ch);
138 }
139 fastmap[__res] = 1;
140 }
141}
142static void re_compile_fastmap_iter(regex_t * bufp,
143 const re_dfastate_t * init_state,
144 char *fastmap)
145{
146 re_dfa_t *dfa = (re_dfa_t *) bufp->buffer;
147 int node_cnt;
148 int icase = (dfa->mb_cur_max == 1 && (bufp->syntax & 0x40000));
149 for (node_cnt = 0; node_cnt < init_state->nodes.nelem; ++node_cnt) {
150 int node = init_state->nodes.elems[node_cnt];
151 re_token_type_t type = dfa->nodes[node].type;
152 if (type == CHARACTER) {
153 if ((bufp->syntax & 0x40000) && dfa->mb_cur_max > 1) {
154 unsigned char *buf
155 =
156 alloca(dfa->mb_cur_max);
157 }
158 int i;
159 int ch;
160 for (;
161 i < (256 / (sizeof(unsigned long int) * 8)); ) {
162 int j;
163 unsigned long int w =
164 dfa->nodes[node].opr.sbcset[i];
165 for (; j < (sizeof(unsigned long int) * 8);)
166 if (w & ((unsigned long int)1 << j))
167 re_set_fastmap(fastmap, icase,
168 ch);
169 }
170 } else if (type == COMPLEX_BRACKET) {
171 int i;
172 re_charset_t *cset = dfa->nodes[node].opr.mbcset;
173 for (i = 0; i < cset->nmbchars; ++i) {
174 char buf[256];
175 mbstate_t state;
176 if (__wcrtomb(buf, cset->mbchars[i], &state) !=
177 (unsigned int)-1)
178 re_set_fastmap(fastmap, icase,
179 *(unsigned char *)buf);
180 if ((bufp->syntax & 0x4000)
181 && dfa->mb_cur_max > 1) {
182 if (__wcrtomb
183 (buf, towlower(cset->mbchars[i]),
184 &state) != (unsigned int)-1)
185 re_set_fastmap(fastmap, 0,
186 *(unsigned char
187 *)buf);
188 }
189 }
190 }
191 }
192}
193static const bitset_t utf8_sb_map;
194static reg_errcode_t re_compile_internal(regex_t * preg, const char *pattern,
195 unsigned int length,
196 reg_syntax_t syntax)
197{
198 reg_errcode_t err;
199 re_dfa_t *dfa;
200 preg->fastmap_accurate = 0;
201 preg->not_bol = preg->not_eol = 0;
202 err = analyze(preg);
203 if (dfa->is_utf8 && !(syntax & 0x400000) && preg->translate == 0)
204 optimize_utf8(dfa);
205 if (dfa->mb_cur_max == 6 && __extension__( {
206 unsigned int __s1_len;
207 unsigned int __s2_len;
208 (
209(__s1_len =
210 strlen(((*_nl_current_LC_CTYPE)->values[0].string)), __s2_len = strlen("UTF-8"), (!((unsigned int)(const void *)((((*_nl_current_LC_CTYPE)->values[0].string)) + 1) - (unsigned int)(const void *)(((*_nl_current_LC_CTYPE)->values[0].string)) == 1) || __s1_len >= 4) && (!((unsigned int)(const void *)(("UTF-8") + 1) - (unsigned int)(const void *)("UTF-8") == 1) || __s2_len >= 4)) ? strcmp(((*_nl_current_LC_CTYPE)->values[0].string), "UTF-8") : (
211((unsigned int)(const void *)((((*_nl_current_LC_CTYPE)->values[0].string)) + 1) - (unsigned int)(const void *)(((*_nl_current_LC_CTYPE)->values[0].string)) == 1) && (__s1_len = strlen(((*_nl_current_LC_CTYPE)->values[0].string)), __s1_len < 4) ? (
212((unsigned int)(const void *)(("UTF-8") + 1) - (unsigned int)(const void *)("UTF-8") == 1) ?
213strcmp(((*_nl_current_LC_CTYPE)->values[0].string), "UTF-8") : (__extension__( {
214 __const
215 unsigned
216 char
217 *__s2
218 =
219 (__const
220 unsigned
221 char
222 *)
223 (__const
224 char
225 *)
226 ("UTF-8");
227 register
228 int
229 __result
230 =
231 (((__const unsigned char *)(__const char *)(((*_nl_current_LC_CTYPE)->values[0].string)))[0] - __s2[0]); __result;}
232 ))): (
233 ((unsigned int)(const void *)(("UTF-8") + 1) - (unsigned int)(const void *)("UTF-8") == 1) && (__s2_len = strlen("UTF-8"), __s2_len < 4) ? (
234((unsigned int)(const void *)((((*_nl_current_LC_CTYPE)->values[0].string)) + 1) - (unsigned int)(const void *)(((*_nl_current_LC_CTYPE)->values[0].string)) == 1) ?
235strcmp(((*_nl_current_LC_CTYPE)->values[0].string), "UTF-8") : (__extension__( {
236 __const
237 unsigned
238 char
239 *__s1
240 =
241 (__const
242 unsigned
243 char
244 *)
245 (__const
246 char
247 *)
248 (((*_nl_current_LC_CTYPE)->values[0].string)); register int __result = __s1[0] - ((__const unsigned char *)(__const char *)("UTF-8"))[0]; __result;}
249 ))): strcmp(((*_nl_current_LC_CTYPE)->values[0].string), "UTF-8"))));}
250 ) == 0)
251 dfa->is_utf8 = 1;
252 dfa->map_notascii =
253 (((unsigned int)(*_nl_current_LC_CTYPE)->values[0].word) != 0);
254 if (dfa->mb_cur_max > 1) {
255 if (dfa->is_utf8)
256 dfa->sb_char = (re_bitset_ptr_t) utf8_sb_map;
257 else {
258 int i;
259 int j;
260 int ch;
261 dfa->sb_char =
262 (re_bitset_ptr_t) calloc(sizeof(bitset_t), 1);
263 for (i = 0, ch = 0;
264 i < (256 / (sizeof(unsigned long int) * 8)); ++i)
265 for (j = 0; j < (sizeof(unsigned long int) * 8);
266 ++j, ++ch) {
267 unsigned int wch = __btowc(ch);
268 if (wch != (0xffffffffu))
269 dfa->sb_char[i] |=
270 (unsigned long int)1 << j;
271 }
272 }
273 }
274 int node;
275 int i;
276 int mb_chars;
277 int has_period;
278 for (
279; node < dfa->nodes_len;)
280 switch (dfa->nodes[node].type) {
281 case CHARACTER:
282 if (dfa->nodes[node].opr.c >= 0x80)
283 mb_chars = 1;
284 case ANCHOR:
285 switch (dfa->nodes[node].opr.idx) {
286 }
287 case OP_PERIOD:
288 has_period = 1;
289 for (i = 0x80 / (sizeof(unsigned long int) * 8);
290 i < (256 / (sizeof(unsigned long int) * 8)); ++i)
291 if (dfa->nodes[node].opr.sbcset[i])
292 return;
293 }
294 dfa->has_mb_node = dfa->nbackref > 0 || has_period;
295}
296static reg_errcode_t analyze(regex_t * preg)
297{
298 re_dfa_t *dfa = (re_dfa_t *) preg->buffer;
299 if (
300 (dfa->nexts == 0 || dfa->org_indices == 0 || dfa->edests == 0
301 || dfa->eclosures == 0))
302 return REG_ESPACE;
303 if (dfa->subexp_map != 0) {
304 int i;
305 for (
306; i < preg->re_nsub;
307)
308 dfa->subexp_map[i] = i;
309 preorder(dfa->str_tree, optimize_subexps, dfa);
310 for (i = 0; i < preg->re_nsub; i++)
311 if (dfa->subexp_map[i] != i)
312 break;
313 }
314}
GCC ICEs