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 9 LOAD_rSELF_method(a0) # a0 <- self->method 10 FETCH(a2, 1) # a2 <- BBBB 11 EXPORT_PC() # export the PC 12 GET_OPA(a1) # a1 <- AA 13 JAL(dvmThrowVerificationError) # always throws 14 b common_exceptionThrown # handle exception 15 16