1%verify "executed"
2    /*
3     * Long integer shift, 2addr version.  vA is 64-bit value/result, vB is
4     * 32-bit shift distance.
5     */
6    /* ushr-long/2addr vA, vB */
7    GET_OPA4(t3)                           #  t3 <- A+
8    GET_OPB(a3)                            #  a3 <- B
9    GET_VREG(a2, a3)                       #  a2 <- vB
10    EAS2(t3, rFP, t3)                      #  t3 <- &fp[A]
11    LOAD64(a0, a1, t3)                     #  a0/a1 <- vAA/vAA+1
12
13    FETCH_ADVANCE_INST(1)                  #  advance rPC, load rINST
14    srl       v1, a1, a2                   #  rhi<- ahi >> (shift&31)
15    srl       v0, a0, a2                   #  rlo<- alo >> (shift&31)
16    not       a0, a2                       #  alo<- 31-n  (shift is 5b)
17    sll       a1, 1
18    sll       a1, a0                       #  ahi<- ahi << (32-(shift&31))
19    or        v0, a1                       #  rlo<- rlo | ahi
20    andi      a2, 0x20                     #  shift & 0x20
21    movn      v0, v1, a2                   #  rlo<- rhi (if shift&0x20)
22    movn      v1, zero, a2                 #  rhi<- 0 (if shift&0x20)
23
24    GET_INST_OPCODE(t0)                    #  extract opcode from rINST
25    STORE64(v0, v1, t3)                    #  vAA/vAA+1 <- a0/a1
26    GOTO_OPCODE(t0)                        #  jump to next instruction
27
28