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

linld: 32 bits lseeks for tazboot
author Pascal Bellard <pascal.bellard@slitaz.org>
date Sat Jan 05 17:23:23 2019 +0100 (2019-01-05)
parents d3d2a15d3d0d
children 57d97be431f4
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@20458 5 if (hold == 0) {
pascal@20458 6 s=$0
pascal@20534 7 if (/^ mov .[ix],bx$/ || /^ mov .[ix],.i$/) {
pascal@20543 8 r=$2; kept=0
pascal@20458 9 hold=1; split($2,regs,","); next
pascal@20458 10 }
pascal@20458 11 if (/^ inc e?.[ix]/ || /^ dec e?.[ix]/) {
pascal@20458 12 hold=2; r=$2; next
pascal@20458 13 }
pascal@20458 14 if (/^ mov [abcds][ix],/ && ! /,.s/) {
pascal@20458 15 hold=3; split($2,regs,","); next
pascal@20458 16 }
pascal@20458 17 if (/^ movzx eax,ax$/) { hold=4; next }
pascal@20544 18 if (/^ cmp word ptr/ || /^ cmp [bcd]x,/) {
pascal@20543 19 split($0,regs,",")
pascal@20543 20 if (isnum(regs[2]) && regs[2] != 0 &&
pascal@20543 21 (regs[2] % 256) == 0) {
pascal@20549 22 hold=5; next
pascal@20543 23 }
pascal@20543 24 }
pascal@20630 25 if (/^ mov ax,cs$/) { hold=6; kept=0; next }
pascal@20630 26 if (/^ mov cl,4$/) { hold=7; next }
pascal@20630 27 if (/^ cmp word ptr DGROUP:.*,0$/) {
pascal@20630 28 hold=8; split($2,regs,","); next
pascal@20630 29 }
pascal@20458 30 }
pascal@20458 31 else if (hold == 1) {
pascal@20543 32 if (/^ ;/) { line[kept++]=$0; next }
pascal@20458 33 hold=0; split($2,args,","); op=""
pascal@20458 34 if ($1 == "add") op="+"
pascal@20458 35 if ($1 == "sub") op="-"
pascal@20543 36 if (op != "" && regs[1] == args[1]) {
pascal@20543 37 if (isnum(args[2])) {
pascal@20630 38 for (i = kept++; i > 0; i--) line[i] = line[i-1]
pascal@20630 39 line[0] = "\tlea\t" regs[1] ",[" regs[2] op args[2] "]"
pascal@20630 40 hold=10; next
pascal@20543 41 }
pascal@20543 42 line[kept++]=$0
pascal@20543 43 hold=1
pascal@20458 44 next
pascal@20458 45 }
pascal@20520 46 if (/^ pop [ds]i/ && regs[2] ~ /^[ds]i$/) {
pascal@20520 47 print " xchg " r
pascal@20520 48 }
pascal@20543 49 else print s
pascal@20543 50 for (i = 0; i < kept; i++) print line[i]; kept=0
pascal@20458 51 }
pascal@20458 52 else if (hold == 2) {
pascal@20458 53 hold=0; split($2,args,","); print s
pascal@20458 54 if ($1 == "or" && r == args[1] && r == args[2]) next # don't clear C ...
pascal@20458 55 }
pascal@20458 56 else if (hold == 3) {
pascal@20458 57 hold=0
pascal@20542 58 if (/^ add [abcds][ix],/) {
pascal@20458 59 split($2,regs2,",")
pascal@20458 60 if (regs[1] == regs2[1] && (regs2[2] == "offset" || isnum(regs2[2]))) {
pascal@20549 61 t=$0; sub(/mov/,$1,s); sub(/add/,"mov",t)
pascal@20458 62 print t; print s; next
pascal@20458 63 }
pascal@20458 64 }
pascal@20458 65 print s
pascal@20458 66 }
pascal@20458 67 else if (hold == 4) {
pascal@20458 68 hold=0
pascal@20458 69 if (/^ push eax$/) {
pascal@20458 70 print " push 0"; print " push ax"; next
pascal@20458 71 } else { print s }
pascal@20458 72 }
pascal@20543 73 else if (hold == 5) {
pascal@20543 74 hold=0
pascal@20543 75 if ($1 == "jae" || $1 == "jb") {
pascal@20544 76 sub(/word ptr/,"byte ptr",s); sub(/x,/,"h,",s) ||
pascal@20543 77 sub(/\],/,"+1],",s) || sub(/,/,"+1,",s)
pascal@20543 78 s = s "/256"
pascal@20543 79 }
pascal@20543 80 print s
pascal@20543 81 }
pascal@20630 82 else if (hold == 6) {
pascal@20630 83 if (($1 == "and" || $1 == "add") && $2 ~ /^ax,/) {
pascal@20630 84 line[kept++]=$0
pascal@20630 85 next
pascal@20630 86 }
pascal@20630 87 p=$0
pascal@20630 88 if (/^ movzx eax,ax$/) {
pascal@20630 89 s=" mov eax,cs"; p=""
pascal@20630 90 }
pascal@20630 91 print s
pascal@20630 92 for (i = 0; i < kept; i++) print line[i]; kept=0
pascal@20630 93 if (p != "") print p
pascal@20630 94 hold=0; next
pascal@20630 95 }
pascal@20630 96 else if (hold == 7) {
pascal@20458 97 hold=0
pascal@20520 98 if (/^ call near ptr N_LXURSH@$/) {
pascal@20520 99 print " extrn N_LXURSH@4:near"
pascal@20520 100 print " call near ptr N_LXURSH@4"
pascal@20520 101 next
pascal@20520 102 }
pascal@20528 103 if (/^ call near ptr N_LXLSH@$/) {
pascal@20528 104 print " extrn N_LXLSH@4:near"
pascal@20528 105 print " call near ptr N_LXLSH@4"
pascal@20528 106 next
pascal@20528 107 }
pascal@20520 108 print s
pascal@20458 109 }
pascal@20630 110 else if (hold == 8) {
pascal@20630 111 if ($1 == "je" || $1 == "jne") { p=$0; hold=9; next }
pascal@20630 112 hold=0
pascal@20630 113 print s
pascal@20630 114 }
pascal@20630 115 else if (hold == 9) {
pascal@20630 116 hold=0; split($2,args,",")
pascal@20630 117 if (/^ mov ax,/ && args[2] == regs[1]) {
pascal@20630 118 print; print " or ax,ax"; print p; next
pascal@20630 119 }
pascal@20630 120 print s; print p;
pascal@20630 121 }
pascal@20630 122 else if (hold == 10) {
pascal@20630 123 hold=0
pascal@20630 124 if (/^ mov [sd]i,ax$/) {
pascal@20630 125 split($2,args,",")
pascal@20630 126 for (i = 0; i < kept; i++) {
pascal@20630 127 sub(/ax/,args[1],line[i]); print line[i]
pascal@20630 128 }
pascal@20630 129 next
pascal@20630 130 }
pascal@20630 131 for (i = 0; i < kept; i++) print line[i]
pascal@20630 132 }
pascal@20458 133 s=$0
pascal@20458 134 # These optimisation may break ZF or CF
pascal@20485 135 if (/^ sub sp,2$/) { print " push ax"; next }
pascal@20485 136 if (/^ sub sp,4$/) { print " push ax"; print " push ax"; next }
pascal@20485 137 if (/^ add sp,4$/) { print " pop cx"; print " pop cx"; next }
pascal@20458 138 if (/^ mov d*word ptr .*,0$/ || /^ mov dword ptr .*,large 0$/) {
pascal@20458 139 sub(/mov/,"and",s); print s; next # slower
pascal@20458 140 }
pascal@20458 141 if (/^ mov d*word ptr .*,-1$/ || /^ mov dword ptr .*,large -1$/) {
pascal@20458 142 sub(/mov/,"or",s); print s; next # slower
pascal@20458 143 }
pascal@20458 144 if (/^ or .*,0$/ || /^ and .*,-1$/) next
pascal@20458 145 if (/^ or [abcd]x,/) {
pascal@20458 146 split($2,args,",")
pascal@20458 147 if (isnum(args[2]) && args[2] >= 0 && args[2] < 256) {
pascal@20458 148 print " or " substr(args[1],1,1) "l," args[2]; next
pascal@20458 149 }
pascal@20458 150 }
pascal@20458 151 if (/^ and [abcd]x,/) {
pascal@20458 152 split($2,args,",")
pascal@20459 153 if (isnum(args[2]) && args[2] >= -256 && args[2] < 0) {
pascal@20458 154 print " and " substr(args[1],1,1) "l," args[2]; next
pascal@20458 155 }
pascal@20458 156 }
pascal@20458 157 if (/^ or e[abcd]x,/) {
pascal@20458 158 split($2,args,",")
pascal@20458 159 if (args[2] == "large") { args[2] = $3 }
pascal@20458 160 if (isnum(args[2]) && args[2] >= 0 && args[2] < 256) {
pascal@20458 161 print " or " substr(args[1],2,1) "l," args[2]; next
pascal@20458 162 }
pascal@20458 163 }
pascal@20458 164 if (/^ and e[abcd]x,/) {
pascal@20458 165 split($2,args,",")
pascal@20458 166 if (args[2] == "large") { args[2] = $3 }
pascal@20459 167 if (isnum(args[2]) && args[2] >= -256 && args[2] < 0) {
pascal@20458 168 print " and " substr(args[1],2,1) "l," args[2]; next
pascal@20458 169 }
pascal@20458 170 }
pascal@20458 171 if (/^ or e[abcds][ix],/) {
pascal@20458 172 split($2,args,",")
pascal@20458 173 if (args[2] == "large") { args[2] = $3 }
pascal@20458 174 if (isnum(args[2]) && args[2] >= 0 && args[2] < 65536) {
pascal@20458 175 print " or " substr(args[1],2) "," args[2]; next
pascal@20458 176 }
pascal@20458 177 }
pascal@20458 178 if (/^ and e[abcds][ix],/) {
pascal@20458 179 split($2,args,",")
pascal@20458 180 if (args[2] == "large") { args[2] = $3 }
pascal@20459 181 if (isnum(args[2]) && args[2] >= -65536 && args[2] < 0) {
pascal@20458 182 print " and " substr(args[1],2) "," args[2]; next
pascal@20458 183 }
pascal@20458 184 }
pascal@20543 185 if (/^ add word ptr/ || /^ sub word ptr/ ||
pascal@20544 186 /^ add [bcd]x,/ || /^ sub [bcd]x,/) {
pascal@20542 187 split($0,args,",")
pascal@20542 188 if (isnum(args[2]) && (args[2] % 256 == 0)) {
pascal@20544 189 sub(/word ptr/,"byte ptr",s); sub(/x,/,"h,",s) ||
pascal@20543 190 sub(/\],/,"+1],",s) || sub(/,/,"+1,",s)
pascal@20542 191 print s "/256"; next
pascal@20542 192 }
pascal@20542 193 }
pascal@20546 194 if (/^ add dword ptr/ || /^ sub dword ptr/) {
pascal@20458 195 split($0,args,",")
pascal@20543 196 if (args[2] == "large") { args[2] = $3 }
pascal@20458 197 if (isnum(args[2])) {
pascal@20546 198 if (args[2] % 16777216 == 0) {
pascal@20546 199 sub(/dword/,"byte",s)
pascal@20543 200 sub(/\],/,"+3],",s) || sub(/,/,"+3,",s)
pascal@20458 201 print s "/16777216"; next
pascal@20458 202 }
pascal@20458 203 if (args[2] % 65536 == 0) {
pascal@20546 204 sub(/dword/,"word",s)
pascal@20543 205 sub(/\],/,"+2],",s) || sub(/,/,"+2,",s)
pascal@20458 206 print s "/65536"; next
pascal@20458 207 }
pascal@20458 208 }
pascal@20458 209 }
pascal@20458 210 if (/^ mov e.x,/) {
pascal@20458 211 split($2,args,",")
pascal@20458 212 r=args[1]
pascal@20458 213 if (args[2] == "large") { args[2] = $3 }
pascal@20458 214 if (isnum(args[2]) && args[2] % 65536 == args[2]) {
pascal@20458 215 if (args[2] % 256 == args[2] || args[2] % 256 == 0) {
pascal@20458 216 print " xor " r "," r
pascal@20458 217 if (args[2] == 0) next
pascal@20458 218 x=" mov " substr(r,2,1)
pascal@20458 219 if (args[2] % 256 == 0) {
pascal@20458 220 print x "h," args[2] "/256"
pascal@20458 221 }
pascal@20458 222 else { print x "l," args[2] }
pascal@20458 223 next
pascal@20458 224 }
pascal@20458 225 }
pascal@20458 226 }
pascal@20458 227 print
pascal@20458 228 }