source: proto/SymbolTable/symtab_ls_template.cpp @ 1684

Last change on this file since 1684 was 1684, checked in by vla24, 8 years ago

SymbolTable?: updated templates implementation to use BitBlockForwardIterator?. Fixed block boundary case handling for div2 grouping strategy.

File size: 14.5 KB
Line 
1#include "../symtab_global.h"
2#include <ls_symbol_table.h>
3
4#ifdef BUFFER_PROFILING
5        BOM_Table * parser_timer;
6
7#elif CODE_CLOCKER
8        #define NUM_EVENTS 1
9        int Events[NUM_EVENTS] = {PAPI_TOT_CYC};
10        //int Events[NUM_EVENTS] = {PAPI_L2_DCM};
11        //int Events[NUM_EVENTS] = {PAPI_TOT_CYC, PAPI_BR_MSP};
12        int cal_size = 20;
13        CC * parser_timer = new CC(Events,NUM_EVENTS,cal_size);
14#else
15        void * parser_timer;
16#endif
17
18int block_base=0;
19int buffer_base=0;
20int buffer_last;
21char * source;
22LineColTracker tracker;
23TagMatcher matcher;
24ErrorTracker error_tracker;
25BitBlock EOF_mask = simd<1>::constant<1>();
26
27queue <size_t> elem_starts_buf;
28queue <size_t> elem_ends_buf;
29LSSymbolTable ls_symbol_table;
30
31static inline int NameStrt_check(int pos);
32static inline int Name_check(int pos);
33static inline int PIName_check(int pos);
34static inline int CD_check(int pos);
35static inline int GenRef_check(int pos);
36static inline int HexRef_check(int pos);
37static inline int DecRef_check(int pos);
38static inline int AttRef_check(int pos);
39
40@global
41
42static inline void s2p_do_block(BytePack U8[], Basis_bits & basis_bits);
43static inline void s2p_do_final_block(BytePack U8[], Basis_bits & basis_bits, BitBlock EOF_mask);
44static inline void postprocess_do_block(Lex & lex, CtCDPI_Callouts & ctCDPI_Callouts, Ref_Callouts & ref_Callouts, Check_streams & check_streams, Tag_Callouts & tag_Callouts, int chars_avail);
45void do_process(FILE *infile, FILE *outfile);
46
47static inline void validate_block(BitBlockForwardIterator & start, int block_base, int is_valid(int));
48static inline void validate_block(BitBlockForwardIterator & start, int block_base, int is_valid(int,int));
49static inline void do_symbol_table_lookup();
50
51int main(int argc, char * argv[]) {
52        char * infilename, * outfilename;
53        FILE *infile, *outfile;
54        struct stat fileinfo;
55
56        if (argc < 2) {
57                printf("Usage: %s <filename> [<outputfile>]\n", argv[0]);
58                exit(-1);
59        }
60
61        infilename = argv[1];
62        stat(infilename, &fileinfo);
63        infile = fopen(infilename, "rb");
64        if (!infile) {
65                fprintf(stderr, "Error: cannot open %s for input.\n", infilename);
66                exit(-1);
67        }
68
69        if (argc < 3) outfile = stdout;
70        else {
71                outfilename = argv[2];
72                outfile = fopen(outfilename, "wb");
73                if (!outfile) {
74                        fprintf(stderr, "Error: cannot open %s for writing.\n", outfilename);
75                        exit(-1);
76                }
77        }
78
79//      PERF_SEC_BIND(1);
80
81        PERF_SEC_INIT(parser_timer);
82
83        do_process(infile, outfile);
84
85        PERF_SEC_DUMP(parser_timer);
86
87        PERF_SEC_DESTROY(parser_timer);
88
89        fclose(infile);
90        fclose(outfile);
91
92        return(0);
93}
94
95/* s2p Definitions */
96static inline void s2p_do_block(BytePack U8[], Basis_bits & basis_bits) {
97  s2p(U8[0], U8[1], U8[2], U8[3], U8[4], U8[5], U8[6], U8[7],
98        basis_bits.bit_0, basis_bits.bit_1, basis_bits.bit_2, basis_bits.bit_3, basis_bits.bit_4, basis_bits.bit_5, basis_bits.bit_6, basis_bits.bit_7);
99}
100
101static inline void s2p_do_final_block(BytePack U8[], Basis_bits & basis_bits, BitBlock EOF_mask) {
102  s2p_do_block(U8, basis_bits);
103  basis_bits.bit_0 = simd_and(basis_bits.bit_0, EOF_mask);
104  basis_bits.bit_1 = simd_and(basis_bits.bit_1, EOF_mask);
105  basis_bits.bit_2 = simd_and(basis_bits.bit_2, EOF_mask);
106  basis_bits.bit_3 = simd_and(basis_bits.bit_3, EOF_mask);
107  basis_bits.bit_4 = simd_and(basis_bits.bit_4, EOF_mask);
108  basis_bits.bit_5 = simd_and(basis_bits.bit_5, EOF_mask);
109  basis_bits.bit_6 = simd_and(basis_bits.bit_6, EOF_mask);
110  basis_bits.bit_7 = simd_and(basis_bits.bit_7, EOF_mask);
111}
112
113static inline int ElemStrt_check(int pos) {
114        elem_starts_buf.push(buffer_base + pos);
115        return 0;
116}
117
118static inline int ElemEnd_check(int pos) {
119        elem_ends_buf.push(buffer_base + pos);
120        return 0;
121}
122
123static inline int NameStrt_check(int pos) {
124        if(XML_10_UTF8_NameStrt_bytes((unsigned char*)&source[pos]) == 0){
125              return XMLTestSuiteError::NAME_START;
126        }
127        return 0;
128}
129
130static inline int Name_check(int pos) {
131        if(XML_10_UTF8_NameChar_bytes((unsigned char*)&source[pos]) == 0){
132                  return XMLTestSuiteError::NAME;
133        }
134        return 0;
135}
136
137static inline int PIName_check(int pos, int file_pos) {
138        if (at_XxMmLll<ASCII>((unsigned char*)&source[pos]) && (source[pos+3]=='?' || source[pos+3]<= ' ')) {
139              // "<?xml" legal at start of file.
140              if (!((file_pos == 2) && at_XmlDecl_start<ASCII>((unsigned char*)&source[0]))) {
141                  return XMLTestSuiteError::XMLPINAME;
142              }
143        }
144        return 0;
145}
146
147static inline int CD_check(int pos) {
148        if (!at_CDATA1<ASCII>((unsigned char*)&source[pos])){
149                  return XMLTestSuiteError::CDATA;
150        }
151        return 0;
152}
153
154static inline int GenRef_check(int pos) {
155        unsigned char* s = (unsigned char*)&source[pos];
156        if (!(at_Ref_gt<ASCII>(s)||at_Ref_lt<ASCII>(s)||at_Ref_amp<ASCII>(s)||at_Ref_quot<ASCII>(s)||at_Ref_apos<ASCII>(s))){
157              return XMLTestSuiteError::UNDEFREF;
158        }
159        return 0;
160}
161
162static inline int HexRef_check(int pos) {
163        unsigned char* s = (unsigned char*)&source[pos];
164        int ch_val = 0;
165        while(at_HexDigit<ASCII>(s)){
166          ch_val = HexVal<ASCII>(s[0]) + (ch_val<<4);
167          if (ch_val> 0x10FFFF ){
168                return XMLTestSuiteError::CHARREF;
169          }
170          s++;
171        }
172        if ((ch_val == 0x0) || ((ch_val | 0x7FF) == 0xDFFF)|| ((ch_val | 0x1) == 0xFFFF)){
173          return XMLTestSuiteError::CHARREF;
174        }
175        else if (((ch_val < 0x20) && (ch_val != 0x9) && (ch_val != 0xD) && (ch_val != 0xA))){
176          return XMLTestSuiteError::XML10CHARREF;
177        }
178        return 0;
179}
180
181static inline int DecRef_check(int pos) {
182        unsigned char* s = (unsigned char*)&source[pos];
183        int ch_val = 0;
184        while(at_HexDigit<ASCII>(s)){
185          ch_val = DigitVal<ASCII>(s[0]) + ch_val*10;
186          if (ch_val> 0x10FFFF ){
187                        return XMLTestSuiteError::CHARREF;
188          }
189          s++;
190        }
191        if ((ch_val == 0x0) || ((ch_val | 0x7FF) == 0xDFFF)|| ((ch_val | 0x1) == 0xFFFF)){
192                  return XMLTestSuiteError::CHARREF;
193        }
194        else if (((ch_val < 0x20) && (ch_val != 0x9) && (ch_val != 0xD) && (ch_val != 0xA))){
195                  return XMLTestSuiteError::XML10CHARREF;
196        }
197        return 0;
198}
199
200static inline int AttRef_check(int pos) {
201        unsigned char* s = (unsigned char*)&source[pos];
202        int ch_val = 0;
203        if(s[0]=='#'){
204          s++;
205          if(s[0]=='x' || s[0]=='X'){
206            s++;
207            while(at_HexDigit<ASCII>(s)){
208              ch_val = HexVal<ASCII>(s[0]) + (ch_val<<4);
209              s++;
210            }
211          }
212          else{
213            while(at_HexDigit<ASCII>(s)){
214              ch_val = DigitVal<ASCII>(s[0]) + ch_val*10;
215              s++;
216            }
217          }
218          if (ch_val==60){
219            return XMLTestSuiteError::ATTREF;
220          }
221        }
222        else if(at_Ref_lt<ASCII>(s)){
223          return XMLTestSuiteError::ATTREF;
224        }
225        return 0;
226}
227
228static inline void validate_block(BitBlockForwardIterator & start, int block_base, int is_valid(int)) {
229
230        BitBlockForwardIterator end;
231        int pos, block_pos;
232
233        while(start != end) {
234
235                block_pos = block_base + *start;
236                int rv = is_valid(block_pos);
237
238                if (rv) {
239                        int error_line, error_column;
240                        tracker.get_Line_and_Column(block_pos, error_line, error_column);
241                        ReportError(XMLTestSuiteError::get_msg(rv), error_line, error_column);
242                        exit(-1);
243                }
244                start++;
245        }
246}
247
248static inline void validate_block(BitBlockForwardIterator & start, int block_base, int buffer_base, int is_valid(int,int)) {
249
250        BitBlockForwardIterator end;
251        int pos, block_pos, file_pos;
252
253        while(start != end) {
254
255                block_pos = block_base + *start;
256                file_pos = block_pos+buffer_base;
257
258
259                int rv = is_valid(block_pos, file_pos);
260
261                if (rv) {
262                        int error_line, error_column;
263                        tracker.get_Line_and_Column(block_pos, error_line, error_column);
264                        ReportError(XMLTestSuiteError::get_msg(rv), error_line, error_column);
265                        exit(-1);
266                }
267                start++;
268        }
269}
270
271
272static inline void do_symbol_table_lookup()
273{
274    while( !elem_starts_buf.empty() && !elem_ends_buf.empty() )
275    {
276        int start = elem_starts_buf.front();
277        int end = elem_ends_buf.front();
278        elem_starts_buf.pop();
279        elem_ends_buf.pop();
280        int length = end - start;
281
282        //lookup or insert to symbol table
283#if DEBUG
284        char* symbol = new char[length+1];
285        strncpy ( symbol, source + start - buffer_base, length );
286        symbol[length] ='\0';
287        printf ("start: %i[%i] | end: %i[%i] | length: %i | symbol: %s\n", start, start-buffer_base, end, end-buffer_base, length, symbol );
288
289        delete symbol; symbol = 0;
290#endif
291
292        ls_symbol_table.put((unsigned char*)source + start - buffer_base, length);
293
294    }
295}
296
297static inline void postprocess_do_block(Lex & lex, CtCDPI_Callouts & ctCDPI_Callouts, Ref_Callouts & ref_Callouts, Check_streams & check_streams, Tag_Callouts & tag_Callouts, int chars_avail){
298
299    tracker.StoreNewlines(lex.LF);
300
301    if ( bitblock_has_bit(tag_Callouts.ElemName_starts))
302    {
303        BitBlockForwardIterator iter_length_grouping_starts(&tag_Callouts.ElemName_starts);
304        validate_block(iter_length_grouping_starts, block_base, ElemStrt_check);
305    }
306
307    if ( bitblock_has_bit(tag_Callouts.ElemName_ends) )
308    {
309        BitBlockForwardIterator iter_length_grouping_ends(&tag_Callouts.ElemName_ends);
310        validate_block(iter_length_grouping_ends, block_base, ElemEnd_check);
311    }
312
313    do_symbol_table_lookup();
314
315
316    if (bitblock_has_bit(simd_or(check_streams.non_ascii_name_starts, check_streams.non_ascii_names))) {
317        BitBlockForwardIterator iter_NameStrt_check(&check_streams.non_ascii_name_starts);
318        validate_block(iter_NameStrt_check, block_base, NameStrt_check);
319        BitBlockForwardIterator iter_Name_check(&check_streams.non_ascii_names);
320        validate_block(iter_Name_check, block_base, Name_check);
321    }
322    if (bitblock_has_bit(ctCDPI_Callouts.PI_name_starts)){
323        BitBlockForwardIterator iter_PI_name_starts(&(ctCDPI_Callouts.PI_name_starts));
324        validate_block(iter_PI_name_starts, block_base, buffer_base, PIName_check);
325    }
326    if (bitblock_has_bit(ctCDPI_Callouts.CD_starts)){
327        BitBlockForwardIterator iter_CD_check(&ctCDPI_Callouts.CD_starts);
328        validate_block(iter_CD_check, block_base, CD_check);
329    }
330    if(bitblock_has_bit(ref_Callouts.GenRef_starts)){
331        BitBlockForwardIterator iter_GenRef_check(&ref_Callouts.GenRef_starts);
332        validate_block(iter_GenRef_check, block_base, GenRef_check);
333    }
334    if(bitblock_has_bit(ref_Callouts.DecRef_starts)){
335        BitBlockForwardIterator iter_DecRef_check(&ref_Callouts.DecRef_starts);
336        validate_block(iter_DecRef_check, block_base, DecRef_check);
337    }
338    if(bitblock_has_bit(ref_Callouts.HexRef_starts)){
339        BitBlockForwardIterator iter_HexRef_check(&ref_Callouts.HexRef_starts);
340        validate_block(iter_HexRef_check, block_base, HexRef_check);
341    }
342    if(bitblock_has_bit(check_streams.att_refs)){
343        BitBlockForwardIterator iter_AttRef_check(&check_streams.att_refs);
344        validate_block(iter_AttRef_check, block_base, AttRef_check);
345    }
346
347    if(error_tracker.Has_Noted_Error()){
348        int error_line, error_column;
349        tracker.get_Line_and_Column(error_tracker.Noted_Pos_In_Block(), error_line, error_column);
350        ReportError(error_tracker.Noted_Error_Msg(), error_line, error_column);
351        exit(-1);
352    }
353
354    matcher.store_streams(check_streams.tag_marks, check_streams.name_follows, check_streams.misc_mask, chars_avail);
355    tracker.AdvanceBlock();
356}
357
358static inline void print_GIDS()
359{
360    ls_symbol_table.display_flattened_symbol_values();
361    ls_symbol_table.display_flattened_gids();
362}
363
364void do_process(FILE *infile, FILE *outfile) {
365
366@decl
367
368  int buf_pos = 0;
369  int block_pos = 0;
370  int errpos = 0;
371  int chars_avail = 0;
372  int check_pos = 0;
373  int chars_read = 0;
374  BytePack buf[(BUFFER_SIZE+BLOCK_SIZE+OVERLAP_BUFSIZE*2)/sizeof(SIMD_type)];
375
376  char * srcbuf = ((char *) buf) + OVERLAP_BUFSIZE;
377  buffer_base = buf_pos;
378  source = srcbuf;
379  chars_read = fread((void *)srcbuf, 1, BUFFER_SIZE + OVERLAP_BUFSIZE, infile);
380  chars_avail = chars_read;
381  if (chars_avail > BUFFER_SIZE) chars_avail = BUFFER_SIZE;
382
383  matcher.setSrc(srcbuf);
384
385  if(chars_read<4){
386    fprintf(stderr,"File is too short. Not well formed.\n");
387    exit(-1);
388  }
389
390  Entity_Info * e = new Entity_Info;
391  e->AnalyzeSignature((unsigned char *)srcbuf);
392
393  if (e->code_unit_base == ASCII) {
394
395    XML_Decl_Parser<ASCII> decl_parser((unsigned char *)srcbuf);
396
397    decl_parser.ReadXMLInfo(*e);
398
399    if (e->code_unit_size != SingleByte || (e->has_encoding_decl && (!at_UTF_8(e->encoding)))){
400        fprintf(stderr,"Sorry, this xmlwf demo only works for UTF-8.\n");
401        exit(-1);
402    }
403  }
404  else {
405    fprintf(stderr,"Sorry, this xmlwf demo does not process EBCDIC.\n");
406        exit(-1);
407  }
408
409  if (e->content_start != 0) {
410        memmove(&srcbuf[0], &srcbuf[e->content_start], chars_read - e->content_start);
411        buf_pos = e->content_start;
412        buffer_base = buf_pos;
413        if (chars_avail == BUFFER_SIZE) {
414                chars_read = chars_read - e->content_start +
415                             fread(&srcbuf[chars_read-e->content_start], 1, e->content_start, infile);
416                chars_avail = chars_read;
417                if (chars_avail > BUFFER_SIZE) chars_avail = BUFFER_SIZE;
418        }
419        else {
420          chars_read -=e->content_start;
421          chars_avail -=e->content_start;
422        }
423  }
424
425@stream_stmts
426
427/* Full Buffers */
428    while (chars_avail == BUFFER_SIZE) {
429      PERF_SEC_START(parser_timer);
430      for (int blk = 0; blk < SEGMENT_BLOCKS; blk++) {
431          block_base = blk*BLOCK_SIZE;
432          s2p_do_block((BytePack *) &srcbuf[block_base], basis_bits);
433          @block_stmts
434          postprocess_do_block(lex, ctCDPI_Callouts, ref_Callouts, check_streams, tag_Callouts, chars_avail);
435      }
436      matcher.StreamScan(chars_avail);
437      matcher.Advance_buffer();
438      tracker.Advance_buffer();
439      PERF_SEC_END(parser_timer, chars_avail);
440
441      int bytes_left = chars_read - chars_avail;
442      memmove(buf, &srcbuf[BUFFER_SIZE - OVERLAP_BUFSIZE], bytes_left + OVERLAP_BUFSIZE);
443      chars_read = fread(&srcbuf[bytes_left],1, BUFFER_SIZE + OVERLAP_BUFSIZE - bytes_left, infile) + bytes_left;
444      chars_avail = chars_read;
445      if (chars_avail > BUFFER_SIZE) chars_avail = BUFFER_SIZE;
446      buf_pos += chars_avail;
447      buffer_base = buf_pos;
448    }
449/* Final Partial Buffer */
450    PERF_SEC_START(parser_timer);
451
452    block_pos = 0;
453    int remaining = chars_avail;
454/* Full Blocks */
455    while (remaining >= BLOCK_SIZE) {
456          block_base = block_pos;
457          s2p_do_block((BytePack *) &srcbuf[block_pos], basis_bits);
458          @block_stmts
459          postprocess_do_block(lex, ctCDPI_Callouts, ref_Callouts, check_streams, tag_Callouts, chars_avail);
460          block_pos += BLOCK_SIZE;
461          remaining -= BLOCK_SIZE;
462    }
463    block_base = block_pos;
464    if (remaining > 0 || @any_carry) {
465          EOF_mask = bitblock::srl(simd<1>::constant<1>(), convert(BLOCK_SIZE-remaining));
466          s2p_do_final_block((BytePack *) &srcbuf[block_pos], basis_bits, EOF_mask);
467          @final_block_stmts
468          postprocess_do_block(lex, ctCDPI_Callouts, ref_Callouts, check_streams, tag_Callouts, chars_avail);
469    }
470    buf_pos += chars_avail;
471    buffer_base = buf_pos;
472
473    matcher.StreamScan(chars_avail);
474    matcher.Advance_buffer();
475    tracker.Advance_buffer();
476
477    ls_symbol_table.bind();
478    ls_symbol_table.finalize();
479
480    PERF_SEC_END(parser_timer, chars_avail);
481    if (matcher.depth != 0) {
482      fprintf(stderr, "tag matching error (depth %i) at position %i\n", matcher.depth, buffer_base);
483      exit(-1);
484    }
485
486#if DEBUG
487    print_GIDS();
488#endif
489    ls_symbol_table.clear();
490}
Note: See TracBrowser for help on using the repository browser.