1 %verify "executed" 2 # const-wide/high16 vAA, /* +BBBB000000000000 */ 3 FETCH(a1, 1) # a1 <- 0000BBBB (zero-extended) 4 GET_OPA(a3) # a3 <- AA 5 li a0, 0 # a0 <- 00000000 6 sll a1, 16 # a1 <- BBBB0000 7 FETCH_ADVANCE_INST(2) # advance rPC, load rINST 8 EAS2(a3, rFP, a3) # a3 <- &fp[AA] 9 GET_INST_OPCODE(t0) # extract opcode from rINST 10 STORE64(a0, a1, a3) # vAA <- a0/a1 11 GOTO_OPCODE(t0) # jump to next instruction 12 13