1f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project%verify "executed" 2f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project /* 3f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project * Signed 64-bit integer multiply. 4f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project * 5f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project * Consider WXxYZ (r1r0 x r3r2) with a long multiply: 6f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project * WX 7f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project * x YZ 8f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project * -------- 9f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project * ZW ZX 10f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project * YW YX 11f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project * 12f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project * The low word of the result holds ZX, the high word holds 13f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project * (ZW+YX) + (the high overflow from ZX). YW doesn't matter because 14f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project * it doesn't fit in the low 64 bits. 15f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project * 16f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project * Unlike most ARM math operations, multiply instructions have 17f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project * restrictions on using the same register more than once (Rd and Rm 18f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project * cannot be the same). 19f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project */ 20f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project /* mul-long vAA, vBB, vCC */ 21f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project FETCH(r0, 1) @ r0<- CCBB 22f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project and r2, r0, #255 @ r2<- BB 23f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project mov r3, r0, lsr #8 @ r3<- CC 24f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project add r2, rFP, r2, lsl #2 @ r2<- &fp[BB] 25f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project add r3, rFP, r3, lsl #2 @ r3<- &fp[CC] 26f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project ldmia r2, {r0-r1} @ r0/r1<- vBB/vBB+1 27f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project ldmia r3, {r2-r3} @ r2/r3<- vCC/vCC+1 28f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project mul ip, r2, r1 @ ip<- ZxW 29f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project umull r9, r10, r2, r0 @ r9/r10 <- ZxX 30f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project mla r2, r0, r3, ip @ r2<- YxX + (ZxW) 31f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project mov r0, rINST, lsr #8 @ r0<- AA 32f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project add r10, r2, r10 @ r10<- r10 + low(ZxW + (YxX)) 33f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project add r0, rFP, r0, lsl #2 @ r0<- &fp[AA] 34f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project FETCH_ADVANCE_INST(2) @ advance rPC, load rINST 35f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project b .L${opcode}_finish 36f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project%break 37f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project 38f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project.L${opcode}_finish: 39f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project GET_INST_OPCODE(ip) @ extract opcode from rINST 40f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project stmia r0, {r9-r10} @ vAA/vAA+1<- r9/r10 41f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project GOTO_OPCODE(ip) @ jump to next instruction 42