1%verify "executed"
2    /* const-wide/32 vAA, #+BBBBbbbb */
3    FETCH(r0, 1)                        @ r0<- 0000bbbb (low)
4    mov     r3, rINST, lsr #8           @ r3<- AA
5    FETCH_S(r2, 2)                      @ r2<- ssssBBBB (high)
6    FETCH_ADVANCE_INST(3)               @ advance rPC, load rINST
7    orr     r0, r0, r2, lsl #16         @ r0<- BBBBbbbb
8    add     r3, rFP, r3, lsl #2         @ r3<- &fp[AA]
9    mov     r1, r0, asr #31             @ r1<- ssssssss
10    GET_INST_OPCODE(ip)                 @ extract opcode from rINST
11    stmia   r3, {r0-r1}                 @ vAA<- r0/r1
12    GOTO_OPCODE(ip)                     @ jump to next instruction
13