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