100b53b7f3f9ce5996b767b52c28dd846f47a723cAlexey Frunze /* 200b53b7f3f9ce5996b767b52c28dd846f47a723cAlexey Frunze * Generic one-operand compare-and-branch operation. Provide a "condition" 300b53b7f3f9ce5996b767b52c28dd846f47a723cAlexey Frunze * fragment that specifies the comparison to perform, e.g. for 400b53b7f3f9ce5996b767b52c28dd846f47a723cAlexey Frunze * "if-lez" you would use "le". 500b53b7f3f9ce5996b767b52c28dd846f47a723cAlexey Frunze * 600b53b7f3f9ce5996b767b52c28dd846f47a723cAlexey Frunze * For: if-eqz, if-nez, if-ltz, if-gez, if-gtz, if-lez 700b53b7f3f9ce5996b767b52c28dd846f47a723cAlexey Frunze */ 800b53b7f3f9ce5996b767b52c28dd846f47a723cAlexey Frunze /* if-cmp vAA, +BBBB */ 9db045bea24d28ce6ad932fec4ce055af7be530e2Alexey Frunze .extern MterpProfileBranch 1000b53b7f3f9ce5996b767b52c28dd846f47a723cAlexey Frunze srl a2, rINST, 8 # a2 <- AA 11db045bea24d28ce6ad932fec4ce055af7be530e2Alexey Frunze lh rINST, 2(rPC) # rINST <- offset (sign-extended BBBB) 1200b53b7f3f9ce5996b767b52c28dd846f47a723cAlexey Frunze GET_VREG a0, a2 # a0 <- vAA 1300b53b7f3f9ce5996b767b52c28dd846f47a723cAlexey Frunze b${condition}zc a0, 1f 14db045bea24d28ce6ad932fec4ce055af7be530e2Alexey Frunze li rINST, 2 # offset if branch not taken 1500b53b7f3f9ce5996b767b52c28dd846f47a723cAlexey Frunze1: 16db045bea24d28ce6ad932fec4ce055af7be530e2Alexey Frunze#if MTERP_PROFILE_BRANCHES 17db045bea24d28ce6ad932fec4ce055af7be530e2Alexey Frunze EXPORT_PC 18db045bea24d28ce6ad932fec4ce055af7be530e2Alexey Frunze move a0, rSELF 19db045bea24d28ce6ad932fec4ce055af7be530e2Alexey Frunze daddu a1, rFP, OFF_FP_SHADOWFRAME 20db045bea24d28ce6ad932fec4ce055af7be530e2Alexey Frunze move a2, rINST 21db045bea24d28ce6ad932fec4ce055af7be530e2Alexey Frunze jal MterpProfileBranch # (self, shadow_frame, offset) 22db045bea24d28ce6ad932fec4ce055af7be530e2Alexey Frunze bnezc v0, MterpOnStackReplacement # Note: offset must be in rINST 2300b53b7f3f9ce5996b767b52c28dd846f47a723cAlexey Frunze#endif 24db045bea24d28ce6ad932fec4ce055af7be530e2Alexey Frunze dlsa rPC, rINST, rPC, 1 # rPC <- rPC + offset * 2 25db045bea24d28ce6ad932fec4ce055af7be530e2Alexey Frunze lw ra, THREAD_FLAGS_OFFSET(rSELF) # Preload flags for MterpCheckSuspendAndContinue 26db045bea24d28ce6ad932fec4ce055af7be530e2Alexey Frunze move a0, rINST # a0 <- offset 27db045bea24d28ce6ad932fec4ce055af7be530e2Alexey Frunze FETCH_INST # load rINST 28db045bea24d28ce6ad932fec4ce055af7be530e2Alexey Frunze bltz a0, MterpCheckSuspendAndContinue # suspend check if backwards branch 2900b53b7f3f9ce5996b767b52c28dd846f47a723cAlexey Frunze GET_INST_OPCODE v0 # extract opcode from rINST 3000b53b7f3f9ce5996b767b52c28dd846f47a723cAlexey Frunze GOTO_OPCODE v0 # jump to next instruction 31