100b53b7f3f9ce5996b767b52c28dd846f47a723cAlexey Frunze    /*
200b53b7f3f9ce5996b767b52c28dd846f47a723cAlexey Frunze     * Generic two-operand compare-and-branch operation.  Provide a "condition"
300b53b7f3f9ce5996b767b52c28dd846f47a723cAlexey Frunze     * fragment that specifies the comparison to perform, e.g. for
400b53b7f3f9ce5996b767b52c28dd846f47a723cAlexey Frunze     * "if-le" you would use "le".
500b53b7f3f9ce5996b767b52c28dd846f47a723cAlexey Frunze     *
600b53b7f3f9ce5996b767b52c28dd846f47a723cAlexey Frunze     * For: if-eq, if-ne, if-lt, if-ge, if-gt, if-le
700b53b7f3f9ce5996b767b52c28dd846f47a723cAlexey Frunze     */
800b53b7f3f9ce5996b767b52c28dd846f47a723cAlexey Frunze    /* if-cmp vA, vB, +CCCC */
9db045bea24d28ce6ad932fec4ce055af7be530e2Alexey Frunze    .extern MterpProfileBranch
1000b53b7f3f9ce5996b767b52c28dd846f47a723cAlexey Frunze    ext     a2, rINST, 8, 4             # a2 <- A
1100b53b7f3f9ce5996b767b52c28dd846f47a723cAlexey Frunze    ext     a3, rINST, 12, 4            # a3 <- B
12db045bea24d28ce6ad932fec4ce055af7be530e2Alexey Frunze    lh      rINST, 2(rPC)               # rINST <- offset (sign-extended CCCC)
1300b53b7f3f9ce5996b767b52c28dd846f47a723cAlexey Frunze    GET_VREG a0, a2                     # a0 <- vA
1400b53b7f3f9ce5996b767b52c28dd846f47a723cAlexey Frunze    GET_VREG a1, a3                     # a1 <- vB
1500b53b7f3f9ce5996b767b52c28dd846f47a723cAlexey Frunze    b${condition}c a0, a1, 1f
16db045bea24d28ce6ad932fec4ce055af7be530e2Alexey Frunze    li      rINST, 2                    # offset if branch not taken
1700b53b7f3f9ce5996b767b52c28dd846f47a723cAlexey Frunze1:
18db045bea24d28ce6ad932fec4ce055af7be530e2Alexey Frunze#if MTERP_PROFILE_BRANCHES
19db045bea24d28ce6ad932fec4ce055af7be530e2Alexey Frunze    EXPORT_PC
20db045bea24d28ce6ad932fec4ce055af7be530e2Alexey Frunze    move    a0, rSELF
21db045bea24d28ce6ad932fec4ce055af7be530e2Alexey Frunze    daddu   a1, rFP, OFF_FP_SHADOWFRAME
22db045bea24d28ce6ad932fec4ce055af7be530e2Alexey Frunze    move    a2, rINST
23db045bea24d28ce6ad932fec4ce055af7be530e2Alexey Frunze    jal     MterpProfileBranch          # (self, shadow_frame, offset)
24db045bea24d28ce6ad932fec4ce055af7be530e2Alexey Frunze    bnezc   v0, MterpOnStackReplacement # Note: offset must be in rINST
2500b53b7f3f9ce5996b767b52c28dd846f47a723cAlexey Frunze#endif
26db045bea24d28ce6ad932fec4ce055af7be530e2Alexey Frunze    dlsa    rPC, rINST, rPC, 1          # rPC <- rPC + offset * 2
27db045bea24d28ce6ad932fec4ce055af7be530e2Alexey Frunze    lw      ra, THREAD_FLAGS_OFFSET(rSELF)  # Preload flags for MterpCheckSuspendAndContinue
28db045bea24d28ce6ad932fec4ce055af7be530e2Alexey Frunze    move    a0, rINST                   # a0 <- offset
29db045bea24d28ce6ad932fec4ce055af7be530e2Alexey Frunze    FETCH_INST                          # load rINST
30db045bea24d28ce6ad932fec4ce055af7be530e2Alexey Frunze    bltz    a0, MterpCheckSuspendAndContinue  # suspend check if backwards branch
3100b53b7f3f9ce5996b767b52c28dd846f47a723cAlexey Frunze    GET_INST_OPCODE v0                  # extract opcode from rINST
3200b53b7f3f9ce5996b767b52c28dd846f47a723cAlexey Frunze    GOTO_OPCODE v0                      # jump to next instruction
33