version 1.2, 2003/11/03 20:13:35
|
version 1.3, 2003/11/03 20:39:03
|
Line 33
|
Line 33
|
\ \E regs 2 cells + 1 0 stack-state ss1 |
\ \E regs 2 cells + 1 0 stack-state ss1 |
\ \E regs 1 cells + 2 1 stack-state ss2 |
\ \E regs 1 cells + 2 1 stack-state ss2 |
\ \E regs 0 cells + 3 2 stack-state ss3 |
\ \E regs 0 cells + 3 2 stack-state ss3 |
\E regs 1 0 stack-state ss1 |
\E regs 1 cells + 0 -1 stack-state ss0 |
|
\E regs 1 0 stack-state ss1 |
|
|
\ the first of these is the default state (for now) |
\ the first of these is the default state (for now) |
\ \E state S0 |
|
\E state S1 |
\E state S1 |
|
\E state S0 |
\ \E state S2 |
\ \E state S2 |
\ \E state S3 |
\ \E state S3 |
|
|
\ \E ss0 data-stack S0 set-ss |
\E ss0 data-stack S0 set-ss |
\E ss1 data-stack S1 set-ss |
\E ss1 data-stack S1 set-ss |
\ \E ss2 data-stack S2 set-ss |
\ \E ss2 data-stack S2 set-ss |
\ \E ss3 data-stack S3 set-ss |
\ \E ss3 data-stack S3 set-ss |
|
|
\ \E IPss1 inst-stream S0 set-ss |
\E IPss1 inst-stream S0 set-ss |
\E IPss1 inst-stream S1 set-ss |
\E IPss1 inst-stream S1 set-ss |
\ \E IPss1 inst-stream S2 set-ss |
\ \E IPss1 inst-stream S2 set-ss |
\ \E IPss1 inst-stream S3 set-ss |
\ \E IPss1 inst-stream S3 set-ss |
|
|
\E data-stack to cache-stack |
\E data-stack to cache-stack |
\ \E here 4 cache-states 2! s0 , s1 , s2 , s3 , |
\ \E here 4 cache-states 2! s0 , s1 , s2 , s3 , |
\E here 1 cache-states 2! s1 , |
\E here 1 cache-states 2! s0 , s1 , |
|
|
\ !! the following should be automatic |
\ !! the following should be automatic |
\E S1 to state-default |
\E S1 to state-default |