OP_CONST_WIDE_HIGH16.S revision a8b91c52fd8a90b784835dfe1f8898035266c4dd 
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