OP_SHL_LONG_2ADDR.S revision a8b91c52fd8a90b784835dfe1f8898035266c4dd 
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    /* shl-long/2addr vA, vB */
7    GET_OPA4(t2)                           #  t2 <- A+
8    GET_OPB(a3)                            #  a3 <- B
9    GET_VREG(a2, a3)                       #  a2 <- vB
10    EAS2(rOBJ, rFP, t2)                    #  rOBJ <- &fp[A]
11    LOAD64(a0, a1, rOBJ)                   #  a0/a1 <- vAA/vAA+1
12
13    FETCH_ADVANCE_INST(1)                  #  advance rPC, load rINST
14
15    sll     v0, a0, a2                     #  rlo<- alo << (shift&31)
16    not     v1, a2                         #  rhi<- 31-shift  (shift is 5b)
17    srl     a0, 1
18    srl     a0, v1                         #  alo<- alo >> (32-(shift&31))
19    sll     v1, a1, a2                     #  rhi<- ahi << (shift&31)
20    or      v1, a0                         #  rhi<- rhi | alo
21    andi    a2, 0x20                       #  shift< shift & 0x20
22    movn    v1, v0, a2                     #  rhi<- rlo (if shift&0x20)
23    movn    v0, zero, a2                   #  rlo<- 0  (if shift&0x20)
24
25    GET_INST_OPCODE(t0)                    #  extract opcode from rINST
26    STORE64(v0, v1, rOBJ)                  #  vAA/vAA+1 <- a0/a1
27    GOTO_OPCODE(t0)                        #  jump to next instruction
28
29