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

1.1     ! anton       1: \ Compare nonrelocatable images and produce a relocatable image
        !             2: 
        !             3: \ Copyright (C) 1996-1997 Free Software Foundation, Inc.
        !             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
        !            19: \ Foundation, Inc., 675 Mass Ave, Cambridge, MA 02139, USA.
        !            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
        !            50:        coffset abs 11 cells <> abort" images produced by different engines"
        !            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 }
        !            93:     image1 size1 s" Gforth1" search 0= abort" not a Gforth image"
        !            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>