wok annotate linld/stuff/src/pipehole.awk @ rev 21984

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