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