version 1.15, 2004/04/10 10:05:03
|
version 1.24, 2012/07/23 14:15:51
|
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,2003 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 66 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 12 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 78 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 113 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" |