Mercurial > hg > Applications > Grep

annotate regexParser/generateSequentialSearchCbC.cc @ 311:1d79e61a9365

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
CbC state generator is not work on -O2 but -O1
author Masataka Kohagura <kohagura@cr.ie.u-ryukyu.ac.jp>
date Mon, 08 Feb 2016 22:12:14 +0900
parents 4cb6eea3ab12
children c9ac6f06e706
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
301
4cb6eea3ab12 add CbC version
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
1 #include <stdio.h>
4cb6eea3ab12 add CbC version
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
2 #include <stdlib.h>
4cb6eea3ab12 add CbC version
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
3
4cb6eea3ab12 add CbC version
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
4 #include "generateSequentialSearch.h"
4cb6eea3ab12 add CbC version
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
5 #include "subsetConstruction.h"
311
1d79e61a9365 CbC state generator is not work on -O2 but -O1
Masataka Kohagura <kohagura@cr.ie.u-ryukyu.ac.jp>
parents: 301
diff changeset
6 #include "CharClass.h"
301
4cb6eea3ab12 add CbC version
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
7
4cb6eea3ab12 add CbC version
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
8 void
4cb6eea3ab12 add CbC version
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
9 generateState1(StatePtr state,long stateNum, bool accept, FILE *fp, TransitionGeneratorPtr tg) {
4cb6eea3ab12 add CbC version
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
10 fprintf(fp,"__code state%lx(TSValue tsv) {\n",stateNum);
4cb6eea3ab12 add CbC version
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
11 if (accept && state->accept) {
4cb6eea3ab12 add CbC version
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
12 fputs(" tsv=tsv.tg->stateMatch(tsv);\n",fp);
4cb6eea3ab12 add CbC version
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
13 }
4cb6eea3ab12 add CbC version
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
14 fputs(" if (tsv.buff.buffptr >= tsv.buff.buffend) _exit(0);\n",fp);
4cb6eea3ab12 add CbC version
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
15 CharClassWalkerPtr ccw = createCharClassWalker(state->cc);
4cb6eea3ab12 add CbC version
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
16 if (hasNext(ccw)) fputs(" unsigned char c = *tsv.buff.buffptr++;\n",fp);
4cb6eea3ab12 add CbC version
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
17 fputs(" if (0) ;\n",fp);
4cb6eea3ab12 add CbC version
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
18 while (hasNext(ccw)) {
4cb6eea3ab12 add CbC version
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
19 CharClassPtr cc = getNext(ccw);
4cb6eea3ab12 add CbC version
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
20 unsigned long begin = cc->cond.range.begin;
4cb6eea3ab12 add CbC version
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
21 unsigned long end = cc->cond.range.end;
4cb6eea3ab12 add CbC version
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
22 BitVector bi = cc->nextState;
4cb6eea3ab12 add CbC version
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
23 if (begin == end) {
4cb6eea3ab12 add CbC version
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
24 fprintf(fp," else if (c=='%c') { goto state%lx(tsv);}\n",(unsigned char)begin, bi.bitContainer);
4cb6eea3ab12 add CbC version
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
25 } else {
4cb6eea3ab12 add CbC version
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
26 fprintf(fp," else if (c<'%c') { tsv=tsv.tg->stateSkip(tsv);goto state0(tsv);}\n",(unsigned char)begin);
4cb6eea3ab12 add CbC version
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
27 fprintf(fp," else if (c<='%c') { goto state%lx(tsv);} \n",(unsigned char)end, bi.bitContainer);
4cb6eea3ab12 add CbC version
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
28 }
4cb6eea3ab12 add CbC version
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
29 }
4cb6eea3ab12 add CbC version
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
30 free(ccw);
4cb6eea3ab12 add CbC version
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
31 fprintf(fp," else { tsv=tsv.tg->stateSkip(tsv); goto state0(tsv);}\n");
4cb6eea3ab12 add CbC version
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
32 fputs("}\n\n",fp);
4cb6eea3ab12 add CbC version
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
33 }
4cb6eea3ab12 add CbC version
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
34
4cb6eea3ab12 add CbC version
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
35 void
4cb6eea3ab12 add CbC version
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
36 exportState(TransitionGeneratorPtr tg) {
4cb6eea3ab12 add CbC version
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
37 StatePtr state = tg->stateList;
4cb6eea3ab12 add CbC version
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
38 FILE *fp = fopen("stateCbC.cc","w");
4cb6eea3ab12 add CbC version
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
39 if (fp==NULL) {
4cb6eea3ab12 add CbC version
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
40 perror("");
4cb6eea3ab12 add CbC version
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
41 fprintf(stderr,"cannot write stateCbC.cc\n");
4cb6eea3ab12 add CbC version
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
42 exit(1);
4cb6eea3ab12 add CbC version
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
43 }
4cb6eea3ab12 add CbC version
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
44 for (;state;state = state->next) {
4cb6eea3ab12 add CbC version
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
45 fprintf(fp,"__code state%lx(TSValue tsv);\n",state->bitState.bitContainer);
4cb6eea3ab12 add CbC version
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
46 }
4cb6eea3ab12 add CbC version
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
47 fputs("\n",fp);
4cb6eea3ab12 add CbC version
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
48 // initial state must not accept empty string
4cb6eea3ab12 add CbC version
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
49 generateState1(tg->stateList,0L,false,fp,tg);
4cb6eea3ab12 add CbC version
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
50 for (state = tg->stateList;state;state = state->next) {
4cb6eea3ab12 add CbC version
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
51 generateState1(state,state->bitState.bitContainer,true,fp,tg);
4cb6eea3ab12 add CbC version
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
52 }
4cb6eea3ab12 add CbC version
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
53 fclose(fp);
4cb6eea3ab12 add CbC version
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
54 }