Untitled

39a40,41
> ----------- optimization -----------
> variable goPush: bit
50c52
<       insAddr <- pc;pc := ( pc + 1 as log numIns bits )||insQ -> ir--readIns();incPC()
---
>       readIns();incPC()
181c183
<       pc := 0 || sp:=0 || stopFlag := 0 || acc:=0 ||bcc:=0 ||
---
>       pc := 0 || sp:=0 || stopFlag := 0 || acc:=0 ||bcc:=0 ||goPush:=0 ||
194c196,197
<                       push0()
---
>                       acc:=0;
>                       goPush:=1
197c200
<                       push()
---
>                       goPush:=1
200c203
<                       push()
---
>                       goPush:=1
202c205,207
<                       push00()
---
>                       acc:=0;
>                       push();
>                       goPush:=1
206c211,212
<                       push0()
---
>                       acc:=0;
>                       goPush:=1
209c215
<                       push()
---
>                       goPush:=1
212c218
<                       push()
---
>                       goPush:=1
214c220,222
<                       push00()
---
>                       acc:=0;
>                       push();
>                       goPush:=1
220c228
<                       push()
---
>                       goPush:=1
224c232,290
<                       push()
---
>                       goPush:=1
>               | 0x59 then -- dup
>                       pop(); -- pop value
>                       push();
>                       goPush:=1
>               | 0x5A then -- dup_x1 Before:..., word2, word1 After:..., word1, word2, word1
>                       pop2(); -- bcc=word1, acc=word2
>                       ccc:=acc; -- word2
>                       acc:=bcc; -- word1
>                       push();   -- word1
>                       acc:=ccc; -- word2
>                       push();
>                       acc:=bcc;
>                       goPush:=1
>               | 0x5F then -- swap  Before:..., word2, word1 After:..., word1, word2
>                       pop2();
>                       ccc:=acc;
>                       acc:=bcc;
>                       push();
>                       acc:=ccc;
>                       goPush:=1
>               | 0x60 then -- IADD
>                       pop2();
>                       addAccBcc();
>                       goPush:=1
>               | 0x61..0x63 then -- LADD/FADD/DADD
>                       print "unimplemented instruction = ", ir
>               | 0x64 then -- ISUB
>                       pop2();
>                       subAccBcc();
>                       goPush:=1
>               | 0x74 then -- INEG
>                       pop();
>                       bcc:=acc;
>                       acc:=0;
>                       subAccBcc();
>                       goPush:=1
>               | 0x80 then -- IOR
>                       pop2();
>                       acc:=acc or bcc;
>                       goPush:=1
>               | 0x81 then -- LOR
>                       print "unimplemented instruction = ", ir
>               | 0x82 then -- IXOR
>                       pop2();
>                       acc:=acc xor bcc;
>                       goPush:=1
>               | 0x91 then -- i2b
>                       pop();
>                       acc:=(#acc[0..7]  as ENTRY_SIZE);
>                       goPush:=1
>               | 0x92 then -- i2c (Zero extended)
>                       pop();
>                       acc:=(#acc[0..15] @ #0 as ENTRY_SIZE);
>                       goPush:=1
>               | 0x93 then -- i2s (signed extended)
>                       pop();
>                       acc:=(#acc[0..15]  as ENTRY_SIZE);
>                       goPush:=1
310,322d375
<               | 0x59 then -- dup
<                       pop(); -- pop value
<                       push();
<                       push()
<               | 0x5A then -- dup_x1 Before:..., word2, word1 After:..., word1, word2, word1
<                       pop2(); -- bcc=word1, acc=word2
<                       ccc:=acc; -- word2
<                       acc:=bcc; -- word1
<                       push();   -- word1
<                       acc:=ccc; -- word2
<                       push();
<                       acc:=bcc;
<                       push()
331,347d383
<               | 0x5F then -- swap  Before:..., word2, word1 After:..., word1, word2
<                       pop2();
<                       ccc:=acc;
<                       acc:=bcc;
<                       push();
<                       acc:=ccc;
<                       push()
<               | 0x60 then -- IADD
<                       pop2();
<                       addAccBcc();
<                       push()
<               | 0x61..0x63 then -- LADD/FADD/DADD
<                       print "unimplemented instruction = ", ir
<               | 0x64 then -- ISUB
<                       pop2();
<                       subAccBcc();
<                       push()
352,357d387
<               | 0x74 then -- INEG
<                       pop();
<                       bcc:=acc;
<                       acc:=0;
<                       subAccBcc();
<                       push()
366,375d395
<               | 0x80 then -- IOR
<                       pop2();
<                       acc:=acc or bcc;
<                       push()
<               | 0x81 then -- LOR
<                       print "unimplemented instruction = ", ir
<               | 0x82 then -- IXOR
<                       pop2();
<                       acc:=acc xor bcc;
<                       push()
386,397d405
<               | 0x91 then -- i2b
<                       pop();
<                       acc:=(#acc[0..7]  as ENTRY_SIZE);
<                       push()
<               | 0x92 then -- i2c (Zero extended)
<                       pop();
<                       acc:=(#acc[0..15] @ #0 as ENTRY_SIZE);
<                       push()
<               | 0x93 then -- i2s (signed extended)
<                       pop();
<                       acc:=(#acc[0..15]  as ENTRY_SIZE);
<                       push()
501c509,512
<                       pc_out <- pc || acc_out <-acc
---
>                       case goPush of 0 then
>                               push()
>                       end
>                       ; pc_out <- pc || acc_out <-acc
514c525
< end
\ 檔案末沒有 newline 字元
---
> end