Ignore:
Timestamp:
Dec 2, 2012, 12:50:44 AM (6 years ago)
Author:
ksherdy
Message:

General refactoring.

File:
1 edited

Legend:

Unmodified
Added
Removed
  • proto/pablo/ReadMe.txt

    r2702 r2710  
    165165
    166166Pablo language control structures.     
    167        
     167
     168Neither
     169
     170Ci (Carry In Only Mode)
     171
     172- While statements iteration i>1
     173
     174Co (Carry Out Only Mode)
     175
    168176Ci/Co (Carry In / Carry Out Mode)
    169177
     
    171179- If statements
    172180
    173 Ci (Carry In Only Mode)
    174 
    175 - While statements iteration i>1
    176 
    177 Co (Carry Out Only Mode)
    178 
    179 ...
    180 
    181 Pablo builtins
    182 
    183 ScanToFirst - Special consideration at initial block as well as atEOF, i.e. set carry bit at SOF, inFile(), atEOF()?
    184 SpanUpTo        - Special consideration atEOF, i.e. check to ensure scan terminates at a valid position
    185 Advance
    186 AdvanceN
    187 
    188 + Block Types
     181+ Potential Block Types
    189182
    190183Initial block(ScanToFirst)
     
    193186Initial/Final block
    194187
     18815. Apply &~ EOF_mask to all pablo builtin operations.
     189
     190+ Final Block EOF_mask
     191
     192Builtins
     193
     194AdvanceThenScanThru(M,S)        --> AdvanceThenScanThru(M, (S &~ EOF_mask))
     195AdvanceThenScanTo(M,S)          --> AdvanceThenScanThru(M,~(S &~ EOF_mask))
     196
     197
     198inFile(E) --> S & EOF_mask  --> assert_0(inFile(E))
     199i.e. tests only bits within the file the extent and then test none of this set of bits is marked
     200
     201atEOF(E)  --> S &~ EOF_mask --> assert_0(atEOF(E)) 
     202i.e. tests no bit beyond the file extents is marked
     203
     204Control Structures
     205
     206while (E) { S }
     207
     208-->
     209
     210if(bitblock::any( (E | carry_test(lower,count) &~ EOF_mask ) )
     211{
     212        S
     213       
     214        while (bitblock::any(simd_and(E, EOF_mask))
     215        {
     216                S
     217        }
     218}
     219
     220if (E) { S }
     221
     222-->
     223
     224if(bitblock::any( (E | carry_test(lower,count) &~ EOF_mask ) )
     225{
     226        S
     227}
Note: See TracChangeset for help on using the changeset viewer.