Diff for /gforth/arch/alpha/asm.fs between versions 1.1 and 1.4

version 1.1, 1999/02/02 22:02:54 version 1.4, 2000/06/17 12:01:55
Line 1 Line 1
   
 \ bernd thallner 9725890 881  \ bernd thallner 9725890 881
 \ assembler in forth for alpha  \ assembler in forth for alpha
   
 \ requires code.fs  \ require ../../code.fs
   
   get-current
 also assembler definitions  also assembler definitions
   
   \ register
   
  $0 constant v0   $0 constant v0
  $1 constant t0   $1 constant t0
  $2 constant t1   $2 constant t1
Line 21  also assembler definitions Line 25  also assembler definitions
  $d constant s4   $d constant s4
  $e constant s5   $e constant s5
  $f constant fp   $f constant fp
 $10 constant a0  \ commented out to avoid shadowing hex numbers
 $11 constant a1  \  $10 constant a0
 $12 constant a2  \  $11 constant a1
 $13 constant a3  \  $12 constant a2
 $14 constant a4  \  $13 constant a3
 $15 constant a5  \  $14 constant a4
   \  $15 constant a5
 $16 constant t8  $16 constant t8
 $17 constant t9  $17 constant t9
 $18 constant t10  $18 constant t10
Line 38  $1d constant gp Line 43  $1d constant gp
 $1e constant sp  $1e constant sp
 $1f constant zero  $1f constant zero
   
 : shift ( a n -- a<<=n )  \ util
 0  
 ?do  : h@ ( addr -- n )              \ 32 bit fetch
   2*  dup dup aligned = if
 loop    @
     $00000000ffffffff and
   else
     4 - @
     $20 rshift
   endif
   ;
   
   : h! ( n addr -- )              \ 32 bit store
   dup dup aligned = if
     dup @
     $ffffffff00000000 and
     rot or
     swap !
   else
     4 - dup @
     $00000000ffffffff and
     rot $20 lshift or
     swap !
   endif
 ;  ;
   
 : h, ( h -- )                   \ 32 bit store  : h, ( h -- )                   \ 32 bit store + allot
 here here aligned = if  here here aligned = if
   here !    here !
 else  else
   32 shift     32 lshift
   here 4 - dup    here 4 - dup
   @ rot or    @ rot or
   swap !    swap !
Line 57  endif Line 81  endif
 4 allot  4 allot
 ;  ;
   
   \ format
   
 : Bra ( oo )                    \ branch instruction format  : Bra ( oo )                    \ branch instruction format
   create ,    create ,
 does> ( ra, branch_disp, addr )  does> ( ra, branch_disp, addr )
   @ 26 shift    @ 26 lshift
   swap $1fffff and or    swap $1fffff and or
   swap $1f and 21 shift or h,    swap $1f and 21 lshift or h,
 ;  ;
   
 : Mbr ( oo.h )                  \ memory branch instruction format  : Mbr ( oo.h )                  \ memory branch instruction format
   create 2,    create 2,
 does> ( ra, rb, hint, addr )  does> ( ra, rb, hint, addr )
   2@ 14 shift    2@ 14 lshift
   swap 26 shift or    swap 26 lshift or
   swap $3fff and or    swap $3fff and or
   swap $1f and 16 shift or    swap $1f and 16 lshift or
   swap $1f and 21 shift or    swap $1f and 21 lshift or
   h,    h,
 ;   ; 
   
 : F-P ( oo.fff )                \ floating-point operate instruction format  : F-P ( oo.fff )                \ floating-point operate instruction format
   create 2,    create 2,
 does> ( fa, fb, fc, addr )  does> ( fa, fb, fc, addr )
   2@ 5 shift    2@ 5 lshift
   swap 26 shift or    swap 26 lshift or
   swap $1f and or    swap $1f and or
   swap $1f and 16 shift or    swap $1f and 16 lshift or
   swap $1f and 21 shift or    swap $1f and 21 lshift or
   h,    h,
 ;  ;
   
 : Mem ( oo )                    \ memory instruction format  : Mem ( oo )                    \ memory instruction format
   create ,    create ,
 does> ( ra, memory_disp, rb, addr )  does> ( ra, memory_disp, rb, addr )
   @ 26 shift    @ 26 lshift
   swap $1f and 16 shift or    swap $1f and 16 lshift or
   swap $ffff and or     swap $ffff and or 
   swap $1f and 21 shift or    swap $1f and 21 lshift or
   h,    h,
 ;  ;
   
Line 101  does> ( ra, memory_disp, rb, addr ) Line 127  does> ( ra, memory_disp, rb, addr )
   create 2,    create 2,
 does> ( ra, rb, addr )  does> ( ra, rb, addr )
   2@    2@
   swap 26 shift or    swap 26 lshift or
   swap $1f and 16 shift or    swap $1f and 16 lshift or
   swap $1f and 21 shift or    swap $1f and 21 lshift or
   h,    h,
 ;  ;
   
Line 111  does> ( ra, rb, addr ) Line 137  does> ( ra, rb, addr )
   create 2,    create 2,
 does> ( ra, rb, rc, addr )  does> ( ra, rb, rc, addr )
   2@    2@
   5 shift    5 lshift
   swap 26 shift or    swap 26 lshift or
   swap $1f and or    swap $1f and or
   swap $1f and 16 shift or    swap $1f and 16 lshift or
   swap $1f and 21 shift or    swap $1f and 21 lshift or
   h,     h, 
 ;  ;
   
Line 123  does> ( ra, rb, rc, addr ) Line 149  does> ( ra, rb, rc, addr )
   create 2,    create 2,
 does> ( ra, lit, rc, addr )  does> ( ra, lit, rc, addr )
   2@    2@
   5 shift    5 lshift
   swap 26 shift or    swap 26 lshift or
   1 12 shift or    1 12 lshift or
   swap $1f and or    swap $1f and or
   swap $ff and 13 shift or    swap $ff and 13 lshift or
   swap $1f and 21 shift or    swap $1f and 21 lshift or
   h,     h, 
 ;  ;
   
 : Pcd ( oo )                    \ palcode instruction format  : Pcd ( oo )                    \ palcode instruction format
   create ,    create ,
 does> ( palcode, addr )  does> ( palcode, addr )
   @ 26 shift    @ 26 lshift
   swap $3ffffff and or    swap $3ffffff and or
   h,    h,
 ;  ;
   
   \ instructions
   
 $15 $80   F-P  addf,  $15 $80   F-P  addf,
 $15 $a0   F-P  addg,  $15 $a0   F-P  addg,
 $10 $00   Opr  addl,  $10 $00   Opr  addl,
Line 374  $12 $30   Opr# zap#, Line 402  $12 $30   Opr# zap#,
 $12 $31   Opr  zapnot,  $12 $31   Opr  zapnot,
 $12 $31   Opr# zapnot#,  $12 $31   Opr# zapnot#,
   
   \ structures
   
   \ <register_number> if, <if_code> [ else, <else_code> ] endif,
   
   : ahead, ( -- asmorig )
       31 0 br,
       here 4 -
   ;
   
   : if, ( -- asmorig )
     0 beq,
     here 4 -
   ;
   
   : endif, ( asmorig -- )
     dup here swap - 4 - 4 /
     $1fffff and
     over h@ or swap h!
   ;
   
   : else, ( asmorig1 -- asmorig2 )
       ahead,
       swap
       endif,
   ;
   
   \ begin, <code> again,
   
   : begin, ( -- asmdest )
     here
   ;
   
   : again, ( asmdest -- )
     here - 4 - 4 /
     $1fffff and
     31 swap br,
   ;
   
   \ begin, <code> <register_number> until,
   
   : until, ( asmdest -- )
     here rot swap - 4 - 4 /
     $1fffff and
     bne,
   ;
   
   \ begin, <register_number> while, <code> repeat,
   
   : while, ( asmdest -- asmorig asmdest )
     if,
     swap
   ;
   
   : repeat, ( asmorig asmdest -- )
     again,
     endif,
   ;
   
   \  \ jump marks
   
   \  \ example:
   
   \  \ init_marktbl               \ initializes mark table
   \  \ 31 0 br,
   \  \ 0 store_branch     \ store jump address for mark 0
   \  \ 1 2 3 addf,
   \  \ 0 set_mark         \ store mark 0
   \  \ 2 3 4 addf,
   \  \ 2 0 beq,
   \  \ 0 store_branch     \ store jump address for mark 0
   \  \ calculate_marks       \ calculate all jumps
   
   \  \ with <mark_address> <jump_address> calculate_branch you can calculate the
   \  \ displacement field without the mark_table for one branch
   
   \  \ example:
   \  \ here 31 0 br,
   \  \ here 1 2 3 addf,
   \  \ calculate_branch
   
   \  5 constant mark_numbers
   \  5 constant mark_uses
   
   \  create mark_table
   \  mark_numbers mark_uses 1+ * cells allot
   
   \  : init_marktbl ( -- )                        \ initializes mark table
   \    mark_table mark_numbers mark_uses 1+ * cells +
   \    mark_table
   \    begin
   \      over over >
   \    while
   \      dup 0 swap !
   \      1 cells +
   \    repeat
   \    drop drop
   \  ;
   
   \  : set_mark ( mark_number -- )                \ sets mark, store address in mark table
   \    dup mark_numbers >= abort" error, illegal mark number"
   \    mark_uses 1+ * cells
   \    mark_table + here 8 - swap !
   \  ;
   
   \  : store_branch ( mark_number -- )    \ stores address of branch in mark table
   \    dup mark_numbers >= abort" error, illegal mark number"
   \    mark_uses 1+ * cells
   \    mark_table + 1 cells +
   \    dup mark_uses cells + swap
   \    begin
   \      over over > over @ and 
   \    while
   \      1 cells +
   \    repeat
   \    swap over = abort" error, not enough space in mark_table, increase mark_uses"
   \    here 4 - swap !
   \  ;
   
   \  : calculate_branch ( mark_addr branch_addr -- ) \ calculate branch displacement field for one branch
   \    swap over - 4 + 4 /
   \    $1fffff and
   \    over h@ or swap h!
   \  ;
   
   \  : calculate_mark ( tb mark_address -- tb )   \ calculates branch displacement field for one mark
   \    over 1 cells +
   \    dup mark_uses cells + swap
   \    begin
   \      over over >
   \    while
   \      2over swap drop ( ei i markaddr ej j markaddr )
   \      over @
   \      dup if
   \        calculate_branch
   \      else
   \        drop drop
   \      endif
   \      1 cells +
   \    repeat drop drop drop
   \  ;
   
   \  : calculate_marks ( -- )             \ calculates branch displacement field for all marks
   \    mark_table mark_numbers 1- mark_uses 1+ * cells +
   \    mark_table
   \    begin
   \      over over >=
   \    while
   \      dup @
   \        dup if \ used mark
   \          calculate_mark
   \        else
   \          drop
   \        endif
   \      mark_uses 1+ cells +
   \    repeat
   \    drop drop
   \  ;
   
   previous set-current
   
   

Removed from v.1.1  
changed lines
  Added in v.1.4


FreeBSD-CVSweb <freebsd-cvsweb@FreeBSD.org>