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