%verify executed | |
/* | |
* Handle a throw-verification-error instruction. This throws an | |
* exception for an error discovered during verification. The | |
* exception is indicated by AA, with some detail provided by BBBB. | |
*/ | |
/* op AA, ref@BBBB */ | |
LOAD_rSELF_method(a0) # a0 <- self->method | |
FETCH(a2, 1) # a2 <- BBBB | |
EXPORT_PC() # export the PC | |
GET_OPA(a1) # a1 <- AA | |
JAL(dvmThrowVerificationError) # always throws | |
b common_exceptionThrown # handle exception | |