| %verify "executed" | |
| /* | |
| * Signed 64-bit integer multiply, 2-addr version | |
| * | |
| * We could definately use more free registers for | |
| * this code. We must spill %edx (rIBASE) because it | |
| * is used by imul. We'll also spill rINST (ebx), | |
| * giving us eax, ebc, ecx and rIBASE as computational | |
| * temps. On top of that, we'll spill %esi (edi) | |
| * for use as the vA pointer and rFP (esi) for use | |
| * as the vB pointer. Yuck. | |
| */ | |
| /* mul-long/2addr vA, vB */ | |
| movzbl rINSTbl,%eax # eax<- BA | |
| andb $$0xf,%al # eax<- A | |
| sarl $$4,rINST # rINST<- B | |
| SPILL_TMP2(%esi) | |
| SPILL(rFP) | |
| SPILL(rIBASE) | |
| leal (rFP,%eax,4),%esi # %esi<- &v[A] | |
| leal (rFP,rINST,4),rFP # rFP<- &v[B] | |
| movl 4(%esi),%ecx # ecx<- Amsw | |
| imull (rFP),%ecx # ecx<- (Amsw*Blsw) | |
| movl 4(rFP),%eax # eax<- Bmsw | |
| imull (%esi),%eax # eax<- (Bmsw*Alsw) | |
| addl %eax,%ecx # ecx<- (Amsw*Blsw)+(Bmsw*Alsw) | |
| movl (rFP),%eax # eax<- Blsw | |
| mull (%esi) # eax<- (Blsw*Alsw) | |
| leal (%ecx,rIBASE),rIBASE # full result now in %edx:%eax | |
| movl rIBASE,4(%esi) # v[A+1]<- rIBASE | |
| movl %eax,(%esi) # v[A]<- %eax | |
| UNSPILL_TMP2(%esi) | |
| FETCH_INST_OPCODE 1 %ecx | |
| UNSPILL(rIBASE) | |
| UNSPILL(rFP) | |
| ADVANCE_PC 1 | |
| GOTO_NEXT_R %ecx |