Changeset 3762


Ignore:
Timestamp:
Mar 29, 2014, 12:31:27 AM (3 years ago)
Author:
ksherdy
Message:

Removed void return type on s2k stream filters / b2k kernel functions.

Location:
proto/s2k/trunk/framework/input
Files:
1 deleted
29 edited
1 moved

Legend:

Unmodified
Added
Removed
  • proto/s2k/trunk/framework/input/grammar/scatter/b2k.scatter

    r3761 r3762  
    104104    // k e r n e l   f u n c t i o n s
    105105    //
    106     funcDef             ->  FUNCTION returnType funcName LROUND parameterList? RROUND basicBlockStmt TERMINATOR? ;
    107     returnType          #-> type ; // KH: TODO - Not required. Add in/out parameter specifiers.
     106    funcDef             ->  FUNCTION funcName LROUND parameterList? RROUND basicBlockStmt TERMINATOR? ;
    108107    parameterList       ->  parameter (COMMA parameter)* ;
    109108    funcName            #-> identifier ;
  • proto/s2k/trunk/framework/input/grammar/scatter/s2k.scatter

    r3699 r3762  
    3636        STREAM,
    3737        STRUCT,
    38         VOID,
    3938        INT,
    4039        IF,
     
    4241        WHILE,
    4342        RETURN,
    44         AND           "&",
    45         OR            "|",
    46         NOT           "~",
    47         XOR           "^",
    48         MULTIPLY    "*",
    49         DIVIDE        "/",
    50         ADD            "+",
    51         SUBTRACT    "-",
    52         ASSIGN      "=",
    53         AND_ASSIGN  "&=",
    54         OR_ASSIGN   "|=",
    55         XOR_ASSIGN  "^=",
    56         MULTIPLY_ASSIGN        "*=",
    57         DIVIDE_ASSIGN        "/=",
    58         ADD_ASSIGN            "+=",
    59         SUBTRACT_ASSIGN        "-=",
    60         LANGLE        "<",
    61         RANGLE        ">",
    62         LCURLY        "{",
    63         RCURLY        "}",
    64         LROUND        "(",
    65         RROUND        ")",
    66         COMMA        ",",
    67         TERMINATOR  ";",
    68         DOT            ".",
     43        AND             "&",
     44        OR              "|",
     45        NOT             "~",
     46        XOR             "^",
     47        MULTIPLY        "*",
     48        DIVIDE          "/",
     49        ADD             "+",
     50        SUBTRACT        "-",
     51        ASSIGN          "=",
     52        AND_ASSIGN      "&=",
     53        OR_ASSIGN       "|=",
     54        XOR_ASSIGN      "^=",
     55        MULTIPLY_ASSIGN "*=",
     56        DIVIDE_ASSIGN   "/=",
     57        ADD_ASSIGN      "+=",
     58        SUBTRACT_ASSIGN "-=",
     59        LANGLE          "<",
     60        RANGLE          ">",
     61        LCURLY          "{",
     62        RCURLY          "}",
     63        LROUND          "(",
     64        RROUND          ")",
     65        COMMA           ",",
     66        TERMINATOR      ";",
     67        DOT             ".",
    6968    }
    7069}
     
    9392    streamType              {hasFieldWidth;} [],
    9493    integerConstant         {intValued;}    [fieldWidthSpecifier],
    95 //  primitiveType           {} [intType voidType], // TODO - update S2K2B2k to handle this
     94//  primitiveType           {} [intType voidType], // TODO - update S2K2B2k to handle primitiveType
    9695}
    9796
     
    112111    // s t r e a m   f u n c t i o n   d e f i n i t i o n s
    113112    //
    114     funcDef             ->  FUNCTION returnType funcName LROUND parameterList? RROUND blockStmt TERMINATOR? ;               
    115     returnType          #-> type ;     
     113    funcDef             ->  FUNCTION funcName LROUND parameterList? RROUND blockStmt TERMINATOR? ;                     
    116114    parameterList       ->  parameter (COMMA parameter)*;
    117115    funcName            #-> identifier ;
     
    154152    // e x p r e s s i o n s
    155153    //   
    156     expr        #->    expr1 ((OR^|XOR^) expr)? _leftAssoc_ ;
     154    expr        #-> expr1 ((OR^|XOR^) expr)? _leftAssoc_ ;
    157155    expr1       #-> expr2 ((AND^) expr1)? _leftAssoc_ ;
    158156    expr2       #-> NOT^^? expr3;                                         
     
    188186                                    structType;
    189187
    190     primitiveType           #->     ( intType | voidType ) ;
     188    primitiveType           #->     ( intType ) ;
    191189    intType                 ->      INT    { @type = {{PrimitiveType.INTEGER}};  } ;
    192     voidType                ->      VOID   { @type = {{PrimitiveType.VOID}}; } ;
    193 
    194190    streamType              ->      STREAM fieldWidthSpecifier! {   @fieldWidth = @:value;
    195191                                                                    @type = {{ StreamType.STREAM(%?) }} , @fieldWidth ;
  • proto/s2k/trunk/framework/input/test/b2k/all/all.b2k

    r3761 r3762  
     1// KERNEL kernelName LCURLY funcDef (optFuncDef)? RCURLY TERMINATOR?;
     2       
     3kernel KernelName
     4{
     5    init
     6    {
     7        look_ahead = [0];
     8        look_behind = [0];
     9        carry_init = [0,0,1,1];
     10    }
    111
    2 kernel Classify_bytes_Validate_utf8 
    3 {
    4         init
    5         {
    6          
    7         }
     12    function do_block()
     13    {
     14   
     15        BitBlock a;
     16        BitBlock b;
     17        BitBlock c;
     18        BitBlock k;
     19        BitBlock r;
    820
    9         function void do_block(struct Basis_bits basis_bits, struct Lex lex, struct U8 u8)
    10         {
    11                 BitBlock temp1;
    12                 temp1 = simd.or<1>(basis_bits.bit_0, basis_bits.bit_1);
     21        /*
     22        r = bitblock.any<128>(a);
     23        */
     24       
     25                /*
     26                r = simd.add(abs);
     27                r = simd.neg(a);
     28                r = simd.add_hl(a);
     29                r = simd.xor_hl(a);
     30                r = simd.slli(k);
     31                r = simd.srli(k);
     32                r = simd.srai(k);
     33                r = simd.popcount(a);
     34                r = simd.ctz(a);       
     35                */
    1336               
    14         }
     37                r = simd.not<1>(a);             
     38                r = simd.ifh<16>(a, b, c);
     39                               
     40                r = hsimd.add_hl<2>(a);                 
     41       
     42        r = simd.add(abs);
     43        /*
     44        r = simd.neg(a);
     45        r = simd.add_hl(a);
     46        r = simd.xor_hl(a);
     47        r = simd.slli(k);
     48        r = simd.srli(k);
     49        r = simd.srai(k);
     50        r = simd.popcount(a);
     51        r = simd.ctz(a);   
     52        */
     53       
     54                // r = simd.constant<2>(3);
     55               
     56                r = simd.add<1>(a,b);
     57                r = simd.sub<2>(a,b);
     58                r = simd.mul<4>(a,b);
     59                r = simd.eq<8>(a,b);
     60                r = simd.gt<16>(a,b);
     61                r = simd.ugt<32>(a,b);
     62                r = simd.lt<64>(a,b);
     63                r = simd.ult<128>(a,b);
     64                r = simd.max<256>(a,b);
     65                r = simd.umax<1>(a,b);
     66                r = simd.min<2>(a,b);
     67                r = simd.umin<4>(a,b);
     68                r = simd.sll<8>(a,b);
     69                r = simd.srl<16>(a,b);
     70                r = simd.sra<32>(a,b);
     71               
     72                //r = simd.if<128>(a,b,c);       
    1573
    16         function void do_final_block(struct Basis_bits basis_bits, struct Lex lex, struct U8 u8, BitBlock EOF_mask) {
    17        
    18         }
    19        
    20         function void clear()
    21         {
    22        
    23         }
    24        
    25         CarryDeclare(carry_set_0, 10, 0);       
    26 };     
     74       
     75       
     76    }
    2777
     78    function do_final_block()
     79    {
     80       
     81       
     82    }
     83   
     84    function clear()
     85    {
     86   
     87    }
     88
     89    CarryDeclare(carry_set_0, 0, 0);
     90}; 
  • proto/s2k/trunk/framework/input/test/b2k/statements/idisaFuncCall/idisa.b2k

    r3749 r3762  
    1010    }
    1111
    12     function void do_block()
     12    function do_block()
    1313    {
    1414   
     
    2323        */
    2424       
     25                /*
     26                r = simd.add(abs);
     27                r = simd.neg(a);
     28                r = simd.add_hl(a);
     29                r = simd.xor_hl(a);
     30                r = simd.slli(k);
     31                r = simd.srli(k);
     32                r = simd.srai(k);
     33                r = simd.popcount(a);
     34                r = simd.ctz(a);       
     35                */
     36               
     37                r = simd.not<1>(a);             
     38                r = simd.ifh<16>(a, b, c);
     39                               
     40                r = hsimd.add_hl<2>(a);                 
    2541       
    2642        r = simd.add(abs);
     
    3551        r = simd.ctz(a);   
    3652        */
     53       
     54                // r = simd.constant<2>(3);
     55               
     56                r = simd.add<1>(a,b);
     57                r = simd.sub<2>(a,b);
     58                r = simd.mul<4>(a,b);
     59                r = simd.eq<8>(a,b);
     60                r = simd.gt<16>(a,b);
     61                r = simd.ugt<32>(a,b);
     62                r = simd.lt<64>(a,b);
     63                r = simd.ult<128>(a,b);
     64                r = simd.max<256>(a,b);
     65                r = simd.umax<1>(a,b);
     66                r = simd.min<2>(a,b);
     67                r = simd.umin<4>(a,b);
     68                r = simd.sll<8>(a,b);
     69                r = simd.srl<16>(a,b);
     70                r = simd.sra<32>(a,b);
     71               
     72                //r = simd.if<128>(a,b,c);       
    3773
    3874       
     
    4076    }
    4177
    42     function void do_final_block()
     78    function do_final_block()
    4379    {
    4480       
    4581       
    4682    }
     83   
     84    function clear()
     85    {
     86   
     87    }
    4788
    4889    CarryDeclare(carry_set_0, 0, 0);
  • proto/s2k/trunk/framework/input/test/s2k/all/all.s2k

    r3699 r3762  
    1212};
    1313
    14 function void Foo() {
    15 
    16 }function void AssignmentExpressions() {       
     14function Foo() {
     15
     16}function AssignmentExpressions() {     
    1717        temp4 = temp;
    1818        temp4 &= temp1 | temp2;
    1919        temp4 |= temp1 ^ temp2;
    2020        temp4 ^= temp1 & temp2;
    21 };function void BasicExpressions() {
     21};function BasicExpressions() {
    2222
    2323        temp4 = temp;
     
    3535};
    3636
    37 function void Assignments() {
     37function Assignments() {
    3838        stream<1> s;
    3939        s = 0;
    40 };function void Assignments() {
     40};function Assignments() {
    4141        stream<1> s;
    4242        stream<1> a;
     
    5050        s |= a | b | c | d;
    5151        // s = s | a | b | c;
    52 };function void StreamStructs() {
     52};function StreamStructs() {
    5353
    5454        // records
     
    5959        //temp1.temp2.temp3 = temp4;
    6060               
    61 };function struct A FunctionExpressions() {
     61};function FunctionExpressions() {
    6262         stream<1> a = b.Advance();
    6363};
    64 function void Function(struct TagCallouts tagCallouts, struct Lex lex) {       
     64function Function(struct TagCallouts tagCallouts, struct Lex lex) {     
    6565
    6666        stream<1> starts_accum = 0;
     
    7676        }
    7777};
    78 function void While() {
     78function While() {     
    7979                       
    8080        stream<1> cursor = 1;
     
    8484        }
    8585}
    86 function void While() {
     86function While() {     
    8787       
    8888        stream<1> cursor;
     
    9393        }
    9494}
    95 function void Function() {     
     95function Function() {   
    9696        stream<1> cursor1;
    9797       
     
    104104        }
    105105}
    106 function void localDecl() {
     106function localDecl() {
    107107        struct BasisBits A;
    108108        struct BasisBits B;
    109109        struct BasisBits C;
    110 };function void Assignments() {
     110};function Assignments() {
    111111        stream a;
    112112        stream<1> s = a;
    113 }function void localDecl() {
     113}function localDecl() {
    114114        stream<1> A;
    115115        stream B;
    116 }function void localDecl() {
     116}function localDecl() {
    117117
    118118        struct BasisBits A;
    119119
    120 } function void Function() {   
     120} function Function() {
    121121       
    122122        stream cursor;
     
    129129       
    130130}
    131 function void Function() {     
     131function Function() {   
    132132       
    133133        stream cursor;
     
    140140       
    141141}
    142 function void Function() {             
     142function Function() {           
    143143        stream cursor;
    144144        if(cursor) {
     
    146146        }
    147147}
    148 function void Function() {     
     148function Function() {   
    149149       
    150150        stream cursor;
     
    163163}
    164164
     165
     166struct Basis_bits{
     167    stream bit_0;
     168    stream bit_1;
     169    stream bit_2;
     170    stream bit_3;
     171    stream bit_4;
     172    stream bit_5;
     173    stream bit_6;
     174    stream bit_7;
     175};
     176
     177struct Lex{
     178    stream a;
     179    stream p;
     180    stream l;
     181    stream e;
     182    stream LF;
     183};
     184
     185struct Output{
     186    stream match_follows;
     187    stream lines;
     188    stream line_starts;
     189    stream line_ends;
     190};
     191
     192function ClassifyBytes(struct Basis_bits basis_bits, struct Lex lex) {
     193    stream temp1 = (basis_bits.bit_1 & (~ basis_bits.bit_0));
     194    stream temp2 = (basis_bits.bit_2 & (~ basis_bits.bit_3));
     195    stream temp3 = (temp1 & temp2);
     196    stream temp4 = (basis_bits.bit_4 | basis_bits.bit_5);
     197    stream temp5 = (basis_bits.bit_7 & (~ basis_bits.bit_6));
     198    stream temp6 = (temp5 & (~ temp4));
     199    lex.a = (temp3 & temp6);
     200    stream temp7 = (basis_bits.bit_2 & basis_bits.bit_3);
     201    stream temp8 = (temp1 & temp7);
     202    stream temp9 = (basis_bits.bit_6 | basis_bits.bit_7);
     203    stream temp10 = (temp4 | temp9);
     204    lex.p = (temp8 & (~ temp10));
     205    stream temp11 = (basis_bits.bit_4 & basis_bits.bit_5);
     206    stream temp12 = (temp11 & (~ temp9));
     207    lex.l = (temp3 & temp12);
     208    stream temp13 = (basis_bits.bit_5 & (~ basis_bits.bit_4));
     209    stream temp14 = (temp13 & temp5);
     210    lex.e = (temp3 & temp14);
     211    stream temp15 = (basis_bits.bit_0 | basis_bits.bit_1);
     212    stream temp16 = (basis_bits.bit_2 | basis_bits.bit_3);
     213    stream temp17 = (temp15 | temp16);
     214    stream temp18 = (basis_bits.bit_4 & (~ basis_bits.bit_5));
     215    stream temp19 = (basis_bits.bit_6 & (~ basis_bits.bit_7));
     216    stream temp20 = (temp18 & temp19);
     217    lex.LF = (temp20 & (~ temp17));
     218}
     219
     220function Match(struct Lex lex, struct Output output) {
     221    stream cursor = pablo.Advance(lex.a);
     222    cursor = pablo.Advance((cursor & lex.p));
     223    cursor = pablo.Advance((cursor & lex.p));
     224    cursor = pablo.Advance((cursor & lex.l));
     225    cursor = pablo.Advance((cursor & lex.e));
     226    output.match_follows = cursor;
     227}
     228
     229function MatchLines(struct Lex lex, struct Output output) {
     230    stream all_line_starts = (pablo.ScanToFirst((~ lex.LF)) | (pablo.Advance(lex.LF) & (~ lex.LF)));
     231    stream all_line_ends = lex.LF;
     232    stream last_line_start = pablo.ScanToFirst(all_line_starts);
     233    stream cursor = last_line_start;
     234    while (pablo.inFile(cursor)) {
     235        if ((cursor & all_line_starts)) {
     236            last_line_start = cursor;
     237        }
     238        if ((cursor & output.match_follows)) {
     239            cursor = pablo.ScanTo(cursor, lex.LF);
     240            output.lines |= pablo.InclusiveSpan(last_line_start, cursor);
     241        }
     242        cursor = pablo.AdvanceThenScanTo(cursor, (all_line_starts | output.match_follows));
     243    }
     244    output.line_starts = (output.lines & all_line_starts);
     245    output.line_ends = pablo.ScanTo(output.line_starts, (output.lines & all_line_ends));
     246}
     247
     248/*
     249function Main(struct Basis_bits basis_bits, struct Lex lex, struct Output output) {
     250    Transpose(byte_data, basis_bits);
     251    ClassifyBytes(basis_bits, lex);
     252    Match(lex, output);
     253    MatchLines(lex, output);
     254}
     255*/
    165256
    166257struct Basis_bits{
     
    284375};
    285376
    286 function void Classify_bytes_Validate_utf8(struct Basis_bits basis_bits, struct Lex lex, struct U8 u8) {
     377function Classify_bytes_Validate_utf8(struct Basis_bits basis_bits, struct Lex lex, struct U8 u8) {
    287378    stream temp1 = (basis_bits.bit_0 | basis_bits.bit_1);
    288379    stream temp2 = (basis_bits.bit_2 & (~ basis_bits.bit_3));
     
    441532}
    442533
    443 function void Parse_CtCDPI(struct Lex lex, struct Marker marker, struct CtCDPI_Callouts ctCDPI_Callouts, struct Check_streams check_streams) {
     534function Parse_CtCDPI(struct Lex lex, struct Marker marker, struct CtCDPI_Callouts ctCDPI_Callouts, struct Check_streams check_streams) {
    444535    ctCDPI_Callouts.Ct_starts = pablo.Mask(1,0);
    445536    ctCDPI_Callouts.Ct_ends = pablo.Mask(1,0);
     
    516607}
    517608
    518 function void Parse_tags(struct Lex lex, struct Marker marker, struct Tag_Callouts tag_Callouts) {
     609function Parse_tags(struct Lex lex, struct Marker marker, struct Tag_Callouts tag_Callouts) {
    519610    stream EqExpected = pablo.Mask(1,0);
    520611    stream AttListEnd = pablo.Mask(1,0);
     
    584675}
    585676
    586 function void Parse_refs(struct Lex lex, struct Marker marker, struct Ref_Callouts ref_Callouts) {
     677function Parse_refs(struct Lex lex, struct Marker marker, struct Ref_Callouts ref_Callouts) {
    587678    ref_Callouts.GenRef_starts = pablo.Mask(1,0);
    588679    ref_Callouts.GenRef_ends = pablo.Mask(1,0);
     
    611702}
    612703
    613 function void Validate_xml_names(struct CtCDPI_Callouts ctCDPI_Callouts, struct Ref_Callouts ref_Callouts, struct Tag_Callouts tag_Callouts, struct Lex lex, struct U8 u8, struct Check_streams check_streams) {
     704function Validate_xml_names(struct CtCDPI_Callouts ctCDPI_Callouts, struct Ref_Callouts ref_Callouts, struct Tag_Callouts tag_Callouts, struct Lex lex, struct U8 u8, struct Check_streams check_streams) {
    614705    stream PI_names = pablo.SpanUpTo(ctCDPI_Callouts.PI_name_starts, ctCDPI_Callouts.PI_name_ends);
    615706    stream GenRefs = pablo.SpanUpTo(ref_Callouts.GenRef_starts, ref_Callouts.GenRef_ends);
     
    632723}
    633724
    634 function void Do_check_streams(struct Marker marker, struct Tag_Callouts tag_Callouts, struct Check_streams check_streams) {
     725function Do_check_streams(struct Marker marker, struct Tag_Callouts tag_Callouts, struct Check_streams check_streams) {
    635726    pablo.assert_0((marker.CD_closer & (~ tag_Callouts.AttVal_spans)), "Error: ]]> in text");
    636727    check_streams.tag_marks = (((tag_Callouts.EmptyTag_marks | tag_Callouts.ElemName_starts) | tag_Callouts.EndTag_marks) | tag_Callouts.AttName_starts);
     
    643734
    644735/*
    645 function stream<1> Function(stream<1> a, stream<1> b, stream<1> c) {
     736function Function(stream<1> a, stream<1> b, stream<1> c) {
    646737
    647738
     
    656747};
    657748
    658 function struct B Foo() { }
    659 function struct Lex ClassifyBytes(struct BasisBit basis) {};
     749function Foo() { }
     750function ClassifyBytes(struct BasisBit basis) {};
    660751
    661752
     
    691782};
    692783
    693 function void ClassifyBytes(struct Basis_bits basis_bits, struct Lex lex) {
     784function ClassifyBytes(struct Basis_bits basis_bits, struct Lex lex) {
    694785    stream temp1 = (basis_bits.bit_1 & (~ basis_bits.bit_0));
    695786    stream temp2 = (basis_bits.bit_2 & (~ basis_bits.bit_3));
     
    719810}
    720811
    721 function void Match(struct Lex lex, struct Matches matches) {
     812function Match(struct Lex lex, struct Matches matches) {
    722813    stream m0 = lex.a;
    723814    stream m1 = (pablo.Advance(m0) & lex.p);
     
    728819}
    729820
    730 function void MatchLines1(struct Lex lex, struct Matches matches, struct Lines lines) {
     821function MatchLines1(struct Lex lex, struct Matches matches, struct Lines lines) {
    731822    stream last_start = pablo.First();
    732823    stream LF_or_match = (lex.LF | matches.all_matched);
     
    745836}
    746837
    747 function void MatchLines2(struct Lex lex, struct Matches matches, struct Lines lines) {
     838function MatchLines2(struct Lex lex, struct Matches matches, struct Lines lines) {
    748839    stream last_start = pablo.Mask(1,0);
    749840    last_start = (pablo.Advance((~ last_start)) ^ (~ last_start));
     
    763854}
    764855
    765 function void FilterMatchLines(struct Data data, struct Output output) {
     856function FilterMatchLines(struct Data data, struct Output output) {
    766857    output.lines = pablo.filter_bytes(data, (~ lines.all_matched));
    767858}
    768859
    769 function void CountLines(struct Lex lex, struct Lines lines) {
     860function CountLines(struct Lex lex, struct Lines lines) {
    770861    return pablo.PopCount((pablo.MatchStar(lines, (~ lex.LF)) & lex.LF)) ;
    771862}
  • proto/s2k/trunk/framework/input/test/s2k/decl/decl1.s2k

    r3696 r3762  
    66};
    77
    8 function void Foo() {
     8function Foo() {
    99
    1010}
  • proto/s2k/trunk/framework/input/test/s2k/funcDef/funcDef1.s2k

    r3685 r3762  
    77};
    88
    9 function struct B Foo() { }
     9function Foo() { }
  • proto/s2k/trunk/framework/input/test/s2k/funcDef/funcDef2.s2k

    r3685 r3762  
    55
    66/*
    7 function stream<1> Function(stream<1> a, stream<1> b, stream<1> c) {
     7function Function(stream<1> a, stream<1> b, stream<1> c) {
    88
    99
  • proto/s2k/trunk/framework/input/test/s2k/funcDef/funcDef3.s2k

    r3685 r3762  
    1 function struct Lex ClassifyBytes(struct BasisBit basis) {};
     1function ClassifyBytes(struct BasisBit basis) {};
  • proto/s2k/trunk/framework/input/test/s2k/proto/grep/grep.s2k

    r3760 r3762  
    2727};
    2828
    29 function void ClassifyBytes(struct Basis_bits basis_bits, struct Lex lex) {
     29function ClassifyBytes(struct Basis_bits basis_bits, struct Lex lex) {
    3030    stream temp1 = (basis_bits.bit_1 & (~ basis_bits.bit_0));
    3131    stream temp2 = (basis_bits.bit_2 & (~ basis_bits.bit_3));
     
    5555}
    5656
    57 function void Match(struct Lex lex, struct Output output) {
     57function Match(struct Lex lex, struct Output output) {
    5858    stream cursor = pablo.Advance(lex.a);
    5959    cursor = pablo.Advance((cursor & lex.p));
     
    6464}
    6565
    66 function void MatchLines(struct Lex lex, struct Output output) {
     66function MatchLines(struct Lex lex, struct Output output) {
    6767    stream all_line_starts = (pablo.ScanToFirst((~ lex.LF)) | (pablo.Advance(lex.LF) & (~ lex.LF)));
    6868    stream all_line_ends = lex.LF;
     
    8484
    8585/*
    86 function void Main(struct Basis_bits basis_bits, struct Lex lex, struct Output output) {
     86function Main(struct Basis_bits basis_bits, struct Lex lex, struct Output output) {
    8787    Transpose(byte_data, basis_bits);
    8888    ClassifyBytes(basis_bits, lex);
  • proto/s2k/trunk/framework/input/test/s2k/proto/parabix2/parabix2_pablo_r2797.s2k

    r3750 r3762  
    121121};
    122122
    123 function void Classify_bytes_Validate_utf8(struct Basis_bits basis_bits, struct Lex lex, struct U8 u8) {
     123function Classify_bytes_Validate_utf8(struct Basis_bits basis_bits, struct Lex lex, struct U8 u8) {
    124124    stream temp1 = (basis_bits.bit_0 | basis_bits.bit_1);
    125125    stream temp2 = (basis_bits.bit_2 & (~ basis_bits.bit_3));
     
    278278}
    279279
    280 function void Parse_CtCDPI(struct Lex lex, struct Marker marker, struct CtCDPI_Callouts ctCDPI_Callouts, struct Check_streams check_streams) {
     280function Parse_CtCDPI(struct Lex lex, struct Marker marker, struct CtCDPI_Callouts ctCDPI_Callouts, struct Check_streams check_streams) {
    281281    ctCDPI_Callouts.Ct_starts = pablo.Mask(1,0);
    282282    ctCDPI_Callouts.Ct_ends = pablo.Mask(1,0);
     
    353353}
    354354
    355 function void Parse_tags(struct Lex lex, struct Marker marker, struct Tag_Callouts tag_Callouts) {
     355function Parse_tags(struct Lex lex, struct Marker marker, struct Tag_Callouts tag_Callouts) {
    356356    stream EqExpected = pablo.Mask(1,0);
    357357    stream AttListEnd = pablo.Mask(1,0);
     
    421421}
    422422
    423 function void Parse_refs(struct Lex lex, struct Marker marker, struct Ref_Callouts ref_Callouts) {
     423function Parse_refs(struct Lex lex, struct Marker marker, struct Ref_Callouts ref_Callouts) {
    424424    ref_Callouts.GenRef_starts = pablo.Mask(1,0);
    425425    ref_Callouts.GenRef_ends = pablo.Mask(1,0);
     
    448448}
    449449
    450 function void Validate_xml_names(struct CtCDPI_Callouts ctCDPI_Callouts, struct Ref_Callouts ref_Callouts, struct Tag_Callouts tag_Callouts, struct Lex lex, struct U8 u8, struct Check_streams check_streams) {
     450function Validate_xml_names(struct CtCDPI_Callouts ctCDPI_Callouts, struct Ref_Callouts ref_Callouts, struct Tag_Callouts tag_Callouts, struct Lex lex, struct U8 u8, struct Check_streams check_streams) {
    451451    stream PI_names = pablo.SpanUpTo(ctCDPI_Callouts.PI_name_starts, ctCDPI_Callouts.PI_name_ends);
    452452    stream GenRefs = pablo.SpanUpTo(ref_Callouts.GenRef_starts, ref_Callouts.GenRef_ends);
     
    469469}
    470470
    471 function void Do_check_streams(struct Marker marker, struct Tag_Callouts tag_Callouts, struct Check_streams check_streams) {
     471function Do_check_streams(struct Marker marker, struct Tag_Callouts tag_Callouts, struct Check_streams check_streams) {
    472472    pablo.assert_0((marker.CD_closer & (~ tag_Callouts.AttVal_spans)), "Error: ]]> in text");
    473473    check_streams.tag_marks = (((tag_Callouts.EmptyTag_marks | tag_Callouts.ElemName_starts) | tag_Callouts.EndTag_marks) | tag_Callouts.AttName_starts);
  • proto/s2k/trunk/framework/input/test/s2k/statements/assign/assign1.s2k

    r3691 r3762  
    1 function void Assignments() {
     1function Assignments() {
    22        stream<1> s;
    33        s = 0;
  • proto/s2k/trunk/framework/input/test/s2k/statements/assign/assign2.s2k

    r3691 r3762  
    1 function void BasicExpressions() {
     1function BasicExpressions() {
    22
    33        temp4 = temp;
  • proto/s2k/trunk/framework/input/test/s2k/statements/assign/assign3.s2k

    r3691 r3762  
    1 function void AssignmentExpressions() {
     1function AssignmentExpressions() {     
    22        temp4 = temp;
    33        temp4 &= temp1 | temp2;
  • proto/s2k/trunk/framework/input/test/s2k/statements/assign/assign4.s2k

    r3699 r3762  
    1 function void StreamStructs() {
     1function StreamStructs() {
    22
    33        // records
  • proto/s2k/trunk/framework/input/test/s2k/statements/assign/assign5.s2k

    r3691 r3762  
    1 function struct A FunctionExpressions() {
     1function FunctionExpressions() {
    22         stream<1> a = b.Advance();
    33};
  • proto/s2k/trunk/framework/input/test/s2k/statements/assign/assign6.s2k

    r3691 r3762  
    1 function void Assignments() {
     1function Assignments() {
    22        stream<1> s;
    33        stream<1> a;
  • proto/s2k/trunk/framework/input/test/s2k/statements/if/if1.s2k

    r3692 r3762  
    1 function void Function() {             
     1function Function() {           
    22        stream cursor;
    33        if(cursor) {
  • proto/s2k/trunk/framework/input/test/s2k/statements/if/if2.s2k

    r3692 r3762  
    1 function void Function() {     
     1function Function() {   
    22       
    33        stream cursor;
  • proto/s2k/trunk/framework/input/test/s2k/statements/if/if3.s2k

    r3692 r3762  
    1 function void Function() {     
     1function Function() {   
    22       
    33        stream cursor;
  • proto/s2k/trunk/framework/input/test/s2k/statements/if/if4.s2k

    r3692 r3762  
    1 function void Function() {     
     1function Function() {   
    22       
    33        stream cursor;
  • proto/s2k/trunk/framework/input/test/s2k/statements/localDecl/localDecl1.s2k

    r3693 r3762  
    1 function void localDecl() {
     1function localDecl() {
    22
    33        struct BasisBits A;
  • proto/s2k/trunk/framework/input/test/s2k/statements/localDecl/localDecl2.s2k

    r3693 r3762  
    1 function void localDecl() {
     1function localDecl() {
    22        struct BasisBits A;
    33        struct BasisBits B;
  • proto/s2k/trunk/framework/input/test/s2k/statements/localDecl/localDecl3.s2k

    r3693 r3762  
    1 function void localDecl() {
     1function localDecl() {
    22        stream<1> A;
    33        stream B;
  • proto/s2k/trunk/framework/input/test/s2k/statements/localDecl/localDecl4.s2k

    r3693 r3762  
    1 function void Assignments() {
     1function Assignments() {
    22        stream a;
    33        stream<1> s = a;
  • proto/s2k/trunk/framework/input/test/s2k/statements/while/while1.s2k

    r3694 r3762  
    1 function void While() {
     1function While() {     
    22                       
    33        stream<1> cursor = 1;
  • proto/s2k/trunk/framework/input/test/s2k/statements/while/while2.s2k

    r3694 r3762  
    1 function void While() {
     1function While() {     
    22       
    33        stream<1> cursor;
  • proto/s2k/trunk/framework/input/test/s2k/statements/while/while3.s2k

    r3694 r3762  
    1 function void Function() {     
     1function Function() {   
    22        stream<1> cursor1;
    33       
  • proto/s2k/trunk/framework/input/test/s2k/statements/while/while4.s2k

    r3694 r3762  
    1 function void Function(struct TagCallouts tagCallouts, struct Lex lex) {       
     1function Function(struct TagCallouts tagCallouts, struct Lex lex) {     
    22
    33        stream<1> starts_accum = 0;
  • proto/s2k/trunk/framework/input/test/s2k/test.s2k

    r3685 r3762  
    3232};
    3333
    34 function void ClassifyBytes(struct Basis_bits basis_bits, struct Lex lex) {
     34function ClassifyBytes(struct Basis_bits basis_bits, struct Lex lex) {
    3535    stream temp1 = (basis_bits.bit_1 & (~ basis_bits.bit_0));
    3636    stream temp2 = (basis_bits.bit_2 & (~ basis_bits.bit_3));
     
    6060}
    6161
    62 function void Match(struct Lex lex, struct Matches matches) {
     62function Match(struct Lex lex, struct Matches matches) {
    6363    stream m0 = lex.a;
    6464    stream m1 = (pablo.Advance(m0) & lex.p);
     
    6969}
    7070
    71 function void MatchLines1(struct Lex lex, struct Matches matches, struct Lines lines) {
     71function MatchLines1(struct Lex lex, struct Matches matches, struct Lines lines) {
    7272    stream last_start = pablo.First();
    7373    stream LF_or_match = (lex.LF | matches.all_matched);
     
    8686}
    8787
    88 function void MatchLines2(struct Lex lex, struct Matches matches, struct Lines lines) {
     88function MatchLines2(struct Lex lex, struct Matches matches, struct Lines lines) {
    8989    stream last_start = pablo.Mask(1,0);
    9090    last_start = (pablo.Advance((~ last_start)) ^ (~ last_start));
     
    104104}
    105105
    106 function void FilterMatchLines(struct Data data, struct Output output) {
     106function FilterMatchLines(struct Data data, struct Output output) {
    107107    output.lines = pablo.filter_bytes(data, (~ lines.all_matched));
    108108}
    109109
    110 function void CountLines(struct Lex lex, struct Lines lines) {
     110function CountLines(struct Lex lex, struct Lines lines) {
    111111    return pablo.PopCount((pablo.MatchStar(lines, (~ lex.LF)) & lex.LF)) ;
    112112}
Note: See TracChangeset for help on using the changeset viewer.