source: proto/parabix2/pablo_template.cpp @ 1681

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

Consolidated iterator objects.

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