1%verify "executed" 2 # const-wide vAA, /* +HHHHhhhhBBBBbbbb */ 3 FETCH(a0, 1) # a0 <- bbbb (low) 4 FETCH(a1, 2) # a1 <- BBBB (low middle) 5 FETCH(a2, 3) # a2 <- hhhh (high middle) 6 sll a1, 16 # 7 or a0, a1 # a0 <- BBBBbbbb (low word) 8 FETCH(a3, 4) # a3 <- HHHH (high) 9 GET_OPA(t1) # t1 <- AA 10 sll a3, 16 11 or a1, a3, a2 # a1 <- HHHHhhhh (high word) 12 FETCH_ADVANCE_INST(5) # advance rPC, load rINST 13 EAS2(t1, rFP, t1) # t1 <- &fp[AA] 14 GET_INST_OPCODE(t0) # extract opcode from rINST 15 STORE64(a0, a1, t1) # vAA <- a0/a1 16 GOTO_OPCODE(t0) # jump to next instruction 17 18