1%verify "executed" 2 # const-wide/32 vAA, /* +BBBBbbbb */ 3 FETCH(a0, 1) # a0 <- 0000bbbb (low) 4 GET_OPA(a3) # a3 <- AA 5 FETCH_S(a2, 2) # a2 <- ssssBBBB (high) 6 FETCH_ADVANCE_INST(3) # advance rPC, load rINST 7 sll a2, a2, 16 8 or a0, a0, a2 # a0 <- BBBBbbbb 9 EAS2(a3, rFP, a3) # a3 <- &fp[AA] 10 sra a1, a0, 31 # a1 <- ssssssss 11 GET_INST_OPCODE(t0) # extract opcode from rINST 12 STORE64(a0, a1, a3) # vAA <- a0/a1 13 GOTO_OPCODE(t0) # jump to next instruction 14 15