compilers/linux86-0.16.17/copt/rules.386

   1 # Rules to optimize BCC assembler output for 386
   2
   3 # Many of these rules are very broken, ho hum.
   4
   5 # Rules for loading a long constant
   6
   7 xor     ax,ax
   8 xor     %[bx|si|di]1,%[bx|si|di]1
   9 =
  10 xor     eax,eax
  11
  12 xor     eax,eax
  13 mov     %[ebx|ecx|edx]1,eax
  14 =
  15 xor     %1,%1
  16
  17 xor     ax,ax
  18 mov     %[bx|si|di]*,%[*|#]0%1
  19 =
  20 mov     eax,%0%1<<16
  21
  22 mov     ax,%[*|#]0%1
  23 xor     %[bx|si|di]2,%[bx|si|di]2
  24 =
  25 mov     eax,%0%1 & $0000FFFF
  26
  27 mov     ax,%0[%1]
  28 xor     %[bx|si|di]2,%[bx|si|di]2
  29 =
  30 movzx   eax,word ptr %0[%1]
  31
  32 mov     ax,%[si|di]1
  33 xor     bx,bx
  34 =
  35 movzx   eax,%1
  36
  37 %[movzx|movsx]5 eax,%1
  38 mov     %[ebx|ecx|edx]2,eax
  39 =
  40 %5      %2,%1
  41
  42 %[movzx|movsx]5 %[ebx|ecx|edx]1,%2
  43 mov     eax,%[#|*]0%3
  44 %[add|and|xor|or]4      eax,%[ebx|ecx|edx]1
  45 =
  46 %5      eax,%2
  47 %4      eax,%0%3
  48
  49 mov     ax,%0[%1]
  50 cwde
  51 =
  52 movsx   eax,word ptr %0[%1]
  53
  54 mov     ax,%[si|di]1
  55 cwde
  56 =
  57 movsx   eax,%1
  58
  59 mov     ax,%[#|*]3%1
  60 mov     %[bx|si|di]*,%[#|*]4%2
  61 =
  62 mov     eax,%4%2<<16 + %1
  63
  64
  65 # Rules for pushing variables and constants onto the stack
  66
  67 push    %![dword ptr]%1[%[bx|si|di|bp]3]
  68 push    %![dword ptr]%(%1-2)[%[bx|si|di|bp]3]
  69 =
  70 push    dword ptr %(%1-2)[%3]
  71
  72 push    [%1+2]
  73 push    [%1]
  74 =
  75 push    dword ptr [%1]
  76
  77 push    %[bx|si|di]*
  78 push    ax
  79 =
  80 push    eax
  81
  82 mov     eax,%[#|*]0%1
  83 push    eax
  84 =
  85 push    dword %0%1
  86
  87 mov     %1,%[eax|ebx|ecx|edx]2
  88 push    dword ptr %1
  89 =
  90 mov     %1,%2
  91 push    %2
  92
  93
  94 # Rules for loading long variables
  95
  96 mov     ax,[%1]
  97 mov     %[bx|si|di]*,[%1+2]
  98 =
  99 mov     eax,[%1]
 100
 101 mov     ax,%1[%[bx|si|di|bp]3]
 102 mov     %[bx|si|di]*,%(%1+2)[%[bx|si|di|bp]3]
 103 =
 104 mov     eax,%1[%3]
 105
 106 mov     ax,#%1[bx]
 107 mov     %[bx|si|di]*,#%1+2[bx]
 108 =
 109 mov     eax,#%1[bx]
 110
 111 mov     [%1],ax
 112 mov     [%1+2],%[bx|si|di]*
 113 =
 114 mov     [%1],eax
 115
 116 mov     [%1+%3],ax
 117 mov     [%1+%(%3+2)],%[bx|si|di]*
 118 =
 119 mov     [%1+%3],eax
 120
 121 mov     %1[%[si|di|bp]3],ax
 122 mov     %(%1+2)[%[si|di|bp]3],%[bx|si|di]*
 123 =
 124 mov     %1[%3],eax
 125
 126 mov     #%1[bx],ax
 127 mov     #%1+2[bx],%[bx|si|di]*
 128 =
 129 mov     #%1[bx],eax
 130
 131 mov     eax,%[#|*]0%1
 132 mov     %![dword ptr]%3[%2],eax
 133 =
 134 mov     dword ptr %3[%2],%0%1
 135
 136 xor     ax,ax
 137 xor     %[bx|si|di]3,%[bx|si|di]3
 138 mov     %1[%[bx|bp]4],ax
 139 mov     %(%1+2)[%[bx|bp]4],%[bx|si|di]3
 140 =
 141 mov     dword ptr %1[%4],#0
 142
 143 mov     ax,%1
 144 mov     %[bx|si|di]5,%2
 145 mov     %3[%[bx|bp]6],ax
 146 mov     %(%3+2)[%[bx|bp]6],%[bx|si|di]5
 147 =
 148 mov     eax,dword ptr %1
 149 mov     dword ptr %3[%6],eax
 150
 151
 152 # Long return values are in EAX, so we can skip dx
 153
 154 mov     dx,bx
 155 add     sp,*%1
 156 =
 157 add     sp,*%1
 158
 159
 160 # Rules for manipulating long values
 161
 162 call    %1
 163 mov     bx,dx
 164 =
 165 call    %1
 166
 167 call    l%[tstu|tst]*l
 168 =
 169 test    eax,eax
 170
 171 call    l%[comu|com]*l
 172 =
 173 not     eax
 174
 175 mov     eax,eax
 176 %1
 177 =
 178 %1
 179
 180 mov     %2,%[eax|ebx|ecx|edx]1
 181 mov     %[eax|ebx|ecx|edx]1,%2
 182 =
 183 mov     %2,%1
 184
 185 cwd
 186 mov     bx,dx
 187 =
 188 cwde
 189
 190 mov     %[ebx|ecx|edx]0,%1
 191 mov     eax,%2
 192 %3      eax,%[ebc|ecx|edx]0
 193 =
 194 mov     eax,%2
 195 %3      eax,%1
 196
 197 %[movzx|movsx|mov]0     %[eax|ebx|ecx|edx]2,%4
 198 %[add|and|xor|sub|or]1  %[eax|ebx|ecx|edx]2,%6
 199 mov     %6,%[eax|ebx|ecx|edx]2
 200 =
 201 %0      %2,%4
 202 %1      %6,%2
 203
 204 mov     eax,%[#|*]0%1
 205 cmp     eax,%2
 206 %[jbe |jae |jne |jge |jle ]3    %4
 207 =
 208 cmp     dword ptr %2,%0%1
 209 %=[jbe |jae |jne |jge |jle ][jae |jbe |jne |jle |jge ]3 %4
 210
 211 mov     eax,%[#|*]0%1
 212 cmp     eax,%2
 213 %[jb  |ja  |je  |jg  |jl  ]3    %4
 214 =
 215 cmp     dword ptr %2,%0%1
 216 %=[jb  |ja  |je  |jg  |jl  ][ja  |jb  |je  |jl  |jg  ]3 %4
 217
 218 mov     eax,%1[%3]
 219 cmp     eax,dword %[#|*]0%2
 220 =
 221 cmp     dword ptr %1[%3],%0%2
 222
 223
 224 # Rules for calling the bcc library routines.
 225
 226 push    %1
 227 push    %2
 228 mov     eax,%3[bp]
 229 %4      eax,%(%3-4)[bp]
 230 add     sp,*8
 231 =
 232 mov     edx,%2
 233 mov     eax,%1
 234 %4      eax,edx
 235
 236 push    %1
 237 mov     eax,%2
 238 push    eax
 239 mov     eax,%3[bp]
 240 %4      eax,%(%3-4)[bp]
 241 add     sp,*8
 242 =
 243 mov     edx,%2
 244 mov     eax,%1
 245 %4      eax,edx
 246
 247 push    %1
 248 xor     eax,eax
 249 push    eax
 250 mov     eax,%2[bp]
 251 %3      eax,%(%2-4)[bp]
 252 add     sp,*8
 253 =
 254 mov     eax,%1
 255 %3      eax,#0
 256
 257 push    %1
 258 mov     eax,%2
 259 %3      eax,%4[bp]
 260 add     sp,*4
 261 =
 262 mov     edx,%1
 263 mov     eax,%2
 264 %3      eax,edx
 265
 266 push    %1
 267 mov     eax,%2
 268 %3      eax,%4[bp]
 269 mov     %2,eax
 270 add     sp,*4
 271 =
 272 mov     edx,%1
 273 %3      %2,edx
 274
 275
 276 push    %1
 277 push    %2
 278 mov     eax,%3[bp]
 279 %4      eax,%(%3-4)[bp]
 280 lea     sp,%(%3+4)[bp]
 281 =
 282 mov     edx,%2
 283 mov     eax,%1
 284 %4      eax,edx
 285
 286 push    %1
 287 mov     eax,%2
 288 push    eax
 289 mov     eax,%3[bp]
 290 %4      eax,%(%3-4)[bp]
 291 lea     sp,%(%3+4)[bp]
 292 =
 293 mov     edx,%2
 294 mov     eax,%1
 295 %4      eax,edx
 296
 297 push    %1
 298 xor     eax,eax
 299 push    eax
 300 mov     eax,%2[bp]
 301 %3      eax,%(%2-4)[bp]
 302 lea     sp,%(%2+4)[bp]
 303 =
 304 mov     eax,%1
 305 %3      eax,#0
 306
 307 push    %1
 308 mov     eax,%2
 309 %3      eax,%4[bp]
 310 lea     sp,%(%4+4)[bp]
 311 =
 312 mov     edx,%1
 313 mov     eax,%2
 314 %3      eax,edx
 315
 316
 317 # Rules for calling the basic bcc library routines.
 318
 319 mov     di,#%2
 320 call    l%3%[ul|l]*
 321 =
 322 %3      eax,[%2]
 323
 324 mov     di,*%2
 325 call    lsll
 326 =
 327 lsl     eax,*%2
 328
 329 lea     di,%2
 330 call    l%3%[ul|l]*
 331 =
 332 %3      eax,%2
 333
 334 mov     di,%[si|di]1
 335 call    l%3%[ul|l]*
 336 =
 337 %3      eax,[%1]
 338
 339 mov     di,%[ax|bx|cx|dx]1
 340 call    l%3%[ul|l]*
 341 =
 342 mov     di,%[ax|bx|cx|dx]1
 343 %3      eax,[di]
 344
 345
 346 # Rules for pushing short values
 347
 348 mov     %[ax|bx|cx|dx|si|di]2,%0[%1]
 349 push    %[ax|bx|cx|dx|si|di]2
 350 =
 351 push    word ptr %0[%1]
 352
 353 mov     %[ax|bx|cx|dx|si|di]2,%[#|*]0%1
 354 push    %[ax|bx|cx|dx|si|di]2
 355 =
 356 push    %0%1
 357
 358
 359 # Shifting rules
 360
 361 %[shl|shr]2     %1,*1
 362 %[shl|shr]2     %1,*1
 363 =
 364 %2      %1,*2
 365
 366 mov     cl,*%1
 367 %[shl|shr]2     %3,cl
 368 =
 369 %2      %3,*%1
 370
 371 mov     dx,ax
 372 shl     ax,*%1
 373 add     ax,dx
 374 shl     ax,*%2
 375 =
 376 mov     dx,ax
 377 imul    ax,*%(1<%1+1<%2)
 378
 379 mov     dx,ax
 380 imul    ax,*%1
 381 add     ax,dx
 382 =
 383 mov     dx,ax
 384 imul    ax,*%(%1+1)
 385
 386 mov     dx,ax
 387 imul    ax,*%1
 388 shl     ax,*%2
 389 =
 390 mov     dx,ax
 391 imul    ax,*%(%1<%2)
 392
 393 mov     ax,%![#|*]%4
 394 mov     dx,ax
 395 imul    ax,*%1
 396 %[add|and|xor|sub|or]2  ax,%![dx]%3
 397 =
 398 imul    ax,%4,*%1
 399 %2      ax,%3
 400
 401 mov     ax,%![#|*]%4
 402 mov     dx,ax
 403 imul    ax,*%1
 404 push    ax
 405 =
 406 imul    ax,%4,*%1
 407 push    ax
 408
 409 imul    ax,%2,%[#|*]0%1
 410 add     ax,%3
 411 mov     bx,ax
 412 =
 413 imul    bx,%2,%0%1
 414 add     bx,%3
 415
 416
 417 # Different rules
 418
 419 %1      dword ptr %[eax|ebx|ecx|edx]3,*%2
 420 =
 421 %1      %3,*%2
 422
 423 %1      dword ptr %[eax|ebx|ecx|edx]3,#%2
 424 =
 425 %1      %3,#%2
 426
 427 eor     %1,%2
 428 =
 429 xor     %1,%2
 430
 431 com     %1
 432 =
 433 not     %1
 434
 435 xor     bx,bx
 436 =
 437 and     eax,#$0000FFFF