wok-current annotate linld/stuff/src/pipehole.awk @ rev 21791

Fix loram dos boot
author Pascal Bellard <pascal.bellard@slitaz.org>
date Thu Aug 01 15:16:29 2019 +0200 (2019-08-01)
parents 68f9518c4cb0
children 1c40a6bea05c
rev   line source
pascal@21791 1 BEGIN { hold=0; is386=0; isload=0; isiso=0; istazboot=0; wascall=0; ishimem=0; label="none"; xlabel=""; file="" }
pascal@20458 2 function isnum(n) { return match(n,/^[0-9+-]/) }
pascal@20458 3 {
pascal@20632 4 sub(/segment word public/,"segment byte public")
pascal@20634 5
pascal@21576 6 if (/^@.*:$/ || / endp$/) afterjmp=0
pascal@21791 7 if (/^ \.386p$/) is386=1
pascal@21791 8 if (file == "" && /debug S/) { file=$3; gsub(/\"/,"",file) }
pascal@21791 9 if (file == "himem.cpp") {
pascal@21791 10 if (/remaining = m-/) ishimem=1
pascal@21791 11 if (ishimem == 1 && is386 == 0) {
pascal@21791 12 if (/si\+8\]$/ || /si\+4\]$/ || /si\+16\]$/) next
pascal@21791 13 if (/si\+6\]$/ || /si\+2\]$/ || /si\+14\]$/) sub(/mov dx,/,"les dx,d")
pascal@21791 14 if (/si\+12\],ax/ || /si\+16\],ax/ || /bp-2\],ax/) sub(/,ax/,",es")
pascal@21791 15 if (/do \{/) ishimem=0
pascal@21791 16 }
pascal@21791 17 } # file == "himem.cpp"
pascal@21791 18 if (file == "load.cpp") {
pascal@21757 19 sub(/DGROUP:_imgs\+65534/,"[di-2]")
pascal@21791 20 if (/short @1@366$/) isload=10
pascal@21791 21 if (isload == 10) { # LOAD.LST
pascal@21791 22 if (/^ je /) next
pascal@21791 23 if (/ptr @die\$qpxzc/) {
pascal@21791 24 $0=" jne @die@"
pascal@21791 25 isload=0
pascal@21791 26 }
pascal@21791 27 }
pascal@21791 28 if (/setup_sects == 0/) isload=9
pascal@21791 29 if (isload == 9) { # LOAD.LST
pascal@21791 30 sub(/,0/,",al")
pascal@21791 31 if (/jne/) isload=0
pascal@21791 32 }
pascal@21784 33 if (/fallback\)\[1\] == 0/) isload=8
pascal@21784 34 if (isload == 8) { # LOAD.LST
pascal@21784 35 if (/load_image/) isload=0
pascal@21784 36 else next
pascal@21784 37 }
pascal@21757 38 if (/cmd_line_ptr =/ && is386 == 0) isload=7
pascal@21757 39 if (isload == 7) { # LOAD.LST
pascal@21757 40 if (/add/ || /xor/ || /extrn/ || /N_LXLSH@/ || /cl,4/) next
pascal@21791 41 if (/enable A20 if needed/) {
pascal@21791 42 print " mov word ptr [bx+si],8000h"
pascal@21757 43 isload=0
pascal@21757 44 }
pascal@21791 45 if (/,ax/) $0=" mov bx,55"
pascal@21791 46 if (/si-463/) $0=" mov bx,-463"
pascal@21791 47 if (/si-465/) $0=" mov word ptr [bx+si-2],-23745"
pascal@21757 48 if (/,dx/) {
pascal@21757 49 print " mov cl,12"
pascal@21757 50 print " shr ax,cl"
pascal@21757 51 sub(/dx/,"ax")
pascal@21757 52 }
pascal@21757 53 }
pascal@21757 54 if (/\[0\] = m-\>fallback/) isload=6
pascal@21757 55 if (isload == 6) { # LOAD.LST
pascal@21757 56 if (/si\+2/) {
pascal@21757 57 print " inc si"
pascal@21757 58 $0=" inc si"
pascal@21757 59 }
pascal@21757 60 if (/les/) sub(/bx,/,"ax,")
pascal@21757 61 if (/bx\+4/ || /es:/) {
pascal@21757 62 if (/bx\+4/) isload=0
pascal@21757 63 next
pascal@21757 64 }
pascal@21757 65 if (/si\+6/) {
pascal@21757 66 print " xchg ax,di"
pascal@21757 67 print " movsw"
pascal@21757 68 print " movsw"
pascal@21757 69 print " movsw"
pascal@21757 70 print " movsw"
pascal@21757 71 print " xchg ax,di"
pascal@21757 72 next
pascal@21757 73 }
pascal@21757 74 }
pascal@21757 75 if (/version_string = /) isload=5
pascal@21757 76 if (isload == 5) { # LOAD.LST
pascal@21757 77 sub(/ax,/,"bx,")
pascal@21757 78 if (/_version_string,/) isload=0
pascal@21757 79 if (/mov bx,ax/) next
pascal@21757 80 }
pascal@21757 81 if (/topseg\(\)>>12/) isload=4
pascal@21757 82 if (isload == 4 && is386 == 0) { # LOAD.LST
pascal@21757 83 if (/push/ || /pop/) next
pascal@21757 84 if (/ax,cs/) {
pascal@21757 85 sub(/ax,cs/,"bx,cs")
pascal@21757 86 }
pascal@21757 87 if (/dx,dx/) next
pascal@21757 88 sub(/ax,dx/,"ax,bx")
pascal@21784 89 if (/call/) {
pascal@21784 90 print " cmp ax,0fffh"
pascal@21784 91 print " jae @sys@ok"
pascal@21784 92 print " mov ax,0fffh"
pascal@21784 93 print "@sys@ok:"
pascal@21784 94 isload=400
pascal@21784 95 }
pascal@21757 96 }
pascal@21791 97 if (isload == 400) {
pascal@21791 98 if (/call/) {
pascal@21791 99 print " extrn N_LXLSH@4:near"
pascal@21791 100 sub(/N_LXLSH@/,"N_LXLSH@4")
pascal@21791 101 }
pascal@21757 102 sub(/,0/,",dh")
pascal@21791 103 if (/_base_himem\+2/ || /pop/ || /push/) next
pascal@21791 104 if (/_base_himem$/) {
pascal@21791 105 sub(/mov dx,/,"les dx,d")
pascal@21791 106 isload++
pascal@21791 107 }
pascal@21791 108 }
pascal@21791 109 if (isload == 401) {
pascal@21791 110 sub(/,ax/,",es")
pascal@21791 111 if (/load_image/) isload=0
pascal@21757 112 }
pascal@21757 113 if (isload == 4 && is386) { # LOAD.LST
pascal@21757 114 sub(/dx,cs/,"edx,cs")
pascal@21757 115 sub(/eax/,"edx")
pascal@21784 116 if (/shl/) {
pascal@21784 117 print " mov ax,0fffh"
pascal@21784 118 print " cmp dx,ax"
pascal@21784 119 print " jae @sys@ok"
pascal@21784 120 print " xchg ax,dx"
pascal@21784 121 print "@sys@ok:"
pascal@21784 122 }
pascal@21757 123 sub(/ax,9/,"dx,9")
pascal@21758 124 if (/,0$/) sub(/,0/,",dh")
pascal@21757 125 if (/movzx/) next
pascal@21757 126 if (/fallback = base_himem/) { isload=0 }
pascal@21757 127 }
pascal@21754 128 if (/void load_initrd\(\)/) isload=3
pascal@21754 129 if (isload == 3) { # LOAD.LST
pascal@21754 130 if(/push di/ || /pop di/) next
pascal@21754 131 sub(/\[di/,"[bx")
pascal@21754 132 sub(/\di,/,"bx,")
pascal@21754 133 }
pascal@21750 134 if (/vid_mode = vid_mode/) isload=2
pascal@21750 135 if (isload == 2) { # LOAD.LST
pascal@21750 136 sub(/,0/,""); sub(/cmp /,"mov cx,")
pascal@21750 137 sub(/je/,"jcxz")
pascal@21750 138 if (/ax,word/) next
pascal@21750 139 sub(/,ax/,",cx")
pascal@21757 140 if (/version_string/ || /starting linux 1\.3\.73/) isload=0
pascal@21750 141 }
pascal@21791 142 if (/Not a kernel/ || /_rm_size=0x200/ || /heap_top = _rm_buf/) isload=1
pascal@21750 143 if (isload == 1) { # LOAD.LST
pascal@21791 144 if (/ptr .die\$qpxzc/) $0="@die@:\n" $0
pascal@21729 145 if (/mov al,byte ptr/ && is386) {
pascal@21729 146 print " movzx eax,byte ptr [si]"
pascal@21729 147 next
pascal@21729 148 }
pascal@21791 149 if (is386 == 0) {
pascal@21791 150 if (/di-5\],ax/) print " cwd"
pascal@21791 151 sub(/,0$/,",dx")
pascal@21791 152 }
pascal@21729 153 if (/ax,word ptr/) next
pascal@21729 154 if (/^ call/) isload=0
pascal@21729 155 }
pascal@21791 156 } # file == "load.cpp"
pascal@21791 157 if (file == "iso9660.cpp") {
pascal@21791 158 if (/<< SECTORBITS/) isiso=9
pascal@21791 159 if (isiso == 9) { # ISO9660.LST
pascal@21791 160 if (/dx,/) next
pascal@21791 161 sub(/mov ax,/,"les ax,d")
pascal@21791 162 if (/^ call/) {
pascal@21791 163 print " extrn N_LXLSH@ES:near"
pascal@21791 164 sub(/N_LXLSH@/,"N_LXLSH@ES")
pascal@21791 165 isiso=0
pascal@21791 166 }
pascal@21791 167 }
pascal@21791 168 if (/filesize =/) isiso=8
pascal@21791 169 if (isiso == 8) { # ISO9660.LST
pascal@21791 170 if (/ax,/) next
pascal@21791 171 sub(/mov dx,/,"les dx,d")
pascal@21791 172 sub(/,ax/,",es")
pascal@21791 173 if (/filemod/) isiso=0
pascal@21791 174 }
pascal@21754 175 if (/CD001/) isiso=7
pascal@21754 176 if (isiso == 7) { # ISO9660.LST
pascal@21754 177 sub(/mov ax,-1/,"dec ax")
pascal@21754 178 if (/jmp/) isiso=0
pascal@21754 179 }
pascal@21754 180 if (/int len =/) isiso=6
pascal@21754 181 if (isiso == 6) { # ISO9660.LST
pascal@21754 182 if (/dx,ax/) next
pascal@21754 183 sub(/ax/,"dx")
pascal@21754 184 sub(/cx,di/,"bx,di")
pascal@21754 185 sub(/cx,dx/,"bx,ax")
pascal@21754 186 sub(/di,dx/,"di,ax")
pascal@21754 187 if (/while/) isiso=2
pascal@21754 188 }
pascal@21754 189 if (/entrysize =/) isiso=5
pascal@21754 190 if (isiso == 5) { # ISO9660.LST
pascal@21754 191 if (/ax,ax/) next
pascal@21754 192 sub(/ax/,"cx")
pascal@21754 193 sub(/je/,"jcxz")
pascal@21754 194 if (/return/) isiso=0
pascal@21754 195 }
pascal@21735 196 if (/x->curdirsize == 0xFFFF/) isiso=4
pascal@21735 197 if (isiso == 4) { # ISO9660.LST
pascal@21754 198 sub(/DGROUP:_isostate\+18/,"[si+18]")
pascal@21754 199 sub(/DGROUP:_isostate\+20/,"[si+20]")
pascal@21747 200 if (/goto restarted/) isiso=0
pascal@21735 201 }
pascal@21791 202 } # file == "iso9660.cpp"
pascal@21791 203 if (file == "iso9660.cpp" || file == "tazboot.cpp") {
pascal@21754 204 if (/do s\+\+; while/) isiso=3
pascal@21754 205 if (/for \(p = s; \*s && \*s \!=/) isiso=3
pascal@21750 206 if (isiso == 3) { # ISO9660.LST, TAZBOOT.LST
pascal@21754 207 sub(/cmp byte ptr \[.i\]/,"sub al")
pascal@21754 208 if (/mov byte ptr \[bp-5\],al/) $0=" push ax"
pascal@21754 209 if (/mov al,byte ptr \[bp-5\]/) $0=" pop ax"
pascal@21754 210 if (/inc /) { r=$2; print; next }
pascal@21754 211 if (/al,0/) print " mov al,[" r "]"
pascal@21754 212 if (/al,byte ptr/) sub(/mov/,"xchg")
pascal@21754 213 if (/byte ptr \[.*\],0/) next
pascal@21791 214 if (/jmp/) {
pascal@21791 215 print " mov bx,si"
pascal@21791 216 $0=" db 0A8h ; test al,xx instead of " $0
pascal@21791 217 }
pascal@21754 218 if (/word ptr \[bp-4\]/) next
pascal@21754 219 if (/\) s\+\+;/ || /\],-1/) isiso=0
pascal@21735 220 }
pascal@21791 221 } # file == "iso9660.cpp" || file == "tazboot.cpp"
pascal@21791 222 if (file == "iso9660.cpp") {
pascal@21735 223 if (/endname = NULL/) isiso=2
pascal@21735 224 if (isiso == 2) { # ISO9660.LST
pascal@21735 225 if (/mov bx,cx/) next
pascal@21735 226 gsub(/cx/,"bx")
pascal@21754 227 sub(/DGROUP:_isostate\+35/,"[si+35]")
pascal@21735 228 }
pascal@21735 229 if (/const char \*n = name/) isiso=1
pascal@21735 230 if (isiso == 1) { # ISO9660.LST
pascal@21735 231 if ((/mov word ptr \[si\+32\],ax/ ) ||
pascal@21754 232 (/mov ax,word ptr \[si\+2\]/) ||
pascal@21735 233 (/bx,word ptr \[si\+32\]/) || (/ax,dx/)) next
pascal@21729 234 if (/dx,/) sub(/dx/,"ax")
pascal@21754 235 if ((/sub ax,word ptr \[si\+2\]/) ||
pascal@21754 236 (/\[si\+16\]/) || (/ax,di/)) sub(/ax/,"bx")
pascal@21754 237 if (/add word ptr \[si\+32\],ax/) $0=" add bx,word ptr [si+16]"
pascal@21735 238 if (/al,/ || /,al/) sub(/al/,"cl")
pascal@21754 239 if (/cmp byte ptr \[si\+34\],0/) $0=" or cl,cl"
pascal@21735 240 if (/jne @@0$/) next
pascal@21735 241 if (/jmp @3@58$/) $0=" je @3@58"
pascal@21754 242 sub(/mov ax,-1/,"dec ax")
pascal@21754 243 }
pascal@21791 244 } # file == "iso9660.cpp"
pascal@21754 245 if (/endp/) { xlabel = ""; goto2=0 }
pascal@21754 246 if (/isoopen\(s\+7\)/ && xlabel == "") goto2=1
pascal@21754 247 if (/_vid_mode,ax/ && xlabel == "") goto2=1
pascal@21791 248 if (/_initrd_name,si/ && xlabel == "") goto2=1
pascal@21754 249 if (/_base_himem\+2,/ && xlabel == "@") goto2=1
pascal@21791 250 if (/DGROUP:_skip_alloc/ && xlabel == "@") goto2=1
pascal@21754 251 if (/puts\(cmdline\)/ && xlabel == "@@") goto2=1
pascal@21754 252 if (goto2 == 1 && /jmp/) { # TAZBOOT.LST && LINLD.LST
pascal@21754 253 print $NF xlabel "@:"
pascal@21754 254 label=$NF
pascal@21754 255 }
pascal@21754 256 if (goto2 > 0 && label == $NF) {
pascal@21754 257 $0=$0 xlabel
pascal@21754 258 if (goto2++ == 1) xlabel=xlabel "@"
pascal@21754 259 }
pascal@21791 260 if (/if\(\*s>=/) isotazboot=14
pascal@21791 261 if (isotazboot == 14) { # LINLD.LST
pascal@21791 262 if (/jmp/) {
pascal@21791 263 $0=" db 0A9h ; test ax,xxxx instead of " $0
pascal@21791 264 isotazboot=0
pascal@21791 265 }
pascal@21791 266 }
pascal@21791 267 if (file == "tazboot.cpp" && /; s \+= 4/) isotazboot=13
pascal@21791 268 if (isotazboot == 13) { # TAZBOOT.LST
pascal@21791 269 if (/si,4/) $0=" lea bx,[si+4]"
pascal@21791 270 if (/bx,si/) next
pascal@21791 271 if (/DGROUP:_topmem/ || /set_iso/) isotazboot=0
pascal@21791 272 }
pascal@21791 273 if (file == "tazboot.cpp" && /case 0x652F:/) isotazboot=12
pascal@21791 274 if (isotazboot == 12) { # TAZBOOT.LST
pascal@21791 275 sub(/si,word/,"bx,word")
pascal@21791 276 if (/short/) isotazboot=0
pascal@21791 277 }
pascal@21791 278 if (/return load_kernel/) isotazboot=11
pascal@21791 279 if (isotazboot == 11) { # TAZBOOT.LST
pascal@21791 280 sub(/call/,"jmp")
pascal@21791 281 if (/ret/ || /pop/) next
pascal@21791 282 if (/endp/) isotazboot=0
pascal@21791 283 }
pascal@21754 284 if (/cmdline=s\+=3/ || /magic \!= 0/ || /&root_dev =/) { isotazboot=10; j="" }
pascal@21754 285 if (isotazboot == 10) { # TAZBOOT.LST && LINLD.LST
pascal@21754 286 if (/je/ || /jne/) { j=$1; next }
pascal@21754 287 if (/jmp/) {
pascal@21754 288 if (j=="jne") sub(/jmp/,"je")
pascal@21754 289 else if (j=="je") sub(/jmp/,"jne")
pascal@21754 290 isotazboot=0
pascal@21754 291 }
pascal@21754 292 }
pascal@21754 293 if (/static const unsigned long initrddesc = 18L/) isotazboot=9
pascal@21754 294 if (isotazboot == 9) { # TAZBOOT.LST
pascal@21754 295 if (/,0/) {
pascal@21754 296 split($4,y,",")
pascal@21754 297 print " mov bx,offset " y[1]
pascal@21754 298 }
pascal@21754 299 if (/DGROUP:.*\+6,46/) {
pascal@21754 300 sub(/DGROUP:.*\+6,/,"[bx+6],")
pascal@21754 301 isotazboot=0
pascal@21754 302 }
pascal@21754 303 if (/mov/) $0=" mov si,bx"
pascal@21754 304 sub(/DGROUP:.*,/,"[bx],")
pascal@21729 305 }
pascal@21750 306 if (/isoopen\(s\+7\) != -1/) isotazboot=8
pascal@21750 307 if (isotazboot == 8) { # TAZBOOT.LST
pascal@21750 308 if (/ax,si/) next
pascal@21750 309 sub(/ax,ax/,"si,si")
pascal@21750 310 if (/magic/) isotazboot=0
pascal@21750 311 }
pascal@21750 312 if (/\+\+isknoppix/) isotazboot=7
pascal@21750 313 if (isotazboot == 7) { # TAZBOOT.LST
pascal@21791 314 if (/inc/ || /,al/) next
pascal@21791 315 if (/al,byte/) sub (/mov al,/,"inc ")
pascal@21750 316 if (/isokernel/) isotazboot=0
pascal@21750 317 }
pascal@21750 318 if (/if \(c\) s\+\+;/) isotazboot=6
pascal@21750 319 if (isotazboot == 6) { # TAZBOOT.LST
pascal@21750 320 if (/cmp/) {
pascal@21750 321 $0=" cmp al,0"
pascal@21750 322 isotazboot=0
pascal@21750 323 }
pascal@21750 324 }
pascal@21754 325 if (/static void next_chunk/) isotazboot=5
pascal@21791 326 if (isotazboot == 501) {
pascal@21791 327 if (/ret/) {
pascal@21791 328 print "@1@86:"
pascal@21791 329 isotazboot=0
pascal@21791 330 }
pascal@21791 331 }
pascal@21754 332 if (isotazboot == 5 || isotazboot == 500) { # TAZBOOT.LST
pascal@21750 333 if (/cx,ax/) $0=" xchg ax,bx"
pascal@21754 334 if (/ax,word ptr \[si\+28\]/ && isotazboot == 500) next
pascal@21750 335 if (/bx,cx/) next
pascal@21754 336 if (/push/ || /pop/ || /bp,sp/ || /si,/) next
pascal@21754 337 sub(/\[si/,"[di")
pascal@21754 338 if (/initrd_info/) isotazboot=500
pascal@21791 339 if (/bx\+6\]/) next
pascal@21791 340 if (/bx\+4\]/) sub(/mov dx,/,"les dx,d")
pascal@21791 341 sub(/di\+24\],ax/,"di+24],es")
pascal@21791 342 sub(/call/,"jmp")
pascal@21791 343 if (/ret/ || /pop/ || /^@1@86:/) next
pascal@21791 344 if (/_isostate\+14/) next
pascal@21791 345 if (/_isostate\+12/) {
pascal@21791 346 sub(/mov ax,/,"les ax,d")
pascal@21791 347 print
pascal@21791 348 print " mov dx,es"
pascal@21791 349 next
pascal@21791 350 }
pascal@21791 351 if (/ax,-4/) isotazboot++
pascal@21750 352 }
pascal@21750 353 if (/0x7FF0/) isotazboot=4
pascal@21750 354 if (isotazboot == 4) { # TAZBOOT.LST
pascal@21750 355 if (/ax,word ptr/) {
pascal@21750 356 print " mov ax,32752"
pascal@21754 357 print " cwd"
pascal@21750 358 sub(/mov/,"sub")
pascal@21750 359 }
pascal@21750 360 if (/bx,/ || /cx,/ || /dx,/) next
pascal@21754 361 sub(/,0/,",dx")
pascal@21754 362 sub(/,bx/,",dx")
pascal@21750 363 sub(/,cx/,",ax")
pascal@21754 364 if (/@addinitrd\$qv/) isotazboot=0
pascal@21750 365 }
pascal@21750 366 if (/c = x->filename/) isotazboot=3
pascal@21750 367 if (isotazboot == 3) { # TAZBOOT.LST
pascal@21750 368 if (/ax,/) $0=" xchg ax,bx"
pascal@21750 369 if (/\]$/) next
pascal@21750 370 if (/@strcpy\$qpxzct1/) isotazboot=0
pascal@21750 371 }
pascal@21754 372 if (/base_himem = memtop/) isotazboot=2
pascal@21750 373 if (isotazboot == 2) { # TAZBOOT.LST
pascal@21754 374 if (/@6@226/ || /mov ax,1/ || /@6@254/ || /xor ax,ax/) next
pascal@21752 375 if (/word ptr \[bx\+2\],0/) {
pascal@21754 376 print s; hold=0
pascal@21752 377 print " mov bx,word ptr [bx+2]"
pascal@21752 378 $0=" or bx,bx"
pascal@21752 379 }
pascal@21752 380 if (/\[bp-4\],ax/) sub(/ax/,"bx")
pascal@21752 381 if (/ax,word ptr \[bx\+2\]/ || /bx,ax/) next
pascal@21791 382 if (/_base_himem\+2,dx/) {
pascal@21791 383 print " mov bx,offset DGROUP:_base_himem+2"
pascal@21791 384 }
pascal@21791 385 sub(/DGROUP:_base_himem,/,"[bx-2],")
pascal@21791 386 sub(/DGROUP:_base_himem\+2,/,"[bx],")
pascal@21791 387 sub(/DGROUP:_base_himem\+3,/,"[bx+1],")
pascal@21750 388 if (/@strcmp\$qpxzct1/) isotazboot=0
pascal@21750 389 }
pascal@21751 390 if (/static void addinitrd/) isotazboot=100
pascal@21751 391 if (isotazboot == 100) { # TAZBOOT.LST
pascal@21751 392 if (/cx,ax/) {
pascal@21754 393 print " mov si,offset _isostate+8"
pascal@21757 394 print " push ds"
pascal@21757 395 print " pop es"
pascal@21754 396 print " xchg ax,di"
pascal@21751 397 print " movsw"
pascal@21751 398 print " movsw"
pascal@21751 399 print " movsw"
pascal@21751 400 print " movsw"
pascal@21754 401 $0=" xchg ax,di"
pascal@21751 402 }
pascal@21751 403 if (/mov/ && !/si/ && !/cl/) next
pascal@21754 404 if (/void load_initrds/) isotazboot=101
pascal@21751 405 }
pascal@21754 406 if (isotazboot == 101 || isotazboot == 102) { # TAZBOOT.LST
pascal@21754 407 sub(/\[si/,"[di"); sub(/si,/,"di,"); sub(/si$/,"di")
pascal@21754 408 sub(/DGROUP:_imgs\+38$/,"[di+38-32]")
pascal@21754 409 sub(/DGROUP:_imgs\+40$/,"[di+40-32]")
pascal@21754 410 if (/isofd/) isotazboot=102
pascal@21754 411 if (/push/ && isotazboot == 102) next
pascal@21754 412 if (/pop/ && isotazboot == 102) next
pascal@21754 413 if (/load_initrd/) isotazboot=101
pascal@21754 414 if (/isokernel/) isotazboot=103
pascal@21754 415 }
pascal@21754 416 if (isotazboot > 102) { # TAZBOOT.LST
pascal@21754 417 if (/push/ || /pop/) next
pascal@21754 418 sub(/\[si/,"[bx")
pascal@21750 419 sub(/si,/,"bx,")
pascal@21750 420 if (/static void bootiso/) isotazboot=0
pascal@21750 421 }
pascal@21729 422 if (wascall) {
pascal@21729 423 if (rcall != "") {
pascal@21729 424 if (/,ax$/) print " mov " rcall ",ax"
pascal@21729 425 else print " xchg ax," rcall
pascal@21729 426 wascall=0
pascal@21729 427 }
pascal@21729 428 else if (/^ mov .i,ax$/) {
pascal@21729 429 split($2,y,",")
pascal@21729 430 rcall=y[1]
pascal@21729 431 next
pascal@21729 432 }
pascal@21729 433 else wascall=0
pascal@21729 434 }
pascal@21729 435 if (/^ call /) { wascall=1; rcall="" }
pascal@20458 436 if (hold == 0) {
pascal@20458 437 s=$0
pascal@20534 438 if (/^ mov .[ix],bx$/ || /^ mov .[ix],.i$/) {
pascal@20543 439 r=$2; kept=0
pascal@20458 440 hold=1; split($2,regs,","); next
pascal@20458 441 }
pascal@21729 442 if (/^ inc e?.[ixhl]/ || /^ dec e?.[ixhl]/) {
pascal@20458 443 hold=2; r=$2; next
pascal@20458 444 }
pascal@20458 445 if (/^ mov [abcds][ix],/ && ! /,.s/) {
pascal@20458 446 hold=3; split($2,regs,","); next
pascal@20458 447 }
pascal@20458 448 if (/^ movzx eax,ax$/) { hold=4; next }
pascal@20544 449 if (/^ cmp word ptr/ || /^ cmp [bcd]x,/) {
pascal@20543 450 split($0,regs,",")
pascal@20543 451 if (isnum(regs[2]) && regs[2] != 0 &&
pascal@20543 452 (regs[2] % 256) == 0) {
pascal@20549 453 hold=5; next
pascal@20543 454 }
pascal@20543 455 }
pascal@20630 456 if (/^ mov ax,cs$/) { hold=6; kept=0; next }
pascal@20630 457 if (/^ mov cl,4$/) { hold=7; next }
pascal@20630 458 if (/^ cmp word ptr DGROUP:.*,0$/) {
pascal@20630 459 hold=8; split($2,regs,","); next
pascal@20630 460 }
pascal@20634 461 if (/^ cbw/) { hold=11; kept=0; next }
pascal@20634 462 if (/^ add [abcds][ix],2$/) {
pascal@20634 463 split($2,regs,","); hold=12; next
pascal@20634 464 }
pascal@20634 465 if (/^ sub [abcds][ix],2$/) {
pascal@20634 466 split($2,regs,","); hold=13; next
pascal@20634 467 }
pascal@21569 468 if (/^ push dx$/) {
pascal@21569 469 hold=14; next;
pascal@21569 470 }
pascal@20458 471 }
pascal@20458 472 else if (hold == 1) {
pascal@20543 473 if (/^ ;/) { line[kept++]=$0; next }
pascal@20458 474 hold=0; split($2,args,","); op=""
pascal@20458 475 if ($1 == "add") op="+"
pascal@20458 476 if ($1 == "sub") op="-"
pascal@20751 477 if ($1 == "inc") { op="+"; args[2]="1"; }
pascal@20751 478 if ($1 == "dec") { op="-"; args[2]="1"; }
pascal@20543 479 if (op != "" && regs[1] == args[1]) {
pascal@20543 480 if (isnum(args[2])) {
pascal@20630 481 for (i = kept++; i > 0; i--) line[i] = line[i-1]
pascal@20630 482 line[0] = "\tlea\t" regs[1] ",[" regs[2] op args[2] "]"
pascal@20630 483 hold=10; next
pascal@20543 484 }
pascal@20543 485 line[kept++]=$0
pascal@20543 486 hold=1
pascal@20458 487 next
pascal@20458 488 }
pascal@20520 489 if (/^ pop [ds]i/ && regs[2] ~ /^[ds]i$/) {
pascal@20520 490 print " xchg " r
pascal@20520 491 }
pascal@20543 492 else print s
pascal@20543 493 for (i = 0; i < kept; i++) print line[i]; kept=0
pascal@20458 494 }
pascal@20458 495 else if (hold == 2) {
pascal@21729 496 split($0,args,",")
pascal@21729 497 if (/^ mov / && r == args[2]) { print s; s=$0; next }
pascal@21729 498 split($2,args,",")
pascal@21729 499 hold=0; print s
pascal@20458 500 if ($1 == "or" && r == args[1] && r == args[2]) next # don't clear C ...
pascal@20458 501 }
pascal@20458 502 else if (hold == 3) {
pascal@20458 503 hold=0
pascal@21576 504 if (/^ call / && regs[2] == "ax") s=" xchg ax," regs[1]
pascal@20542 505 if (/^ add [abcds][ix],/) {
pascal@20458 506 split($2,regs2,",")
pascal@20458 507 if (regs[1] == regs2[1] && (regs2[2] == "offset" || isnum(regs2[2]))) {
pascal@20549 508 t=$0; sub(/mov/,$1,s); sub(/add/,"mov",t)
pascal@20458 509 print t; print s; next
pascal@20458 510 }
pascal@20458 511 }
pascal@20458 512 print s
pascal@20458 513 }
pascal@20458 514 else if (hold == 4) {
pascal@20458 515 hold=0
pascal@20458 516 if (/^ push eax$/) {
pascal@20458 517 print " push 0"; print " push ax"; next
pascal@20458 518 } else { print s }
pascal@20458 519 }
pascal@20543 520 else if (hold == 5) {
pascal@20543 521 hold=0
pascal@20543 522 if ($1 == "jae" || $1 == "jb") {
pascal@20544 523 sub(/word ptr/,"byte ptr",s); sub(/x,/,"h,",s) ||
pascal@20543 524 sub(/\],/,"+1],",s) || sub(/,/,"+1,",s)
pascal@20543 525 s = s "/256"
pascal@20543 526 }
pascal@20543 527 print s
pascal@20543 528 }
pascal@20630 529 else if (hold == 6) {
pascal@20630 530 if (($1 == "and" || $1 == "add") && $2 ~ /^ax,/) {
pascal@20630 531 line[kept++]=$0
pascal@20630 532 next
pascal@20630 533 }
pascal@20630 534 p=$0
pascal@20630 535 if (/^ movzx eax,ax$/) {
pascal@20630 536 s=" mov eax,cs"; p=""
pascal@20630 537 }
pascal@20630 538 print s
pascal@20630 539 for (i = 0; i < kept; i++) print line[i]; kept=0
pascal@20630 540 if (p != "") print p
pascal@20630 541 hold=0; next
pascal@20630 542 }
pascal@20630 543 else if (hold == 7) {
pascal@20458 544 hold=0
pascal@20520 545 if (/^ call near ptr N_LXURSH@$/) {
pascal@20520 546 print " extrn N_LXURSH@4:near"
pascal@20520 547 print " call near ptr N_LXURSH@4"
pascal@20520 548 next
pascal@20520 549 }
pascal@20528 550 if (/^ call near ptr N_LXLSH@$/) {
pascal@20528 551 print " extrn N_LXLSH@4:near"
pascal@20528 552 print " call near ptr N_LXLSH@4"
pascal@20528 553 next
pascal@20528 554 }
pascal@20520 555 print s
pascal@20458 556 }
pascal@20630 557 else if (hold == 8) {
pascal@20630 558 if ($1 == "je" || $1 == "jne") { p=$0; hold=9; next }
pascal@20630 559 hold=0
pascal@20630 560 print s
pascal@20630 561 }
pascal@20630 562 else if (hold == 9) {
pascal@20630 563 hold=0; split($2,args,",")
pascal@20630 564 if (/^ mov ax,/ && args[2] == regs[1]) {
pascal@20630 565 print; print " or ax,ax"; print p; next
pascal@20630 566 }
pascal@20630 567 print s; print p;
pascal@20630 568 }
pascal@20630 569 else if (hold == 10) {
pascal@20751 570 split($2,args,","); op=""
pascal@20751 571 if ($1 == "add") op="+"
pascal@20751 572 if ($1 == "sub") op="-"
pascal@20751 573 if ($1 == "inc") { op="+"; args[2]="1"; }
pascal@20751 574 if ($1 == "dec") { op="-"; args[2]="1"; }
pascal@20751 575 if (op != "" && isnum(args[2])) {
pascal@20751 576 split(line[0],reg,",")
pascal@20751 577 if (substr(reg[1],length(reg[1])-1,2) == args[1]) {
pascal@20751 578 line[0] = substr(line[0],1,length(line[0])-1) op args[2] "]"
pascal@20751 579 next
pascal@20751 580 }
pascal@20751 581 }
pascal@20630 582 hold=0
pascal@20630 583 if (/^ mov [sd]i,ax$/) {
pascal@20630 584 split($2,args,",")
pascal@20630 585 for (i = 0; i < kept; i++) {
pascal@20630 586 sub(/ax/,args[1],line[i]); print line[i]
pascal@20630 587 }
pascal@20630 588 next
pascal@20630 589 }
pascal@20630 590 for (i = 0; i < kept; i++) print line[i]
pascal@20630 591 }
pascal@20634 592 else if (hold == 11) {
pascal@20634 593 if (/^ inc ax$/ || /^ dec ax$/) {
pascal@20634 594 line[kept++]=$0; next
pascal@20634 595 }
pascal@20634 596 split($2,args,",")
pascal@20634 597 if (/^ mov cl,/) {
pascal@20634 598 split($2,args,",")
pascal@20634 599 if (args[2] >= 8) {
pascal@20634 600 line[kept++]=$0; next
pascal@20634 601 }
pascal@20634 602 }
pascal@20634 603 if (!/^ shl ax,/ || (args[2] != "cl" && args[2] < 8)) {
pascal@20634 604 print " cbw "
pascal@20634 605 }
pascal@20634 606 for (i = 0; i < kept; i++) print line[i]
pascal@20634 607 hold=kept=0
pascal@20634 608 }
pascal@20634 609 else if (hold == 12) {
pascal@20634 610 hold=0
pascal@20634 611 if ($1 != "adc" && $1 != "sbb" && ! /^ jn?[abc]/) {
pascal@20634 612 print " inc " regs[1]
pascal@20634 613 print " inc " regs[1]
pascal@20634 614 }
pascal@20634 615 else print " add " regs[1] ",2"
pascal@20634 616 }
pascal@20634 617 else if (hold == 13) {
pascal@20634 618 hold=0
pascal@20634 619 if ($1 != "adc" && $1 != "sbb" && ! /^ jn?[abc]/) {
pascal@20634 620 print " dec " regs[1]
pascal@20634 621 print " dec " regs[1]
pascal@20634 622 }
pascal@20634 623 else print " sub " regs[1] ",2"
pascal@20634 624 }
pascal@21569 625 else if (hold == 14) {
pascal@21569 626 if (/^ push ax$/) { hold++; next; }
pascal@21569 627 print " push dx";
pascal@21569 628 hold=0;
pascal@21569 629 }
pascal@21569 630 else if (hold == 15) {
pascal@21569 631 if (/^ pop eax$/) { hold++; next; }
pascal@21569 632 print " push dx";
pascal@21569 633 print " push ax";
pascal@21569 634 hold=0;
pascal@21569 635 }
pascal@21569 636 else if (hold == 16) {
pascal@21569 637 hold=0;
pascal@21569 638 if (/^ shr eax,16$/) { print " xchg ax,dx"; next; }
pascal@21569 639 print " push dx";
pascal@21569 640 print " push ax";
pascal@21569 641 print " pop eax";
pascal@21569 642 }
pascal@21569 643 else if (hold == 17) {
pascal@21569 644 hold=0;
pascal@21569 645 if (/^ cmp ax,-1$/) { print " inc ax"; next; }
pascal@21569 646 }
pascal@21576 647 if (/^ call near ptr @fileexist\$/ || # return boolean :
pascal@21576 648 /^ call near ptr @isoreaddir\$/ || # 0=true, -1=false
pascal@21628 649 /^ call near ptr @isoreset\$/ ||
pascal@21628 650 /^ call near ptr @isoopen\$/ ||
pascal@21628 651 /^ call near ptr @isoreadsector\$/ ||
pascal@21628 652 /^ call near ptr @strhead\$/ ||
pascal@21576 653 /^ call near ptr @argstr\$/ ||
pascal@21576 654 /^ call near ptr @argnum\$/) { print; hold=17; next; }
pascal@20458 655 s=$0
pascal@20458 656 # These optimisation may break ZF or CF
pascal@20485 657 if (/^ sub sp,2$/) { print " push ax"; next }
pascal@20485 658 if (/^ sub sp,4$/) { print " push ax"; print " push ax"; next }
pascal@20485 659 if (/^ add sp,4$/) { print " pop cx"; print " pop cx"; next }
pascal@20458 660 if (/^ mov d*word ptr .*,0$/ || /^ mov dword ptr .*,large 0$/) {
pascal@20458 661 sub(/mov/,"and",s); print s; next # slower
pascal@20458 662 }
pascal@20458 663 if (/^ mov d*word ptr .*,-1$/ || /^ mov dword ptr .*,large -1$/) {
pascal@20458 664 sub(/mov/,"or",s); print s; next # slower
pascal@20458 665 }
pascal@20458 666 if (/^ or .*,0$/ || /^ and .*,-1$/) next
pascal@20458 667 if (/^ or [abcd]x,/) {
pascal@20458 668 split($2,args,",")
pascal@20458 669 if (isnum(args[2]) && args[2] >= 0 && args[2] < 256) {
pascal@20458 670 print " or " substr(args[1],1,1) "l," args[2]; next
pascal@20458 671 }
pascal@20458 672 }
pascal@20458 673 if (/^ and [abcd]x,/) {
pascal@20458 674 split($2,args,",")
pascal@20459 675 if (isnum(args[2]) && args[2] >= -256 && args[2] < 0) {
pascal@20458 676 print " and " substr(args[1],1,1) "l," args[2]; next
pascal@20458 677 }
pascal@20458 678 }
pascal@20458 679 if (/^ or e[abcd]x,/) {
pascal@20458 680 split($2,args,",")
pascal@20458 681 if (args[2] == "large") { args[2] = $3 }
pascal@20458 682 if (isnum(args[2]) && args[2] >= 0 && args[2] < 256) {
pascal@20458 683 print " or " substr(args[1],2,1) "l," args[2]; next
pascal@20458 684 }
pascal@20458 685 }
pascal@20458 686 if (/^ and e[abcd]x,/) {
pascal@20458 687 split($2,args,",")
pascal@20458 688 if (args[2] == "large") { args[2] = $3 }
pascal@20459 689 if (isnum(args[2]) && args[2] >= -256 && args[2] < 0) {
pascal@20458 690 print " and " substr(args[1],2,1) "l," args[2]; next
pascal@20458 691 }
pascal@20458 692 }
pascal@20458 693 if (/^ or e[abcds][ix],/) {
pascal@20458 694 split($2,args,",")
pascal@20458 695 if (args[2] == "large") { args[2] = $3 }
pascal@20458 696 if (isnum(args[2]) && args[2] >= 0 && args[2] < 65536) {
pascal@20458 697 print " or " substr(args[1],2) "," args[2]; next
pascal@20458 698 }
pascal@20458 699 }
pascal@20458 700 if (/^ and e[abcds][ix],/) {
pascal@20458 701 split($2,args,",")
pascal@20458 702 if (args[2] == "large") { args[2] = $3 }
pascal@20459 703 if (isnum(args[2]) && args[2] >= -65536 && args[2] < 0) {
pascal@20458 704 print " and " substr(args[1],2) "," args[2]; next
pascal@20458 705 }
pascal@20458 706 }
pascal@20543 707 if (/^ add word ptr/ || /^ sub word ptr/ ||
pascal@20544 708 /^ add [bcd]x,/ || /^ sub [bcd]x,/) {
pascal@20542 709 split($0,args,",")
pascal@20542 710 if (isnum(args[2]) && (args[2] % 256 == 0)) {
pascal@20544 711 sub(/word ptr/,"byte ptr",s); sub(/x,/,"h,",s) ||
pascal@20543 712 sub(/\],/,"+1],",s) || sub(/,/,"+1,",s)
pascal@20542 713 print s "/256"; next
pascal@20542 714 }
pascal@20542 715 }
pascal@20546 716 if (/^ add dword ptr/ || /^ sub dword ptr/) {
pascal@20458 717 split($0,args,",")
pascal@20543 718 if (args[2] == "large") { args[2] = $3 }
pascal@20458 719 if (isnum(args[2])) {
pascal@20546 720 if (args[2] % 16777216 == 0) {
pascal@20546 721 sub(/dword/,"byte",s)
pascal@20543 722 sub(/\],/,"+3],",s) || sub(/,/,"+3,",s)
pascal@20458 723 print s "/16777216"; next
pascal@20458 724 }
pascal@20458 725 if (args[2] % 65536 == 0) {
pascal@20546 726 sub(/dword/,"word",s)
pascal@20543 727 sub(/\],/,"+2],",s) || sub(/,/,"+2,",s)
pascal@20458 728 print s "/65536"; next
pascal@20458 729 }
pascal@20458 730 }
pascal@20458 731 }
pascal@20458 732 if (/^ mov e.x,/) {
pascal@20458 733 split($2,args,",")
pascal@20458 734 r=args[1]
pascal@20458 735 if (args[2] == "large") { args[2] = $3 }
pascal@20458 736 if (isnum(args[2]) && args[2] % 65536 == args[2]) {
pascal@20458 737 if (args[2] % 256 == args[2] || args[2] % 256 == 0) {
pascal@20458 738 print " xor " r "," r
pascal@20458 739 if (args[2] == 0) next
pascal@20458 740 x=" mov " substr(r,2,1)
pascal@20458 741 if (args[2] % 256 == 0) {
pascal@20458 742 print x "h," args[2] "/256"
pascal@20458 743 }
pascal@20458 744 else { print x "l," args[2] }
pascal@20458 745 next
pascal@20458 746 }
pascal@20458 747 }
pascal@20458 748 }
pascal@21576 749 if (afterjmp) print ";" $0
pascal@21576 750 else print
pascal@21754 751 if (/^ jmp / || /^ call near ptr _boot_kernel/ ||
pascal@21754 752 /^ call near ptr @die$qpxzc/) afterjmp=1
pascal@20458 753 }