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 }
|