1a8b91c52fd8a90b784835dfe1f8898035266c4ddRaghu Gandham%verify "executed" 2a8b91c52fd8a90b784835dfe1f8898035266c4ddRaghu Gandham /* for: move/from16, move-object/from16 */ 3a8b91c52fd8a90b784835dfe1f8898035266c4ddRaghu Gandham /* op vAA, vBBBB */ 4a8b91c52fd8a90b784835dfe1f8898035266c4ddRaghu Gandham FETCH(a1, 1) # a1 <- BBBB 5a8b91c52fd8a90b784835dfe1f8898035266c4ddRaghu Gandham GET_OPA(a0) # a0 <- AA 6a8b91c52fd8a90b784835dfe1f8898035266c4ddRaghu Gandham FETCH_ADVANCE_INST(2) # advance rPC, load rINST 7a8b91c52fd8a90b784835dfe1f8898035266c4ddRaghu Gandham GET_VREG(a2, a1) # a2 <- fp[BBBB] 8a8b91c52fd8a90b784835dfe1f8898035266c4ddRaghu Gandham GET_INST_OPCODE(t0) # extract opcode from rINST 9a8b91c52fd8a90b784835dfe1f8898035266c4ddRaghu Gandham SET_VREG_GOTO(a2, a0, t0) # fp[AA] <- a2 10a8b91c52fd8a90b784835dfe1f8898035266c4ddRaghu Gandham 11