source: proto/SymbolTable/symtab_ls_template.cpp @ 1766

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

SymbolTable?: completed dictionary implementation and refactored templates

File size: 8.8 KB
Line 
1#include "../common_definitions.h"
2#include <ls_symbol_table.h>
3
4#include "../symtab_common_functions.h"
5#include "../xmlwf_common_functions.h"
6
7#ifdef BUFFER_PROFILING
8        BOM_Table * parser_timer;
9
10#elif CODE_CLOCKER
11        #define NUM_EVENTS 1
12        int Events[NUM_EVENTS] = {PAPI_TOT_CYC};
13        //int Events[NUM_EVENTS] = {PAPI_L2_DCM};
14        //int Events[NUM_EVENTS] = {PAPI_TOT_CYC, PAPI_BR_MSP};
15        int cal_size = 20;
16        CC * parser_timer = new CC(Events,NUM_EVENTS,cal_size);
17#else
18        void * parser_timer;
19#endif
20
21int block_base=0;
22int buffer_base=0;
23int buffer_last;
24
25TagMatcher matcher;
26
27queue <size_t> elem_starts_buf;
28queue <size_t> elem_ends_buf;
29LSSymbolTable ls_symbol_table;
30
31static 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);
32void do_process(FILE *infile, FILE *outfile);
33
34static inline void do_symbol_table_lookup();
35
36int main(int argc, char * argv[]) {
37    char * infilename, * outfilename;
38    FILE *infile, *outfile;
39
40    getFilenames(argc, argv, infilename, outfilename);
41    openInputOutputFiles(infilename, outfilename,
42                         infile, outfile);
43
44//      PERF_SEC_BIND(1);
45
46    PERF_SEC_INIT(parser_timer);
47
48    // store symbols form text to Symbol Table
49    do_process(infile, outfile);
50
51    PERF_SEC_DUMP(parser_timer);
52
53    PERF_SEC_DESTROY(parser_timer);
54
55    fclose(infile);
56    fclose(outfile);
57
58#if PRINT_SYMBOL_DISTRIBUTION
59    print_GIDS(ls_symbol_table);
60#endif
61    ls_symbol_table.clear();
62    return(0);
63}
64
65static inline int ElemStrt_check(int pos) {
66        elem_starts_buf.push(buffer_base + pos);
67        return 0;
68}
69
70static inline int ElemEnd_check(int pos) {
71        elem_ends_buf.push(buffer_base + pos);
72        return 0;
73}
74
75static inline void do_symbol_table_lookup()
76{
77    while( !elem_starts_buf.empty() && !elem_ends_buf.empty() )
78    {
79        int start = elem_starts_buf.front();
80        int end = elem_ends_buf.front();
81        elem_starts_buf.pop();
82        elem_ends_buf.pop();
83        int length = end - start;
84
85        //lookup or insert to symbol table
86#if DEBUG
87        char* symbol = new char[length+1];
88        strncpy ( symbol, source + start - buffer_base, length );
89        symbol[length] ='\0';
90        printf ("start: %i[%i] | end: %i[%i] | length: %i | symbol: %s\n", start, start-buffer_base, end, end-buffer_base, length, symbol );
91
92        delete symbol; symbol = 0;
93#endif
94
95        ls_symbol_table.put((unsigned char*)source + start - buffer_base, length);
96
97    }
98}
99
100static 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){
101
102    tracker.StoreNewlines(lex.LF);
103
104    if ( bitblock_has_bit(tag_Callouts.ElemName_starts))
105    {
106        BitBlockForwardIterator iter_length_grouping_starts(&tag_Callouts.ElemName_starts);
107        validate_block(iter_length_grouping_starts, block_base, ElemStrt_check);
108    }
109
110    if ( bitblock_has_bit(tag_Callouts.ElemName_ends) )
111    {
112        BitBlockForwardIterator iter_length_grouping_ends(&tag_Callouts.ElemName_ends);
113        validate_block(iter_length_grouping_ends, block_base, ElemEnd_check);
114    }
115
116    do_symbol_table_lookup();
117
118
119    if (bitblock_has_bit(simd_or(check_streams.non_ascii_name_starts, check_streams.non_ascii_names))) {
120        BitBlockForwardIterator iter_NameStrt_check(&check_streams.non_ascii_name_starts);
121        validate_block(iter_NameStrt_check, block_base, NameStrt_check);
122        BitBlockForwardIterator iter_Name_check(&check_streams.non_ascii_names);
123        validate_block(iter_Name_check, block_base, Name_check);
124    }
125    if (bitblock_has_bit(ctCDPI_Callouts.PI_name_starts)){
126        BitBlockForwardIterator iter_PI_name_starts(&(ctCDPI_Callouts.PI_name_starts));
127        validate_block(iter_PI_name_starts, block_base, buffer_base, PIName_check);
128    }
129    if (bitblock_has_bit(ctCDPI_Callouts.CD_starts)){
130        BitBlockForwardIterator iter_CD_check(&ctCDPI_Callouts.CD_starts);
131        validate_block(iter_CD_check, block_base, CD_check);
132    }
133    if(bitblock_has_bit(ref_Callouts.GenRef_starts)){
134        BitBlockForwardIterator iter_GenRef_check(&ref_Callouts.GenRef_starts);
135        validate_block(iter_GenRef_check, block_base, GenRef_check);
136    }
137    if(bitblock_has_bit(ref_Callouts.DecRef_starts)){
138        BitBlockForwardIterator iter_DecRef_check(&ref_Callouts.DecRef_starts);
139        validate_block(iter_DecRef_check, block_base, DecRef_check);
140    }
141    if(bitblock_has_bit(ref_Callouts.HexRef_starts)){
142        BitBlockForwardIterator iter_HexRef_check(&ref_Callouts.HexRef_starts);
143        validate_block(iter_HexRef_check, block_base, HexRef_check);
144    }
145    if(bitblock_has_bit(check_streams.att_refs)){
146        BitBlockForwardIterator iter_AttRef_check(&check_streams.att_refs);
147        validate_block(iter_AttRef_check, block_base, AttRef_check);
148    }
149
150    if(error_tracker.Has_Noted_Error()){
151        int error_line, error_column;
152        tracker.get_Line_and_Column(error_tracker.Noted_Pos_In_Block(), error_line, error_column);
153        ReportError(error_tracker.Noted_Error_Msg(), error_line, error_column);
154        exit(-1);
155    }
156
157    matcher.store_streams(check_streams.tag_marks, check_streams.name_follows, check_streams.misc_mask, chars_avail);
158    tracker.AdvanceBlock();
159}
160
161void do_process(FILE *infile, FILE *outfile) {
162
163@decl
164
165  int buf_pos = 0;
166  int block_pos = 0;
167  int errpos = 0;
168  int chars_avail = 0;
169  int check_pos = 0;
170  int chars_read = 0;
171  BytePack buf[(BUFFER_SIZE+BLOCK_SIZE+OVERLAP_BUFSIZE*2)/sizeof(SIMD_type)];
172
173  char * srcbuf = ((char *) buf) + OVERLAP_BUFSIZE;
174  buffer_base = buf_pos;
175  source = srcbuf;
176  chars_read = fread((void *)srcbuf, 1, BUFFER_SIZE + OVERLAP_BUFSIZE, infile);
177  chars_avail = chars_read;
178  if (chars_avail > BUFFER_SIZE) chars_avail = BUFFER_SIZE;
179
180  matcher.setSrc(srcbuf);
181
182  if(chars_read<4){
183    fprintf(stderr,"File is too short. Not well formed.\n");
184    exit(-1);
185  }
186
187  Entity_Info * e = new Entity_Info;
188  e->AnalyzeSignature((unsigned char *)srcbuf);
189
190  if (e->code_unit_base == ASCII) {
191
192    XML_Decl_Parser<ASCII> decl_parser((unsigned char *)srcbuf);
193
194    decl_parser.ReadXMLInfo(*e);
195
196    if (e->code_unit_size != SingleByte || (e->has_encoding_decl && (!at_UTF_8(e->encoding)))){
197        fprintf(stderr,"Sorry, this xmlwf demo only works for UTF-8.\n");
198        exit(-1);
199    }
200  }
201  else {
202    fprintf(stderr,"Sorry, this xmlwf demo does not process EBCDIC.\n");
203        exit(-1);
204  }
205
206  if (e->content_start != 0) {
207        memmove(&srcbuf[0], &srcbuf[e->content_start], chars_read - e->content_start);
208        buf_pos = e->content_start;
209        buffer_base = buf_pos;
210        if (chars_avail == BUFFER_SIZE) {
211                chars_read = chars_read - e->content_start +
212                             fread(&srcbuf[chars_read-e->content_start], 1, e->content_start, infile);
213                chars_avail = chars_read;
214                if (chars_avail > BUFFER_SIZE) chars_avail = BUFFER_SIZE;
215        }
216        else {
217          chars_read -=e->content_start;
218          chars_avail -=e->content_start;
219        }
220  }
221
222@stream_stmts
223
224/* Full Buffers */
225    while (chars_avail == BUFFER_SIZE) {
226      PERF_SEC_START(parser_timer);
227      for (int blk = 0; blk < SEGMENT_BLOCKS; blk++) {
228          block_base = blk*BLOCK_SIZE;
229          s2p_do_block((BytePack *) &srcbuf[block_base], basis_bits);
230          @block_stmts
231          postprocess_do_block(lex, ctCDPI_Callouts, ref_Callouts, check_streams, tag_Callouts, chars_avail);
232      }
233      matcher.StreamScan(chars_avail);
234      matcher.Advance_buffer();
235      tracker.Advance_buffer();
236      PERF_SEC_END(parser_timer, chars_avail);
237
238      int bytes_left = chars_read - chars_avail;
239      memmove(buf, &srcbuf[BUFFER_SIZE - OVERLAP_BUFSIZE], bytes_left + OVERLAP_BUFSIZE);
240      chars_read = fread(&srcbuf[bytes_left],1, BUFFER_SIZE + OVERLAP_BUFSIZE - bytes_left, infile) + bytes_left;
241      chars_avail = chars_read;
242      if (chars_avail > BUFFER_SIZE) chars_avail = BUFFER_SIZE;
243      buf_pos += chars_avail;
244      buffer_base = buf_pos;
245    }
246/* Final Partial Buffer */
247    PERF_SEC_START(parser_timer);
248
249    block_pos = 0;
250    int remaining = chars_avail;
251/* Full Blocks */
252    while (remaining >= BLOCK_SIZE) {
253          block_base = block_pos;
254          s2p_do_block((BytePack *) &srcbuf[block_pos], basis_bits);
255          @block_stmts
256          postprocess_do_block(lex, ctCDPI_Callouts, ref_Callouts, check_streams, tag_Callouts, chars_avail);
257          block_pos += BLOCK_SIZE;
258          remaining -= BLOCK_SIZE;
259    }
260    block_base = block_pos;
261    if (remaining > 0 || @any_carry) {
262          EOF_mask = bitblock::srl(simd<1>::constant<1>(), convert(BLOCK_SIZE-remaining));
263          s2p_do_final_block((BytePack *) &srcbuf[block_pos], basis_bits, EOF_mask);
264          @final_block_stmts
265          postprocess_do_block(lex, ctCDPI_Callouts, ref_Callouts, check_streams, tag_Callouts, chars_avail);
266    }
267    buf_pos += chars_avail;
268    buffer_base = buf_pos;
269
270    matcher.StreamScan(chars_avail);
271    matcher.Advance_buffer();
272    tracker.Advance_buffer();
273
274    ls_symbol_table.bind();
275    ls_symbol_table.finalize();
276
277    PERF_SEC_END(parser_timer, chars_avail);
278    if (matcher.depth != 0) {
279      fprintf(stderr, "tag matching error (depth %i) at position %i\n", matcher.depth, buffer_base);
280      exit(-1);
281    }
282}
Note: See TracBrowser for help on using the repository browser.