| /* |
| * Generic one-operand compare-and-branch operation. Provide a "revcmp" |
| * fragment that specifies the *reverse* comparison to perform, e.g. |
| * for "if-le" you would use "gt". |
| * |
| * for: if-eqz, if-nez, if-ltz, if-gez, if-gtz, if-lez |
| */ |
| /* if-cmp vAA, +BBBB */ |
| #if MTERP_PROFILE_BRANCHES |
| lsr w0, wINST, #8 // w0<- AA |
| GET_VREG w2, w0 // w2<- vAA |
| FETCH_S wINST, 1 // w1<- branch offset, in code units |
| cmp w2, #0 // compare (vA, 0) |
| b.${condition} .L_${opcode}_taken |
| FETCH_ADVANCE_INST 2 // update rPC, load wINST |
| GET_INST_OPCODE ip // extract opcode from wINST |
| GOTO_OPCODE ip // jump to next instruction |
| .L_${opcode}_taken: |
| EXPORT_PC |
| mov x0, xSELF |
| add x1, xFP, #OFF_FP_SHADOWFRAME |
| sbfm x2, xINST, 0, 31 |
| bl MterpProfileBranch // (self, shadow_frame, offset) |
| cbnz w0, MterpOnStackReplacement // Note: offset must be in wINST |
| ldr w7, [xSELF, #THREAD_FLAGS_OFFSET] |
| adds w2, wINST, wINST // convert to bytes & set flags |
| FETCH_ADVANCE_INST_RB w2 // update rPC, load wINST |
| b.mi MterpCheckSuspendAndContinue |
| GET_INST_OPCODE ip // extract opcode from wINST |
| GOTO_OPCODE ip // jump to next instruction |
| #else |
| lsr w0, wINST, #8 // w0<- AA |
| GET_VREG w2, w0 // w2<- vAA |
| FETCH_S w1, 1 // w1<- branch offset, in code units |
| mov w0, #2 // Branch offset if not taken |
| cmp w2, #0 // compare (vA, 0) |
| csel wINST, w1, w0, ${condition} // Branch if true, stashing result in callee save reg |
| ldr w7, [xSELF, #THREAD_FLAGS_OFFSET] |
| adds w2, wINST, wINST // convert to bytes & set flags |
| FETCH_ADVANCE_INST_RB w2 // update rPC, load wINST |
| b.mi MterpCheckSuspendAndContinue |
| GET_INST_OPCODE ip // extract opcode from wINST |
| GOTO_OPCODE ip // jump to next instruction |
| #endif |