wok-current annotate linld/stuff/src/pipehole.awk @ rev 20544

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