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

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