| %default { "func":"MterpDoPackedSwitch" } |
| /* |
| * Handle a packed-switch or sparse-switch instruction. In both cases |
| * we decode it and hand it off to a helper function. |
| * |
| * We don't really expect backward branches in a switch statement, but |
| * they're perfectly legal, so we check for them here. |
| * |
| * for: packed-switch, sparse-switch |
| */ |
| /* op vAA, +BBBB */ |
| #if MTERP_SUSPEND |
| FETCH w0, 1 // w0<- bbbb (lo) |
| FETCH w1, 2 // w1<- BBBB (hi) |
| mov w3, wINST, lsr #8 // w3<- AA |
| orr w0, w0, w1, lsl #16 // w0<- BBBBbbbb |
| GET_VREG w1, w3 // w1<- vAA |
| add w0, rPC, w0, lsl #1 // w0<- PC + BBBBbbbb*2 |
| bl $func // w0<- code-unit branch offset |
| adds w1, w0, w0 // w1<- byte offset; clear V |
| ldrle rIBASE, [xSELF, #THREAD_CURRENT_IBASE_OFFSET] // refresh handler base |
| FETCH_ADVANCE_INST_RB w1 // update rPC, load wINST |
| GET_INST_OPCODE ip // extract opcode from wINST |
| GOTO_OPCODE ip // jump to next instruction |
| #else |
| FETCH w0, 1 // w0<- bbbb (lo) |
| FETCH w1, 2 // w1<- BBBB (hi) |
| lsr w3, wINST, #8 // w3<- AA |
| orr w0, w0, w1, lsl #16 // w0<- BBBBbbbb |
| GET_VREG w1, w3 // w1<- vAA |
| add x0, xPC, w0, lsl #1 // w0<- PC + BBBBbbbb*2 |
| bl $func // w0<- code-unit branch offset |
| ldr w7, [xSELF, #THREAD_FLAGS_OFFSET] |
| adds w1, w0, w0 // w1<- byte offset; clear V |
| FETCH_ADVANCE_INST_RB w1 // update rPC, load wINST |
| b.le MterpCheckSuspendAndContinue |
| GET_INST_OPCODE ip // extract opcode from wINST |
| GOTO_OPCODE ip // jump to next instruction |
| #endif |
