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