source: trunk/src/bitlex.c @ 72

Last change on this file since 72 was 72, checked in by cameron, 11 years ago

Refactored Lexer and friends

File size: 32.3 KB
Line 
1/*  bitlex - Lexical Item Stream Module.
2    Copyright (c) 2007, 2008, Robert D. Cameron.
3    Licensed to the public under the Open Software License 3.0.
4    Licensed to International Characters, Inc., under the Academic
5    Free License 3.0.
6
7*/
8
9#include "bitlex.h"
10#include "../lib/lib_simd.h"
11
12#ifdef CODE_CLOCKING
13#include "../codeclocker/clocker/code_clocker_session.h"
14Code_Clocker * transpose_clocker;
15Code_Clocker * WS_Control_clocker;
16Code_Clocker * MarkupStreams_clocker;
17Code_Clocker * char_validation_clocker;
18#endif
19
20
21Lexer_Interface::Lexer_Interface(Model_Info * m, LexicalStreamSet *l) {
22        model_info = m;
23        parsing_engine_data = l;
24
25        x8basis = (BitBlockBasis *) simd_new(BUFFER_SIZE/PACKSIZE);
26        validation_stream = (BitBlock *) simd_new(BUFFER_BLOCKS+SENTINEL_BLOCKS);
27};
28
29
30Lexer_Interface::~Lexer_Interface() {
31        simd_delete((SIMD_type *) validation_stream);
32        simd_delete((SIMD_type *) x8basis);
33};
34
35
36
37void NoEncodingError(char * msg) {
38        printf("Error : %s\n", msg);
39        exit(-1);
40}
41
42void EncodingError(char * msg, unsigned char * encoding, int lgth) {
43        printf("Error : Illegal/unsupported %s encoding of length %i: \"", msg, lgth);
44        for (int i = 0; i < lgth; i++) printf("%c", encoding[i]);
45        printf("\"\n"); 
46        exit(-1);
47}
48
49template <>
50Lexer_Interface * Lexer<ASCII>::LexerFactory(Model_Info * m, LexicalStreamSet *l) {
51#ifdef CODE_CLOCKING
52        WS_Control_clocker = register_Code_Clocker("WS", "WhiteSpace/Control\n");
53        MarkupStreams_clocker = register_Code_Clocker("bitlex", "Markup streams\n");
54        char_validation_clocker = register_Code_Clocker("charcheck", "Character validation\n");
55#endif
56        if (!(m->has_encoding_decl)) {
57                // Must be UTF-8 or UTF-16; UTF-16 requires a ByteOrderMark.
58                if (m->code_unit_size == SingleByte) return new UTF_8_Lexer(m, l);
59                else if ((m->code_unit_size == DoubleByte))
60                        if (m->BOM_units == 1) return new UTF_16_Lexer(m, l);
61                        else NoEncodingError("UTF-16 implied but no byte order found.");
62                else NoEncodingError("UTF-32 without an encoding declaration.\n");
63        }
64        else {
65                int lgth = strlen((const char *) m->encoding);
66                CodeUnit_ByteOrder order = m->byte_order;
67                switch (m->code_unit_size) {
68                case SingleByte:
69                        if ((lgth == 5) && at_UTF_8(m->encoding))
70                                return new UTF_8_Lexer(m, l);
71                        else if ((lgth == 5) && at_ASCII(m->encoding))
72                                return new ASCII_7_Lexer(m, l);
73                        else if ((lgth == 6)  && at_Latin1(m->encoding))
74                                return new EASCII_8_Lexer(m, l);
75                        /* Really need a table-based lookup here */
76                        else EncodingError("8-bit", m->encoding, lgth);
77                case DoubleByte:
78                        if (m->BOM_units == 1) 
79                                if ((lgth == 6) && at_UTF_16(m->encoding))
80                                        return new UTF_16_Lexer(m, l);
81                                else if ((lgth == 5) && at_UCS_2(m->encoding))
82                                        return new UCS_2_Lexer(m, l);
83                                else EncodingError("16-bit", m->encoding, lgth);
84                        else if (order == BigEndian)
85                                if ((lgth == 8) && at_UTF_16BE(m->encoding))
86                                        return new UTF_16_Lexer(m, l);
87                                else if ((lgth == 7) && at_UCS_2BE(m->encoding))
88                                        return new UCS_2_Lexer(m, l);
89                                else EncodingError("16BE", m->encoding, lgth);
90                        else /*if (order == LittleEndian)*/
91                                if ((lgth == 8) && at_UTF_16LE(m->encoding))
92                                        return new UTF_16_Lexer(m, l);
93                                else if ((lgth == 7) && at_UCS_2LE(m->encoding))
94                                        return new UCS_2_Lexer(m, l);
95                                else EncodingError("16LE", m->encoding, lgth);
96                case QuadByte:
97                        if (m->BOM_units == 1) 
98                                if ((lgth == 6) && at_UTF_32(m->encoding))
99                                        return new UTF_32_Lexer(m, l);
100                                else if ((lgth == 5) && at_UCS_4(m->encoding))
101                                        return new UTF_32_Lexer(m, l);
102                                else EncodingError("32-bit", m->encoding, lgth);
103                        else if (order == BigEndian)
104                                if ((lgth == 8) && at_UTF_32BE(m->encoding))
105                                        return new UTF_32_Lexer(m, l);
106                                else if ((lgth == 7) && at_UCS_4BE(m->encoding))
107                                        return new UTF_32_Lexer(m, l);
108                                else EncodingError("32BE", m->encoding, lgth);
109                        else if (order == LittleEndian)
110                                if ((lgth == 8) && at_UTF_32LE(m->encoding))
111                                        return new UTF_32_Lexer(m, l);
112                                else if ((lgth == 7) && at_UCS_4LE(m->encoding))
113                                        return new UTF_32_Lexer(m, l);
114                                else EncodingError("32LE", m->encoding, lgth);
115                        else EncodingError("32-bit", m->encoding, lgth);
116                }
117        }
118}
119
120template <>
121Lexer_Interface * Lexer<EBCDIC>::LexerFactory(Model_Info * m, LexicalStreamSet *l) {
122        if (!(m->has_encoding_decl)) {
123                // Must be UTF-8 or UTF-16; UTF-16 requires a ByteOrderMark.
124                NoEncodingError("EBCDIC-family inferred, but no encoding declaration present.\n");
125        }
126        else {
127                int lgth = strlen((const char *) m->encoding);
128                /* Really need a table-based lookup here */
129                if ((lgth == 6) && at_EBCDIC(m->encoding))
130                        return new EBCDIC_Lexer(m, l);
131                else EncodingError("EBCDIC family", m->encoding, lgth);
132        }
133}
134
135template <CodeUnit_Base C>
136Lexer<C>::Lexer(Model_Info * m, LexicalStreamSet *l) : Lexer_Interface::Lexer_Interface(m, l) {
137}
138
139UTF_8_Lexer::UTF_8_Lexer(Model_Info * m, LexicalStreamSet *l) : Lexer<ASCII>::Lexer(m, l) {
140}
141
142ASCII_7_Lexer::ASCII_7_Lexer(Model_Info * m, LexicalStreamSet *l) : Lexer<ASCII>::Lexer(m, l) {
143}
144
145EASCII_8_Lexer::EASCII_8_Lexer(Model_Info * m, LexicalStreamSet *l) : Lexer<ASCII>::Lexer(m, l) {
146}
147
148U16_Lexer::U16_Lexer(Model_Info * m, LexicalStreamSet *l) : Lexer<ASCII>::Lexer(m, l) {
149}
150
151UTF_16_Lexer::UTF_16_Lexer(Model_Info * m, LexicalStreamSet *l) : U16_Lexer::U16_Lexer(m, l) {
152}
153
154UCS_2_Lexer::UCS_2_Lexer(Model_Info * m, LexicalStreamSet *l) : U16_Lexer::U16_Lexer(m, l) {
155}
156
157UTF_32_Lexer::UTF_32_Lexer(Model_Info * m, LexicalStreamSet *l) : Lexer<ASCII>::Lexer(m, l) {
158}
159
160EBCDIC_Lexer::EBCDIC_Lexer(Model_Info * m, LexicalStreamSet *l) : Lexer<EBCDIC>::Lexer(m, l) {
161}
162
163template <CodeUnit_Base C>
164static inline void WS_Control_Blocks(BitBlock bit[], BitBlock& WS, BitBlock& Control);
165
166template <>
167static inline void WS_Control_Blocks<ASCII>(BitBlock bit[], BitBlock& WS, BitBlock& Control) {
168        BitBlock temp1 = simd_or(bit[0], bit[1]);
169        BitBlock temp2 = simd_or(temp1, bit[2]);
170        Control = simd_andc(simd_const_1(1), temp2);
171        BitBlock temp3 = simd_or(bit[2], bit[3]);
172        BitBlock temp4 = simd_or(temp1, temp3);
173        BitBlock temp5 = simd_and(bit[4], bit[5]);
174        BitBlock temp6 = simd_andc(bit[7], bit[6]);
175        BitBlock temp7 = simd_and(temp5, temp6);
176        BitBlock CR = simd_andc(temp7, temp4);
177        BitBlock temp8 = simd_andc(bit[4], bit[5]);
178        BitBlock temp9 = simd_andc(bit[6], bit[7]);
179        BitBlock temp10 = simd_and(temp8, temp9);
180        BitBlock LF = simd_andc(temp10, temp4);
181        BitBlock temp11 = simd_and(temp8, temp6);
182        BitBlock HT = simd_andc(temp11, temp4);
183        BitBlock temp12 = simd_andc(bit[2], bit[3]);
184        BitBlock temp13 = simd_andc(temp12, temp1);
185        BitBlock temp14 = simd_or(bit[4], bit[5]);
186        BitBlock temp15 = simd_or(bit[6], bit[7]);
187        BitBlock temp16 = simd_or(temp14, temp15);
188        BitBlock SP = simd_andc(temp13, temp16);
189        WS = simd_or(simd_or(CR, LF), simd_or(HT, SP));
190}
191
192template <>
193static inline void WS_Control_Blocks<EBCDIC>(BitBlock bit[], BitBlock& WS, BitBlock& Control) {
194        BitBlock temp1 = simd_or(bit[0], bit[1]);
195        BitBlock temp2 = simd_or(bit[2], bit[3]);
196        BitBlock temp3 = simd_or(temp1, temp2);
197        BitBlock temp4 = simd_or(bit[4], bit[5]);
198        BitBlock temp5 = simd_or(temp3, temp4);
199        BitBlock temp6 = simd_and(bit[2], bit[3]);
200        BitBlock temp7 = simd_andc(temp6, temp1);
201        BitBlock temp8 = simd_andc(bit[5], bit[4]);
202        BitBlock temp9 = simd_and(bit[6], bit[7]);
203        BitBlock temp10 = simd_and(temp8, temp9);
204        BitBlock temp11 = simd_and(temp7, temp10);
205        BitBlock temp12 = simd_andc(temp5, temp11);
206        BitBlock temp13 = simd_andc(bit[2], bit[3]);
207        BitBlock temp14 = simd_andc(temp13, temp1);
208        BitBlock temp15 = simd_and(bit[4], bit[5]);
209        BitBlock temp16 = simd_and(temp14, temp15);
210        BitBlock temp17 = simd_andc(bit[6], bit[7]);
211        BitBlock temp18 = simd_andc(temp16, temp17);
212        BitBlock temp19 = simd_andc(temp12, temp18);
213        BitBlock temp20 = simd_andc(bit[3], bit[2]);
214        BitBlock temp21 = simd_andc(temp20, temp1);
215        BitBlock temp22 = simd_and(temp8, temp17);
216        BitBlock temp23 = simd_and(temp21, temp22);
217        BitBlock temp24 = simd_andc(temp19, temp23);
218        BitBlock temp25 = simd_or(temp1, bit[2]);
219        BitBlock temp26 = simd_or(bit[5], temp9);
220        BitBlock temp27 = simd_and(bit[4], temp26);
221        BitBlock temp28 = simd_andc(simd_const_1(1), temp4);
222        BitBlock temp29 = simd_if(bit[3], temp27, temp28);
223        BitBlock temp30 = simd_andc(temp29, temp25);
224        BitBlock temp31 = simd_andc(temp24, temp30);
225        BitBlock temp32 = simd_andc(temp15, bit[6]);
226        BitBlock temp33 = simd_and(temp7, temp32);
227        BitBlock temp34 = simd_andc(temp31, temp33);
228        BitBlock temp35 = simd_andc(temp17, temp4);
229        BitBlock temp36 = simd_and(temp7, temp35);
230        BitBlock temp37 = simd_andc(temp34, temp36);
231        BitBlock temp38 = simd_and(temp8, bit[6]);
232        BitBlock temp39 = simd_and(temp14, temp38);
233        BitBlock temp40 = simd_andc(temp37, temp39);
234        BitBlock temp41 = simd_andc(bit[4], bit[5]);
235        BitBlock temp42 = simd_andc(temp41, bit[6]);
236        BitBlock temp43 = simd_and(temp21, temp42);
237        BitBlock temp44 = simd_andc(temp40, temp43);
238        BitBlock temp45 = simd_and(temp15, temp9);
239        BitBlock temp46 = simd_and(temp7, temp45);
240        BitBlock temp47 = simd_andc(temp44, temp46);
241        BitBlock temp48 = simd_and(temp21, temp15);
242        BitBlock temp49 = simd_andc(temp47, temp48);
243        Control = simd_andc(simd_const_1(1), temp49);
244        BitBlock temp50 = simd_andc(bit[7], bit[6]);
245        BitBlock temp51 = simd_and(temp15, temp50);
246        BitBlock CR = simd_andc(temp51, temp3);
247        BitBlock temp52 = simd_and(temp8, temp50);
248        BitBlock LF = simd_and(temp14, temp52);
249        BitBlock HT = simd_andc(temp52, temp3);
250        BitBlock temp53 = simd_andc(bit[1], bit[0]);
251        BitBlock temp54 = simd_andc(temp53, temp2);
252        BitBlock temp55 = simd_or(bit[6], bit[7]);
253        BitBlock temp56 = simd_or(temp4, temp55);
254        BitBlock SP = simd_andc(temp54, temp56);
255        WS = simd_or(simd_or(CR, LF), simd_or(HT, SP));
256}
257
258
259
260template <CodeUnit_Base C>
261void Lexer<C>::Do_XML_10_WS_Control() {
262        BitBlock Control, WS;
263        for (int i = 0; i < buffer_blocks; i++) {
264                WS_Control_Blocks<C>(x8basis[i].bit, 
265                                     WS,
266                                     Control);
267                parsing_engine_data->item_stream[NonWS][i] = simd_not(WS);
268                validation_stream[i] = simd_andc(Control, WS);
269        }
270};
271
272
273
274template <CodeUnit_Base C>
275static inline void ComputeLexicalItemBlocks(BitBlock bit[], BitBlock LexItem[]);
276
277/* Given the bit[] array of one BitBlock each for the 8 bits of
278   an ASCII-family character representation, compute the parallel
279   lexical item streams needed for XML parsing.
280
281   WARNING: the following is generated code by charset_compiler.py.
282   Do not edit.
283
284*/
285
286template <>
287static inline void ComputeLexicalItemBlocks<ASCII>(BitBlock bit[], BitBlock LexItem[]) {
288        BitBlock temp1 = simd_or(bit[0], bit[1]);
289        BitBlock temp2 = simd_and(bit[2], bit[3]);
290        BitBlock temp3 = simd_andc(temp2, temp1);
291        BitBlock temp4 = simd_and(bit[4], bit[5]);
292        BitBlock temp5 = simd_or(bit[6], bit[7]);
293        BitBlock temp6 = simd_andc(temp4, temp5);
294        BitBlock temp7 = simd_and(temp3, temp6);
295        BitBlock temp8 = simd_andc(bit[2], bit[3]);
296        BitBlock temp9 = simd_andc(temp8, temp1);
297        BitBlock temp10 = simd_andc(bit[5], bit[4]);
298        BitBlock temp11 = simd_andc(bit[6], bit[7]);
299        BitBlock temp12 = simd_and(temp10, temp11);
300        BitBlock temp13 = simd_and(temp9, temp12);
301        LexItem[MarkupStart] = simd_or(temp7, temp13);
302        BitBlock temp14 = simd_and(temp4, temp11);
303        BitBlock RAngle = simd_and(temp3, temp14);
304        BitBlock temp15 = simd_andc(bit[1], bit[0]);
305        BitBlock temp16 = simd_andc(bit[3], bit[2]);
306        BitBlock temp17 = simd_and(temp15, temp16);
307        BitBlock temp18 = simd_andc(bit[7], bit[6]);
308        BitBlock temp19 = simd_and(temp4, temp18);
309        BitBlock RBracket = simd_and(temp17, temp19);
310        LexItem[Hyphen] = simd_and(temp9, temp19);
311        BitBlock temp20 = simd_and(bit[6], bit[7]);
312        BitBlock temp21 = simd_and(temp4, temp20);
313        LexItem[QMark] = simd_and(temp3, temp21);
314        BitBlock temp22 = simd_or(bit[4], bit[5]);
315        BitBlock temp23 = simd_andc(temp11, temp22);
316        BitBlock temp24 = simd_and(temp10, temp20);
317        BitBlock temp25 = simd_or(temp23, temp24);
318        BitBlock temp26 = simd_and(temp9, temp25);
319        BitBlock temp27 = simd_or(temp26, temp7);
320        LexItem[Quote] = simd_or(temp27, temp13);
321        BitBlock temp28 = simd_andc(bit[4], bit[5]);
322        BitBlock temp29 = simd_and(temp28, temp20);
323        BitBlock temp30 = simd_or(temp29, temp19);
324        BitBlock temp31 = simd_and(temp3, temp30);
325        BitBlock temp32 = simd_and(temp9, temp21);
326        BitBlock temp33 = simd_or(temp31, temp32);
327        BitBlock temp34 = simd_or(temp33, RAngle);
328        LexItem[NameFollow] = simd_or(temp34, LexItem[QMark]);
329#ifdef DIGIT_AND_HEX_ITEMS
330        BitBlock temp35 = simd_or(bit[5], bit[6]);
331        BitBlock temp36 = simd_and(bit[4], temp35);
332        BitBlock Digit = simd_andc(temp3, temp36);
333        BitBlock temp37 = simd_or(bit[2], bit[3]);
334        BitBlock temp38 = simd_andc(temp15, temp37);
335        BitBlock temp39 = simd_andc(temp38, bit[4]);
336        BitBlock temp40 = simd_andc(simd_const_1(1), temp20);
337        BitBlock temp41 = simd_if(bit[5], temp40, temp5);
338        BitBlock temp42 = simd_and(temp39, temp41);
339        BitBlock temp43 = simd_or(Digit, temp42);
340        BitBlock temp44 = simd_and(temp15, temp8);
341        BitBlock temp45 = simd_andc(temp44, bit[4]);
342        BitBlock temp46 = simd_and(temp45, temp41);
343        BitBlock Hex = simd_or(temp43, temp46);
344        LexItem[NonDigit] = simd_not(Digit);
345        LexItem[NonHex] = simd_not(Hex);
346#endif 
347        /* Mark potential occurrences of ']]>'  These are all actual
348        occurrences of ]]> as well as occurrences of ]] or ] at
349        the block end. Shifting the RBracket and RAngle streams in
350        negated forms ensures that a potential CD_End is not ruled
351        out at the block boundary. */
352        LexItem[CD_End_check] = simd_andc(RBracket, 
353                                          simd_or(sisd_sbli(simd_not(RBracket), 1),
354                                                  sisd_sbli(simd_not(RAngle), 2)));
355#ifndef OMIT_CD_End_check_In_Markup_Scan
356        LexItem[MarkupStart] = simd_or(LexItem[MarkupStart], LexItem[CD_End_check]);
357#endif
358}
359
360template <>
361static inline void ComputeLexicalItemBlocks<EBCDIC>(BitBlock bit[], BitBlock LexItem[]) {
362        BitBlock temp1 = simd_andc(bit[1], bit[0]);
363        BitBlock temp2 = simd_or(bit[2], bit[3]);
364        BitBlock temp3 = simd_andc(temp1, temp2);
365        BitBlock temp4 = simd_and(bit[4], bit[5]);
366        BitBlock temp5 = simd_or(bit[6], bit[7]);
367        BitBlock temp6 = simd_andc(temp4, temp5);
368        BitBlock temp7 = simd_and(temp3, temp6);
369        BitBlock temp8 = simd_andc(bit[3], bit[2]);
370        BitBlock temp9 = simd_and(temp1, temp8);
371        BitBlock temp10 = simd_or(bit[4], bit[5]);
372        BitBlock temp11 = simd_or(temp10, temp5);
373        BitBlock temp12 = simd_andc(temp9, temp11);
374        LexItem[MarkupStart] = simd_or(temp7, temp12);
375        BitBlock temp13 = simd_andc(bit[2], bit[3]);
376        BitBlock temp14 = simd_and(temp1, temp13);
377        BitBlock temp15 = simd_andc(bit[6], bit[7]);
378        BitBlock temp16 = simd_and(temp4, temp15);
379        BitBlock RAngle = simd_and(temp14, temp16);
380        BitBlock temp17 = simd_andc(bit[0], bit[1]);
381        BitBlock temp18 = simd_and(bit[2], bit[3]);
382        BitBlock temp19 = simd_and(temp17, temp18);
383        BitBlock temp20 = simd_andc(bit[4], bit[5]);
384        BitBlock temp21 = simd_and(bit[6], bit[7]);
385        BitBlock temp22 = simd_and(temp20, temp21);
386        BitBlock RBracket = simd_and(temp19, temp22);
387        LexItem[Hyphen] = simd_andc(temp14, temp11);
388        BitBlock temp23 = simd_and(temp4, temp21);
389        LexItem[QMark] = simd_and(temp14, temp23);
390        BitBlock temp24 = simd_and(temp1, temp18);
391        BitBlock temp25 = simd_and(temp4, bit[7]);
392        BitBlock temp26 = simd_and(temp24, temp25);
393        BitBlock temp27 = simd_or(temp26, temp7);
394        LexItem[Quote] = simd_or(temp27, temp12);
395        BitBlock temp28 = simd_and(temp1, bit[3]);
396        BitBlock temp29 = simd_and(temp16, temp28);
397        BitBlock temp30 = simd_andc(bit[7], bit[6]);
398        BitBlock temp31 = simd_andc(temp30, temp10);
399        BitBlock temp32 = simd_and(temp14, temp31);
400        BitBlock temp33 = simd_or(temp29, temp32);
401        BitBlock temp34 = simd_or(temp33, RAngle);
402        LexItem[NameFollow] = simd_or(temp34, LexItem[QMark]);
403#ifdef DIGIT_AND_HEX_ITEMS
404        /* Need to improve the compiler's EBCDIC translation for ranges. */
405        BitBlock temp35 = simd_and(bit[0], bit[1]);
406        BitBlock temp36 = simd_and(temp35, temp18);
407        BitBlock temp37 = simd_andc(temp11, temp31);
408        BitBlock temp38 = simd_andc(temp15, temp10);
409        BitBlock temp39 = simd_andc(temp37, temp38);
410        BitBlock temp40 = simd_andc(temp21, temp10);
411        BitBlock temp41 = simd_andc(temp39, temp40);
412        BitBlock temp42 = simd_andc(bit[5], bit[4]);
413        BitBlock temp43 = simd_andc(temp42, temp5);
414        BitBlock temp44 = simd_andc(temp41, temp43);
415        BitBlock temp45 = simd_and(temp42, temp30);
416        BitBlock temp46 = simd_andc(temp44, temp45);
417        BitBlock temp47 = simd_and(temp42, temp15);
418        BitBlock temp48 = simd_andc(temp46, temp47);
419        BitBlock temp49 = simd_and(temp42, temp21);
420        BitBlock temp50 = simd_andc(temp48, temp49);
421        BitBlock temp51 = simd_andc(temp20, temp5);
422        BitBlock temp52 = simd_andc(temp50, temp51);
423        BitBlock temp53 = simd_and(temp20, temp30);
424        BitBlock temp54 = simd_andc(temp52, temp53);
425        BitBlock Digit = simd_andc(temp36, temp54);
426        BitBlock temp55 = simd_andc(temp35, temp2);
427        BitBlock temp56 = simd_and(temp55, temp31);
428        BitBlock temp57 = simd_or(Digit, temp56);
429        BitBlock temp58 = simd_and(temp55, temp38);
430        BitBlock temp59 = simd_or(temp57, temp58);
431        BitBlock temp60 = simd_and(temp55, temp40);
432        BitBlock temp61 = simd_or(temp59, temp60);
433        BitBlock temp62 = simd_and(temp55, temp43);
434        BitBlock temp63 = simd_or(temp61, temp62);
435        BitBlock temp64 = simd_and(temp55, temp45);
436        BitBlock temp65 = simd_or(temp63, temp64);
437        BitBlock temp66 = simd_and(temp55, temp47);
438        BitBlock temp67 = simd_or(temp65, temp66);
439        BitBlock temp68 = simd_andc(temp17, temp2);
440        BitBlock temp69 = simd_and(temp68, temp31);
441        BitBlock temp70 = simd_or(temp67, temp69);
442        BitBlock temp71 = simd_and(temp68, temp38);
443        BitBlock temp72 = simd_or(temp70, temp71);
444        BitBlock temp73 = simd_and(temp68, temp40);
445        BitBlock temp74 = simd_or(temp72, temp73);
446        BitBlock temp75 = simd_and(temp68, temp43);
447        BitBlock temp76 = simd_or(temp74, temp75);
448        BitBlock temp77 = simd_and(temp68, temp45);
449        BitBlock temp78 = simd_or(temp76, temp77);
450        BitBlock temp79 = simd_and(temp68, temp47);
451        BitBlock Hex = simd_or(temp78, temp79);
452        LexItem[NonDigit] = simd_not(Digit);
453        LexItem[NonHex] = simd_not(Hex);
454
455#endif 
456       
457        /* Mark potential occurrences of ']]>'  These are all actual
458        occurrences of ]]> as well as occurrences of ]] or ] at
459        the block end. Shifting the RBracket and RAngle streams in
460        negated forms ensures that a potential CD_End is not ruled
461        out at the block boundary. */
462        LexItem[CD_End_check] = simd_andc(RBracket, 
463                                          simd_or(sisd_sbli(simd_not(RBracket), 1),
464                                                  sisd_sbli(simd_not(RAngle), 2)));
465#ifndef OMIT_CD_End_check_In_Markup_Scan
466        LexItem[MarkupStart] = simd_or(LexItem[MarkupStart], LexItem[CD_End_check]);
467#endif
468}
469
470
471/* A temporary structure for internal use in ComputeLexicalItemStreams. */
472typedef struct {
473        BitBlock LexicalItems[LexicalItemCount];
474} LexicalItemBlock;
475
476
477
478
479template <CodeUnit_Base C>
480void Lexer<C>::Do_MarkupStreams() {
481        LexicalItemBlock lx_blk[BUFFER_BLOCKS];
482        for (int i = 0; i < buffer_blocks; i++) {
483                ComputeLexicalItemBlocks<C>(x8basis[i].bit, lx_blk[i].LexicalItems);
484        }
485        /* NonWS stream already completed by WS_Control method. */
486        for (int j = MarkupStart; j < LexicalItemCount; j++) {
487                for (int i = 0; i < buffer_blocks; i++) {
488                        parsing_engine_data->item_stream[j][i] = lx_blk[i].LexicalItems[j];
489                }
490        }
491        for (int i = 0; i < buffer_blocks; i++) {
492                parsing_engine_data->item_stream[NameFollow][i] = 
493                        simd_or(parsing_engine_data->item_stream[NameFollow][i],
494                                simd_not(parsing_engine_data->item_stream[NonWS][i]));
495        }
496};
497
498
499/* Stub out Charset Validation initially. */
500
501void UTF_8_Lexer::Do_CharsetValidation() {
502        //printf("UTF_8_Lexer::Do_CharsetValidation not yet implemented; assuming OK.\n");
503        for (int i = 0; i < buffer_blocks; i++) {
504                validation_stream[i] = simd_const_1(0);
505        }
506};
507
508
509void ASCII_7_Lexer::Do_CharsetValidation() {
510        for (int blk = 0; blk < buffer_blocks; blk++) {
511                validation_stream[blk] = x8basis[blk].bit[0];
512        }
513};
514
515
516void EASCII_8_Lexer::Do_CharsetValidation() {
517        /* Nothing required for most charsets - but perhaps should have tables. */
518        for (int i = 0; i < buffer_blocks; i++) {
519                validation_stream[i] = simd_const_1(0);
520        }
521};
522
523
524void UTF_16_Lexer::Do_CharsetValidation() {
525#ifdef X16HILO_ACCESS
526        int packs = (buffer_units - 1)/PACKSIZE + 1;
527        BytePack surrogate_select;
528        BytePack hi_surrogate;
529        BytePack lo_surrogate;
530        BytePack hi_surrogate_pending = simd_const_8(0);
531        BytePack surrogate_scope;
532        BytePack u16_surrogate_accum = simd_const_8(0);
533        BytePack u16_FFFE_FFFF_accum = simd_const_8(0);
534        BytePack u16_FFFE_FFFF;
535        for (int pk = 0; pk < packs; pk++) {
536                /* UTF-16 code units in the range D800-DBFF and DC00-DFFF are
537                   reserved for the first and second elements, respectively
538                   of surrogate pairs.  Validation requires that these values
539                   only occur in well-formed pairs. */
540                surrogate_select = simd_and(x16hi[pk], simd_const_8(0xDC));
541                hi_surrogate = simd_eq_8(surrogate_select, simd_const_8(0xD8));
542                lo_surrogate = simd_eq_8(surrogate_select, simd_const_8(0xDC));
543                surrogate_scope = simd_or(hi_surrogate_pending,
544                                          sisd_sfli(hi_surrogate, 8));
545                u16_surrogate_accum = simd_or(u16_surrogate_accum,
546                                              simd_xor(surrogate_scope, lo_surrogate));
547                hi_surrogate_pending = sisd_sbli(hi_surrogate, 8 * (PACKSIZE-1));
548                /* The values FFFE and FFFF are excluded. */
549                u16_FFFE_FFFF = simd_eq_8(simd_and(x16hi[pk],
550                                                   simd_or(x16lo[pk], simd_const_8(1))),
551                                          simd_const_8(0xFF));
552                u16_FFFE_FFFF_accum = simd_or(u16_FFFE_FFFF_accum, u16_FFFE_FFFF);
553        }
554        u16_surrogate_accum = simd_or(u16_surrogate_accum, hi_surrogate_pending);
555        if (bitblock_has_bit(simd_or(u16_surrogate_accum, u16_FFFE_FFFF_accum)))
556                printf("UTF-16 validation error.\n");
557                exit(-1);
558        }
559#endif
560#ifndef X16HILO_ACCESS
561        printf("UTF_16_Lexer::Do_CharsetValidation not yet complete; assuming OK.\n");
562#endif
563};
564
565
566void UCS_2_Lexer::Do_CharsetValidation() {
567#ifdef X16HILO_ACCESS
568        int packs = (buffer_units - 1)/PACKSIZE + 1;
569        BytePack u16_surrogate_accum = simd_const_8(0);
570        BytePack u16_FFFE_FFFF_accum = simd_const_8(0);
571        BytePack u16_FFFE_FFFF;
572        for (int pk = 0; pk < packs; pk++) {
573                /* The high byte of UCS-2 code units cannot be in the range D8-DF.
574                   This corresponds to the D800-DFFF range of illegal codepoints
575                   reserved for UTF-16 surrogate pairs. Accumulate the results.
576                   To check, 0x20 is added to each such octet, mapping the D8-DF
577                   range to F8-FF and wrapping E0-FF values around.  The max value
578                   is then accumulated.  */
579                u16_surrogate_accum =
580                        simd_max_8(u16_surrogate_accum, 
581                                   simd_add_8(x16hi[pk], simd_const_8(0x20)));
582                /* The values FFFE and FFFF are excluded. */
583                u16_FFFE_FFFF = simd_eq_8(simd_and(x16hi[pk],
584                                                   simd_or(x16lo[pk], simd_const_8(1))),
585                                          simd_const_8(0xFF));
586                u16_FFFE_FFFF_accum = simd_or(u16_FFFE_FFFF_accum, u16_FFFE_FFFF);
587        }
588        u16_surrogate_accum = simd_eq_8(simd_or(u16_surrogate_accum, simd_const_8(0x07)),
589                                        simd_const_8(0xFF));
590        if (bitblock_has_bit(simd_or(u16_surrogate_accum, u16_FFFE_FFFF_accum)))
591                printf("UCS-2 validation error.\n");
592                exit(-1);
593        }
594#endif
595#ifndef X16HILO_ACCESS
596        printf("UCS_2_Lexer::Do_CharsetValidation not yet complete; assuming OK.\n");
597#endif
598};
599
600
601void UTF_32_Lexer::Do_CharsetValidation() {
602#ifdef X32BYTEPLEX_ACCESS
603        int packs = (buffer_units - 1)/PACKSIZE + 1;
604        BytePack u32hh_accum = simd_const_8(0);
605        BytePack u32hl_accum = simd_const_8(0);
606        BytePack u32_surrogate_accum = simd_const_8(0);
607        BytePack u32_FFFE_FFFF_accum = simd_const_8(0);
608        BytePack u32_BMP_select;
609        BytePack u32l_FFFE_FFFF;
610        for (int pk = 0; pk < packs; pk++) {
611                /* There can be no bits set in the high octet; "or" together
612                   all octet values to check for any bit set. */
613                u32hh_accum = simd_or(u32hh_accum, x32hh[pk]);
614                /* The second octet has a max value of 0x10, corresponding to the
615                   maximum Unicode code point value of 0x10FFFF.  Accumulate the
616                   maximum of all u32hl values observed. */ 
617                u32hl_accum = simd_max_8(u32hl_accum, x32hl[pk]);
618                /* The third octet cannot be in the range D8-DF if the second octet
619                   is 0.  This corresponds to the D800-DFFF range of illegal codepoints
620                   reserved for UTF-16 surrogate pairs. Accumulate the results.
621                   To check, 0x20 is added to each such octet, mapping the D8-DF
622                   range to F8-FF and wrapping E0-FF values around.  The max value
623                   is then accumulated.  */
624                u32_BMP_select = simd_eq_8(x32hl[pk], simd_const_8(0));
625                u32_surrogate_accum = 
626                        simd_max_8(u32_surrogate_accum, 
627                                   simd_and(u32_BMP_select,
628                                            simd_add_8(x32lh[pk], simd_const_8(0x20))));
629                /* The low two octets cannot have the value FFFE or FFFF if
630                   we're in the BMP (second octet is 0). */
631                u32l_FFFE_FFFF = simd_eq_8(simd_and(x32lh[pk],
632                                                    simd_or(x32ll[pk], simd_const_8(1))),
633                                           simd_const_8(0xFF));
634                u32_FFFE_FFFF_accum = simd_or(u32_FFFE_FFFF_accum,
635                                              simd_and(u32_BMP_select, u32l_FFFE_FFFF));
636        }
637        u32hl_accum = simd_gt_8(u32hl_accum, simd_const_8(0x10));
638        u32_surrogate_accum = simd_eq_8(simd_or(u32_surrogate_accum, simd_const_8(0x07)),
639                                        simd_const_8(0xFF));
640        if (bitblock_has_bit(simd_or(simd_or(u32hh_accum, u32hl_accum),
641                                         simd_or(u32_surrogate_accum, u32_FFFE_FFFF_accum)))) {
642                printf("UTF-32 validation error.\n");
643                exit(-1);
644        }
645#endif
646#ifndef X32BYTEPLEX_ACCESS
647        printf("UTF_32_Lexer::Do_CharsetValidation not yet complete; assuming OK.\n");
648#endif
649};
650
651
652void EBCDIC_Lexer::Do_CharsetValidation() {
653        /* Nothing required for most cases - but perhaps should have tables. */
654        for (int i = 0; i < buffer_blocks; i++) {
655                validation_stream[i] = simd_const_1(0);
656        }
657}
658
659
660
661/* Stub out XML 1.1 routines initially. */
662
663void UTF_8_Lexer::Do_XML_11_WS_Control() {
664        printf("UTF_8_Lexer::Do_XML_11_WS_Control not yet implemented; using XML 1.0 rules.\n");
665        Do_XML_10_WS_Control();
666};
667
668
669static inline void ASCII_7_WS_Control_Blocks_11(BitBlock bit[], BitBlock& WS, BitBlock& Control) {
670        BitBlock temp1 = simd_or(bit[0], bit[1]);
671        BitBlock temp2 = simd_or(temp1, bit[2]);
672        BitBlock temp3 = simd_andc(bit[1], bit[0]);
673        BitBlock temp4 = simd_and(bit[2], bit[3]);
674        BitBlock temp5 = simd_and(temp3, temp4);
675        BitBlock temp6 = simd_and(bit[4], bit[5]);
676        BitBlock temp7 = simd_and(bit[6], bit[7]);
677        BitBlock temp8 = simd_and(temp6, temp7);
678        BitBlock temp9 = simd_and(temp5, temp8);
679        BitBlock temp10 = simd_andc(temp2, temp9);
680        BitBlock temp11 = simd_andc(temp10, bit[0]);
681        Control = simd_andc(simd_const_1(1), temp11);
682        BitBlock temp12 = simd_or(bit[2], bit[3]);
683        BitBlock temp13 = simd_or(temp1, temp12);
684        BitBlock temp14 = simd_andc(bit[7], bit[6]);
685        BitBlock temp15 = simd_and(temp6, temp14);
686        BitBlock CR = simd_andc(temp15, temp13);
687        BitBlock temp16 = simd_andc(bit[4], bit[5]);
688        BitBlock temp17 = simd_andc(bit[6], bit[7]);
689        BitBlock temp18 = simd_and(temp16, temp17);
690        BitBlock LF = simd_andc(temp18, temp13);
691        BitBlock temp19 = simd_and(temp16, temp14);
692        BitBlock HT = simd_andc(temp19, temp13);
693        BitBlock temp20 = simd_andc(bit[2], bit[3]);
694        BitBlock temp21 = simd_andc(temp20, temp1);
695        BitBlock temp22 = simd_or(bit[4], bit[5]);
696        BitBlock temp23 = simd_or(bit[6], bit[7]);
697        BitBlock temp24 = simd_or(temp22, temp23);
698        BitBlock SP = simd_andc(temp21, temp24);
699        WS = simd_or(simd_or(CR, LF), simd_or(HT, SP));
700}
701
702
703void ASCII_7_Lexer::Do_XML_11_WS_Control() {
704        BitBlock WS, Control;
705        for (int i = 0; i < buffer_blocks; i++) {
706                ASCII_7_WS_Control_Blocks_11(x8basis[i].bit, WS, Control);
707                parsing_engine_data->item_stream[NonWS][i] = simd_not(WS);
708                validation_stream[i] = simd_andc(Control, WS);
709        }
710};
711
712static inline void EASCII_8_WS_Control_Blocks_11(BitBlock bit[], BitBlock& WS, BitBlock& Control) {
713        BitBlock temp1 = simd_or(bit[0], bit[1]);
714        BitBlock temp2 = simd_or(temp1, bit[2]);
715        BitBlock temp3 = simd_andc(bit[1], bit[0]);
716        BitBlock temp4 = simd_and(bit[2], bit[3]);
717        BitBlock temp5 = simd_and(temp3, temp4);
718        BitBlock temp6 = simd_and(bit[4], bit[5]);
719        BitBlock temp7 = simd_and(bit[6], bit[7]);
720        BitBlock temp8 = simd_and(temp6, temp7);
721        BitBlock temp9 = simd_and(temp5, temp8);
722        BitBlock temp10 = simd_andc(temp2, temp9);
723        BitBlock temp11 = simd_andc(bit[0], bit[1]);
724        BitBlock temp12 = simd_andc(temp11, bit[2]);
725        BitBlock temp13 = simd_andc(temp10, temp12);
726        Control = simd_andc(simd_const_1(1), temp13);
727        BitBlock temp14 = simd_or(bit[2], bit[3]);
728        BitBlock temp15 = simd_or(temp1, temp14);
729        BitBlock temp16 = simd_andc(bit[7], bit[6]);
730        BitBlock temp17 = simd_and(temp6, temp16);
731        BitBlock CR = simd_andc(temp17, temp15);
732        BitBlock temp18 = simd_andc(bit[4], bit[5]);
733        BitBlock temp19 = simd_andc(bit[6], bit[7]);
734        BitBlock temp20 = simd_and(temp18, temp19);
735        BitBlock LF = simd_andc(temp20, temp15);
736        BitBlock temp21 = simd_and(temp18, temp16);
737        BitBlock HT = simd_andc(temp21, temp15);
738        BitBlock temp22 = simd_andc(bit[2], bit[3]);
739        BitBlock temp23 = simd_andc(temp22, temp1);
740        BitBlock temp24 = simd_or(bit[4], bit[5]);
741        BitBlock temp25 = simd_or(bit[6], bit[7]);
742        BitBlock temp26 = simd_or(temp24, temp25);
743        BitBlock SP = simd_andc(temp23, temp26);
744        BitBlock temp27 = simd_andc(temp11, temp14);
745        BitBlock temp28 = simd_andc(bit[5], bit[4]);
746        BitBlock temp29 = simd_and(temp28, temp16);
747        BitBlock NEL = simd_and(temp27, temp29);
748        WS = simd_or(simd_or(simd_or(CR, LF), simd_or(HT, SP)), NEL);
749}
750
751void EASCII_8_Lexer::Do_XML_11_WS_Control() {
752        BitBlock WS, Control;
753        for (int i = 0; i < buffer_blocks; i++) {
754                EASCII_8_WS_Control_Blocks_11(x8basis[i].bit, WS, Control);
755                parsing_engine_data->item_stream[NonWS][i] = simd_not(WS);
756                validation_stream[i] = simd_andc(Control, WS);
757        }
758};
759
760
761void U16_Lexer::Do_XML_11_WS_Control() {
762        printf("U16_Lexer::Do_XML_11_WS_Control not yet implemented; using XML 1.0 rules.\n");
763        Do_XML_10_WS_Control();
764};
765
766
767void UTF_32_Lexer::Do_XML_11_WS_Control() {
768        printf("UTF_32_Lexer::Do_XML_11_WS_Control not yet implemented; using XML 1.0 rules.\n");
769        Do_XML_10_WS_Control();
770};
771
772static inline void EBCDIC_WS_Control_Blocks_11(BitBlock bit[], BitBlock& WS, BitBlock& Control) {
773        BitBlock temp1 = simd_or(bit[0], bit[1]);
774        BitBlock temp2 = simd_and(bit[0], bit[1]);
775        BitBlock temp3 = simd_and(bit[2], bit[3]);
776        BitBlock temp4 = simd_and(temp2, temp3);
777        BitBlock temp5 = simd_and(bit[4], bit[5]);
778        BitBlock temp6 = simd_and(bit[6], bit[7]);
779        BitBlock temp7 = simd_and(temp5, temp6);
780        BitBlock temp8 = simd_and(temp4, temp7);
781        BitBlock temp9 = simd_andc(temp1, temp8);
782        Control = simd_andc(simd_const_1(1), temp9);
783        BitBlock temp10 = simd_or(bit[2], bit[3]);
784        BitBlock temp11 = simd_or(temp1, temp10);
785        BitBlock temp12 = simd_andc(bit[7], bit[6]);
786        BitBlock temp13 = simd_and(temp5, temp12);
787        BitBlock CR = simd_andc(temp13, temp11);
788        BitBlock temp14 = simd_andc(bit[2], bit[3]);
789        BitBlock temp15 = simd_andc(temp14, temp1);
790        BitBlock temp16 = simd_andc(bit[5], bit[4]);
791        BitBlock temp17 = simd_and(temp16, temp12);
792        BitBlock LF = simd_and(temp15, temp17);
793        BitBlock HT = simd_andc(temp17, temp11);
794        BitBlock temp18 = simd_andc(bit[1], bit[0]);
795        BitBlock temp19 = simd_andc(temp18, temp10);
796        BitBlock temp20 = simd_or(bit[4], bit[5]);
797        BitBlock temp21 = simd_or(bit[6], bit[7]);
798        BitBlock temp22 = simd_or(temp20, temp21);
799        BitBlock SP = simd_andc(temp19, temp22);
800        BitBlock temp23 = simd_andc(bit[3], bit[2]);
801        BitBlock temp24 = simd_andc(temp23, temp1);
802        BitBlock NEL = simd_and(temp24, temp17);
803        WS = simd_or(simd_or(simd_or(CR, LF), simd_or(HT, SP)), NEL);
804}
805
806void EBCDIC_Lexer::Do_XML_11_WS_Control() {
807        BitBlock WS, Control;
808        for (int i = 0; i < buffer_blocks; i++) {
809                EBCDIC_WS_Control_Blocks_11(x8basis[i].bit, WS, Control);
810                parsing_engine_data->item_stream[NonWS][i] = simd_not(WS);
811                validation_stream[i] = simd_andc(Control, WS);
812        }
813};
814
815
816
817void Lexer_Interface::AnalyzeBuffer(BitBlockBasis * basis, int buffer_limit_pos) {
818#ifdef DEBUG
819        printf("Entered AnalyzeBuffer, buffer_limit_pos = %i\n", buffer_limit_pos);
820#endif
821        x8basis = basis;
822        int err_pos;
823#ifdef CODE_CLOCKING
824        start_Interval(WS_Control_clocker);
825#endif
826        buffer_blocks = (buffer_limit_pos + BLOCKSIZE - 1)/BLOCKSIZE;
827        buffer_units = buffer_limit_pos;
828
829        if (model_info->version == XML_1_1) Do_XML_11_WS_Control();
830        else Do_XML_10_WS_Control();
831        err_pos = bitstream_scan0(validation_stream);
832        if (err_pos < buffer_units) {
833                printf("Illegal control character in XML input stream at position %i\n",
834                        lexer_base_pos + err_pos);
835                exit(-1);
836        }
837#ifdef CODE_CLOCKING
838        end_Interval(WS_Control_clocker, BUFFER_SIZE);
839#endif
840#ifdef CODE_CLOCKING
841        start_Interval(MarkupStreams_clocker);
842#endif
843        Do_MarkupStreams();
844#ifdef CODE_CLOCKING
845        end_Interval(MarkupStreams_clocker, BUFFER_SIZE);
846#endif
847#ifdef CODE_CLOCKING
848        start_Interval(char_validation_clocker);
849#endif
850        Do_CharsetValidation();
851        err_pos = bitstream_scan0(validation_stream);
852        if (err_pos < buffer_units) {
853                printf("Invalid %s character in input stream at position %i\n",
854                        model_info->encoding,
855                        lexer_base_pos + err_pos);
856                exit(-1);
857        }
858#ifdef CODE_CLOCKING
859        end_Interval(char_validation_clocker, buffer_blocks * BLOCKSIZE);
860#endif
861        if (buffer_units < BUFFER_SIZE) {
862                BitBlock final_block_mask = 
863                        sisd_sfl(simd_const_1(1), sisd_from_int(buffer_units % BLOCKSIZE));
864                int lastblk = buffer_units/BLOCKSIZE;
865                for (int j = minLexicalItem; j < LexicalItemCount; j++) {
866                        parsing_engine_data->item_stream[j][lastblk] =
867                                simd_or(parsing_engine_data->item_stream[j][lastblk],
868                                        final_block_mask);
869                }
870        }
871
872}
873
Note: See TracBrowser for help on using the repository browser.