source: proto/parabix2/pablo_template_stl.cpp @ 1495

Last change on this file since 1495 was 1488, checked in by ksherdy, 8 years ago

Moved Xerces prototype to xmlwf. Added bit stream iterator. Makefile targets.

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