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

linld: fix memcpy32 (16 low mem case)
author Pascal Bellard <pascal.bellard@slitaz.org>
date Tue Oct 23 08:25:49 2018 +0200 (2018-10-23)
parents c2946aeb8b57
children d7919052f62f
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@20458 6 if (/^ mov .x,bx$/ || /^ mov .x,.i$/) {
pascal@20458 7 hold=1; split($2,regs,","); next
pascal@20458 8 }
pascal@20458 9 if (/^ inc e?.[ix]/ || /^ dec e?.[ix]/) {
pascal@20458 10 hold=2; r=$2; next
pascal@20458 11 }
pascal@20458 12 if (/^ mov [abcds][ix],/ && ! /,.s/) {
pascal@20458 13 hold=3; split($2,regs,","); next
pascal@20458 14 }
pascal@20458 15 if (/^ movzx eax,ax$/) { hold=4; next }
pascal@20458 16 if (0) {
pascal@20458 17 if (/^ cmp dx,-1$/) { hold=10; next }
pascal@20458 18 }
pascal@20458 19 }
pascal@20458 20 else if (hold == 1) {
pascal@20458 21 hold=0; split($2,args,","); op=""
pascal@20458 22 if ($1 == "add") op="+"
pascal@20458 23 if ($1 == "sub") op="-"
pascal@20458 24 if (op != "" && regs[1] == args[1] && isnum(args[2])) {
pascal@20458 25 print "\tlea\t" regs[1] ",[" regs[2] op args[2] "]"
pascal@20458 26 next
pascal@20458 27 }
pascal@20458 28 print "\tmov\t" regs[1] "," regs[2]
pascal@20458 29 }
pascal@20458 30 else if (hold == 2) {
pascal@20458 31 hold=0; split($2,args,","); print s
pascal@20458 32 if ($1 == "or" && r == args[1] && r == args[2]) next # don't clear C ...
pascal@20458 33 }
pascal@20458 34 else if (hold == 3) {
pascal@20458 35 hold=0
pascal@20458 36 if (/^ add [abcds][ix],/ || /^ sub [abcds][ix],/) {
pascal@20458 37 split($2,regs2,",")
pascal@20458 38 if (regs[1] == regs2[1] && (regs2[2] == "offset" || isnum(regs2[2]))) {
pascal@20458 39 t=$0; sub(/mov/,$1,s)
pascal@20458 40 if ($1 == "add") sub(/add/,"mov",t); else sub(/sub/,"mov",t)
pascal@20458 41 print t; print s; next
pascal@20458 42 }
pascal@20458 43 }
pascal@20458 44 print s
pascal@20458 45 }
pascal@20458 46 else if (hold == 4) {
pascal@20458 47 hold=0
pascal@20458 48 if (/^ push eax$/) {
pascal@20458 49 print " push 0"; print " push ax"; next
pascal@20458 50 } else { print s }
pascal@20458 51 }
pascal@20458 52 else if (hold == 10) {
pascal@20458 53 if ($1 == "je" || $1 == "jne") { s2=$0; cmp=$1; hold++; next }
pascal@20458 54 hold=0; print s
pascal@20458 55 }
pascal@20458 56 else if (hold == 11) {
pascal@20458 57 if (/^ cmp ax,-1$/) { s3=$0; hold++; next }
pascal@20458 58 hold=0; print s; print s2
pascal@20458 59 }
pascal@20458 60 else if (hold == 12) {
pascal@20458 61 if (($1 == "je" || $1 == "jne") && $1 != cmp) {
pascal@20458 62 print " and ax,dx"; print " inc ax"
pascal@20458 63 } else { print s; print s2; print s3 }
pascal@20458 64 hold=0
pascal@20458 65 }
pascal@20458 66 s=$0
pascal@20458 67 # These optimisation may break ZF or CF
pascal@20485 68 if (/^ sub sp,2$/) { print " push ax"; next }
pascal@20485 69 if (/^ sub sp,4$/) { print " push ax"; print " push ax"; next }
pascal@20485 70 if (/^ add sp,4$/) { print " pop cx"; print " pop cx"; next }
pascal@20458 71 if (/^ mov d*word ptr .*,0$/ || /^ mov dword ptr .*,large 0$/) {
pascal@20458 72 sub(/mov/,"and",s); print s; next # slower
pascal@20458 73 }
pascal@20458 74 if (/^ mov d*word ptr .*,-1$/ || /^ mov dword ptr .*,large -1$/) {
pascal@20458 75 sub(/mov/,"or",s); print s; next # slower
pascal@20458 76 }
pascal@20458 77 if (/^ or .*,0$/ || /^ and .*,-1$/) next
pascal@20458 78 if (/^ or [abcd]x,/) {
pascal@20458 79 split($2,args,",")
pascal@20458 80 if (isnum(args[2]) && args[2] >= 0 && args[2] < 256) {
pascal@20458 81 print " or " substr(args[1],1,1) "l," args[2]; next
pascal@20458 82 }
pascal@20458 83 }
pascal@20458 84 if (/^ and [abcd]x,/) {
pascal@20458 85 split($2,args,",")
pascal@20459 86 if (isnum(args[2]) && args[2] >= -256 && args[2] < 0) {
pascal@20458 87 print " and " substr(args[1],1,1) "l," args[2]; next
pascal@20458 88 }
pascal@20458 89 }
pascal@20458 90 if (/^ or e[abcd]x,/) {
pascal@20458 91 split($2,args,",")
pascal@20458 92 if (args[2] == "large") { args[2] = $3 }
pascal@20458 93 if (isnum(args[2]) && args[2] >= 0 && args[2] < 256) {
pascal@20458 94 print " or " substr(args[1],2,1) "l," args[2]; next
pascal@20458 95 }
pascal@20458 96 }
pascal@20458 97 if (/^ and e[abcd]x,/) {
pascal@20458 98 split($2,args,",")
pascal@20458 99 if (args[2] == "large") { args[2] = $3 }
pascal@20459 100 if (isnum(args[2]) && args[2] >= -256 && args[2] < 0) {
pascal@20458 101 print " and " substr(args[1],2,1) "l," args[2]; next
pascal@20458 102 }
pascal@20458 103 }
pascal@20458 104 if (/^ or e[abcds][ix],/) {
pascal@20458 105 split($2,args,",")
pascal@20458 106 if (args[2] == "large") { args[2] = $3 }
pascal@20458 107 if (isnum(args[2]) && args[2] >= 0 && args[2] < 65536) {
pascal@20458 108 print " or " substr(args[1],2) "," args[2]; next
pascal@20458 109 }
pascal@20458 110 }
pascal@20458 111 if (/^ and e[abcds][ix],/) {
pascal@20458 112 split($2,args,",")
pascal@20458 113 if (args[2] == "large") { args[2] = $3 }
pascal@20459 114 if (isnum(args[2]) && args[2] >= -65536 && args[2] < 0) {
pascal@20458 115 print " and " substr(args[1],2) "," args[2]; next
pascal@20458 116 }
pascal@20458 117 }
pascal@20458 118 if (/^ add word ptr/ || /^ sub word ptr/) {
pascal@20458 119 split($0,args,",")
pascal@20458 120 if (isnum(args[2]) && (args[2] % 256 == 0)) {
pascal@20458 121 sub(/word/,"byte",s); sub(/\]/,"+1]",s)
pascal@20458 122 print s "/256"; next
pascal@20458 123 }
pascal@20458 124 }
pascal@20458 125 if (/^ add dword ptr/ || /^ sub dword ptr/) {
pascal@20458 126 split($0,args,",")
pascal@20458 127 if (args[2] == "large") { split(args[2],args," ") }
pascal@20458 128 if (isnum(args[2])) {
pascal@20458 129 if (args[2] % 16777216 == 0) {
pascal@20458 130 sub(/dword/,"byte",s); sub(/\]/,"+3]",s)
pascal@20458 131 print s "/16777216"; next
pascal@20458 132 }
pascal@20458 133 if (args[2] % 65536 == 0) {
pascal@20458 134 sub(/dword/,"word",s); sub(/\]/,"+2]",s)
pascal@20458 135 print s "/65536"; next
pascal@20458 136 }
pascal@20458 137 }
pascal@20458 138 }
pascal@20458 139 if (/^ mov e.x,/) {
pascal@20458 140 split($2,args,",")
pascal@20458 141 r=args[1]
pascal@20458 142 if (args[2] == "large") { args[2] = $3 }
pascal@20458 143 if (isnum(args[2]) && args[2] % 65536 == args[2]) {
pascal@20458 144 if (args[2] % 256 == args[2] || args[2] % 256 == 0) {
pascal@20458 145 print " xor " r "," r
pascal@20458 146 if (args[2] == 0) next
pascal@20458 147 x=" mov " substr(r,2,1)
pascal@20458 148 if (args[2] % 256 == 0) {
pascal@20458 149 print x "h," args[2] "/256"
pascal@20458 150 }
pascal@20458 151 else { print x "l," args[2] }
pascal@20458 152 next
pascal@20458 153 }
pascal@20458 154 }
pascal@20458 155 }
pascal@20458 156 print
pascal@20458 157 }