1 %verify "executed" 2 /* 3 * Long integer shift. This is different from the generic 32/64-bit 4 * binary operations because vAA/vBB are 64-bit but vCC (the shift 5 * distance) is 32-bit. Also, Dalvik requires us to mask off the low 6 * 6 bits of the shift distance. 7 */ 8 /* ushr-long vAA, vBB, vCC */ 9 FETCH(a0, 1) # a0 <- CCBB 10 GET_OPA(t0) # t3 <- AA 11 and a3, a0, 255 # a3 <- BB 12 srl a0, a0, 8 # a0 <- CC 13 EAS2(a3, rFP, a3) # a3 <- &fp[BB] 14 GET_VREG(a2, a0) # a2 <- vCC 15 LOAD64(a0, a1, a3) # a0/a1 <- vBB/vBB+1 16 EAS2(rOBJ, rFP, t0) # rOBJ <- &fp[AA] 17 18 FETCH_ADVANCE_INST(2) # advance rPC, load rINST 19 srl v1, a1, a2 # rhi<- ahi >> (shift&31) 20 srl v0, a0, a2 # rlo<- alo >> (shift&31) 21 not a0, a2 # alo<- 31-n (shift is 5b) 22 sll a1, 1 23 sll a1, a0 # ahi<- ahi << (32-(shift&31)) 24 or v0, a1 # rlo<- rlo | ahi 25 andi a2, 0x20 # shift & 0x20 26 movn v0, v1, a2 # rlo<- rhi (if shift&0x20) 27 movn v1, zero, a2 # rhi<- 0 (if shift&0x20) 28 29 STORE64(v0, v1, rOBJ) # vAA/vAA+1 <- v0/v1 30 GET_INST_OPCODE(t0) # extract opcode from rINST 31 GOTO_OPCODE(t0) # jump to next instruction 32 33