Annotation of gforth/comp-i.fs, revision 1.5

1.1       anton       1: \ Compare nonrelocatable images and produce a relocatable image
                      2: 
1.3       anton       3: \ Copyright (C) 1996,1997,1998 Free Software Foundation, Inc.
1.1       anton       4: 
                      5: \ This file is part of Gforth.
                      6: 
                      7: \ Gforth is free software; you can redistribute it and/or
                      8: \ modify it under the terms of the GNU General Public License
                      9: \ as published by the Free Software Foundation; either version 2
                     10: \ of the License, or (at your option) any later version.
                     11: 
                     12: \ This program is distributed in the hope that it will be useful,
                     13: \ but WITHOUT ANY WARRANTY; without even the implied warranty of
                     14: \ MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
                     15: \ GNU General Public License for more details.
                     16: 
                     17: \ You should have received a copy of the GNU General Public License
                     18: \ along with this program; if not, write to the Free Software
1.5     ! anton      19: \ Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA 02111, USA.
1.1       anton      20: 
                     21: s" address-unit-bits" environment? drop constant bits/au
                     22: 6 constant dodoes-tag
                     23: 
                     24: : write-cell { w^ w  file-id -- ior }
                     25:     \ write a cell to the file
                     26:     w cell file-id write-file ;
                     27: 
                     28: : th ( addr1 n -- addr2 )
                     29:     cells + ;
                     30: 
                     31: : set-bit { u addr -- }
                     32:     \ set bit u in bit-vector addr
                     33:     u bits/au /mod
                     34:     >r 1 bits/au 1- rot - lshift
                     35:     r> addr +  cset ;
                     36: 
                     37: : compare-images { image1 image2 reloc-bits size file-id -- }
                     38:     \G compares image1 and image2 (of size cells) and sets reloc-bits.
                     39:     \G offset is the difference for relocated addresses
                     40:     \ this definition is certainly to long and too complex, but is
                     41:     \ hard to factor.
                     42:     image1 @ image2 @ over - { dbase doffset }
                     43:     doffset 0= abort" images have the same dictionary base address"
                     44:     ." data offset=" doffset . cr
                     45:     image1 cell+ @ image2 cell+ @ over - { cbase coffset }
                     46:     coffset 0=
                     47:     if
                     48:        ." images have the same code base address; producing only a data-relocatable image" cr
                     49:     else
1.2       pazsan     50:        coffset abs 22 cells <> abort" images produced by different engines"
1.1       anton      51:        ." code offset=" coffset . cr
                     52:        0 image1 cell+ ! 0 image2 cell+ !
                     53:     endif
                     54:     size 0
                     55:     u+do
                     56:        image1 i th @ image2 i th @ { cell1 cell2 }
                     57:        cell1 doffset + cell2 =
                     58:        if
                     59:            cell1 dbase - file-id write-cell throw
                     60:            i reloc-bits set-bit
                     61:        else
                     62:            coffset 0<> cell1 coffset + cell2 = and
                     63:            if
                     64:                cell1 cbase - cell / { tag }
                     65:                tag dodoes-tag =
                     66:                if
                     67:                    \ make sure that the next cell will not be tagged
                     68:                    dbase negate image1 i 1+ th +!
                     69:                    dbase doffset + negate image2 i 1+ th +!
                     70:                endif
                     71:                -2 tag - file-id write-cell throw
                     72:                i reloc-bits set-bit
                     73:            else
                     74:                cell1 file-id write-cell throw
                     75:                cell1 cell2 <>
                     76:                if
                     77:                    0 i th 9 u.r cell1 17 u.r cell2 17 u.r cr
                     78:                endif
                     79:            endif
                     80:        endif
                     81:     loop ;
                     82: 
                     83: : slurp-file ( c-addr1 u1 -- c-addr2 u2 )
                     84:     \ c-addr1 u1 is the filename, c-addr2 u2 is the file's contents
                     85:     r/o bin open-file throw >r
                     86:     r@ file-size throw abort" file too large"
                     87:     dup allocate throw swap
                     88:     2dup r@ read-file throw over <> abort" could not read whole file"
                     89:     r> close-file throw ;
                     90: 
                     91: : comp-image ( "image-file1" "image-file2" "new-image" -- )
                     92:     name slurp-file { image1 size1 }
1.4       pazsan     93:     image1 size1 s" Gforth2" search 0= abort" not a Gforth image"
1.1       anton      94:     drop 8 + image1 - { header-offset }
                     95:     size1 aligned size1 <> abort" unaligned image size"
                     96:     size1 image1 header-offset + 2 cells + @ header-offset + <> abort" header gives wrong size"
                     97:     name slurp-file { image2 size2 }
                     98:     size1 size2 <> abort" image sizes differ"
                     99:     name ( "new-image" ) w/o bin create-file throw { outfile }
                    100:     size1 header-offset - 1- cell / bits/au / 1+ { reloc-size }
                    101:     reloc-size allocate throw { reloc-bits }
                    102:     reloc-bits reloc-size erase
                    103:     image1 header-offset outfile write-file throw
                    104:     base @ hex
                    105:     image1 header-offset +  image2 header-offset +  reloc-bits
                    106:     size1 header-offset - aligned cell /  outfile  compare-images
                    107:     base !
                    108:     reloc-bits reloc-size outfile write-file throw
                    109:     outfile close-file throw ;
                    110: 
                    111:     

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