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

Update some websites
author Pascal Bellard <pascal.bellard@slitaz.org>
date Sun May 19 13:14:32 2019 +0200 (2019-05-19)
parents 87b6697bb350
children 0e811092e7bb
rev   line source
pascal@20458 1 BEGIN { hold=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@20458 7 if (hold == 0) {
pascal@20458 8 s=$0
pascal@20534 9 if (/^ mov .[ix],bx$/ || /^ mov .[ix],.i$/) {
pascal@20543 10 r=$2; kept=0
pascal@20458 11 hold=1; split($2,regs,","); next
pascal@20458 12 }
pascal@20458 13 if (/^ inc e?.[ix]/ || /^ dec e?.[ix]/) {
pascal@20458 14 hold=2; r=$2; next
pascal@20458 15 }
pascal@20458 16 if (/^ mov [abcds][ix],/ && ! /,.s/) {
pascal@20458 17 hold=3; split($2,regs,","); next
pascal@20458 18 }
pascal@20458 19 if (/^ movzx eax,ax$/) { hold=4; next }
pascal@20544 20 if (/^ cmp word ptr/ || /^ cmp [bcd]x,/) {
pascal@20543 21 split($0,regs,",")
pascal@20543 22 if (isnum(regs[2]) && regs[2] != 0 &&
pascal@20543 23 (regs[2] % 256) == 0) {
pascal@20549 24 hold=5; next
pascal@20543 25 }
pascal@20543 26 }
pascal@20630 27 if (/^ mov ax,cs$/) { hold=6; kept=0; next }
pascal@20630 28 if (/^ mov cl,4$/) { hold=7; next }
pascal@20630 29 if (/^ cmp word ptr DGROUP:.*,0$/) {
pascal@20630 30 hold=8; split($2,regs,","); next
pascal@20630 31 }
pascal@20634 32 if (/^ cbw/) { hold=11; kept=0; next }
pascal@20634 33 if (/^ add [abcds][ix],2$/) {
pascal@20634 34 split($2,regs,","); hold=12; next
pascal@20634 35 }
pascal@20634 36 if (/^ sub [abcds][ix],2$/) {
pascal@20634 37 split($2,regs,","); hold=13; next
pascal@20634 38 }
pascal@21569 39 if (/^ push dx$/) {
pascal@21569 40 hold=14; next;
pascal@21569 41 }
pascal@20458 42 }
pascal@20458 43 else if (hold == 1) {
pascal@20543 44 if (/^ ;/) { line[kept++]=$0; next }
pascal@20458 45 hold=0; split($2,args,","); op=""
pascal@20458 46 if ($1 == "add") op="+"
pascal@20458 47 if ($1 == "sub") op="-"
pascal@20751 48 if ($1 == "inc") { op="+"; args[2]="1"; }
pascal@20751 49 if ($1 == "dec") { op="-"; args[2]="1"; }
pascal@20543 50 if (op != "" && regs[1] == args[1]) {
pascal@20543 51 if (isnum(args[2])) {
pascal@20630 52 for (i = kept++; i > 0; i--) line[i] = line[i-1]
pascal@20630 53 line[0] = "\tlea\t" regs[1] ",[" regs[2] op args[2] "]"
pascal@20630 54 hold=10; next
pascal@20543 55 }
pascal@20543 56 line[kept++]=$0
pascal@20543 57 hold=1
pascal@20458 58 next
pascal@20458 59 }
pascal@20520 60 if (/^ pop [ds]i/ && regs[2] ~ /^[ds]i$/) {
pascal@20520 61 print " xchg " r
pascal@20520 62 }
pascal@20543 63 else print s
pascal@20543 64 for (i = 0; i < kept; i++) print line[i]; kept=0
pascal@20458 65 }
pascal@20458 66 else if (hold == 2) {
pascal@20458 67 hold=0; split($2,args,","); print s
pascal@20458 68 if ($1 == "or" && r == args[1] && r == args[2]) next # don't clear C ...
pascal@20458 69 }
pascal@20458 70 else if (hold == 3) {
pascal@20458 71 hold=0
pascal@21576 72 if (/^ call / && regs[2] == "ax") s=" xchg ax," regs[1]
pascal@20542 73 if (/^ add [abcds][ix],/) {
pascal@20458 74 split($2,regs2,",")
pascal@20458 75 if (regs[1] == regs2[1] && (regs2[2] == "offset" || isnum(regs2[2]))) {
pascal@20549 76 t=$0; sub(/mov/,$1,s); sub(/add/,"mov",t)
pascal@20458 77 print t; print s; next
pascal@20458 78 }
pascal@20458 79 }
pascal@20458 80 print s
pascal@20458 81 }
pascal@20458 82 else if (hold == 4) {
pascal@20458 83 hold=0
pascal@20458 84 if (/^ push eax$/) {
pascal@20458 85 print " push 0"; print " push ax"; next
pascal@20458 86 } else { print s }
pascal@20458 87 }
pascal@20543 88 else if (hold == 5) {
pascal@20543 89 hold=0
pascal@20543 90 if ($1 == "jae" || $1 == "jb") {
pascal@20544 91 sub(/word ptr/,"byte ptr",s); sub(/x,/,"h,",s) ||
pascal@20543 92 sub(/\],/,"+1],",s) || sub(/,/,"+1,",s)
pascal@20543 93 s = s "/256"
pascal@20543 94 }
pascal@20543 95 print s
pascal@20543 96 }
pascal@20630 97 else if (hold == 6) {
pascal@20630 98 if (($1 == "and" || $1 == "add") && $2 ~ /^ax,/) {
pascal@20630 99 line[kept++]=$0
pascal@20630 100 next
pascal@20630 101 }
pascal@20630 102 p=$0
pascal@20630 103 if (/^ movzx eax,ax$/) {
pascal@20630 104 s=" mov eax,cs"; p=""
pascal@20630 105 }
pascal@20630 106 print s
pascal@20630 107 for (i = 0; i < kept; i++) print line[i]; kept=0
pascal@20630 108 if (p != "") print p
pascal@20630 109 hold=0; next
pascal@20630 110 }
pascal@20630 111 else if (hold == 7) {
pascal@20458 112 hold=0
pascal@20520 113 if (/^ call near ptr N_LXURSH@$/) {
pascal@20520 114 print " extrn N_LXURSH@4:near"
pascal@20520 115 print " call near ptr N_LXURSH@4"
pascal@20520 116 next
pascal@20520 117 }
pascal@20528 118 if (/^ call near ptr N_LXLSH@$/) {
pascal@20528 119 print " extrn N_LXLSH@4:near"
pascal@20528 120 print " call near ptr N_LXLSH@4"
pascal@20528 121 next
pascal@20528 122 }
pascal@20520 123 print s
pascal@20458 124 }
pascal@20630 125 else if (hold == 8) {
pascal@20630 126 if ($1 == "je" || $1 == "jne") { p=$0; hold=9; next }
pascal@20630 127 hold=0
pascal@20630 128 print s
pascal@20630 129 }
pascal@20630 130 else if (hold == 9) {
pascal@20630 131 hold=0; split($2,args,",")
pascal@20630 132 if (/^ mov ax,/ && args[2] == regs[1]) {
pascal@20630 133 print; print " or ax,ax"; print p; next
pascal@20630 134 }
pascal@20630 135 print s; print p;
pascal@20630 136 }
pascal@20630 137 else if (hold == 10) {
pascal@20751 138 split($2,args,","); op=""
pascal@20751 139 if ($1 == "add") op="+"
pascal@20751 140 if ($1 == "sub") op="-"
pascal@20751 141 if ($1 == "inc") { op="+"; args[2]="1"; }
pascal@20751 142 if ($1 == "dec") { op="-"; args[2]="1"; }
pascal@20751 143 if (op != "" && isnum(args[2])) {
pascal@20751 144 split(line[0],reg,",")
pascal@20751 145 if (substr(reg[1],length(reg[1])-1,2) == args[1]) {
pascal@20751 146 line[0] = substr(line[0],1,length(line[0])-1) op args[2] "]"
pascal@20751 147 next
pascal@20751 148 }
pascal@20751 149 }
pascal@20630 150 hold=0
pascal@20630 151 if (/^ mov [sd]i,ax$/) {
pascal@20630 152 split($2,args,",")
pascal@20630 153 for (i = 0; i < kept; i++) {
pascal@20630 154 sub(/ax/,args[1],line[i]); print line[i]
pascal@20630 155 }
pascal@20630 156 next
pascal@20630 157 }
pascal@20630 158 for (i = 0; i < kept; i++) print line[i]
pascal@20630 159 }
pascal@20634 160 else if (hold == 11) {
pascal@20634 161 if (/^ inc ax$/ || /^ dec ax$/) {
pascal@20634 162 line[kept++]=$0; next
pascal@20634 163 }
pascal@20634 164 split($2,args,",")
pascal@20634 165 if (/^ mov cl,/) {
pascal@20634 166 split($2,args,",")
pascal@20634 167 if (args[2] >= 8) {
pascal@20634 168 line[kept++]=$0; next
pascal@20634 169 }
pascal@20634 170 }
pascal@20634 171 if (!/^ shl ax,/ || (args[2] != "cl" && args[2] < 8)) {
pascal@20634 172 print " cbw "
pascal@20634 173 }
pascal@20634 174 for (i = 0; i < kept; i++) print line[i]
pascal@20634 175 hold=kept=0
pascal@20634 176 }
pascal@20634 177 else if (hold == 12) {
pascal@20634 178 hold=0
pascal@20634 179 if ($1 != "adc" && $1 != "sbb" && ! /^ jn?[abc]/) {
pascal@20634 180 print " inc " regs[1]
pascal@20634 181 print " inc " regs[1]
pascal@20634 182 }
pascal@20634 183 else print " add " regs[1] ",2"
pascal@20634 184 }
pascal@20634 185 else if (hold == 13) {
pascal@20634 186 hold=0
pascal@20634 187 if ($1 != "adc" && $1 != "sbb" && ! /^ jn?[abc]/) {
pascal@20634 188 print " dec " regs[1]
pascal@20634 189 print " dec " regs[1]
pascal@20634 190 }
pascal@20634 191 else print " sub " regs[1] ",2"
pascal@20634 192 }
pascal@21569 193 else if (hold == 14) {
pascal@21569 194 if (/^ push ax$/) { hold++; next; }
pascal@21569 195 print " push dx";
pascal@21569 196 hold=0;
pascal@21569 197 }
pascal@21569 198 else if (hold == 15) {
pascal@21569 199 if (/^ pop eax$/) { hold++; next; }
pascal@21569 200 print " push dx";
pascal@21569 201 print " push ax";
pascal@21569 202 hold=0;
pascal@21569 203 }
pascal@21569 204 else if (hold == 16) {
pascal@21569 205 hold=0;
pascal@21569 206 if (/^ shr eax,16$/) { print " xchg ax,dx"; next; }
pascal@21569 207 print " push dx";
pascal@21569 208 print " push ax";
pascal@21569 209 print " pop eax";
pascal@21569 210 }
pascal@21569 211 else if (hold == 17) {
pascal@21569 212 hold=0;
pascal@21569 213 if (/^ cmp ax,-1$/) { print " inc ax"; next; }
pascal@21569 214 }
pascal@21576 215 if (/^ call near ptr @fileexist\$/ || # return boolean :
pascal@21576 216 /^ call near ptr @isoreaddir\$/ || # 0=true, -1=false
pascal@21576 217 /^ call near ptr @argstr\$/ ||
pascal@21576 218 /^ call near ptr @argnum\$/) { print; hold=17; next; }
pascal@20458 219 s=$0
pascal@20458 220 # These optimisation may break ZF or CF
pascal@20485 221 if (/^ sub sp,2$/) { print " push ax"; next }
pascal@20485 222 if (/^ sub sp,4$/) { print " push ax"; print " push ax"; next }
pascal@20485 223 if (/^ add sp,4$/) { print " pop cx"; print " pop cx"; next }
pascal@20458 224 if (/^ mov d*word ptr .*,0$/ || /^ mov dword ptr .*,large 0$/) {
pascal@20458 225 sub(/mov/,"and",s); print s; next # slower
pascal@20458 226 }
pascal@20458 227 if (/^ mov d*word ptr .*,-1$/ || /^ mov dword ptr .*,large -1$/) {
pascal@20458 228 sub(/mov/,"or",s); print s; next # slower
pascal@20458 229 }
pascal@20458 230 if (/^ or .*,0$/ || /^ and .*,-1$/) next
pascal@20458 231 if (/^ or [abcd]x,/) {
pascal@20458 232 split($2,args,",")
pascal@20458 233 if (isnum(args[2]) && args[2] >= 0 && args[2] < 256) {
pascal@20458 234 print " or " substr(args[1],1,1) "l," args[2]; next
pascal@20458 235 }
pascal@20458 236 }
pascal@20458 237 if (/^ and [abcd]x,/) {
pascal@20458 238 split($2,args,",")
pascal@20459 239 if (isnum(args[2]) && args[2] >= -256 && args[2] < 0) {
pascal@20458 240 print " and " substr(args[1],1,1) "l," args[2]; next
pascal@20458 241 }
pascal@20458 242 }
pascal@20458 243 if (/^ or e[abcd]x,/) {
pascal@20458 244 split($2,args,",")
pascal@20458 245 if (args[2] == "large") { args[2] = $3 }
pascal@20458 246 if (isnum(args[2]) && args[2] >= 0 && args[2] < 256) {
pascal@20458 247 print " or " substr(args[1],2,1) "l," args[2]; next
pascal@20458 248 }
pascal@20458 249 }
pascal@20458 250 if (/^ and e[abcd]x,/) {
pascal@20458 251 split($2,args,",")
pascal@20458 252 if (args[2] == "large") { args[2] = $3 }
pascal@20459 253 if (isnum(args[2]) && args[2] >= -256 && args[2] < 0) {
pascal@20458 254 print " and " substr(args[1],2,1) "l," args[2]; next
pascal@20458 255 }
pascal@20458 256 }
pascal@20458 257 if (/^ or e[abcds][ix],/) {
pascal@20458 258 split($2,args,",")
pascal@20458 259 if (args[2] == "large") { args[2] = $3 }
pascal@20458 260 if (isnum(args[2]) && args[2] >= 0 && args[2] < 65536) {
pascal@20458 261 print " or " substr(args[1],2) "," args[2]; next
pascal@20458 262 }
pascal@20458 263 }
pascal@20458 264 if (/^ and e[abcds][ix],/) {
pascal@20458 265 split($2,args,",")
pascal@20458 266 if (args[2] == "large") { args[2] = $3 }
pascal@20459 267 if (isnum(args[2]) && args[2] >= -65536 && args[2] < 0) {
pascal@20458 268 print " and " substr(args[1],2) "," args[2]; next
pascal@20458 269 }
pascal@20458 270 }
pascal@20543 271 if (/^ add word ptr/ || /^ sub word ptr/ ||
pascal@20544 272 /^ add [bcd]x,/ || /^ sub [bcd]x,/) {
pascal@20542 273 split($0,args,",")
pascal@20542 274 if (isnum(args[2]) && (args[2] % 256 == 0)) {
pascal@20544 275 sub(/word ptr/,"byte ptr",s); sub(/x,/,"h,",s) ||
pascal@20543 276 sub(/\],/,"+1],",s) || sub(/,/,"+1,",s)
pascal@20542 277 print s "/256"; next
pascal@20542 278 }
pascal@20542 279 }
pascal@20546 280 if (/^ add dword ptr/ || /^ sub dword ptr/) {
pascal@20458 281 split($0,args,",")
pascal@20543 282 if (args[2] == "large") { args[2] = $3 }
pascal@20458 283 if (isnum(args[2])) {
pascal@20546 284 if (args[2] % 16777216 == 0) {
pascal@20546 285 sub(/dword/,"byte",s)
pascal@20543 286 sub(/\],/,"+3],",s) || sub(/,/,"+3,",s)
pascal@20458 287 print s "/16777216"; next
pascal@20458 288 }
pascal@20458 289 if (args[2] % 65536 == 0) {
pascal@20546 290 sub(/dword/,"word",s)
pascal@20543 291 sub(/\],/,"+2],",s) || sub(/,/,"+2,",s)
pascal@20458 292 print s "/65536"; next
pascal@20458 293 }
pascal@20458 294 }
pascal@20458 295 }
pascal@20458 296 if (/^ mov e.x,/) {
pascal@20458 297 split($2,args,",")
pascal@20458 298 r=args[1]
pascal@20458 299 if (args[2] == "large") { args[2] = $3 }
pascal@20458 300 if (isnum(args[2]) && args[2] % 65536 == args[2]) {
pascal@20458 301 if (args[2] % 256 == args[2] || args[2] % 256 == 0) {
pascal@20458 302 print " xor " r "," r
pascal@20458 303 if (args[2] == 0) next
pascal@20458 304 x=" mov " substr(r,2,1)
pascal@20458 305 if (args[2] % 256 == 0) {
pascal@20458 306 print x "h," args[2] "/256"
pascal@20458 307 }
pascal@20458 308 else { print x "l," args[2] }
pascal@20458 309 next
pascal@20458 310 }
pascal@20458 311 }
pascal@20458 312 }
pascal@21576 313 if (afterjmp) print ";" $0
pascal@21576 314 else print
pascal@21576 315 if (/^ jmp /) afterjmp=1
pascal@20458 316 }