source: proto/SymbolTable/symtab_ls_template.cpp @ 1460

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

SymbolTable?: created a test suite under proto/SymbolTable/test/. Run symtab_testsuite.py to run the test suite

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