Diff for /gforth/comp-i.fs between versions 1.13 and 1.25

version 1.13, 2003/08/04 20:32:34 version 1.25, 2012/07/23 14:46:31
Line 1 Line 1
 \ Compare nonrelocatable images and produce a relocatable image  \ Compare nonrelocatable images and produce a relocatable image
   
 \ Copyright (C) 1996,1997,1998,2002 Free Software Foundation, Inc.  \ Copyright (C) 1996,1997,1998,2002,2003,2004,2007,2010 Free Software Foundation, Inc.
   
 \ This file is part of Gforth.  \ This file is part of Gforth.
   
 \ Gforth is free software; you can redistribute it and/or  \ Gforth is free software; you can redistribute it and/or
 \ modify it under the terms of the GNU General Public License  \ modify it under the terms of the GNU General Public License
 \ as published by the Free Software Foundation; either version 2  \ as published by the Free Software Foundation, either version 3
 \ of the License, or (at your option) any later version.  \ of the License, or (at your option) any later version.
   
 \ This program is distributed in the hope that it will be useful,  \ This program is distributed in the hope that it will be useful,
Line 15 Line 15
 \ GNU General Public License for more details.  \ GNU General Public License for more details.
   
 \ You should have received a copy of the GNU General Public License  \ You should have received a copy of the GNU General Public License
 \ along with this program; if not, write to the Free Software  \ along with this program. If not, see http://www.gnu.org/licenses/.
 \ Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA 02111, USA.  
   
 s" address-unit-bits" environment? drop constant bits/au  s" address-unit-bits" environment? drop constant bits/au
 6 constant dodoes-tag  7 constant dodoes-tag
   
 : write-cell { w^ w  file-id -- ior }  : write-cell { w^ w  file-id -- ior }
     \ write a cell to the file      \ write a cell to the file
     w cell file-id write-file ;      w cell file-id write-file ;
   
 : th ( addr1 n -- addr2 )  
     cells + ;  
   
 : bset ( bmask c-addr -- )  : bset ( bmask c-addr -- )
     tuck c@ or swap c! ;       tuck c@ or swap c! ; 
   
Line 43  s" address-unit-bits" environment? drop Line 39  s" address-unit-bits" environment? drop
     if      if
         ." : images have the same base address; producing only a data-relocatable image" cr          ." : images have the same base address; producing only a data-relocatable image" cr
     else      else
         offset abs expected-offset <> abort" images produced by different engines"          \ the following sanity check produces false positices with exec-shield
           \ offset abs expected-offset <> abort" images produced by different engines"
         ."  offset=" offset . cr          ."  offset=" offset . cr
         0 image1 i-field + ! 0 image2 i-field + !          0 image1 i-field + ! 0 image2 i-field + !
     endif      endif
Line 65  s" address-unit-bits" environment? drop Line 62  s" address-unit-bits" environment? drop
     doffset 0= abort" images have the same dictionary base address"      doffset 0= abort" images have the same dictionary base address"
     ." data offset=" doffset . cr      ." data offset=" doffset . cr
     ." code" image1 image2 cell     26 cells image-data { cbase coffset }      ." code" image1 image2 cell     26 cells image-data { cbase coffset }
     ."   xt" image1 image2 11 cells 22 cells image-data { xbase xoffset }      ."   xt" image1 image2 13 cells 22 cells image-data { xbase xoffset }
     size 0      size 0
     u+do      u+do
         image1 i th @ image2 i th @ { cell1 cell2 }          image1 i th @ image2 i th @ { cell1 cell2 }
Line 77  s" address-unit-bits" environment? drop Line 74  s" address-unit-bits" environment? drop
             coffset 0<> cell1 coffset + cell2 = and              coffset 0<> cell1 coffset + cell2 = and
             if              if
                 cell1 cbase - cell / { tag }                  cell1 cbase - cell / { tag }
                 tag dodoes-tag =  
                 if  
                     \ make sure that the next cell will not be tagged  
                     \ !! can probably be optimized away with hybrid threading  
                     dbase negate image1 i 1+ th +!  
                     dbase doffset + negate image2 i 1+ th +!  
                 endif  
                 tag >tag $4000 xor file-id write-cell throw                  tag >tag $4000 xor file-id write-cell throw
                 i reloc-bits set-bit                  i reloc-bits set-bit
             else              else
                 xoffset 0<> cell1 xoffset + cell2 = and                  xoffset 0<> cell1 xoffset + cell2 = and
                 if                  if
                     cell1 xbase - cell / { tag }                      cell1 xbase - cell / { tag }
                     tag dodoes-tag =  
                     if  
                         \ make sure that the next cell will not be tagged  
                         \ !! can probably be optimized away with hybrid threading  
                         dbase negate image1 i 1+ th +!  
                         dbase doffset + negate image2 i 1+ th +!  
                     endif  
                     tag >tag file-id write-cell throw                      tag >tag file-id write-cell throw
                     i reloc-bits set-bit                      i reloc-bits set-bit
                 else                  else
Line 112  s" address-unit-bits" environment? drop Line 95  s" address-unit-bits" environment? drop
   
 : comp-image ( "image-file1" "image-file2" "new-image" -- )  : comp-image ( "image-file1" "image-file2" "new-image" -- )
     name slurp-file { image1 size1 }      name slurp-file { image1 size1 }
     image1 size1 s" Gforth3" search 0= abort" not a Gforth image"      image1 size1 s" Gforth4" search 0= abort" not a Gforth image"
     drop 8 + image1 - { header-offset }      drop 8 + image1 - { header-offset }
     size1 aligned size1 <> abort" unaligned image size"      size1 aligned size1 <> abort" unaligned image size"
     image1 header-offset + 2 cells + @ header-offset + size1 <> abort" header gives wrong size"      image1 header-offset + 2 cells + @ header-offset + size1 <> abort" header gives wrong size"

Removed from v.1.13  
changed lines
  Added in v.1.25


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