1a5069fb7eb2da846ff1fc2c903ebd8ce9fa3647fAndy McFadden%verify "executed"
2a5069fb7eb2da846ff1fc2c903ebd8ce9fa3647fAndy McFadden    /*
3a5069fb7eb2da846ff1fc2c903ebd8ce9fa3647fAndy McFadden     * Long integer shift, 2addr version.  vA is 64-bit value/result, vB is
4a5069fb7eb2da846ff1fc2c903ebd8ce9fa3647fAndy McFadden     * 32-bit shift distance.
5a5069fb7eb2da846ff1fc2c903ebd8ce9fa3647fAndy McFadden     */
6a5069fb7eb2da846ff1fc2c903ebd8ce9fa3647fAndy McFadden    /* shl-long/2addr vA, vB */
7a5069fb7eb2da846ff1fc2c903ebd8ce9fa3647fAndy McFadden    mov     r3, rINST, lsr #12          @ r3<- B
8a5069fb7eb2da846ff1fc2c903ebd8ce9fa3647fAndy McFadden    ubfx    r9, rINST, #8, #4           @ r9<- A
9a5069fb7eb2da846ff1fc2c903ebd8ce9fa3647fAndy McFadden    GET_VREG(r2, r3)                    @ r2<- vB
10a5069fb7eb2da846ff1fc2c903ebd8ce9fa3647fAndy McFadden    add     r9, rFP, r9, lsl #2         @ r9<- &fp[A]
11a5069fb7eb2da846ff1fc2c903ebd8ce9fa3647fAndy McFadden    and     r2, r2, #63                 @ r2<- r2 & 0x3f
12a5069fb7eb2da846ff1fc2c903ebd8ce9fa3647fAndy McFadden    ldmia   r9, {r0-r1}                 @ r0/r1<- vAA/vAA+1
13a5069fb7eb2da846ff1fc2c903ebd8ce9fa3647fAndy McFadden
14a5069fb7eb2da846ff1fc2c903ebd8ce9fa3647fAndy McFadden    mov     r1, r1, asl r2              @  r1<- r1 << r2
15a5069fb7eb2da846ff1fc2c903ebd8ce9fa3647fAndy McFadden    rsb     r3, r2, #32                 @  r3<- 32 - r2
16a5069fb7eb2da846ff1fc2c903ebd8ce9fa3647fAndy McFadden    orr     r1, r1, r0, lsr r3          @  r1<- r1 | (r0 << (32-r2))
17a5069fb7eb2da846ff1fc2c903ebd8ce9fa3647fAndy McFadden    subs    ip, r2, #32                 @  ip<- r2 - 32
18a5069fb7eb2da846ff1fc2c903ebd8ce9fa3647fAndy McFadden    FETCH_ADVANCE_INST(1)               @ advance rPC, load rINST
19a5069fb7eb2da846ff1fc2c903ebd8ce9fa3647fAndy McFadden    movpl   r1, r0, asl ip              @  if r2 >= 32, r1<- r0 << (r2-32)
20a5069fb7eb2da846ff1fc2c903ebd8ce9fa3647fAndy McFadden    mov     r0, r0, asl r2              @  r0<- r0 << r2
21a5069fb7eb2da846ff1fc2c903ebd8ce9fa3647fAndy McFadden    b       .L${opcode}_finish
22a5069fb7eb2da846ff1fc2c903ebd8ce9fa3647fAndy McFadden%break
23a5069fb7eb2da846ff1fc2c903ebd8ce9fa3647fAndy McFadden
24a5069fb7eb2da846ff1fc2c903ebd8ce9fa3647fAndy McFadden.L${opcode}_finish:
25a5069fb7eb2da846ff1fc2c903ebd8ce9fa3647fAndy McFadden    GET_INST_OPCODE(ip)                 @ extract opcode from rINST
26a5069fb7eb2da846ff1fc2c903ebd8ce9fa3647fAndy McFadden    stmia   r9, {r0-r1}                 @ vAA/vAA+1<- r0/r1
27a5069fb7eb2da846ff1fc2c903ebd8ce9fa3647fAndy McFadden    GOTO_OPCODE(ip)                     @ jump to next instruction
28