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

vlgothic-fonts: use archive.org as web_site
author Pascal Bellard <pascal.bellard@slitaz.org>
date Thu Jun 13 15:52:10 2019 +0200 (2019-06-13)
parents 861efbf7a5de
children f9e283da869a
rev   line source
pascal@21735 1 BEGIN { hold=0; is386=0; isload=0; isiso=0; wascall=0 }
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@21729 8 if (/heap_top = _rm_buf/) isload=1
pascal@21729 9 if (isload) { # LOAD.LST
pascal@21729 10 if (/mov al,byte ptr/ && is386) {
pascal@21729 11 print " movzx eax,byte ptr [si]"
pascal@21729 12 next
pascal@21729 13 }
pascal@21729 14 if (/ax,word ptr/) next
pascal@21729 15 if (/^ call/) isload=0
pascal@21729 16 }
pascal@21735 17 if (/x->curdirsize == 0xFFFF/) isiso=4
pascal@21735 18 if (isiso == 4) { # ISO9660.LST
pascal@21735 19 if (/DGROUP:_isostate\+14,-1/) {
pascal@21735 20 sub(/DGROUP:_isostate\+14/,"[si+14]")
pascal@21735 21 isiso=0
pascal@21735 22 }
pascal@21735 23 }
pascal@21735 24 if (/c = \*s;/) isiso=3
pascal@21735 25 if (isiso == 3) { # ISO9660.LST
pascal@21735 26 if (/al,byte ptr/) {
pascal@21735 27 print " mov al,0"
pascal@21735 28 sub(/mov/,"xchg")
pascal@21735 29 }
pascal@21735 30 if (/byte ptr \[di\],0/) {
pascal@21735 31 isiso=0
pascal@21735 32 next
pascal@21735 33 }
pascal@21735 34 }
pascal@21735 35 if (/endname = NULL/) isiso=2
pascal@21735 36 if (isiso == 2) { # ISO9660.LST
pascal@21735 37 if (/mov bx,cx/) next
pascal@21735 38 gsub(/cx/,"bx")
pascal@21735 39 }
pascal@21735 40 if (/const char \*n = name/) isiso=1
pascal@21735 41 if (isiso == 1) { # ISO9660.LST
pascal@21735 42 if ((/mov word ptr \[si\+32\],ax/ ) ||
pascal@21735 43 (/mov ax,word ptr \[si\+28\]/) ||
pascal@21735 44 (/bx,word ptr \[si\+32\]/) || (/ax,dx/)) next
pascal@21729 45 if (/dx,/) sub(/dx/,"ax")
pascal@21735 46 if ((/sub ax,word ptr \[si\+28\]/) ||
pascal@21735 47 (/\[si\+12\]/) || (/ax,di/)) sub(/ax/,"bx")
pascal@21735 48 if (/add word ptr \[si\+32\],ax/) $0=" add bx,word ptr [si+12]"
pascal@21735 49 if (/al,/ || /,al/) sub(/al/,"cl")
pascal@21735 50 if (/cmp byte ptr \[si\+30\],0/) $0=" or cl,cl"
pascal@21735 51 if (/jne @@0$/) next
pascal@21735 52 if (/jmp @3@58$/) $0=" je @3@58"
pascal@21729 53 }
pascal@21729 54 if (wascall) {
pascal@21729 55 if (rcall != "") {
pascal@21729 56 if (/,ax$/) print " mov " rcall ",ax"
pascal@21729 57 else print " xchg ax," rcall
pascal@21729 58 wascall=0
pascal@21729 59 }
pascal@21729 60 else if (/^ mov .i,ax$/) {
pascal@21729 61 split($2,y,",")
pascal@21729 62 rcall=y[1]
pascal@21729 63 next
pascal@21729 64 }
pascal@21729 65 else wascall=0
pascal@21729 66 }
pascal@21729 67 if (/^ call /) { wascall=1; rcall="" }
pascal@20458 68 if (hold == 0) {
pascal@20458 69 s=$0
pascal@20534 70 if (/^ mov .[ix],bx$/ || /^ mov .[ix],.i$/) {
pascal@20543 71 r=$2; kept=0
pascal@20458 72 hold=1; split($2,regs,","); next
pascal@20458 73 }
pascal@21729 74 if (/^ inc e?.[ixhl]/ || /^ dec e?.[ixhl]/) {
pascal@20458 75 hold=2; r=$2; next
pascal@20458 76 }
pascal@20458 77 if (/^ mov [abcds][ix],/ && ! /,.s/) {
pascal@20458 78 hold=3; split($2,regs,","); next
pascal@20458 79 }
pascal@20458 80 if (/^ movzx eax,ax$/) { hold=4; next }
pascal@20544 81 if (/^ cmp word ptr/ || /^ cmp [bcd]x,/) {
pascal@20543 82 split($0,regs,",")
pascal@20543 83 if (isnum(regs[2]) && regs[2] != 0 &&
pascal@20543 84 (regs[2] % 256) == 0) {
pascal@20549 85 hold=5; next
pascal@20543 86 }
pascal@20543 87 }
pascal@20630 88 if (/^ mov ax,cs$/) { hold=6; kept=0; next }
pascal@20630 89 if (/^ mov cl,4$/) { hold=7; next }
pascal@20630 90 if (/^ cmp word ptr DGROUP:.*,0$/) {
pascal@20630 91 hold=8; split($2,regs,","); next
pascal@20630 92 }
pascal@20634 93 if (/^ cbw/) { hold=11; kept=0; next }
pascal@20634 94 if (/^ add [abcds][ix],2$/) {
pascal@20634 95 split($2,regs,","); hold=12; next
pascal@20634 96 }
pascal@20634 97 if (/^ sub [abcds][ix],2$/) {
pascal@20634 98 split($2,regs,","); hold=13; next
pascal@20634 99 }
pascal@21569 100 if (/^ push dx$/) {
pascal@21569 101 hold=14; next;
pascal@21569 102 }
pascal@20458 103 }
pascal@20458 104 else if (hold == 1) {
pascal@20543 105 if (/^ ;/) { line[kept++]=$0; next }
pascal@20458 106 hold=0; split($2,args,","); op=""
pascal@20458 107 if ($1 == "add") op="+"
pascal@20458 108 if ($1 == "sub") op="-"
pascal@20751 109 if ($1 == "inc") { op="+"; args[2]="1"; }
pascal@20751 110 if ($1 == "dec") { op="-"; args[2]="1"; }
pascal@20543 111 if (op != "" && regs[1] == args[1]) {
pascal@20543 112 if (isnum(args[2])) {
pascal@20630 113 for (i = kept++; i > 0; i--) line[i] = line[i-1]
pascal@20630 114 line[0] = "\tlea\t" regs[1] ",[" regs[2] op args[2] "]"
pascal@20630 115 hold=10; next
pascal@20543 116 }
pascal@20543 117 line[kept++]=$0
pascal@20543 118 hold=1
pascal@20458 119 next
pascal@20458 120 }
pascal@20520 121 if (/^ pop [ds]i/ && regs[2] ~ /^[ds]i$/) {
pascal@20520 122 print " xchg " r
pascal@20520 123 }
pascal@20543 124 else print s
pascal@20543 125 for (i = 0; i < kept; i++) print line[i]; kept=0
pascal@20458 126 }
pascal@20458 127 else if (hold == 2) {
pascal@21729 128 split($0,args,",")
pascal@21729 129 if (/^ mov / && r == args[2]) { print s; s=$0; next }
pascal@21729 130 split($2,args,",")
pascal@21729 131 hold=0; print s
pascal@20458 132 if ($1 == "or" && r == args[1] && r == args[2]) next # don't clear C ...
pascal@20458 133 }
pascal@20458 134 else if (hold == 3) {
pascal@20458 135 hold=0
pascal@21576 136 if (/^ call / && regs[2] == "ax") s=" xchg ax," regs[1]
pascal@20542 137 if (/^ add [abcds][ix],/) {
pascal@20458 138 split($2,regs2,",")
pascal@20458 139 if (regs[1] == regs2[1] && (regs2[2] == "offset" || isnum(regs2[2]))) {
pascal@20549 140 t=$0; sub(/mov/,$1,s); sub(/add/,"mov",t)
pascal@20458 141 print t; print s; next
pascal@20458 142 }
pascal@20458 143 }
pascal@20458 144 print s
pascal@20458 145 }
pascal@20458 146 else if (hold == 4) {
pascal@20458 147 hold=0
pascal@20458 148 if (/^ push eax$/) {
pascal@20458 149 print " push 0"; print " push ax"; next
pascal@20458 150 } else { print s }
pascal@20458 151 }
pascal@20543 152 else if (hold == 5) {
pascal@20543 153 hold=0
pascal@20543 154 if ($1 == "jae" || $1 == "jb") {
pascal@20544 155 sub(/word ptr/,"byte ptr",s); sub(/x,/,"h,",s) ||
pascal@20543 156 sub(/\],/,"+1],",s) || sub(/,/,"+1,",s)
pascal@20543 157 s = s "/256"
pascal@20543 158 }
pascal@20543 159 print s
pascal@20543 160 }
pascal@20630 161 else if (hold == 6) {
pascal@20630 162 if (($1 == "and" || $1 == "add") && $2 ~ /^ax,/) {
pascal@20630 163 line[kept++]=$0
pascal@20630 164 next
pascal@20630 165 }
pascal@20630 166 p=$0
pascal@20630 167 if (/^ movzx eax,ax$/) {
pascal@20630 168 s=" mov eax,cs"; p=""
pascal@20630 169 }
pascal@20630 170 print s
pascal@20630 171 for (i = 0; i < kept; i++) print line[i]; kept=0
pascal@20630 172 if (p != "") print p
pascal@20630 173 hold=0; next
pascal@20630 174 }
pascal@20630 175 else if (hold == 7) {
pascal@20458 176 hold=0
pascal@20520 177 if (/^ call near ptr N_LXURSH@$/) {
pascal@20520 178 print " extrn N_LXURSH@4:near"
pascal@20520 179 print " call near ptr N_LXURSH@4"
pascal@20520 180 next
pascal@20520 181 }
pascal@20528 182 if (/^ call near ptr N_LXLSH@$/) {
pascal@20528 183 print " extrn N_LXLSH@4:near"
pascal@20528 184 print " call near ptr N_LXLSH@4"
pascal@20528 185 next
pascal@20528 186 }
pascal@20520 187 print s
pascal@20458 188 }
pascal@20630 189 else if (hold == 8) {
pascal@20630 190 if ($1 == "je" || $1 == "jne") { p=$0; hold=9; next }
pascal@20630 191 hold=0
pascal@20630 192 print s
pascal@20630 193 }
pascal@20630 194 else if (hold == 9) {
pascal@20630 195 hold=0; split($2,args,",")
pascal@20630 196 if (/^ mov ax,/ && args[2] == regs[1]) {
pascal@20630 197 print; print " or ax,ax"; print p; next
pascal@20630 198 }
pascal@20630 199 print s; print p;
pascal@20630 200 }
pascal@20630 201 else if (hold == 10) {
pascal@20751 202 split($2,args,","); op=""
pascal@20751 203 if ($1 == "add") op="+"
pascal@20751 204 if ($1 == "sub") op="-"
pascal@20751 205 if ($1 == "inc") { op="+"; args[2]="1"; }
pascal@20751 206 if ($1 == "dec") { op="-"; args[2]="1"; }
pascal@20751 207 if (op != "" && isnum(args[2])) {
pascal@20751 208 split(line[0],reg,",")
pascal@20751 209 if (substr(reg[1],length(reg[1])-1,2) == args[1]) {
pascal@20751 210 line[0] = substr(line[0],1,length(line[0])-1) op args[2] "]"
pascal@20751 211 next
pascal@20751 212 }
pascal@20751 213 }
pascal@20630 214 hold=0
pascal@20630 215 if (/^ mov [sd]i,ax$/) {
pascal@20630 216 split($2,args,",")
pascal@20630 217 for (i = 0; i < kept; i++) {
pascal@20630 218 sub(/ax/,args[1],line[i]); print line[i]
pascal@20630 219 }
pascal@20630 220 next
pascal@20630 221 }
pascal@20630 222 for (i = 0; i < kept; i++) print line[i]
pascal@20630 223 }
pascal@20634 224 else if (hold == 11) {
pascal@20634 225 if (/^ inc ax$/ || /^ dec ax$/) {
pascal@20634 226 line[kept++]=$0; next
pascal@20634 227 }
pascal@20634 228 split($2,args,",")
pascal@20634 229 if (/^ mov cl,/) {
pascal@20634 230 split($2,args,",")
pascal@20634 231 if (args[2] >= 8) {
pascal@20634 232 line[kept++]=$0; next
pascal@20634 233 }
pascal@20634 234 }
pascal@20634 235 if (!/^ shl ax,/ || (args[2] != "cl" && args[2] < 8)) {
pascal@20634 236 print " cbw "
pascal@20634 237 }
pascal@20634 238 for (i = 0; i < kept; i++) print line[i]
pascal@20634 239 hold=kept=0
pascal@20634 240 }
pascal@20634 241 else if (hold == 12) {
pascal@20634 242 hold=0
pascal@20634 243 if ($1 != "adc" && $1 != "sbb" && ! /^ jn?[abc]/) {
pascal@20634 244 print " inc " regs[1]
pascal@20634 245 print " inc " regs[1]
pascal@20634 246 }
pascal@20634 247 else print " add " regs[1] ",2"
pascal@20634 248 }
pascal@20634 249 else if (hold == 13) {
pascal@20634 250 hold=0
pascal@20634 251 if ($1 != "adc" && $1 != "sbb" && ! /^ jn?[abc]/) {
pascal@20634 252 print " dec " regs[1]
pascal@20634 253 print " dec " regs[1]
pascal@20634 254 }
pascal@20634 255 else print " sub " regs[1] ",2"
pascal@20634 256 }
pascal@21569 257 else if (hold == 14) {
pascal@21569 258 if (/^ push ax$/) { hold++; next; }
pascal@21569 259 print " push dx";
pascal@21569 260 hold=0;
pascal@21569 261 }
pascal@21569 262 else if (hold == 15) {
pascal@21569 263 if (/^ pop eax$/) { hold++; next; }
pascal@21569 264 print " push dx";
pascal@21569 265 print " push ax";
pascal@21569 266 hold=0;
pascal@21569 267 }
pascal@21569 268 else if (hold == 16) {
pascal@21569 269 hold=0;
pascal@21569 270 if (/^ shr eax,16$/) { print " xchg ax,dx"; next; }
pascal@21569 271 print " push dx";
pascal@21569 272 print " push ax";
pascal@21569 273 print " pop eax";
pascal@21569 274 }
pascal@21569 275 else if (hold == 17) {
pascal@21569 276 hold=0;
pascal@21569 277 if (/^ cmp ax,-1$/) { print " inc ax"; next; }
pascal@21569 278 }
pascal@21576 279 if (/^ call near ptr @fileexist\$/ || # return boolean :
pascal@21576 280 /^ call near ptr @isoreaddir\$/ || # 0=true, -1=false
pascal@21628 281 /^ call near ptr @isoreset\$/ ||
pascal@21628 282 /^ call near ptr @isoopen\$/ ||
pascal@21628 283 /^ call near ptr @isoreadsector\$/ ||
pascal@21628 284 /^ call near ptr @strhead\$/ ||
pascal@21576 285 /^ call near ptr @argstr\$/ ||
pascal@21576 286 /^ call near ptr @argnum\$/) { print; hold=17; next; }
pascal@20458 287 s=$0
pascal@20458 288 # These optimisation may break ZF or CF
pascal@20485 289 if (/^ sub sp,2$/) { print " push ax"; next }
pascal@20485 290 if (/^ sub sp,4$/) { print " push ax"; print " push ax"; next }
pascal@20485 291 if (/^ add sp,4$/) { print " pop cx"; print " pop cx"; next }
pascal@20458 292 if (/^ mov d*word ptr .*,0$/ || /^ mov dword ptr .*,large 0$/) {
pascal@20458 293 sub(/mov/,"and",s); print s; next # slower
pascal@20458 294 }
pascal@20458 295 if (/^ mov d*word ptr .*,-1$/ || /^ mov dword ptr .*,large -1$/) {
pascal@20458 296 sub(/mov/,"or",s); print s; next # slower
pascal@20458 297 }
pascal@20458 298 if (/^ or .*,0$/ || /^ and .*,-1$/) next
pascal@20458 299 if (/^ or [abcd]x,/) {
pascal@20458 300 split($2,args,",")
pascal@20458 301 if (isnum(args[2]) && args[2] >= 0 && args[2] < 256) {
pascal@20458 302 print " or " substr(args[1],1,1) "l," args[2]; next
pascal@20458 303 }
pascal@20458 304 }
pascal@20458 305 if (/^ and [abcd]x,/) {
pascal@20458 306 split($2,args,",")
pascal@20459 307 if (isnum(args[2]) && args[2] >= -256 && args[2] < 0) {
pascal@20458 308 print " and " substr(args[1],1,1) "l," args[2]; next
pascal@20458 309 }
pascal@20458 310 }
pascal@20458 311 if (/^ or e[abcd]x,/) {
pascal@20458 312 split($2,args,",")
pascal@20458 313 if (args[2] == "large") { args[2] = $3 }
pascal@20458 314 if (isnum(args[2]) && args[2] >= 0 && args[2] < 256) {
pascal@20458 315 print " or " substr(args[1],2,1) "l," args[2]; next
pascal@20458 316 }
pascal@20458 317 }
pascal@20458 318 if (/^ and e[abcd]x,/) {
pascal@20458 319 split($2,args,",")
pascal@20458 320 if (args[2] == "large") { args[2] = $3 }
pascal@20459 321 if (isnum(args[2]) && args[2] >= -256 && args[2] < 0) {
pascal@20458 322 print " and " substr(args[1],2,1) "l," args[2]; next
pascal@20458 323 }
pascal@20458 324 }
pascal@20458 325 if (/^ or e[abcds][ix],/) {
pascal@20458 326 split($2,args,",")
pascal@20458 327 if (args[2] == "large") { args[2] = $3 }
pascal@20458 328 if (isnum(args[2]) && args[2] >= 0 && args[2] < 65536) {
pascal@20458 329 print " or " substr(args[1],2) "," args[2]; next
pascal@20458 330 }
pascal@20458 331 }
pascal@20458 332 if (/^ and e[abcds][ix],/) {
pascal@20458 333 split($2,args,",")
pascal@20458 334 if (args[2] == "large") { args[2] = $3 }
pascal@20459 335 if (isnum(args[2]) && args[2] >= -65536 && args[2] < 0) {
pascal@20458 336 print " and " substr(args[1],2) "," args[2]; next
pascal@20458 337 }
pascal@20458 338 }
pascal@20543 339 if (/^ add word ptr/ || /^ sub word ptr/ ||
pascal@20544 340 /^ add [bcd]x,/ || /^ sub [bcd]x,/) {
pascal@20542 341 split($0,args,",")
pascal@20542 342 if (isnum(args[2]) && (args[2] % 256 == 0)) {
pascal@20544 343 sub(/word ptr/,"byte ptr",s); sub(/x,/,"h,",s) ||
pascal@20543 344 sub(/\],/,"+1],",s) || sub(/,/,"+1,",s)
pascal@20542 345 print s "/256"; next
pascal@20542 346 }
pascal@20542 347 }
pascal@20546 348 if (/^ add dword ptr/ || /^ sub dword ptr/) {
pascal@20458 349 split($0,args,",")
pascal@20543 350 if (args[2] == "large") { args[2] = $3 }
pascal@20458 351 if (isnum(args[2])) {
pascal@20546 352 if (args[2] % 16777216 == 0) {
pascal@20546 353 sub(/dword/,"byte",s)
pascal@20543 354 sub(/\],/,"+3],",s) || sub(/,/,"+3,",s)
pascal@20458 355 print s "/16777216"; next
pascal@20458 356 }
pascal@20458 357 if (args[2] % 65536 == 0) {
pascal@20546 358 sub(/dword/,"word",s)
pascal@20543 359 sub(/\],/,"+2],",s) || sub(/,/,"+2,",s)
pascal@20458 360 print s "/65536"; next
pascal@20458 361 }
pascal@20458 362 }
pascal@20458 363 }
pascal@20458 364 if (/^ mov e.x,/) {
pascal@20458 365 split($2,args,",")
pascal@20458 366 r=args[1]
pascal@20458 367 if (args[2] == "large") { args[2] = $3 }
pascal@20458 368 if (isnum(args[2]) && args[2] % 65536 == args[2]) {
pascal@20458 369 if (args[2] % 256 == args[2] || args[2] % 256 == 0) {
pascal@20458 370 print " xor " r "," r
pascal@20458 371 if (args[2] == 0) next
pascal@20458 372 x=" mov " substr(r,2,1)
pascal@20458 373 if (args[2] % 256 == 0) {
pascal@20458 374 print x "h," args[2] "/256"
pascal@20458 375 }
pascal@20458 376 else { print x "l," args[2] }
pascal@20458 377 next
pascal@20458 378 }
pascal@20458 379 }
pascal@20458 380 }
pascal@21576 381 if (afterjmp) print ";" $0
pascal@21576 382 else print
pascal@21576 383 if (/^ jmp /) afterjmp=1
pascal@20458 384 }