Powered by ViewCVS 1.0-dev
| 1 : | anton | 1.1 | \ Compare nonrelocatable images and produce a relocatable image |
| 2 : | |||
| 3 : | anton | 1.16 | \ Copyright (C) 1996,1997,1998,2002,2003,2004 Free Software Foundation, Inc. |
| 4 : | anton | 1.1 | |
| 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 : | anton | 1.5 | \ Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA 02111, USA. |
| 20 : | anton | 1.1 | |
| 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 : | anton | 1.7 | : bset ( bmask c-addr -- ) |
| 32 : | tuck c@ or swap c! ; | ||
| 33 : | |||
| 34 : | anton | 1.1 | : set-bit { u addr -- } |
| 35 : | \ set bit u in bit-vector addr | ||
| 36 : | u bits/au /mod | ||
| 37 : | >r 1 bits/au 1- rot - lshift | ||
| 38 : | anton | 1.7 | r> addr + bset ; |
| 39 : | anton | 1.1 | |
| 40 : | anton | 1.9 | : image-data { image1 image2 i-field expected-offset -- base offset } |
| 41 : | image1 i-field + @ image2 i-field + @ over - { base offset } | ||
| 42 : | offset 0= | ||
| 43 : | if | ||
| 44 : | ." : images have the same base address; producing only a data-relocatable image" cr | ||
| 45 : | else | ||
| 46 : | anton | 1.15 | \ the following sanity check produces false positices with exec-shield |
| 47 : | \ offset abs expected-offset <> abort" images produced by different engines" | ||
| 48 : | anton | 1.9 | ." offset=" offset . cr |
| 49 : | 0 image1 i-field + ! 0 image2 i-field + ! | ||
| 50 : | endif | ||
| 51 : | base offset ; | ||
| 52 : | pazsan | 1.11 | |
| 53 : | : >tag ( index -- tag ) | ||
| 54 : | pazsan | 1.13 | dup dodoes-tag 2 + > IF |
| 55 : | pazsan | 1.11 | $21 1 DO dup tag-offsets I cells + @ < IF |
| 56 : | pazsan | 1.13 | tag-offsets I 1- cells + @ - I 1- 9 lshift + negate |
| 57 : | pazsan | 1.11 | UNLOOP EXIT THEN LOOP |
| 58 : | THEN -2 swap - ; | ||
| 59 : | anton | 1.9 | |
| 60 : | anton | 1.1 | : compare-images { image1 image2 reloc-bits size file-id -- } |
| 61 : | \G compares image1 and image2 (of size cells) and sets reloc-bits. | ||
| 62 : | \G offset is the difference for relocated addresses | ||
| 63 : | \ this definition is certainly to long and too complex, but is | ||
| 64 : | \ hard to factor. | ||
| 65 : | image1 @ image2 @ over - { dbase doffset } | ||
| 66 : | doffset 0= abort" images have the same dictionary base address" | ||
| 67 : | ." data offset=" doffset . cr | ||
| 68 : | anton | 1.9 | ." code" image1 image2 cell 26 cells image-data { cbase coffset } |
| 69 : | ." xt" image1 image2 11 cells 22 cells image-data { xbase xoffset } | ||
| 70 : | anton | 1.1 | size 0 |
| 71 : | u+do | ||
| 72 : | image1 i th @ image2 i th @ { cell1 cell2 } | ||
| 73 : | cell1 doffset + cell2 = | ||
| 74 : | if | ||
| 75 : | cell1 dbase - file-id write-cell throw | ||
| 76 : | i reloc-bits set-bit | ||
| 77 : | else | ||
| 78 : | coffset 0<> cell1 coffset + cell2 = and | ||
| 79 : | if | ||
| 80 : | cell1 cbase - cell / { tag } | ||
| 81 : | tag dodoes-tag = | ||
| 82 : | if | ||
| 83 : | \ make sure that the next cell will not be tagged | ||
| 84 : | anton | 1.9 | \ !! can probably be optimized away with hybrid threading |
| 85 : | anton | 1.1 | dbase negate image1 i 1+ th +! |
| 86 : | dbase doffset + negate image2 i 1+ th +! | ||
| 87 : | endif | ||
| 88 : | pazsan | 1.11 | tag >tag $4000 xor file-id write-cell throw |
| 89 : | anton | 1.1 | i reloc-bits set-bit |
| 90 : | else | ||
| 91 : | anton | 1.9 | xoffset 0<> cell1 xoffset + cell2 = and |
| 92 : | anton | 1.1 | if |
| 93 : | anton | 1.9 | cell1 xbase - cell / { tag } |
| 94 : | tag dodoes-tag = | ||
| 95 : | if | ||
| 96 : | \ make sure that the next cell will not be tagged | ||
| 97 : | \ !! can probably be optimized away with hybrid threading | ||
| 98 : | dbase negate image1 i 1+ th +! | ||
| 99 : | dbase doffset + negate image2 i 1+ th +! | ||
| 100 : | endif | ||
| 101 : | pazsan | 1.11 | tag >tag file-id write-cell throw |
| 102 : | anton | 1.9 | i reloc-bits set-bit |
| 103 : | else | ||
| 104 : | cell1 file-id write-cell throw | ||
| 105 : | cell1 cell2 <> | ||
| 106 : | if | ||
| 107 : | 0 i th 9 u.r cell1 17 u.r cell2 17 u.r cr | ||
| 108 : | endif | ||
| 109 : | anton | 1.1 | endif |
| 110 : | endif | ||
| 111 : | endif | ||
| 112 : | loop ; | ||
| 113 : | |||
| 114 : | : comp-image ( "image-file1" "image-file2" "new-image" -- ) | ||
| 115 : | name slurp-file { image1 size1 } | ||
| 116 : | anton | 1.10 | image1 size1 s" Gforth3" search 0= abort" not a Gforth image" |
| 117 : | anton | 1.1 | drop 8 + image1 - { header-offset } |
| 118 : | size1 aligned size1 <> abort" unaligned image size" | ||
| 119 : | anton | 1.8 | image1 header-offset + 2 cells + @ header-offset + size1 <> abort" header gives wrong size" |
| 120 : | anton | 1.1 | name slurp-file { image2 size2 } |
| 121 : | size1 size2 <> abort" image sizes differ" | ||
| 122 : | name ( "new-image" ) w/o bin create-file throw { outfile } | ||
| 123 : | size1 header-offset - 1- cell / bits/au / 1+ { reloc-size } | ||
| 124 : | reloc-size allocate throw { reloc-bits } | ||
| 125 : | reloc-bits reloc-size erase | ||
| 126 : | image1 header-offset outfile write-file throw | ||
| 127 : | base @ hex | ||
| 128 : | image1 header-offset + image2 header-offset + reloc-bits | ||
| 129 : | size1 header-offset - aligned cell / outfile compare-images | ||
| 130 : | base ! | ||
| 131 : | reloc-bits reloc-size outfile write-file throw | ||
| 132 : | outfile close-file throw ; | ||
| 133 : | |||
| 134 : |
|
CVS Admin Powered by ViewCVS 1.0-dev |
ViewCVS and CVS Help |