1 %verify "executed" 2 /* const-wide/high16 vAA, #+BBBB000000000000 */ 3 FETCH(r1, 1) @ r1<- 0000BBBB (zero-extended) 4 mov r3, rINST, lsr #8 @ r3<- AA 5 mov r0, #0 @ r0<- 00000000 6 mov r1, r1, lsl #16 @ r1<- BBBB0000 7 FETCH_ADVANCE_INST(2) @ advance rPC, load rINST 8 add r3, rFP, r3, lsl #2 @ r3<- &fp[AA] 9 GET_INST_OPCODE(ip) @ extract opcode from rINST 10 stmia r3, {r0-r1} @ vAA<- r0/r1 11 GOTO_OPCODE(ip) @ jump to next instruction 12
