1%verify executed 2 /* 3 * Handle a throw-verification-error instruction. This throws an 4 * exception for an error discovered during verification. The 5 * exception is indicated by AA, with some detail provided by BBBB. 6 */ 7 /* op AA, ref@BBBB */ 8 GET_GLUE(%ecx) 9 movzwl 2(rPC),%eax # eax<- BBBB 10 movl offGlue_method(%ecx),%ecx # ecx<- glue->method 11 EXPORT_PC() 12 movzbl rINST_HI,rINST_FULL # rINST_FULL<- AA 13 movl %eax,OUT_ARG2(%esp) # arg2<- BBBB 14 movl rINST_FULL,OUT_ARG1(%esp) # arg1<- AA 15 movl %ecx,OUT_ARG0(%esp) # arg0<- method 16 SPILL(rPC) 17 call dvmThrowVerificationError # call(method, kind, ref) 18 UNSPILL(rPC) 19 jmp common_exceptionThrown # handle exception 20